Results 121 to 130 of about 545,179 (279)
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.It is a fact that slippage causes tracking errors in both longitudinal and lateral directions which results to have less travel distance in tracking a reference trajectory. Less travel distance means having energy loss of the battery and carrying loads less than planned.
Gokhan Bayar +2 more
wiley +1 more source
On the calculus of positively constructed formulas for authomated theorem proving
Моделирование и анализ информационных систем, 2010 The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov +2 more
doaj
Advanced Intelligent Systems, EarlyView.This study introduces a data‐driven framework that combines deep reinforcement learning with classical path planning to achieve adaptive microrobot navigation. By training a surrogate neural network to emulate microrobot dynamics, the approach improves learning efficiency, reduces training time, and enables robust real‐time obstacle avoidance in ...
Amar Salehi +3 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This study provides an introduction to Bayesian optimisation targeted for experimentalists. It explains core concepts, surrogate modelling, and acquisition strategies, and addresses common real‐world challenges such as noise, constraints, mixed variables, scalability, and automation.
Chuan He +2 more
wiley +1 more source
INTEGRATED PROGRAMMATIC ENVIRONMENT OF THE DEPARTMENTAL OF MATHEMATICAL LOGIC OF «MATLOG»
Інформаційні технології і засоби навчання, 2010 The article deals with the introduction of new information technologies into the process of mathematical logic learning at the Kherson State University. The basic components of program system of mathematical logic learning are considered.
Yurii I. Sinko
doaj
KDLM: Lightweight Brain Tumor Segmentation via Knowledge Distillation
Advanced Intelligent Systems, EarlyView.A lightweight student network is designed, which is based on multiscale and multilevel feature fusion and combined with the residual channel attention mechanism to achieve efficient feature extraction and fusion with very few parameters. A dual‐teacher collaborative knowledge distillation framework is proposed.
Baotian Li +4 more
wiley +1 more source
A Flexible and Energy‐Efficient Compute‐in‐Memory Accelerator for Kolmogorov–Arnold Networks
Advanced Intelligent Systems, EarlyView.This article presents KA‐CIM, a compute‐in‐memory accelerator for Kolmogorov–Arnold Networks (KANs). It enables flexible and efficient computation of arbitrary nonlinear functions through cross‐layer co‐optimization from algorithm to device. KA‐CIM surpasses CPU, ASIC, VMM‐CIM, and prior KAN accelerators by 1–3 orders of magnitude in energy‐delay ...
Chirag Sudarshan +6 more
wiley +1 more source
MusicSwarm: Biologically Inspired Intelligence for Music Composition
Advanced Intelligent Systems, EarlyView.Biologically inspired swarms of frozen foundation models self‐organize to compose complex music without fine‐tuning. By coordinating through stigmergic signals, decentralized agents dynamically evolve specialized roles and adapt to solve complex tasks.
Markus J. Buehler
wiley +1 more source
Advanced Intelligent Systems, EarlyView.Four decades of retinal vessel segmentation research (1982–2025) are synthesized, spanning classical image processing, machine learning, and deep learning paradigms. A meta‐analysis of 428 studies establishes a unified taxonomy and highlights performance trends, generalization capabilities, and clinical relevance.
Avinash Bansal +6 more
wiley +1 more source