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
A quantitative study of acetic acid emissions from historical cellulose acetate at room conditions. [PDF]
Novak M +7 more
europepmc +1 more source
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
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]
Tavares A +5 more
europepmc +1 more source
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
How can we improve the diversity of archival collections with AI? Opportunities, risks, and solutions. [PDF]
Jaillant L +3 more
europepmc +1 more source
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
Narcissism and Entrepreneurial Well-Being: The Moderating Role of Equity Ranking and Industry Attention. [PDF]
Liu Y +5 more
europepmc +1 more source
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
Josef Albers' <i>Structural Constellations:</i> Investigating Formulations of Laminated Plastics Through Correlating the Industrial Literature with Scientific Analysis. [PDF]
Kokkori M, de La Codre H, Meier MC.
europepmc +1 more source

