Results 161 to 170 of about 842,701 (337)

An Implantable Phototriggered Prodrug Depot Patch Enables Actively Programmable Drug Release for Post‐Myocardial Infarction Therapy

Advanced Science, EarlyView.
An implantable phototriggered prodrug depot patch (iPDP) is presented that enables actively programmable drug release post‐implantation. Covalently conjugated prodrug ensures minimal leakage; illumination parameters serve as a code to precisely control dose per release.
Haipeng Lu, Kaicheng Deng, Zhang Zhang, Qirui Wang, Weijing Gao, Liyin Shen, Lei Zhang, Wenting Hu, Yang Zhu, Zhengwei Mao, Tanchen Ren   +10 more
wiley   +1 more source

Symbolic execution with existential second-order constraints

, 2018
Symbolic execution systematically explores program paths by solving path conditions --- formulas over symbolic variables. Typically, the symbolic variables range over numbers, arrays and strings.
Cimatti, Alessandro, Griggio, Alberto, Alberto Griggio, Abhik Roychoudhury, Sergey Mechtaev, Mechtaev, Sergey, Alessandro Cimatti, Roychoudhury, Abhik   +7 more
core   +1 more source

CHCHD10 Mitigates Alzheimer's Disease‐Related Phenotypes in Association With Epigenetic Remodeling in Directly Reprogrammed Neurons

Advanced Science, EarlyView.
CHCHD10 loss in Alzheimer's disease is associated with mitochondrial dysfunction, epigenomic disruption, and tau pathology. Restoration of CHCHD10 shifts DNA methylation toward a non‐disease state and reduces tau and amyloid pathology, with KATNAL2 acting as a downstream effector.
Teresa M. Thomas, Ching‐Yao Yang, Kexin Zhang, Liam Wetzel, Dina Bugybayeva, Julia Ferguson, Md Mahmudul Hasan, William Samsa, Nandita Patil, Anshul Dash, Tarini Gowda, Xiongwei Zhu, Feixiong Cheng, Tian Liu   +13 more
wiley   +1 more source

Fundamental Challenges, Physical Implementations, and Integration Strategies for Ising Machines in Large‐Scale Optimization Tasks

Advanced Electronic Materials, EarlyView.
Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley   +1 more source

Efficient Data-Race Detection with Dynamic Symbolic Execution

Annals of computer science and information systems, 2016
Andreas Ibing
doaj   +1 more source

A model-guided symbolic execution approach for network protocol implementations and vulnerability detection. [PDF]

PLoS One, 2017
Wen S, Meng Q, Feng C, Tang C.
europepmc   +1 more source

Analog Weight Update Rule in Ferroelectric Hafnia, Using picoJoule Programming Pulses

Advanced Electronic Materials, EarlyView.
Resistive, ferroelectric synaptic weights based on BEOL‐compatible hafnia/zirconia nanolaminates are fabricated. Lateral downscaling the devices below 10 µm2 enables 20 ns programming with electrical pulses, dissipating ≤ 3 pJ. Experimental results show that final conductance state is set by pulse amplitude, and is largely independent of the initial ...
Alexandre Baigol, Nikhil Garg, Matteo Mazza, Yanming Zhang, Elisa Zaccaria, Wooseok Choi, Bert Jan Offrein, Laura Bégon‐Lours   +7 more
wiley   +1 more source

People Counting and Positioning Using Low‐Resolution Infrared Images for FeFET‐Based In‐Memory Computing

Advanced Electronic Materials, EarlyView.
In this work, low‐resolution infrared imaging is combined with a 28 nm FeFET IMC architecture to enable compact, energy‐efficient edge inference. MLC FeFET devices are experimentally characterized, and controlled multi‐level current accumulation is validated at crossbar array level.
Alptekin Vardar, Li Zhang, Alexander Rehmer, Marc Lupp, Subhashree Baskaran, Osama Abdelaal, Franz Müller, Nandakishor Yadav, Bing Li, Thomas Kämpfe   +9 more
wiley   +1 more source