Results 161 to 170 of about 2,267,806 (242)

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

An open-source computational framework for immersed fluid-structure interaction modeling using FEBio and MFEM. [PDF]

Eng Comput
Black RT, Maas SA, Wu W, Maheshwari J, Kolev T, Weiss JA, Jolley MA.   +6 more
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, Jianhua Li, Huilu Zhang, Qi Qin, Yichen Huang, Xiaofan Tian, Chao Sun, Binbin Li, Zhengxin Wang, Xin Zhang   +9 more
wiley   +1 more source

Non-commutative L p spaces and Grassmann stochastic analysis. [PDF]

Probab Theory Relat Fields
De Vecchi F, Fresta L, Gordina M, Gubinelli M.   +3 more
europepmc   +1 more source

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source

Hybrid artificial intelligence and quantum annealing as an optimization layer in drug discovery. [PDF]

Patterns (N Y)
Ou CH, Liao JC, Huang CY, Lee OK.
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

High-Dimensional Feature Selection Using Improved Hybrid Breeding Optimization Algorithm with Feature Grouping. [PDF]

Biomimetics (Basel)
Ye Z, Yan Y, Ma Y, Ma F, Cai T.
europepmc   +1 more source

Synthetic Toll‐Like Receptors for Control of Innate Immunity With Far‐Red Light

Advanced Science, EarlyView.
Synthetic Toll‐like receptors (TLRs) are engineered by replacing their natural sensing regions with a far‐red‐light‐responsive module from a bacterial phytochrome. These synthetic receptors enable light‐controlled regulation of immune signaling in mammalian cells.
Anna V. Leopold, Vladislav V. Verkhusha
wiley   +1 more source

Multimodule Human-Artificial Intelligence Collaboration Pipeline for Large Language Model-Assisted Thematic Analysis Across Digital Health Interview Studies: Comparative Evaluation Study. [PDF]

JMIR Med Inform
Bai Y, Finkelstein J.
europepmc   +1 more source