Results 171 to 180 of about 2,393,674 (352)

Backdoors for Linear Temporal Logic. [PDF]

Algorithmica, 2019
Meier A, Ordyniak S, Ramanujan MS, Schindler I.   +3 more
europepmc   +1 more source

Integrated Ultrasound Device for Precision Bladder Volume Monitoring via Acoustic Focusing and Machine Learning

Advanced Science, EarlyView.
We present a conformable wearable ultrasound patch for noninvasive bladder volume monitoring. A flexible PZT array combined with a concave acoustic lens concentrates acoustic energy and improves depth selectivity through the anterior pelvic wall.
Long Long Cao, Feng Wen Wang, Jingwei Xue, Fulei Liu, Ming Liang Jin   +4 more
wiley   +1 more source

Cascade‐Responsive MXene@Cu‐MOF Heterostructure Integrates Antioxidant Activity, Infection Control, and Vascularization for Tracheal Repair

Advanced Science, EarlyView.
A cascade‐responsive MXene@Cu‐MOF/GelMA hydrogel is engineered as a “skeleton–backpack” platform for extensive tracheal repair. The MXene framework scavenges postoperative ROS and converts NIR light into mild hyperthermia, while the Cu‐MOF component provides pH/NIR‐responsive Cu2+ dosing for infection control, angiogenesis, and chondrogenesis.
Liang Guo, Yingran Shen, Jiaoyu Yi, Juanjuan Li, Ziming Wang, Erji Gao, Siqiang Zheng, Zhe‐Sheng Chen, Bo Tao   +8 more
wiley   +1 more source

Synthesizing adaptive test strategies from temporal logic specifications. [PDF]

Form Methods Syst Des, 2019
Bloem R, Fey G, Greif F, Könighofer R, Pill I, Riener H, Röck F.   +6 more
europepmc   +1 more source

ROS‐Responsive Wedelolactone Hydrogel Promotes Intervertebral Disc Repair by Disrupting the NF‐κB–LCN2 Inflammatory Feedback Loop

Advanced Science, EarlyView.
A mechanically robust, ROS‐responsive hydrogel is engineered to treat intervertebral disc degeneration by targeting the NF‐κB–LCN2 inflammatory feedback loop. By delivering wedelolactone specifically within oxidative niches, this system disrupts macrophage–disc cell crosstalk.
Zimei Wu, Yan Xu, Lang Qin, Zemin Ling, Yingjie Mai, Xiong Tian Guo, Jiajia Chen, Leping Yan, Lin Wang, Liming Bian, Fuxin Wei   +10 more
wiley   +1 more source

Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications. [PDF]

Sensors (Basel)
Im E, Choi M, Cho K.
europepmc   +1 more source

Model Checking Temporal Logic Formulas Using Sticker Automata. [PDF]

Biomed Res Int, 2017
Zhu W, Feng C, Wu H.
europepmc   +1 more source

Temporal Query Entailment in the Description Logic SHQ

, 2015
Franz Baader, Stefan Borgwardt, Marcel Lippmann   +2 more
openalex   +1 more source

Engineering Immune Cell to Counteract Aging and Aging‐Associated Diseases

Advanced Science, EarlyView.
This review highlights a paradigm shift in which advanced immune cell therapies, initially developed for cancer, are now being harnessed to combat aging. By engineering immune cells to selectively clear senescent cells and remodel pro‐inflammatory tissue microenvironments, these strategies offer a novel and powerful approach to delay age‐related ...
Jianhua Guo, Lanjie Lei, Ying Jin, Lan Su, Shumao Cui, Liyun Shi   +5 more
wiley   +1 more source

SPIN-Based Linear Temporal Logic Path Planning for Ground Vehicle Missions with Motion Constraints on Digital Elevation Models. [PDF]

Sensors (Basel)
Toscano-Moreno M, Mandow A, Martínez MA, García-Cerezo AJ.   +3 more
europepmc   +1 more source