Results 191 to 200 of about 71,357 (311)

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

Robust probabilistic temporal logics

Information Processing Letters
We robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of their model-checking problems.
openaire   +3 more sources

Multiferroic‐Centric Materials and Systems Engineering for Battery Applications: An Insight Into Mechanisms, Strategies, and Characterizations

Advanced Science, EarlyView.
Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su, Yanda Zhu, Hao Peng, Manman Li, Xuzihan Zhang, Meixiao Wu, Siyuan Zhang, Yuhan Zeng, Jiwen Liao, Ming Luo, Hetaishan Huang, Yutong Wang, Sean Li, Wenxian Li   +13 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

A population-based temporal logic gate for timing and recording chemical events. [PDF]

Mol Syst Biol, 2016
Hsiao V, Hori Y, Rothemund PW, Murray RM.   +3 more
europepmc   +1 more source

Designer Dynamic DNA Nanoaggregate in Living Cell for Mitochondrial Energy Restriction

Advanced Science, EarlyView.
This study presents the Tech‐tetrahedron, a designer dynamic DNA nanoaggregate engineered for precise mitochondrial energy restriction. Its trinity‐functionalized design integrates navigable unit, telomerase‐activated latch, and self‐assembly module.
Ruijia Deng, Jing Sheng, Ben Niu, Wenjuan Fu, Yingjie Yang, Zuowei Xie, Shuang Xie, Yunxuan He, Meilin Gong, Jue Wang, Yan Pi, Ming Chen, Kai Chang   +12 more
wiley   +1 more source

Fast and Adaptive Multi-Agent Planning under Collaborative Temporal Logic Tasks via Poset Products. [PDF]

Research (Wash D C)
Liu Z, Guo M, Bao W, Li Z.
europepmc   +1 more source

Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability. [PDF]

Softw Syst Model, 2019
Czepa C, Amiri A, Ntentos E, Zdun U.
europepmc   +1 more source

A Phase‐Resolved Geometric Deep Learning Framework Maps Structural Determinants of Disease‐Associated Protein Aggregation and Guides Suppressor Design

Advanced Science, EarlyView.
SKALE 2.0 maps disease‐associated protein aggregation as a phase‐resolved structural process, linking mutation‐induced geometric perturbations to nucleation, elongation, and suppressor design. Across neurodegenerative proteins, the framework reveals cryptic aggregation vulnerabilities, separates phase‐concordant and phase‐switching mutations, and ...
Jia Shen Sio, Wei Xuan Wilson Loo, Yan Shan Loo, Wen Xin Tan, Hui Xuan Lim, Huitao Liu, Chen Seng Ng   +6 more
wiley   +1 more source