Results 111 to 120 of about 391,445 (269)
A Perspective on Interactive Theorem Provers in Physics
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
Monetary and fiscal policy interaction and government debt stabilization [PDF]
In many developing and developed countries, government debt stabilization is an important policy issue. This paper models the strategic interaction between the monetary authorities who control monetization and the fiscal authorities who control primary ...
Aarle, B. van +2 more
core +1 more source
Machine learning models predict in real time the onset of harmful microbubble collapse during microbubble‐enhanced focused ultrasound (MB‐FUS) and enable dynamic adjustment of sonication to prevent cavitation‐induced damage. This predictive control expands the safe operating window for bloodbrain barrier opening, enhancing nanoparticle delivery and ...
Hohyun Lee +17 more
wiley +1 more source
Dynamic Feedback between Surface and Groundwater Systems: Implications for Conjunctive Management [PDF]
A key feature of hydrologically connected surface and groundwater stocks is the two-way exchange of water between the systems. Increasing water scarcity, particularly in arid environments, has spurred debate on how to coordinate management of the two ...
Cobourn, Kelly M.
core +1 more source
Trojan Horse Strategy: How Biomimetic Nanomedicine Remodels the Tumor Microenvironment
This review focuses on biomimetic nanomedicines for tumor microenvironment (TME) remodeling, covering their diverse biomimetic types, design principles, and mechanisms of immune cell reprogramming and reversal of immunosuppressive microenvironments, with particular emphasis on their application in synergistic immunotherapy.
Wanrong Wang +7 more
wiley +1 more source
Planning guidance to limit hot food takeaways: Understanding the possible economic impacts
Local and national policymakers are seeking innovative solutions to create healthier food environments around the world. Between 2009 and 2017, 35 local authorities across England (UK) adopted planning guidance designed to limit the proliferation of hot ...
Daniel Derbyshire +15 more
doaj +1 more source
When Are Voluntary Export Restraints Voluntary? : A Differential Game Approach [PDF]
We revisit voluntariness of voluntary export restraints (VERs) in a differential game model of duopoly with sticky prices. We show that a VER set at the free trade level has no effect on equilibrium under open-loop strategies while the same policy ...
Kenji Fujiwara
core
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 +9 more
wiley +1 more source
Cellular Identity Crisis: RD3 Loss Fuels Plasticity and Immune Silence in Progressive Neuroblastoma
Researchers discovered that therapy‐induced loss of RD3 protein in neuroblastoma triggers a dangerous shift: cancer cells become more stem‐like, invasive, and resistant to treatment while evading immune detection. RD3 loss suppresses antigen presentation and boosts immune checkpoints, creating an immune‐silent environment.
Poorvi Subramanian +7 more
wiley +1 more source
Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare
Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu +10 more
wiley +1 more source

