Results 171 to 180 of about 8,434,119 (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

Institutional Design of Forest Landscape Restoration in Central Togo: Informing Policy-making through Q Methodology Analysis. [PDF]

Environ Manage
Moluh Njoya H, Hounkpati K, Adjonou K, Kokou K, Sieber S, Löhr K.   +5 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

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

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

Bioenergy Cropping Reduces the Spatiotemporal Scaling of Soil Bacterial Biodiversity

Advanced Science, EarlyView.
Consistent with patterns observed in plant and animal communities, soil bacterial communities exhibit significant species–time–area and phylogenetic–time–area relationships independent of nested structure. Bioenergy cropping significantly reduces the spatiotemporal scaling rates, particularly in sandy loam soils.
Zhencheng Ye, Jialiang Kuang, Colin T. Bates, Arthur Escalas, Daliang Ning, Liyou Wu, Suo Liu, Sihang Deng, Jiesi Lei, Xiangwen Chen, Jennifer Pett‐Ridge, Malay Saha, Lauren Hale, Gangsheng Wang, Renmao Tian, Ying Fu, Yu Tang, Mary Firestone, Jizhong Zhou, Yunfeng Yang   +19 more
wiley   +1 more source

Public Engagement in Health Policy-Making for Older Adults: A Systematic Search and Scoping Review. [PDF]

Health Expect
You J, Ganann R, Wilson M, Carusone SC, MacNeil M, Whitmore C, Dafel A, Dhamanaskar R, Ling E, Dingman L, Falbo AT, Kirk M, Luyckx J, Petrie P, Weldon D, Boothe K, Abelson J.   +16 more
europepmc   +1 more source

Direct Recycling of Mixed‐Oxide Cathodes: Balancing Cost, Performance and Environmental Trade‐Offs

Advanced Science, EarlyView.
Direct regeneration routes for mixed‐oxide lithium‐ion battery cathodes are systematically compared using harmonized techno‐economic, electrochemical, and environmental metrics. Solid‐state, hydrothermal, molten salt, electrochemical, and chemical relithiation methods are benchmarked to identify performance, cost, and sustainability trade‐offs.
Evgenii Beletskii, Elizaveta Evshchik, Anna Shikhovtseva, Valery Kolmakov, Andrey Popov, Svetlana Eliseeva, Lyubov Shmygleva, Yurii K. Gun'ko, Valentin Romanovski   +8 more
wiley   +1 more source

Working in a relational way is everything: Perceptions of power and value in a drug policy-making network. [PDF]

Health Res Policy Syst
Zakimi N, Bouchard M, Ritter A, Greer A.
europepmc   +1 more source

An Enzyme‐Like Catalyzed Nanosheets for Redox Stress Oscillation Therapy Against Bacterial Infections

Advanced Science, EarlyView.
Bacterial biofilms form a physicochemical barrier. Their dense network structure and redox homeostasis confer high resistance to antimicrobial treatments and immune‐mediated killing and clearance. In this study, SnSe nanosheets with enzyme‐like properties and piezoelectric catalysis can oscillate to regulate bacterial redox homeostasis and improve the ...
Min Ge, Zhao Guo, Zhiming Zhang, Lanlu Lu, Zesong Ruan, Tingwang Shi, Yunfeng Chen, Ju Huang, Chaoliang Tan, Han Lin   +9 more
wiley   +1 more source