Results 161 to 170 of about 12,004,986 (327)

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

Learning Policies by Learning Rules [PDF]

IEEE Robotics and Automation Letters, 2022
Brandon Araki, Jeana Choi, Lillian Chin, Xiao Li, Daniela Rus   +4 more
openaire   +1 more source

MR‐DELTAnet: A Longitudinal MRI‐Transformer Model Predicting Pathological Complete Response and Revealing Immune Microenvironment via scRNA‐seq in Locally Advanced Rectal Cancer

Advanced Science, EarlyView.
The MR‐DELTAnet model utilizes longitudinal MRI to predict treatment response after neoadjuvant chemoradiotherapy in locally rectal cancer patients, accurately identifying patients likely to achieve pathological complete response for personalized management.
Wuteng Cao, Huaxian Chen, Jiao Li, Yihui Zheng, Liqing Xie, Guozhong Xiao, Zeyan Wang, Fen Yuan, Junhong Chen, Chongbao Sun, Jing Dai, Jinping Zeng, Xinhua Wang, Lei Wu, Hongcheng Lin   +14 more
wiley   +1 more source

From the frontlines to centre stage: resilience of frontline health workers in the context of COVID-19

Sexual and Reproductive Health Matters, 2020
Priya Nanda, Tom Newton Lewis, Priya Das, Suneeta Krishnan   +3 more
doaj   +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

Data‐Driven Feedback Identifies Focused Ultrasound Exposure Regimens for Improved Nanotheranostic Targeting of the Brain

Advanced Science, EarlyView.
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, Victor Menezes, Shiqin Zeng, Chulyong Kim, Cynthia M. Baseman, Jae Hyun Kim, Samhita Padmanabhan, Pranav Premdas, Naima Djeddar, Anton Bryksin, Nikhil Pandey, Pavlos Anastasiadis, Anthony J. Kim, Tobey J. MacDonald, Chetan Bettegowda, Graeme F. Woodworth, Felix J. Herrmann, Costas Arvanitis   +17 more
wiley   +1 more source

Trojan Horse Strategy: How Biomimetic Nanomedicine Remodels the Tumor Microenvironment

Advanced Science, EarlyView.
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, Siqi Mu, Juan Zhang, Guisong Shan, Xueqian Li, Ran Wang, Tao Guo, Xiaoyan He   +7 more
wiley   +1 more source

Policy Learning Through Transfer - Individuals, Organisations and Network in the Making of Ethiopia’s Industrial Park Programme

International Review of Public Policy
The orthodox literature on policy transfer and lesson drawing tends to define and distinguish the mechanism of learning as a more horizontal and rational process.
Jing Zhang
doaj   +1 more source

Analog Signal Summation for Reinforcement Learning via Simultaneous Light–Voltage Modulation in a Synaptic Device

Advanced Science, EarlyView.
To overcome limitations of conventional AI hardware, a light‐voltage dual‐modulating synaptic (LVDS) transistor using an IGZO/InAs quantum dot hybrid structure is proposed. LVDS transistor enables analog summation for Dueling Deep Q‐Networks by independently modulating memory via optical and electrical stimuli.
Dong Gue Roe, Sungjoon Cheon, Seongil Im, Sinil Choi, Meeree Kim, Subeen Kim, Youngjae Yoo, Jeong Won Kim, Hyunsu Ju, Sohee Jeong, Jeong Ho Cho   +10 more
wiley   +1 more source

Policy design labs and uncertainty: can they innovate, and retain and circulate learning?

Policy Design and Practice
Around the world in recent times, numerous policy design labs have been established, related to a rising focus on the need for public sector innovation.
Jenny M. Lewis
doaj   +1 more source