Results 191 to 200 of about 911,877 (266)

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

Assessment of China's food and nutrition policies based on healthy food environment policy index (food-EPI): focusing on governance, funding and resources, platforms for interaction. [PDF]

Front Nutr
Zhang M, Zhang Y, Li Z, Chang S, Zhou S, Wang X, Zhou M, Zhang N, Ma G.   +8 more
europepmc   +1 more source

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

Advanced 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, Jéssica de O. N. Ribeiro, Murilo Daniel de Mello Innocentini, Kevin Paine, Juliana Calabria‐Holley   +4 more
wiley   +1 more source

Findings from the 2025 AMCP Foundation Symposium: Health Optimization 2.0. [PDF]

J Manag Care Spec Pharm
Flavin B, Kheloussi S.
europepmc   +1 more source

MASH Background Confers Enhanced Disease Susceptibility and Acetaminophen Toxicity in iPSC‐Derived Liver Organoids

Advanced Science, EarlyView.
This work establishes a novel method for generating multicellular liver organoids from control and MASH donor iPSCs. The model recapitulates several disease‐specific characteristics, with MASH donor‐derived organoids showing higher susceptibility. Lipidomic profiling of MASH organoids closely resembles MASH liver biopsies.
Ekta Minocha, Ashwani Kumar Gupta, Nate Schmidt, Richard M. Green, John G. Purdy, Jason A. Wertheim   +5 more
wiley   +1 more source

Scoping review of mental health-related policies issued in the context of the COVID-19 pandemic in Peru. [PDF]

PLOS Ment Health
Cavero V, Vilela-Estrada AL, Paredes-Angeles R, Cusihuaman-Lope N, Villarreal-Zegarra D, Diez-Canseco F.   +5 more
europepmc   +1 more source

ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals

Advanced Science, EarlyView.
The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray, Andrew R. Castillo, Manoj Kolel‐Veetil, Surya R. Kalidindi   +3 more
wiley   +1 more source

Structural consistency in AI governance: A PMC index assessment with evidence from China's central-level policies. [PDF]

PLoS One
Zhang S, Zhang T, Wang X.
europepmc   +1 more source

Polychip‐A High‐Throughput Droplet Microfluidics Platform for Interrogating Microbial Interactions

Advanced Science, EarlyView.
Polychip, a fully integrated droplet microfluidics platform, enables high‐throughput, single‐cell resolution screening of polymicrobial interactions. By seamlessly combining six automated microfluidics operations on a single chip, the system accelerates antimicrobial discovery by 11 to 14 times compared to traditional robotic methods.
Jeong Jae Han, Adrian Ryan Guzman, Aifen Zhou, Han Zhang, Rohit Gupte, Haemin Jung, Kaylee Delgado, Sini Skariah, Ali Sultan, Arul Jayaraman, Paul de Figueiredo, Arum Han   +11 more
wiley   +1 more source