Results 211 to 220 of about 2,329,578 (354)

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

A compositional proof system for real-time systems based on explicit clock temporal logic [PDF]

, 2002
Jozef Hooman, Ruurd Kuiper, Ping Zhou
openalex   +1 more source

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

Temporal-logic Queries

, 2000
William Chan
openalex   +1 more source

A Robot‐Assisted Remote Rehabilitation System for Ankle Fractures Based on Predictive Force and Full‐Cycle Training Strategy

Advanced Intelligent Systems, EarlyView.
This study presents a robot‐assisted remote rehabilitation system for postoperative ankle fractures. The 2.634 kg modular system uses wireless control and deep learning to predict force delays, achieving 100 Hz control (normalized root mean square error ≤ 10.89%).
Zhiyuan He, Peng Chen, Xinye Wang, Yuxiang Chen, Tao Sun   +4 more
wiley   +1 more source

Advances in Temporal Logic

, 2000
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough   +3 more
openalex   +1 more source

Bioinspired Engineering beyond Homeostasis

Advanced Intelligent Systems, EarlyView.
This perspective article introduces systems biology as the unifying theoretical framework behind bioinspired engineering. As an example, it explores how disruptions in multiscale biological systems, associated with pathological states, can be viewed as localized failure modes of biological cooperation showing emergent advantages that can inspire ...
Rosalia Moreddu
wiley   +1 more source

On the Construction of Monitors for Temporal Logic Properties

, 2001
Marc Geilen
openalex   +1 more source

Haptic Perception via the Dynamics of a Flexible Body Inspired by an Ostrich's Neck

Advanced Intelligent Systems, EarlyView.
Inspired by avian anatomy, this study uses a flexible robotic neck to investigate haptic perception driven by musculoskeletal dynamics. By applying physical reservoir computing, the robot encodes external force interactions into its body dynamics, allowing effective object classification.
Kazashi Nakano, Katsuma Inoue, Yasuo Kuniyoshi, Kohei Nakajima   +3 more
wiley   +1 more source

An Infinite Hierarchy of Temporal Logics over Branching Time

, 2001
Alexander Rabinovich, Shahar Maoz
openalex   +1 more source