Results 251 to 260 of about 830,308 (288)

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Applications of artificial intelligence (AI) in managing food quality and ensuring global food security

open access: gold
Ali Ikram   +5 more
openalex   +1 more source

Current Applications and Future Perspectives of Artificial Intelligence in Face-Driven Orthodontics: A Scoping Review. [PDF]

open access: yesBiomimetics (Basel)
Heribanová B   +5 more
europepmc   +1 more source

Improving sepsis care with Artificial Intelligence. What would Illich say? [PDF]

open access: yesCrit Care Sci
Komorowski M   +4 more
europepmc   +1 more source

Understanding and Regulating Advanced Emotional Capabilities in Artificial Intelligence (AI) Systems.

open access: green
Gunther Meinlschmidt   +6 more
openalex   +1 more source

Home - About - Disclaimer - Privacy