Results 181 to 190 of about 5,734,703 (295)

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

Development and implementation of food and nutrition labelling policies in Mongolia: a policy analysis. [PDF]

Public Health Nutr
Chimedtseren N, Kelly B, Yeatman H, McMahon AT, Jamiyan B.   +4 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

E-CIGARETTE FLAVOR RESTRICTIONS' EFFECTS ON TOBACCO PRODUCT SALES. [PDF]

Am J Health Econ
Friedman AS, Liber AC, Crippen A, Pesko MF.   +3 more
europepmc   +1 more source

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

Advanced 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, Yong Li, Bagen Temur, Yuanqing Lin, Yuhang Liu, Le Yi, Zheng Sun, Gang Zhang, Jun Li, Yu Guo, Linchuan Li, Jinshan Cai, Wenliang Tian, Gen Meng, Lingling Jiang, Min Fang, Fuying Ding, Xuezhang Zhou, Changchun Tu, Biao He   +19 more
wiley   +1 more source

Policy Modeling Consistency index-based study on policy synergy for sustainable artificial intelligence in China's digital cultural industries. [PDF]

PLoS One
Qu C, Zhao X.
europepmc   +1 more source

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

Advanced 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, Shumei Wu, Yang Peng, Yiqi Liu, Li Che, Shiying Chen, Feng Zhang, Dajiang Qin, Shiyue Li, Pixin Ran, Wenguang Yin   +10 more
wiley   +1 more source

Policy on Paper compared with Policy in Practice: A Study of Healthy Default Beverage Implementation and Enforcement in the United States. [PDF]

Curr Dev Nutr
Sundermeir SM, Winkler MR, Davis JN, Mack A, Falbe J, Fuster M.   +5 more
europepmc   +1 more source

Science policy or social policy?

Knowledge and Policy, 1996
openaire   +2 more sources