Grouping based calculus for propositional linear temporal logic by Kostas Ragauskas, Adomas Birštunas

“…The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the absence of a loop beneath some sequent, and creating a new calculus G*TL, which uses the proposed sequent grouping method, along with the method of marks (similar marking concepts were proposed in  [5] and [6]). …”
Get full text

NANODIMENSIONAL AND SUPERDISPERSED PARTICLES IN FOUNDRY TECHNOLOGIES by O. S. Komarov, V. I. Volosatikov, I. B. Provorova, T. D. Komarova, K. E. Baranovsky

“…Analysis of existence of initial raw materials for production of the superdispersed powders Al(OH)3  and Al2O3 in the Republic of Belarus is given, and also parameters of technological process of their production by sol-gel method are determined. Data on degree of efficiency of additions of powders to the traditional modifiers eliminating chill in castings of gray cast iron is provided.…”
Get full text

Evaluating Variational Quantum Eigensolver Approaches for Simplified Models of Molecular Systems: A Case Study on Protocatechuic Acid by Gleydson Fernandes de Jesus, Erico Souza Teixeira, Lucas Queiroz Galvão, Maria Heloísa Fraga da Silva, Mauro Queiroz Nooblath Neto, Bruno Oziel Fernandez, Amanda Marques de Lima, Eivson Darlivam Rodrigues de Aguiar Silva, Clebson dos Santos Cruz

“…Subsequently, all VQE results were compared to those obtained with the CISD and FCI methods. The results demonstrate that Ansatzes, like Unitary Coupled Cluster Singles and Doubles (UCCSD) and variations of Hardware-Efficient Ansatzes, generally achieve accuracy close to that of FCI. …”
Get full text

Rhizobacteria consortium improves growth, yield, and phytochemicals in Robusta coffee (Coffea canephora L.) by Ni Luh Suriani, Mohammed Al-zharani, Fahd A. Nasr, Lina M. Alneghery, Dewa Ngurah Suprapta, I. Nyoman Suarsana, Ni Made Delly Resiani, Hesham Ali El Enshasy, Hesham Ali El Enshasy, Riyaz Sayyed, Jayanthi Barasarathi, Ting Seng Ho, Yulmira Yanti

“…Therefore, alternative methods are needed to produce healthier crops, such as utilizing rhizobacteria, which are environmentally friendly and safe for human health.MethodsThrough this study, rhizobacteria treatment was applied to coffee plants to enhance growth, phytochemical content, and antioxidant activity. …”
Get full text

An adaptive hybrid schema for data-centric storage in wireless sensor networks by Pooya Hejazi

“…Storage, query cost, and energy efficiency are among the most important data dissemination issues in wireless sensor networks. …”
Get full text

On the utility of immobilized phenylarsine oxide in the study of redox sensitive cardiac proteins by Asvi Arora Francois, Xiaoke Yin, Shinichi Oka, Junichi Sadoshima, Manuel Mayr, Philip Eaton

“…As increasing numbers of thiol redox proteins are identified, PAO-Sepharose binding is an efficient method to determine if they change their oxidation state during interventions relevant to health and disease.…”
Get full text

Dual SPE–HPLC–MS/MS Platform for Cross-Class Antiparasitic Surveillance: Simultaneous Quantification of Oxyclozanide and Levamisole Hydrochloride in Ovine Tissues with Applications... by Guonian Dai, Xuzheng Zhou, Weiwei Wang, Bintao Zhai, Jiang Li, Yangling Liu, Yong Zhang, Jiyu Zhang

“…This study presents a novel high-performance liquid chromatography–tandem mass spectrometry (HPLC–MS/MS) method for simultaneous determination of oxyclozanide (OXY) and levamisole hydrochloride (LEV) residues in ovine tissues, addressing the critical gap in cross-class antiparasitic drug monitoring. …”
Get full text

Searching for non-English literature may be unnecessary for German HTA Reports [version 3; peer review: 2 approved, 2 approved with reservations, 1 not approved] by Stefan Sauerland, Wiebke Sieben, Lisa Schell, Sandra Molnar, Sibylle Sturtz, Elke Hausner

“…We therefore analysed the impact of non-English publications on the conclusions of HTA reports produced by the German HTA agency, the Institute for Quality and Efficiency in Health Care (IQWiG). Methods We determined whether non-English publications were included in all German HTA reports on non-drug interventions (published by IQWiG between 06/2007 to 08/2018) and on selected drug interventions. …”
Get full text

Searching for non-English literature may be unnecessary for German HTA Reports [version 2; peer review: 1 approved, 2 approved with reservations, 1 not approved] by Stefan Sauerland, Wiebke Sieben, Lisa Schell, Sandra Molnar, Sibylle Sturtz, Elke Hausner

“…We therefore analysed the impact of non-English publications on the conclusions of HTA reports produced by the German HTA agency, the Institute for Quality and Efficiency in Health Care (IQWiG). Methods We determined whether non-English publications were included in all German HTA reports on non-drug interventions (published by IQWiG between 06/2007 to 08/2018) and on selected drug interventions. …”
Get full text

Designing a supply chain resilience assessment model with the approach of NDEA(case of study: government hospitals of Yazd province) by Mohsen Shafiei Nikabadi, Fereshteh Bahrami

“…The results of the envelopment analysis of the input-oriented network data revealed that only 07percent of the studied hospitals were efficient. After determining the efficiency at four stages and the efficiency of the network, the hospitals were respectively ranked from the most efficient to the least efficient, and at the end, some suggestions for improving the efficiency of hospitals and future research were provided.…”
Get full text

Development and Characterization of Trihexyphenidyl Orodispersible Minitablets: A Challenge to Fill the Therapeutic Gap in Neuropediatrics by Camila Olivera, Oriana Boscolo, Cecilia Dobrecky, Claudia A. Ortega, Laura S. Favier, Valeria A. Cianchino, Sabrina Flor, Silvia Lucangioli

“…The properties of powder mixtures were evaluated before direct compression and pharmacotechnical tests were performed on the final formulation. The determination of the API content, uniformity of dosage, and physicochemical stability studies were analyzed by an HPLC-UV method. …”
Get full text

Optimization of Boiler Heat Load in Water-Heating Boiler-House by B. A. Bayrashevsky, N. P. Borushko

“…An analytical method for optimization of water-heating boiler loads has been developed on the basis of approximated semi-empirical dependences pertaining to changes of boiler gross efficiency due to its load. …”
Get full text

Antigenic properties of sARs-CoV-2/human/RUs/nsk-FRCFtM-1/2020 coronavirus isolate from a patient in novosibirsk by A. A. Chepurnov, K. A. Sharshov, E. I. Kazachinskaya, Yu. V. Kononova, E. A. Kazachkova, O. P. Khripko, K. S. Yurchenko, A. Yu. Alekseev, M. I. Voevoda, A. M. Shestopalov

“…Purification, concentration and inactivation of the viral preparation were carried out according to standard methods. The purity of the purified preparation and the profile of viral proteins were determined by electrophoresis in 10% polyacrylamide gel (PAG) with the addition of sodium dodecyl sulfate (SDS). …”
Get full text

行星变速器的模糊可靠性多目标优化设计 by 鲁成瑞, 张进生, 王志

“…An objective function for increasing the transmission efficiency and reliability of the planetary system and trying our best to reduce the weight is set up,through the linear weighted function method,the mathematical model of objective function is established.The weighting factors is determined by using the method of design variables normalization.Based on the fuzzy mathematics theory of reliability constraints and geometric constraint,the optimal design is carried out by using optimization toolbox in Matlab.To ensure the optimal parameter to meet the global optimal solution of objective function,stack calculation of the three local optimal solution are carried out.Through an example show that,by using multi-objective optimization method of fuzzy reliability design,the transfer efficiency and stability of the system are improved,the quality of the planet gear train is also reduced.…”
Get full text

Special Issue on Contemporary Research Studies in Operations Research, Business Analytics, and Business Intelligence by Viswanath Kumar Ganesan, S. Vinodh, Malolan Sundararaman, M. Vimala Rani, M. Mathirajan

“…This study conducts a comparative analysis with existing methods to demonstrate the efficiency of the proposed approach. …”
Get full text

Development of a multi-neoepitope vaccine targeting non-small cell lung cancer through reverse vaccinology and bioinformatics approaches by Elahe Asadollahi, Alireza Zomorodipour, Zahra-Soheila Soheili, Babak Jahangiri, Majid Sadeghizadeh

“…Among immunotherapeutic strategies, the personalized multi-neoepitope vaccine (MNEV) offers a promising approach for managing advanced-stage NSCLC.MethodsWe used reverse vaccinology, immunoinformatics, and bioinformatics to design an MNEV targeting lung cancer in murine (LL/2) cells. …”
Get full text

Obstacles and ways of forming effective protection of rice crops from weeds by L. Tsilinko

“…Assessment of the current level of soil contamination in rice checks with weed seeds and determination of the reasons for insufficient efficiency of herbicide application to ensure high yields of rice sown in the south of our country. …”
Get full text

Prognostic algorithm for early diagnosis of subcritical conditions as predictors of sudden cardiac death by A. V. Bykov, P. S. Azarova, S. A. Parkhomenko, A. V. Bykov, A. V. Polyakova, M. V. Alymova, A. V. Vinnikov

“…The basis is to improve the efficiency of predictive algorithms.Material and methods. …”
Get full text

Synthesis, Physical Characterization and In Silico Study of Novel Schiff Base by Shubham N Karle, Neha R Khilare, Prerana D Kalyankar, Megha T Salve

“…In this research work a novel SB’s derivative has been designed, synthesized by using green method, and evaluated to explore physical characterization such as purity assessment of synthesized product by using TLC technique, spectral analysis by using IR spectroscopy, melting point determination by conventional method, molecular docking by using various computerized software, solubility determination by using various polar and non-polar solvent. …”
Get full text

Clinical and economic evaluation of the effectiveness of modern strategies for screening and early diagnosis of cervical cancer in the Russian Federation by Zh. V. Khaylova, V. V. Omelyanovskiy, R. A. Teryan, D. G. Shchurov, I. A. Mikhailov, Yu. I. Komarov, A. D. Kaprin

“…Aim. To determine the most appropriate strategy for screening and early diagnosis of cervical cancer in the Russian Federation in terms of clinical (diagnostic) and cost-effectiveness.Materials and methods. …”
Get full text