Results 201 to 210 of about 1,208,725 (297)

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

Challenges of Open Respiratory Archives: Indexing and Impact Factor

open access: yesOpen Respiratory Archives
Adolfo Alonso-Arroyo   +2 more
doaj   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

open access: yesAdvanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang   +7 more
wiley   +1 more source

The Gut Commensal Butyricimonas Virosa Modulates Gut Microbiota‐Dependent Thiamine Metabolism and Attenuates Mouse Steatotic Liver Disease

open access: yesAdvanced Science, EarlyView.
This study reveals that dietary stachyose enriches Butyricimonas virosa, effectively attenuating metabolic dysfunction‐associated steatotic liver disease (MASLD). Mechanistically, B. virosa enhances gut thiamine monophosphate synthesis, which elevates hepatic thiamine pyrophosphate levels.
Ningning He   +17 more
wiley   +1 more source

Cultural innovation can increase and maintain biodiversity: A case study from medieval Europe. [PDF]

open access: yesProc Natl Acad Sci U S A
Spitzig A   +8 more
europepmc   +1 more source

Mechanisms of Aristolochic Acid Resistance in Specialist Butterflies and Evolutionary Insights for Potential Protective Pathways

open access: yesAdvanced Science, EarlyView.
The study provides an extreme example of insect adaptation to highly toxic defenses of host plants, and investigates the complex strategies to resist carcinogenic aristolochic acids, including physical isolation, metabolic detoxification, and DNA repair.
Yang Luan   +20 more
wiley   +1 more source

Home - About - Disclaimer - Privacy