Results 71 to 80 of about 186,512,308 (212)
, 1994 We present a sequent calculus for the modal logic S4, and by building on some relevant features of this system (the absence of contraction rules and the confinement of weakenings to axioms and modal rules) we show how S4 can easily be translated into ...
MASINI, Andrea, S. Martini
core +1 more source
LLM‐Integrated Human–Robot Interaction System for Microrobots
Advanced Robotics Research, EarlyView.This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley +1 more source
The baire closure and its logic [PDF]
The Baire algebra of a topological space X is the quotient of the algebra of all subsets of X modulo the meager sets. We show that this Boolean algebra can be endowed with a natural closure operator, resulting in a closure algebra which we denote ...
Fernández Duque, David +3 more
core +1 more source
Advanced Robotics Research, EarlyView.Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings +6 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao +6 more
wiley +1 more source
Push the Limits: Human‐Like Multimodal Extreme Embodied Intelligence for Autonomous Racing
Advanced Robotics Research, EarlyView.Autonomous racing tests embodied intelligence under extreme control limits of speed, actuation, and decision‐making. Inspired by human multimodality, we present Apex, an embodied agent deployed on a super‐formula racing car at Yas Marina. Integrating physics‐informed perception, multimodal learning, and tasking, Apex cuts lap times by 15% and achieves ...
Yanxin Zhou +13 more
wiley +1 more source
Deep Sequent Systems for Modal Logic
, 2006 Institut für Informatik und angewandte Mathematik (IAM)13Volume 6 contains invited and contributed papers from the sixth conference on "Advances in Modal logic," held in Noosa, Queensland, Australia, on 25-28 September ...
Brünnler, Kai
core
Continuum Robots in Surgery: From Engineering Design to Clinical Practice
Advanced Robotics Research, EarlyView.The hyper‐redundant nature of continuum robot structures enables near‐infinite degrees of freedom leading to immense potential for medical applications. This review provides a historical background of continuum robots and novel ideas shaping their progress to current structural design, sensing technology, modeling techniques, and control methods.
Griffin Smith +6 more
wiley +1 more source
Flexible Sensors for Robotics Tactile Perception: A Review
Advanced Robotics Research, EarlyView.Flexible tactile sensing for robotics is reviewed through four interconnected dimensions. Physical mechanisms include piezoresistive, capacitive, piezoelectric, triboelectric, iontronic, and optical sensing. Structural design includes bioinspired, defect‐based, and MEMS‐based tactile systems.
Yu Song, Ying Chen, Yihao Chen, Xue Feng
wiley +1 more source
Explicit non-normal modal logic
Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of deontic situations.
Studer, Thomas, Rohani, Atefeh
core +1 more source