Results 171 to 180 of about 283,349 (325)

ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS

, 2012
Gabor Simko, János Sztipanovits
openalex   +1 more source

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic

, 2021
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider   +3 more
openalex   +2 more sources

A High‐Precision Dynamic Movement Recognition Algorithm Using Multimodal Biological Signals for Human–Machine Interaction

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, Gang Ma, Zelin Chen, Yiming Ouyang, Hu Jin, Shiwu Zhang   +5 more
wiley   +1 more source

Recent Advancements in Topic Modeling Techniques for Healthcare, Bioinformatics, and Other Potential Applications

Advanced Intelligent Systems, EarlyView.
This article offers a comprehensive review of topic modeling techniques, tracing their evolution from inception to recent developments. It explores methods such as latent Dirichlet allocation, latent semantic analysis, non‐negative matrix factorization, probabilistic latent semantic analysis, Top2Vec, and BERTopic, highlighting their strengths ...
Pratima Kumari, Sachin Kadian, Mukund Vora, Pradyumna Vemuri, Sumit Kumar, Om Prakash Verma, Roger J. Narayan   +6 more
wiley   +1 more source

Model checking linear temporal logic of rewriting formulas under localized fairness

, 2014
Kyungmin Bae, José Meseguer
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

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

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

Gaze‐Engineered 3D Augmented Reality

Advanced Intelligent Systems, EarlyView.
Augmented Reality (AR) systems serve as a critical interface bridging users with the metaverse. This study explores the application of human factors engineering in metaverse development, specifically investigating the integration of eye‐tracking technology to enhance AR display performance.
Naiqin Zhao, Jiasheng Xiao, Runze Zhu, Hao Zhang   +3 more
wiley   +1 more source

A Memristive Associative Learning Circuit for Fault‐Tolerant Multi‐Sensor Fusion in Autonomous Vehicles

Advanced Intelligent Systems, EarlyView.
A memristor‐based associative learning circuit is presented for real‐time, fault‐tolerant sensor fusion in autonomous systems. The circuit mimics biological learning to recognize driving scenarios even with missing or degraded sensor inputs. Its low‐power, analog architecture enables robust decision‐making across diverse conditions, offering a ...
Kapil Bhardwaj, Dmitrii Semenov, Roman Sotner, Sayani Majumdar   +3 more
wiley   +1 more source