Results 211 to 220 of about 5,112,355 (300)

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

The place of learning in a universal health coverage health policy process: the case of the RAMED policy in Morocco. [PDF]

Health Res Policy Syst, 2019
Akhnif E, Macq J, Meessen B.
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

Nutrition policy process challenges in Iran. [PDF]

Electron Physician, 2016
Goshtaei M, Ravaghi H, Sari AA, Abdollahi Z.   +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

'Rowing against the current': the policy process and effects of removing user fees for caesarean sections in Benin. [PDF]

BMJ Glob Health, 2018
Dossou JP, Cresswell JA, Makoutodé P, De Brouwere V, Witter S, Filippi V, Kanhonou LG, Goufodji SB, Lange IL, Lawin L, Affo F, Marchal B.   +11 more
europepmc   +1 more source

Discovery of an Adaptive Neuroimmune Response Driving Itch and Fast Tick Removal with Implications for Preventing Pathogen Transmission

Advanced Science, EarlyView.
Doehl et al. discovered an adaptive neuroimmune mechanism that induces itch in tick‐exposed guinea pigs, enabling rapid tick removal. This itch‐induced tick removal (IITR) is mediated by an adaptive cellular immune response and is independent of IgG, IgE, or TRPV1.
Johannes S. P. Doehl, Tiago D. Serafim, Serena Doh, Charles S. Grugan, Eva Iniguez, Luana Rogerio, Ronja Frigard, Ranadhir Dey, Pedro Cecilio, Xinglong Gu, Pang‐Yen Tseng, Aline da Silva Moreira, Mahnaz Minai, James Oristian, Hans Ackerman, Steven Brooks, Caroline Percopo, Siu‐Ping Ng, Derron A. Alves, Lucas Tirloni, Jennifer M. Anderson, Adriana Marques, Fabiano Oliveira, Shaden Kamhawi, Daniel E. Sonenshine, José M. C. Ribeiro, Mark Hoon, Jesus G. Valenzuela   +27 more
wiley   +1 more source

Framing and the health policy process: a scoping review. [PDF]

Health Policy Plan, 2016
Koon AD, Hawkins B, Mayhew SH.
europepmc   +1 more source

Potent and Selective IGF‐IIR‐Recruiting Bifunctional Molecules for Targeted Lysosomal Degradation of Extracellular and Membrane Proteins

Advanced Science, EarlyView.
Lysosome‐targeting chimeras (LYTACs) enable degradation of extracellular and membrane proteins via lysosomal trafficking. We report a novel IGF‐II mutant (Del1–7, Y27L) that selectively engages IGF‐IIR while avoiding IGF‐IR and IR‐A. mutIGF‐II–based LYTACs enhance target internalization and degradation and support a genetically encodable, all‐protein ...
Yuan Zhao, Yaxian Liao, Pengyun Li, Regina Stasser de Gonzalez, Xuankun Chen, Nicholas S. Nieto, Florence M. Brunel, Nick Cox, Joseph Stock, Matthew McHenry, Guangsen Fu, Penghsuan Huang, Wenxin Wu, Deqin Cai, Lingjun Li, Alexander N. Zaykov, Weiping Tang   +16 more
wiley   +1 more source

The bumpy trajectory of performance-based financing for healthcare in Sierra Leone: agency, structure and frames shaping the policy process. [PDF]

Global Health, 2018
Bertone MP, Wurie H, Samai M, Witter S.
europepmc   +1 more source