Formal Proof of a Machine Closed Theorem in Coq by Hai Wan, Anping He, Zhiyang You, Xibin Zhao

Get full text

Study of the Prevalence of Cytomegalovirus in Children with Malignancy in Southwestern Iran from 2016-2023 by Arash Alghasi, Saeed Bitraf, Roya Salehi Kahyesh, Yasin Alidadi, Homayoun Yousefi, Manouchehr Makvandi

Get full text

Do the Various Indirect Bonding Techniques Provide the Same Accuracy for Orthodontic Bracket Placement? (Randomized Clinical Trial) by Ammar Sh. Al-Ubaydi, Dheaa Al-Groosh

Get full text

Investigating Equations Used to Design a Very Small Normal-Mode Helical Antenna in Free Space by Dang Tien Dung, Quoc Dinh Nguyen, Do Quoc Trinh, Yoshihide Yamada

Get full text

Optimization of Lateral Collision Risk of Aircraft Based on the Skid-Slip Event Model by Hao Liu, Daiwu Zhu, Xiaofan Xie, Jiuhao Chen, Xiaokang Liu

Get full text

INSTRUMENTAL CAPACITY OF INTERNATIONAL BUSINESS IN MODERN CONDITIONS by Georgii Logvynskyi

Get full text

Genotypic Profiling of Bacillus cereus Recovered from Some Retail Foods in Ogun State, Nigeria, and Their Phylogenetic Relationship by Titilayo O. Adesetan, Moses O. Efuntoye, Olubukola O. Babalola

Get full text

Influence of the Cement Film Thickness on the Push-Out Bond Strength of Glass Fiber Posts Cemented in Human Root Canals by Natália Araújo Silva Prado, Reinaldo de Souza Ferreira, Marcos Henrique de Pinho Maurício, Sidnei Paciornik, Mauro Sayão de Miranda

Get full text

A novel wireless sensor network deployment for monitoring and predicting abnormal actions in medical environment and patient health state by R. Manikandan, S. Arunprakash, Rakan A. Alsowail, Tharani Pandiaraj

Get full text

Empirical Analysis for Improving Food Quality Using Artificial Intelligence Technology for Enhancing Healthcare Sector by S. K. UmaMaheswaran, Gaganpreet Kaur, A. Pankajam, A. Firos, Piyush Vashistha, Vikas Tripathi, Hussien Sobahi Mohammed

“…These results have been justified by secondary journals, and it is proved that AI technologies enhance the service quality in healthcare and food sectors.…”
Get full text

Critical Analysis and Application of Net-Metering Practice in MEPCO by Hassan Zahid, Farhana Umer, Zeeshan Rashid, Abdur Raheem, Rabia Shakoor, G. Amjad Hussain

Get full text

Study of Abiotic and Biotic Parameters Affecting the Abundance of Mosquito Larvae (Diptera: Culicidae) in the Region of Fez (Morocco) by Touria Filali Mouatassem, Abdelhakim El Ouali Lalami, Chafika Faraj, Noureddine Rais, Raja Guemmouh

Get full text

Numerical exploration and thermal criticality of a dual exothermic reaction with radiative heat loss in co-axial cylinder configurations by R.A Oderinu, S.O. Salawu, A.D. Ohaeghue, S. Alao, E.I. Akinola, J.A. Owolabi

Get full text

Challenges and Opportunities for Data Sharing Related to Artificial Intelligence Tools in Health Care in Low- and Middle-Income Countries: Systematic Review and Case Study From Tha... by Aprajita Kaushik, Capucine Barcellona, Nikita Kanumoory Mandyam, Si Ying Tan, Jasper Tromp

Get full text

An Analysis of the Gear Meshing Characteristics of the Main Planetary Gear Trains of Helicopters Undergoing Shafting Position Changes by Li Xuejun, Jiang Lingli, Hua Dengrong, Yin Daoxuan, Yang Dalian

Get full text

Evaluation of SMEs’ Credit Decision Based on Support Vector Machine-Logistics Regression by Rui Xie, Rui Liu, Xian-Bei Liu, Jia-Ming Zhu

Get full text

Identification of Manning’s Coefficient Using HEC-RAS Model: Upstream Al-Amarah Barrage by Sarmad A. Abbas, Ali H. Al-Aboodi, Husham T. Ibrahim

Get full text

Accuracy of the SWAY Mobile Cognitive Assessment Application by Heidi A. VanRavenhorst-Bell, Melissa A. Muzeau, Lindsay Luinstra, Jared Goering, Ryan Z. Amick

Get full text

On the Number of Conjugate Classes of Derangements by Wen-Wei Li, Zhong-Lin Cheng, Jia-Bao Liu

Get full text

Periodic Solution for a Max-Type Fuzzy Difference Equation by Changyou Wang, Jiahui Li

Get full text