A Perspective on Interactive Theorem Provers in Physics
Advanced 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
The Prohibition of Suicide and Its Theological Rationale in Catholic Moral and Canonical Tradition: Origins and Development. [PDF]
J Relig Health, 2023 Adamiak S, Dohnalik J.
europepmc +1 more source
Rab1A Promotes Hepatic Steatosis by Suppressing Mitophagy via the Raf‐1/ERK1/2/PINK1 Signaling Axis
Advanced Science, EarlyView.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
Advanced Science, EarlyView.ABSTRACT Gonadotropin‐inhibitory hormone (GnIH, also known as RFamide‐related peptide‐3, RFRP‐3) is a hypothalamic neuropeptide that regulates vertebrate reproduction via its receptor GPR147. Although GnIH is known to mediate stress‐induced reproductive suppression, its role in broader stress responses remains unclear.
Jiani Zhang +18 more
wiley +1 more source
Translational neuronal ensembles: Neuronal microcircuits in psychology, physiology, pharmacology and pathology. [PDF]
Front Syst Neurosci, 2022 Lara-González E +4 more
europepmc +1 more source
Innate Immunocompetent hiPSC‐Derived Neurospheroids Capture Early CNS Responses to rAAV
Advanced Science, EarlyView.Knowledge of human CNS immune responses to AAV‐based gene therapies remains limited due to the lack of immune‐competent human models. Here, a hiPSC‐derived 3D neuroimmune platform integrating neurospheroids and microglia is established using stirred‐tank bioreactors.
Catarina M. Gomes +14 more
wiley +1 more source
Symmetrical distributions of aminoacyl-tRNA synthetases during the evolution of the genetic code. [PDF]
Theory Biosci, 2023 José MV +3 more
europepmc +1 more source
Advanced Science, EarlyView.Gemcitabine resistance remains a major challenge in pancreatic ductal adenocarcinoma. This study identifies STYK1 as a key mediator of chemoresistance through autophagy‐dependent maintenance of cancer stemness. Gemcitabine‐activated AMPK phosphorylates STYK1 at Ser91 and Ser304, enhancing autophagy and stemness.
Xueying Dong +20 more
wiley +1 more source
The interoperability between the Spanish version of the International Classification of Diseases and ORPHAcodes: towards better identification of rare diseases. [PDF]
Orphanet J Rare Dis, 2021 Rico J +6 more
europepmc +1 more source
Charting Endocrine Progenitors Across Species and Organs
Advanced Science, EarlyView.Endocrine progenitors give rise to the hormone‐producing cells of the pancreas and intestine. Using single‐cell multiomics and proteomics, this study compares these progenitors across species, systems, and organs, mapping the conserved and species‐specific gene regulatory networks that guide their formation.
Changying Jing +21 more
wiley +1 more source