Results 241 to 250 of about 30,676,854 (312)

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

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, Jianhua Li, Huilu Zhang, Qi Qin, Yichen Huang, Xiaofan Tian, Chao Sun, Binbin Li, Zhengxin Wang, Xin Zhang   +9 more
wiley   +1 more source

Perceived benefits and constraints of artificial intelligence integration in teachers' college libraries: a TAM-based study. [PDF]

Front Artif Intell
Chibidi I, Magwa L.
europepmc   +1 more source

Gonadotropin‐Inhibitory Hormone (GnIH) and Its Receptor GPR147 Mediates Acute Stress‐Induced Activation of the Locus Coeruleus‐SAM Axis

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, Hongyu Zhu, Wenqi Wang, Bingqian Shen, Yuanyuan Xin, Xingxing Song, Xuanyi Lu, Lixuan Li, Siting Chen, Xiaochen Zhang, Jialing Zeng, Haodong Zheng, Jianlong Lao, Ke Peng, Yixian Wei, Jiaming Zheng, Chuanhuo Hu, Xiaoye Wang, Xun Li   +18 more
wiley   +1 more source

Quantum Pharmacophore-Based Virtual Screening Enables Prospective Discovery of Chemotype-Diverse Dengue NS5 Inhibitors. [PDF]

J Chem Inf Model
Martinov MN, Van Den Bergh A, Jacoby E, Kirov I, Nashev LG, Herasymenko O, Arrowsmith CH, Slater JW, Grell T, Maksimchuk K, Hack MD, Wu Z, Ohadi D, Borrenberghs D, Van Loock M, Mulakala C, Goethals O.   +16 more
europepmc   +1 more source

NeuroSuite for Long‐Term Functional and Structural Studies of Air‐Liquid Interface Cerebral Organoids

Advanced Science, EarlyView.
NeuroSuite provides a modular hardware‐software platform integrating Neuroweb and NeuroMaps to enable long‐term, in situ electrophysiological interrogation of air–liquid interface organoid slices while preserving tissue architecture. Its components can be used together or independently to capture real‐time activity, spatial network dynamics, and ...
Belquis Haider, Sagnik Middya, Daniel J. Lloyd‐Davies‐Sánchez, Nino F. Läubli, Sulay Vora, Jakob Träuble, Rohan N. Krajeski, Yuqing Feng, Daniel Duncko, Josiah S. Riley, Rubén Ruiz‐Mateos Serrano, Ole Paulsen, Madeline A. Lancaster, George G. Malliaras, Gabriele S. Kaminski Schierle   +14 more
wiley   +1 more source

Predictive Design of Fulvalene-Bridged Bimetallic Molecular Solar-Thermal Fuels. [PDF]

JACS Au
Ganguly G, González L.
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, Gabriela Silva, Mafalda Aleixo, Marta Gomes, Daniel Simão, Stephan J. Holtkamp, Diana D. Lobo, Pradeep Harish, Rosalind Jenkins, Lekh N. Dahal, Rui J. Nobre, Luís de Pereira de Almeida, Mark Trautwein, Paula M. Alves, Catarina Brito   +14 more
wiley   +1 more source

RedoxDB and RedEx: closing the DFT-experiment domain gap in redox potential prediction with transfer learning. [PDF]

Chem Sci
Doan DM, Song Q, Kucernak A, Jelfs KE.
europepmc   +1 more source

An Integrated NLP‐ML Framework for Property Prediction and Design of Steels

Advanced Science, EarlyView.
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju, Adithya Umanath Rai, Jose Thomson, Marzie Ghorbani, Shujing Zhao, Nick Birbilis   +5 more
wiley   +1 more source