Results 101 to 110 of about 51,114 (288)

Reachability in Higher-Order-Counters

, 2013
Higher-order counter automata (\HOCS) can be either seen as a restriction of higher-order pushdown automata (\HOPS) to a unary stack alphabet, or as an extension of counter automata to higher levels.
A. Bouajjani, A. Bouajjani, A. Carayol, A. Carayol, A. Kartzow, A.N. Maslov, A.N. Maslov, C. Broadbent, D. Caucal, J. Engelfriet, P. Jancar, S. Göller   +11 more
core   +1 more source

Robust Reinforcement Learning Control Framework for a Quadrotor Unmanned Aerial Vehicle Using Critic Neural Network

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
Quadrotor unmanned aerial vehicle control is critical to maintain flight safety and efficiency, especially when facing external disturbances and model uncertainties. This article presents a robust reinforcement learning control scheme to deal with these challenges.
Yu Cai, Yefeng Yang, Tao Huang, Boyang Li   +3 more
wiley   +1 more source

Deterministic automata for extended regular expressions

Open Computer Science, 2017
In this work we present the algorithms to produce deterministic finite automaton (DFA) for extended operators in regular expressions like intersection, subtraction and complement.
Syzdykov Mirzakhmet
doaj   +1 more source

The Wadge Hierarchy of Deterministic Tree Languages

, 2008
We provide a complete description of the Wadge hierarchy for deterministically recognisable sets of infinite trees. In particular we give an elementary procedure to decide if one deterministic tree language is continuously reducible to another.
Filip Murlak, Michele Bugliesi
core   +1 more source

Predicting Performance of Hall Effect Ion Source Using Machine Learning

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
This study introduces HallNN, a machine learning tool for predicting Hall effect ion source performance using a neural network ensemble trained on data generated from numerical simulations. HallNN provides faster and more accurate predictions than numerical methods and traditional scaling laws, making it valuable for designing and optimizing Hall ...
Jaehong Park, Guentae Doh, Dongho Lee, Youngho Kim, Changmin Shin, Su‐Jin Shin, Young‐Chul Ghim, Sanghoo Park, Wonho Choe   +8 more
wiley   +1 more source

Wearable Metamaterials with Embodied Intelligence for Programmable Control of Human Limbs Tremor

Advanced Intelligent Systems, EarlyView.
Resulting from alternating muscle contractions, tremors can severely limit human ability to perform everyday tasks like walking or talking, due to their disruptive nature. Medication and surgery may not always effectively address tremor control. A wearable device embodying programmable smart metamaterials with adaptable intelligence to meet the demand ...
Braion Barbosa de Moura, Marcela R. Machado, Tanmoy Mukhopadhyay   +2 more
wiley   +1 more source

Hierarchical Language Models for Semantic Navigation and Manipulation in an Aerial‐Ground Robotic System

Advanced Intelligent Systems, EarlyView.
A hierarchical multimodal framework coupling a large language model for task decomposition and semantic mapping with a fine‐tuned vision‐language model for semantic perception, enhanced by GridMask, is presented. An aerial‐ground robot team exploits the semantic map for global and local planning.
Haokun Liu, Zhaoqi Ma, Yunong Li, Junichiro Sugihara, Yicheng Chen, Jinjie Li, Moju Zhao   +6 more
wiley   +1 more source

Bridging High‐Fidelity Simulations and Physics‐Based Learning using a Surrogate Model for Soft Robot Control

Advanced Intelligent Systems, EarlyView.
A surrogate‐model‐based framework is proposed for combining high‐fidelity finite element method and efficient physics simulations to enable fast, accurate soft robot simulation for reinforcement learning, validated through sim‐to‐real experiments. Soft robotics holds immense promise for applications requiring adaptability and compliant interactions ...
Taehwa Hong, Jungjae Lee, Byung‐Hyun Song, Yong‐Lae Park   +3 more
wiley   +1 more source

Review of Memristors for In‐Memory Computing and Spiking Neural Networks

Advanced Intelligent Systems, EarlyView.
Memristors uniquely enable energy‐efficient, brain‐inspired computing by acting as both memory and synaptic elements. This review highlights their physical mechanisms, integration in crossbar arrays, and role in spiking neural networks. Key challenges, including variability, relaxation, and stochastic switching, are discussed, alongside emerging ...
Mostafa Shooshtari, Teresa Serrano‐Gotarredona, Bernabé Linares‐Barranco   +2 more
wiley   +1 more source

Iterative Data Curation for Machine Learning‐Based Inverse Design of Active Composite Plates for Four‐Dimensional Printing

Advanced Intelligent Systems, EarlyView.
A machine learning framework is developed for the inverse design of 4D‐printed active composite plates. It utilizes a forward model to predict shapes from patterns and an inverse model to suggest initial patterns for desired shapes. This framework integrates a genetic algorithm to refine the predicted patterns, ensuring higher accuracy in achieving ...
Teerapong Poltue, Chao Zhang, Frédéric Demoly, Kun Zhou, H. Jerry Qi   +4 more
wiley   +1 more source