Results 181 to 190 of about 283,349 (325)

Peer Review #3 of "A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition (v0.2)"

, 2022
Wei Zhao, Zhiming Liu
openalex   +2 more sources

Improving Long‐Term Glucose Prediction Accuracy with Uncertainty‐Estimated ProbSparse‐Transformer

Advanced Intelligent Systems, EarlyView.
Wearable devices collect blood glucose and other physiological data, which serve as inputs to the prediction model. After data embedding, a structure utilizing ProbSparse self‐attention and a one‐step generative head within a Transformer‐based model is introduced, which is concurrently designed for deployment on edge devices, enabling real‐time ...
Wei Huang, Ni Fan, Weiping Wang, Jinqiang Wang, Xiaojuan Qi, Shiming Zhang   +5 more
wiley   +1 more source

NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas

, 2023
Francesco Fuggitti, Tathagata Chakraborti   +1 more
openalex   +2 more sources

A Memristor‐Based Event‐Driven Reservoir Computing System for Cardiac Arrhythmia Detection

Advanced Intelligent Systems, EarlyView.
A low‐power, memristor‐assisted system is developed for real‐time arrhythmia detection in wearable electrocardiograph (ECG) monitoring. It integrates a level‐crossing encoder, a reservoir computing module, and a memristor crossbar to compress, process, and classify signals efficiently.
Hanrui Li, Dayanand Kumar, Nazek El‐Atab   +2 more
wiley   +1 more source

Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free (full version)

, 2018
Daniel Neider, Alexander Weinert, Martín Zimmermann   +2 more
openalex   +2 more sources

Crater Observing Bioinspired Rolling Articulator (COBRA)

Advanced Intelligent Systems, EarlyView.
Crater Observing Bio‐inspired Rolling Articulator (COBRA) is a modular, snake‐inspired robot that addresses the mobility challenges of extraterrestrial exploration sites such as Shackleton Crater. Incorporating snake‐like gaits and tumbling locomotion, COBRA navigates both uneven surfaces and steep crater walls.
Adarsh Salagame, Henry Noyes, Eric Sihite, Arash Kalantari, Alireza Ramezani   +4 more
wiley   +1 more source

Modeling Compliance Specifications In Linear Temporal Logic, Event Processing Language And Property Specification Patterns

, 2018
Christoph Czepa, Amirali Amiri, Evangelos Ntentos, Uwe Zdun   +3 more
openalex   +2 more sources

Is Computing with Light All You Need? A Perspective on Codesign for Optical Artificial Intelligence and Scientific Computing

Advanced Intelligent Systems, EarlyView.
This perspective article considers what computations optical computing can and should enable. Focusing upon free‐space optical computing, it argues that a codesign approach whereby materials, devices, architectures, and algorithms are simultaneously optimized is needed.
Prasad P. Iyer, Gaurang R. Bhatt, Saaketh Desai, Elliot J. Fuller, Corinne M. Teeter, François Léonard, Craig M. Vineyard   +6 more
wiley   +1 more source

A hybrid support vector machine and neural network model with fuzzy logic fusion for smart city traffic prediction. [PDF]

Sci Rep
Abbas B, Alyas T, Abbas Q, Alqahtany SS, Alghamdi T, Aljohani N, Tabassum N, Ibrahim AM.   +7 more
europepmc   +1 more source

Heuristic Linear Temporal Logic Pattern Algorithm in Business Process Model

, 2019
Kelly Rossa Sungkono, Ulva Rochmah, Riyanarto Sarno   +2 more
openalex   +1 more source