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
Rab1A Promotes Hepatic Steatosis by Suppressing Mitophagy via the Raf‐1/ERK1/2/PINK1 Signaling Axis
Why does fat accumulate in the liver? Our study reveals Rab1A as the molecular switch that silences the cell's mitochondrial cleanup crew. Turning Rab1A off reactivates mitophagy, clears excess fat, and reverses fatty liver disease in mice—offering a promising new therapeutic target for MASLD, a growing global health challenge.
Li Zhang +9 more
wiley +1 more source
Ritualized experiences and perceived authenticity in shaping tourists' willingness to support intangible cultural heritage inheritance. [PDF]
Liang W, Song H.
europepmc +1 more source
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source
A simulation-based framework for tracking decision-making development in youth basketball: operationalising Vygotsky's zone of proximal development through Bayesian multilevel modelling and verbal protocol analysis. [PDF]
Carvalho HM, Miguel CG, Gonçalves CE.
europepmc +1 more source
Underground Signals: The Ecological Power of Root Volatiles
Root volatiles mediate rhizosphere chemical communication, shaping interactions among plants, microbes, herbivores, and natural enemies. Their production, transport, and perception underpin ecological adaptation, multitrophic interactions, and plant resilience, offering opportunities for sustainable crop protection, resilient agroecosystems, and ...
Xueyao Cao +31 more
wiley +1 more source
Machine, organism and language: a comparative epistemology of AI models. [PDF]
Pasquinelli M.
europepmc +1 more source
ABSTRACT Autism Spectrum Disorder (ASD) is associated with gut microbiota dysbiosis, yet the contribution of specific microbial metabolic pathways remains unclear. Reanalysis of a public ASD cohort revealed reduced functional potential in microbial tryptophan oxidative metabolism.
Rui Guo +14 more
wiley +1 more source
Safeguarding traditional Chinese medicine intangible cultural heritage and enabling its potential public health reuse: a theory-informed qualitative study in Jiangsu, China. [PDF]
Li J, Dong S, Liu H, Shen J.
europepmc +1 more source
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu +8 more
wiley +1 more source

