Results 121 to 130 of about 55,427 (237)

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

Quantifying Gibbs measures of disordered crystals up to the solid-liquid phase transition. [PDF]

PNAS Nexus
Efremkin V, Heske J, Kühne TD, Prodan E.   +3 more
europepmc   +1 more source

Self‐Assembling Hybrid Hydrogel Reprograms the Stromal Vascular Fraction to Treat Osteoarthritis

Advanced Science, EarlyView.
This study presents a bioinspired injectable hydrogel that enhances the therapeutic potential of stem cell‐rich stromal vascular fraction for treating osteoarthritis. By reprogramming cell behavior through epigenetic modulation, the hydrogel promotes cartilage regeneration and reduces joint damage in a rat model, offering a promising new approach for ...
Waifang Hou, Yongfeng Chen, Longyou Xiao, Wei Qi, Tianshu Du, Qiang Sun, Borui Xue, Qinghe Zhao, Pengfei Xie, Zi Ye, Fei Han, Lingli Guo, Yang Jiao, Ranran Zhang, Hong Jia, Xiao Huang, Jianwei Guo, Peng Wang, Huayi Wang, Yuanrui Wang, Wenjing Chen, Haining Wu, Liumin He, Dawei Zhang   +23 more
wiley   +1 more source

Soft Matter: A Tale of Eco-Friendly Materials, Self-Organised Phases and Biological Impact. [PDF]

Materials (Basel)
Dierking I.
europepmc   +1 more source

PRC2.1 Coordinates Peri‐Nucleolar H3K27me3‐Enriched Heterochromatin Organization and NPM1 Pentamerization to Maintain Nucleolar Integrity

Advanced Science, EarlyView.
PRC2.1(PCL2)‐coordinated H3K27me3‐enriched PNH establishes a spatial scaffold crucial for nucleolar integrity. As a crucial coordinator, PCL2 links PRC2.1 to chromatin organization and NPM1 assembly. This network‐based model reveals how chromatin modifications and nucleolar components cooperatively maintain nucleolar architecture, revealing novel ...
Lina Zhu, Wenqin Wang, Shuyun Chen, Gangyi Zhu, Zhen Wu, Yue Gu, Jingwen Xiong, Xu Zhang, Heng Liu, Kyoichi Isono, Youming Zhang, Jingjing Cao, Xiangzhi Li   +12 more
wiley   +1 more source

Probing universal phase diagram of dimensional crossover with an atomic quantum simulator. [PDF]

Nat Commun
Tian J, Yu Z, Liu J, Lai CK, Pizzino L, Wu C, Shui H, Giamarchi T, Yao H, Zhou X.   +9 more
europepmc   +1 more source

G3BP1 Succinylation at K413 is Critical for Cardiac Function by Modulating PI3K‐AKT‐mTOR Signal Axis

Advanced Science, EarlyView.
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, Cancan Yao, Yan Chen, Ke Cai, Zhouping Lu, Boxuan Wu, Kun Yu, Yan Shi, Jianyuan Zhao, Xiangyu Zhou   +9 more
wiley   +1 more source

Understanding the Causes of High Organic Matter with Low Bioavailability in Cold-Zone Lake Water: A Case in Hulun Lake. [PDF]

Toxics
Tao Y.
europepmc   +1 more source

Interfacial Engineering by Metallic Ions and Organic Ammonium Ligand Passivation for Perovskite Solar Cells

Advanced Science, EarlyView.
A synergistic approach using phenethylammonium iodide (PEAI) and antimony iodide (SbI3) enhances the operational stabilities of perovskite solar cells by providing p‐type doping effect, suitable band energy alignment, reduced defect density, and minimized surface ion vacancies in the perovskite films.
Abraham Adenle, Purevlkham Myagmarsereejid, Selengesuren Suragtkhuu, Tuul Tsagaantsooj, Solongo Purevdorj, Eric Campbell, Sina Jamali, Oisín E. FitzGerald, Taylor J. Z. Stock, Thomas J. Macdonald, Joseph F. S. Fernando, Hui Jin, Paul E. Shaw, Michitoshi Hayashi, Batjargal Sainbileg, Chihaya Adachi, Yu Lin Zhong, Munkhbayar Batmunkh   +17 more
wiley   +1 more source

Linking Targeted GC-MS Disinfection Byproduct Analysis with Nontargeted LC-HRMS Characterization of Dissolved Organic Matter to Evaluate Drinking Water Treatment Performance. [PDF]

ACS ES T Water
Zafra-Navarro F, Martí S, Schum S, Emiliano P, Petrovič M, Farré MJ.   +5 more
europepmc   +1 more source