Results 101 to 110 of about 6,185 (261)

Integration of Reconfigurable p‐Bit and 1R Crossbar Array for Memristive Probabilistic Computing

Advanced Science, EarlyView.
A memristive probabilistic computing system is demonstrated by integrating stochastic p‐bits based on volatile memristors with a 1R crossbar array encoding interaction weights. The system performs weighted‐sum operations across the array and updates p‐bits iteratively.
Keunho Soh, Ji Eun Kim, Suk Yeop Chun, Su In Hwang, Byung Seok Kim, Young Jae Lee, Ho Won Jang, Jung Ho Yoon   +7 more
wiley   +1 more source

A Determined Algorithm of Code Analysis of Commodity Software

Безопасность информационных технологий, 2013
This article is devoted to the algorithm, which allows in finite iterations to determine required values of input data for certain state of software, or to prove that these values do not exist.
Ilya Viktorovich Arzamartsev, Georgy Ivanovich Borzunov   +1 more
doaj  

Aberrant GRP78 Phase Transition Sustains Endothelial IRE1α Signaling and Drives Blood–Brain Barrier Failure in Cerebral Amyloid Angiopathy

Advanced Science, EarlyView.
Vascular Aβ40 corrupts GRP78 phase behavior in brain endothelial cells, sustaining IRE1α–TRAF2–JNK signaling and driving apoptosis, tight junction loss, and blood–brain barrier failure in cerebral amyloid angiopathy. Pharmacological IRE1α inhibition restores vascular integrity, reduces leakage, and improves functional outcomes, revealing a targetable ...
Honglin Zheng, Qiang Li, Haiyang Luo, Yapei Yuan, Na Zhang, Yongting Lu, Suying Duan, Jieshi Zhong, Hang Zhang, Chenyang Liu, Yaochong Zhang, Wenzhuo Zhao, Yaxuan Song, Tuo Wang, Si Yan, Yapeng Li, Han Liu, Yuan Gao, Zongping Xia, Yuming Xu   +19 more
wiley   +1 more source

Physics‐Aware Machine‐Learning‐Driven Inverse Design of Broadband Ultra‐Open Acoustic Metamaterials

Advanced Science, EarlyView.
A physics‐aware machine‐learning framework enables inverse design of ultra‐open acoustic silencers by decoupling spectral and radial design spaces. The approach rapidly identifies broadband, compact, and highly ventilated architectures, while revealing hidden linear design rules that link geometry, impedance matching, and acoustic performance.
Zhiwei Yang, Mengyu Li, Xiaohang Xie, Ao Chen, Thomas G. Bifano, Xin Zhang   +5 more
wiley   +1 more source

Receptogenesis in a Vascularized Robotic Embodiment

Advanced Science, EarlyView.
Functional augmentation of situated robots via ex novo hardware generation extends physical adaptability. Drawing inspiration from open circulatory systems for mass and function redistribution, this study presents a vascularized robotic composite exhibiting receptogenesis ‐ the on‐demand construction of sensors ‐ from internal fluid reserves based on ...
Kadri‐Ann Pankratov, Leonid Zinatullin, Hans Priks, Adele Metsniit, Urmas Johanson, Tarmo Tamm, Alvo Aabloo, Edoardo Sinibaldi, Indrek Must   +8 more
wiley   +1 more source

Derivative-Guided Symbolic Execution

Proceedings of the ACM on Programming Languages
We consider the formulation of a symbolic execution (SE) procedure for functional programs that interact with effectful, opaque libraries. Our procedure allows specifications of libraries and abstract data type (ADT) methods that are expressed in Linear Temporal Logic over Finite Traces (LTL
Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan   +3 more
openaire   +2 more sources

A pH‐Switchable Cerium Single‐Atom Enzyme for Peri‐Implantitis Therapy via JAK‐STAT Signaling Axis‐Mediated Macrophage Reprogramming

Advanced Science, EarlyView.
A pH‐switchable cerium single‐atom enzyme is developed for stage‐specific peri‐implantitis therapy. Acidic conditions trigger antibacterial peroxidase‐like activity, whereas neutral conditions activate an antioxidant superoxide dismutase ‐ and catalase ‐like enzymatic relay. This microenvironment‐adaptive catalytic strategy suppresses the IL‐6/JAK‐STAT
Xiaomin Xia, Haojie Wu, Xingyun Li, Lining Liu, Kaiqing Song, Jinpei Cui, Jie Liu, Jiaxuan Yin, Emtiaz Ahmed, Yusuke Yamauchi, Xue Li   +10 more
wiley   +1 more source

Performance Estimation and Ex Vivo Validation of Untethered Magnetic Robots in Soft Tissue

Advanced Science, EarlyView.
This study presents an empirical model that quantitatively predicts the step‐out frequency of screw‐type untethered magnetic robots (UMRs) in soft viscoelastic environments, including ex vivo brain tissue. By integrating key parameters into a dimensionless framework, the model enables estimation of robot performance across a range of biological ...
Leendert‐Jan W. Ligtenberg, Thijs J. van der Burg, Stijn Y. Kolkman, Santiago Saavedra Castano, David Fernandez Rivas, Anke Klingner, Roger M. L. M. Lomme, Lucas S. Joziasse, Dorothee Wasserberg, H. Remco Liefers, Doron Ben Ami, Udi Sadeh, Oded Shoseyov, Giulio Dagnino, Pascal Jonkheijm, Jurgen J. Fütterer, Stefano Stramigioli, J. Frank W. Nijsen, Michiel C. Warlé, Islam S. M. Khalil   +19 more
wiley   +1 more source

Dicationic Ion‐Pair Doping Enables Stable and High‐Performing Conducting Polymers for Organic Thermoelectrics

Advanced Science, EarlyView.
TAB–2TFSI enables efficient ion‐pair doping across a wide range of conjugated polymers, where the strongly oxidizing TAB core drives charge transfer, and the TFSI counterions promote favorable ionic compensation. This dicationic dopant promotes uniform dopant distribution, improves structural order, and increases carrier delocalization, establishing a ...
Juhyung Park, Shubhradip Guchait, Tanmay Sinha, Cynthia Verduyckt, Vijitha Ignatious, Tzu‐Yi Yu, Heyi Xia, Altynay Kaidarova, Michael Ng, Siebe Detavernier, Martin Rosenthal, Maristella Alessio, Daniel Escudero, Guy Koeckelberghs, Francisco Molina‐Lopez   +14 more
wiley   +1 more source

A Multidimensional Engineering Strategy Reprograms Microglia via Targeted and Sustained‐Release Extracellular Vesicles for Spinal Cord Injury Repair

Advanced Science, EarlyView.
A multifunctional EV‐based nanoplatform (Ang‐TEVs@Gel) was engineered via preconditioning, surface targeting, and ROS‐responsive hydrogel encapsulation to reprogram microglia. This system restored autophagy via miR‐664a‐3p/PIK3CA axis, cleared myelin debris, resolved neuroinflammation, and promoted axon remyelination, ultimately achieving robust motor ...
Wu Xiong, Minhao Liu, Mingming Zheng, Jizhou Jia, Ziyan Zhu, Guang Kong, Jie Liu, Juan Wang, Wenbo Li, Qingyuan Wang, Qian Zhu, Peiran Chan, Tao Qin, Jiayang Wu, Yongjie Zhang, Chunming Tang, Cong Li, Jin Fan   +17 more
wiley   +1 more source