Results 81 to 90 of about 349,803 (277)

VAE+DDPG: An Attention‐Enhanced Variational Autoencoder for Deep Reinforcement Learning‐Based Autonomous Navigation in Low‐Light Environments

Advanced Intelligent Systems, EarlyView.
Variational Autoencoder+Deep Deterministic Policy Gradient addresses low‐light failures of infrared depth sensing for indoor robot navigation. Stage 1 pretrains an attention‐enhanced Variational Autoencoder (Convolutional Block Attention Module+Feature Pyramid Network) to map dark depth frames to a well‐lit reconstruction, yielding a 128‐D latent code ...
Uiseok Lee, Chanhong Hwang, Hyunseok Kang, Yechan Park, Hangwoo Jin, Tuan Anh Nguyen, Eunmi Choi, Dugki Min   +7 more
wiley   +1 more source

Strong sequences and partition relations

Annales Universitatis Paedagogicae Cracoviensis: Studia Mathematica, 2017
The first result in partition relations topic belongs to Ramsey (1930). Since that this topic has been still explored. Probably the most famous partition theorem is Erdős-Rado theorem (1956).
Joanna Jureczko
doaj   +1 more source

A Comprehensive Framework for Saturation Theorem Proving. [PDF]

J Autom Reason, 2022
Waldmann U, Tourret S, Robillard S, Blanchette J.   +3 more
europepmc   +1 more source

Proving Theorems Recursively

Advances in Neural Information Processing Systems 37
Recent advances in automated theorem proving leverages language models to explore expanded search spaces by step-by-step proof generation. However, such approaches are usually based on short-sighted heuristics (e.g., log probability or value function scores) that potentially lead to suboptimal or even distracting subgoals, preventing us from finding ...
Wang, Haiming, Xin, Huajian, Liu, Zhengying, Li, Wenda, Huang, Yinya, Lu, Jianqiao, Yang, Zhicheng, Tang, Jing, Yin, Jian, Li, Zhenguo, Liang, Xiaodan   +10 more
openaire   +2 more sources

Enabling Stochastic Dynamic Games for Robotic Swarms

Advanced Intelligent Systems, EarlyView.
This paper scales stochastic dynamic games to large swarms of robots through selective agent modeling and variable partial belief space planning. We formulate these games using a belief space variant of iterative Linear Quadratic Gaussian (iLQG). We scale to teams of 50 agents through selective modeling based on the estimated influence of agents ...
Kamran Vakil, Alyssa Pierson
wiley   +1 more source

Revisiting a Proof of the Sine Theorem

Развитие образования, 2020
The author of the article outlines, that in school geometry course, the sine theorem and the cosine theorem are well known. In this course, they are proved by the authors of the textbook in a way different from the one that is presented in the article ...
Victor A. Dalinger
doaj   +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, Oliver Artner, Paul‐Philipp Manea, Sebastian Siegel, Susanne Hoffmann‐Eifert, Regina Dittmann, John Paul Strachan   +6 more
wiley   +1 more source

On a new generalized symmetric vector equilibrium problem

Journal of Inequalities and Applications, 2017
In this paper, a new form of the symmetric vector equilibrium problem is introduced and, by mixing properties of the nonlinear scalarization mapping and the maximal element lemma, an existence theorem for it is established.
Rahmatollah Lashkaripour, Ardeshir Karamian   +1 more
doaj   +1 more source

“It Is Much Safer to Be Sparse than Connected”: Safe Control of Robotic Swarm Density Dynamics with PDE Optimization with State Constraints

Advanced Intelligent Systems, EarlyView.
This paper proposes a novel control framework to ensure safety of a robotic swarm. A feedback optimization controller is capable of driving the swarm toward a target density while keeping risk‐zone exposure below a safety threshold. Theory and experiments show how safety is more effectively achieved for sparsely connected swarms.
Longchen Niu, Gennaro Notomista
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