Results 191 to 200 of about 2,329,578 (354)

Specification and validation of dynamic systems using temporal logic [PDF]

, 2001
S.M. Cho, Hanjong Kim, Sung-Deok Cha, Dong-Hwa BAE   +3 more
openalex   +1 more source

Highly Efficient Classification of Time‐Series Based on Resistive Switching Cluster‐Assembled Materials

Advanced Intelligent Systems, EarlyView.
Cluster‐assembled nanocomposite devices are employed for the classification of neuronal traces, without any preprocessing of the input time‐series or prior training of the nonlinear devices. The classification method relies on the statistical analysis of the device's output time‐series, achieving higher classification accuracy compared to more energy ...
Filippo Profumo, Francesca Borghi, Tommaso Angì, Marta Maschietto, Stefano Vassanelli, Paolo Milani   +5 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

Temporal–Spatial Replication of the Pulse Haptic Sensation Empowered by Multifunctional Piezoelectret

Advanced Intelligent Systems, EarlyView.
Dynamic pressure sensing, static pressure sensing, and haptic vibration are implemented on multifunctional piezoelectret devices with the universal structural design, further combined with the customized pressure device to comprehensively simulate and expand the Traditional Chinese Medicine (TCM) three‐finger palpation.
Liuyang Han, Wei Zeng, Nianping Zhang, Dong Cao, Wenting Chen, Qiliang Chen, Qisen Xie, Ziyao Qi, Ying Dong, Xiaohao Wang   +9 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

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

, 1996
P. S. Thiagarajan, Igor Walukiewicz
openalex   +2 more sources

Liveness‐Verified Dynamic Time Warping‐Based Authentication and Hybrid Adaptive Neuro‐Fuzzy Inference System Identification for Single‐Channel Diaphragmatic Breathing Surface Electromyography Biometrics

Advanced Intelligent Systems, EarlyView.
The first biometric framework to harness dynamic time warping (DTW) for single‐channel diaphragmatic surface electromyography authentication via post‐hoc alignment is presented. By optimally warping deep–normal–deep breath cycles, DTW achieves perfect genuine–impostor separation (equal error rates = 0%), while a parallel adaptive neuro‐fuzzy inference ...
Beyza Eraslan, Kutlucan Gorur, Feyzullah Temurtas   +2 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

Improved Automata Generation for Linear Temporal Logic

, 1999
Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi   +2 more
openalex   +1 more source