A Perspective on Interactive Theorem Provers in Physics
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
Effect of simulated hearing loss on automatic speech recognition for an android robot-patient. [PDF]
Röhl JH, Günther U, Hein A, Cauchi B.
europepmc +1 more source
Validity of Off-the-Shelf Automatic Speech Recognition for Assessing Speech Intelligibility and Speech Severity in Speakers With Amyotrophic Lateral Sclerosis. [PDF]
Gutz SE +4 more
europepmc +1 more source
This study identifies ferritin as a pivotal mediator of silica‐induced pulmonary fibrosis. Macrophage‐derived ferritin drives fibroblast‐to‐myofibroblast differentiation via the PIK3R2/SMAD pathway, while ferritin knockdown alleviates fibrosis. These findings define ferritin as both a biomarker and pathogenic driver, highlighting ferritin‐PIK3R2 ...
Liqun Wang +14 more
wiley +1 more source
The AI Act in a law enforcement context: The case of automatic speech recognition for transcribing investigative interviews. [PDF]
Stoykova R, Porter K, Beka T.
europepmc +1 more source
Hydrogel‐based wearable electronics hold great promise for physiological monitoring in privacy‐sensitive regions. In this study, a polyurethane (PU) microfiber‐reinforced gelatin hydrogel e‐skin is developed, boasting multiple advantages such as ultra‐thinness, high toughness, and long‐term skin conformability.
Yarong Ding +11 more
wiley +1 more source
Quantification of Automatic Speech Recognition System Performance on d/Deaf and Hard of Hearing Speech. [PDF]
Zhao R, Choi ASG, Koenecke A, Rameau A.
europepmc +1 more source
Microbial synthesis of nanomaterials (NMs) is eco‐friendly, but the screening of microorganisms is limited by inefficient traditional methods (currently only involving∽400 microorganisms/90 NMs). We propose AI framework MicrobeDiscover, integrating a knowledge graph of microbe‐NM interactions.
Ludi Wang +12 more
wiley +1 more source
Revolutionizing Radiological Analysis: The Future of French Language Automatic Speech Recognition in Healthcare. [PDF]
Jelassi M, Jemai O, Demongeot J.
europepmc +1 more source
Advancing Precision Nutrition Through Multimodal Data and Artificial Intelligence
Individual responses to food vary dramatically, challenging traditional dietary advice. This review explores how the unique genetic makeup, gut microbiome, and brain activity shape host metabolic health. We examine how artificial intelligence integrates these multimodal data to predict individualized dietary needs, moving beyond one‐size‐fits‐all ...
Yuanqing Fu +5 more
wiley +1 more source

