Results 131 to 140 of about 37,272 (256)
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
The pholidota‐inspired electronic skin is successfully constructed, originally realized four‐state reversible switching of terahertz‐wave reflection, absorption, transmission, and secondary reflection. In response to external demands, it issues deformation instructions, verifies the deformation state after the equipment executes the action, and thus ...
Shangjing Li +4 more
wiley +1 more source
Autoimmune Encephalitis in Acute Care—Pathology, Diagnosis, and Management
ABSTRACT Autoimmune encephalitis (AE) is characterized by immune‐mediated inflammation of the brain parenchyma, presenting with various neurological syndromes, including but not limited to seizures, altered consciousness, neuropsychiatric symptoms, and movement disorders.
Suneesh Thilak +9 more
wiley +1 more source
An adeno‐associated virus (AAV) toolkit enables selective anatomical and functional targeting of striatal D1‐MSNs through retrograde transduction. Enhanced capsids and engineered enhancers drive robust transgene expression across murine and primate models.
Zexuan Hong +14 more
wiley +1 more source
G3BP1 Succinylation at K413 is Critical for Cardiac Function by Modulating PI3K‐AKT‐mTOR Signal Axis
Schematic illustrating the impact of G3BP1 succinylation at K413 on cardiac function. In the healthy human heart, G3BP1 succinylation maintains homeostatic mTOR signaling. In patients with dilated cardiomyopathy (DCM) and heart failure (HF), G3BP1 de‐succinylation induces RagA expression and disrupts the binding of the TSC1/2 complex, leading to the ...
Yuan Zhang +9 more
wiley +1 more source
Human‐relevant methods are essential for modern chemical safety assessment. This study helps define the capabilities and boundaries of an in vitro testing battery for developmental neurotoxicity by exploring its biological applicability domain. By linking neurodevelopmental disease‐related pathways to key neurodevelopmental processes, the work enhances
Eliska Kuchovska +14 more
wiley +1 more source
Molecular Glue cc‐885 Inhibits VHL‐Deficient Clear Cell Renal Cell Carcinoma via ETS1 Degradation
VHL‐deficient kidney cancer lacks effective treatments. This study reveals that the molecular glue degrader cc‐885 hijacks the cellular recycling system to selectively destroy the oncogenic protein ETS1, effectively killing VHL‐mutant tumors. Combining CC‐885 with the approved drug belzutifan achieves powerful synergy, offering a promising new ...
Taowei Yang +15 more
wiley +1 more source
This diagram illustrates that night shift work disrupts circadian clock genes (like CLOCK, BMAL1) in both humans and mice. This disruption leads to mitochondrial dysfunction (imbalanced fusion/fission proteins) and increased oxidative stress, which is identified as the primary mechanism ultimately causing elevated blood pressure.
Zhaoqiang Jiang +16 more
wiley +1 more source
Nursing home staff's experiences and reflections regarding disordered eating among older adults: a focus group and vignette-based study. [PDF]
Willmer M +6 more
europepmc +1 more source
m6A‐Mediated Glycolysis by IL‐37 Drives T Cell Metabolic Reprogramming to Regulate Colitis
This study identifies an IL‐37/SIGIRR‐METTL14 regulatory axis that suppresses global m6A modification in CD4+ T cells. IL‐37 signaling, mediated through SIGIRR, inhibits IRAK4 and JNK phosphorylation, leading to downregulation of the methyltransferase METTL14.
Xiaoyan Wang +26 more
wiley +1 more source

