Results 241 to 250 of about 593,242 (377)
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
Rigidity of linear strands and generic initial ideals [PDF]
Satoshi Murai, Pooja Singla
openalex +1 more source
This study performs pan‐viromic profiling of 14,529 samples from 5,710 domestic herbivores across five Chinese provinces, establishing the DhCN‐Virome (1,085,360 viral metagenomes). It reveals species/sample‐specific viromic signatures and cross‐species transmission dynamics, aiding unified disease control.
Yue Sun +19 more
wiley +1 more source
Exploring factors affecting access to non-communicable disease medicines in low- and middle-income countries: a systematic review. [PDF]
Wong B +7 more
europepmc +1 more source
Integrated multi‐omic profiling maps the gene‐regulatory landscape of the coelomic mesothelium across heart, lung, and pancreas. A cardiac‐restricted regulatory program is uncovered in which TBX20 activates heart mesothelial (epicardial) cis‐regulatory elements, while MAF emerges as a conserved regulator of mesothelial identity.
Quang Minh Dang +3 more
wiley +1 more source
Economic evaluation of ponatinib vs reference and generic imatinib in front-line management of philadelphia chromosome-positive acute lymphoblastic leukemia: A value dilemma. [PDF]
Amamoo RS +5 more
europepmc +1 more source
The severity of acute pancreatitis (AP) is linked to reduced abundance of Bifidobacterium pseudolongum (B. pseudolongum). Administration of B. pseudolongum or its key metabolite acetate alleviates pancreatic and systemic inflammation by suppressing M1 macrophage polarization.
Langyi Guan +16 more
wiley +1 more source

