Results 211 to 220 of about 39,214 (275)

Decision model for binary safety management behavior in a supply chain under digital scenarios: A study based on differential game theory. [PDF]

Heliyon
He B, Mei Q, Liu S, Zhang J.
europepmc   +1 more source

Artificial Intelligence-Enhanced Multi-Algorithm R Shiny Application for Predictive Modeling and Analytics: Case Study of Alzheimer Disease Diagnostics. [PDF]

JMIR Aging
Wenzheng H, Agyemang EF, Srivastav SK, Shaffer JG, Kakraba S.   +4 more
europepmc   +1 more source

Preserving provability over GPU program optimizations with annotation-aware transformations. [PDF]

Form Methods Syst Des
Şakar Ö, Safari M, Huisman M, Wijs A.
europepmc   +1 more source

Comparing Surgical Stress in Children Undergoing Open and Laparoscopic Inguinal Hernioplasty-A Single Center's Prospective Study Results. [PDF]

Children (Basel)
Demiri C, Spyridakis I, Iliadis S, Giannakou A, Bantadaki M, Kaselas C.   +5 more
europepmc   +1 more source

Assessment of industrial fault diagnosis using rough approximations of fuzzy hypersoft sets. [PDF]

PLoS One
Abdullah M, Khan KA, Rahman AU, Mabela RM.   +3 more
europepmc   +1 more source

Lightweight convolutional neural networks using nonlinear Lévy chaotic moth flame optimisation for brain tumour classification via efficient hyperparameter tuning. [PDF]

Sci Rep
Dehkordi AA, Neshat M, Khosravian A, Thilakaratne M, Safaa Sadiq A, Mirjalili S.   +5 more
europepmc   +1 more source

Result Certification of Static Program Analysers with Automated Theorem Provers

, 2014
Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas E. Jensen   +2 more
openalex   +1 more source

Personalized learning in hybrid education. [PDF]

Sci Rep
Khadidos AO, Manoharan H, Khadidos AO, N Alanazi M, Alanazi F, Selvarajan S.   +5 more
europepmc   +1 more source

Analyzinf the Quuality of Sensor Data with Simulations combined with Automated Theorem Proving

, 2015
Muhanad Nabeel, James Omoya
openalex   +1 more source

A digital twin model for grain enterprise financial shared service centers based on distributed deep learning and neural symbolic reasoning. [PDF]

Sci Rep
Wei Y.
europepmc   +1 more source