Results 201 to 210 of about 2,393,674 (352)
A Dynamic Approach to Temporal Normative Logic
, 2017 Fengkui Ju, Gianluca Grilletti
openalex +2 more sources
Handling Disjunctions in Signal Temporal Logic Based Control Through Nonsmooth Barrier Functions
, 2022 Adrian Wiltz, Dimos V. Dimarogonas
openalex +2 more sources
Designing Memristive Materials for Artificial Dynamic Intelligence
Advanced Intelligent Discovery, EarlyView.Key characteristics required of memristors for realizing next‐generation computing, along with modeling approaches employed to analyze their underlying mechanisms. These modeling techniques span from the atomic scale to the array scale and cover temporal scales ranging from picoseconds to microseconds. Hardware architectures inspired by neural networks
Youngmin Kim, Ho Won Jang
wiley +1 more source
Smooth operator: Control using the smooth robustness of temporal logic
Conference on Control Technology and Applications, 2017 Y. Pant, Houssam Abbas, Rahul Mangharam
semanticscholar +1 more source
Deep Learning‐Assisted Design of Mechanical Metamaterials
Advanced Intelligent Discovery, EarlyView.This review examines the role of data‐driven deep learning methodologies in advancing mechanical metamaterial design, focusing on the specific methodologies, applications, challenges, and outlooks of this field. Mechanical metamaterials (MMs), characterized by their extraordinary mechanical behaviors derived from architected microstructures, have ...
Zisheng Zong +5 more
wiley +1 more source
Bisimulations for intuitionistic temporal logics
, 2021 Philippe Balbiani +3 more
openalex +1 more source
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.This article describes a multimodal fusion data acquisition and processing system about electromyography for dynamic movement recognition and bioelectrical impedance for key posture recognition. In addition, a new dynamic–static fusion algorithm strategy is designed.
Chenhao Cao +5 more
wiley +1 more source
Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems. [PDF]
Proc Annu Conf Progn Health Manag Soc, 2015 Heddy G +6 more
europepmc +1 more source