Results 201 to 210 of about 92,710 (270)

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

Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce [PDF]

, 2014
Domenico Bianculli, Carlo Ghezzi, Srđan Krstić   +2 more
openalex   +1 more source

Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing

Advanced Intelligent Systems, EarlyView.
This Roadmap outlines the transformative role of artificial intelligence‐augmented additive manufacturing, highlighting advances in design, monitoring, and product development. By integrating tools such as generative design, computer vision, digital twins, and closed‐loop control, it presents pathways toward smart, scalable, and autonomous additive ...
Ali Zolfagharian, Liuchao Jin, Qi Ge, Wei‐Hsin Liao, Andrés Díaz Lantada, Francisco Franco Martínez, Tianyu Zhang, Tao Liu, Charlie C. L. Wang, Mohammad Hossein Mosallanejad, Reza Ghanavati, Abdollah Saboori, Alejandro De Blas De Miguel, William Solórzano‐Requejo, Yi Cai, Xiangyang Dong, Huangyi Qu, Najmeh Samadiani, Guangyan Huang, Austin Downey, Yanzhou Fu, Lang Yuan, Tsz‐Kwan (Glory) Lee, Arbind Agrahari Baniya, Eisha Waseem, Abdul Rahman Sani, Abbas Z. Kouzani, Yijia Wu, Markus P. Nemitz, Masoud Shirzad, Dageon Oh, Seung Yun Nam, Amedeo Franco Bonatti, Irene Chiesa, Gabriele Maria Fortunato, Giovanni Vozzi, Carmelo De Maria, Mahdi Bodaghi   +37 more
wiley   +1 more source

Predicate abstraction for hyperliveness verification. [PDF]

Form Methods Syst Des
Beutner R, Finkbeiner B.
europepmc   +1 more source

Log Analysis Using Temporal Logic and Reconstruction Approach: Web Server Case

, 2016
Murat Güneştaş, Zeki Bilgin
openalex   +2 more sources

Büchi automata for distributed temporal logic [PDF]

, 2019
Jaime Ramos
openalex   +1 more source

Real‐Time and Rapid Dynamic Missile Identification Utilizing a TiOx Memristor Array

Advanced Intelligent Systems, EarlyView.
Real‐time missile target identification is demonstrated using an artificial intelligence model based on step‐weighted long–short‐term memory networks and a TiOx memristor array. The approach classifies five projectile types with enhanced early‐stage prediction through data augmentation and custom training strategies. Achieving 94.4% accuracy, the model
Mingyu Kim, Gwanyeong Park, Gunuk Wang
wiley   +1 more source

Temporally consistent tri ledger settlement enables robust and noncontestable coordination in interprovincial power systems. [PDF]

Sci Rep
Ma X, Lv S, Hu W, Huang C, Tan Z.
europepmc   +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

Ability and knowledge: from epistemic transition systems to labelled stit models. [PDF]

Auton Agent Multi Agent Syst
Kuncová A, Broersen J, Duijf H, Ramírez Abarca AI.   +3 more
europepmc   +1 more source