Results 191 to 200 of about 10,007,732 (312)

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced 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

From Pores to Pavement: Advanced Modeling of Aluminosilicates for Scalable Carbon Capture in Concrete

open access: yesAdvanced Science, EarlyView.
This study presents a transferable modeling framework for carbon capture using aluminosilicates, integrating Universal Isotherm Modeling with experimental data. It reveals how ultramicropores, alumina content, and amine functionalization influence CO2 adsorption energetics.
Pooja Anil Kumar Nair   +4 more
wiley   +1 more source

Diversity Patterns of Domestic Herbivore Viruses in China Reveal Transmission Dynamics with Disease Management Implications

open access: yesAdvanced Science, EarlyView.
This study performs pan‐viromic profiling of 14,529 samples from 5,710 domestic herbivores across five Chinese provinces, establishing the DhCN‐Virome (1,085,360 viral metagenomes). It reveals species/sample‐specific viromic signatures and cross‐species transmission dynamics, aiding unified disease control.
Yue Sun   +19 more
wiley   +1 more source

KCNJ2 is Required for NLRP3 Inflammasome Activation That Drives Allergic Airway Inflammation and Remodeling

open access: yesAdvanced Science, EarlyView.
This study aims to evaluate the impact of the potassium channel KCNJ2 on asthma development. KCNJ2 promotes NLRP3 inflammasome activation through both Ca2+ influx and K+ efflux in airway epithelial cells, which drives allergic airway inflammation and remodeling, suggesting a promising therapeutic target for asthma.
Yachao Cui   +10 more
wiley   +1 more source

Home - About - Disclaimer - Privacy