Results 201 to 210 of about 9,582,228 (342)

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

A quantitative study of acetic acid emissions from historical cellulose acetate at room conditions. [PDF]

open access: yesNPJ Herit Sci
Novak M   +7 more
europepmc   +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

Cod, construction, and communities: Relations between fish and architectural history in Ísafjörður, Iceland. [PDF]

open access: yesOpen Res Eur
Tavares A   +5 more
europepmc   +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

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

Targeting PRKCN, an Essential Driver Orchestrating mTOR‐IRF4 Axis Independently of Kinase Activity, in Multiple Myeloma

open access: yesAdvanced Science, EarlyView.
Constitutive PRKCN expression is driven by super‐enhancers and modulated by NF‐κB signaling in multiple myeloma (MM). PRKCN activates mTORC1/2‐IRF4 signaling axis and favors tumor cell growth independently of its kinase activity. IRF4 reciprocally promotes PRKCN transcription, creating a feed‐forward loop.
Koukou Tang   +12 more
wiley   +1 more source

Home - About - Disclaimer - Privacy