Results 101 to 110 of about 28,094 (268)
FULL ABSTRACTION FOR NOMINAL GENERAL REFERENCES [PDF]
, 2009 Copyright for articles published in Logical Methods in Computer Science is retained by the authors. Logical Methods in Computer Science is an open-access journal.
Tzevelekos, Nikos +2 more
core +1 more source
Advanced Robotics Research, EarlyView.A flexible, skin‐integrated electromagnetic actuator is developed for wearable virtual/augmented reality (VR/AR) haptic systems. A tunable design model enables control over displacement and resonance frequency. The system is validated through a custom VR application with a 6 × 4 actuator array, demonstrating real‐time, spatially targeted tactile ...
Naji Tarabay +9 more
wiley +1 more source
An Invitation to Quantum Game Theory [PDF]
Recent development in quantum computation and quantum information theory allows to extend the scope of game theory for the quantum world. The paper presents the history, basic ideas and recent development in quantum game theory.
Edward W. Piotrowski, Jan Sladkowski
core
Mutual Adaptation and Influence: Review of Latent Dynamics Models in Human–Robot Interaction
Advanced Robotics Research, EarlyView.Robots are becoming better teammates by learning hidden patterns in how people act. This review covers how state‐of‐the‐art approaches leverage these patterns to help robots not only react but also anticipate and guide cooperation. Here, we synthesize a unifying framework for these approaches, classify and review existing works, and highlight key ...
Mason O. Smith +4 more
wiley +1 more source
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Towards better gameplay in educational computer games: a PhD thesis
, 2010 There is currently a notable amount of research suggesting that educators should use computer games as part of their teaching. Most of this research suggests why games should be used choosing very specific example games, or making broad sweeping ...
Frazer, Alex
core +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
Game-theoretic approach to the network security problem
, 2018 In this paper we present an overview of the main applications of the game-theoretic approach to the network security. The game theory explores the interaction of rational agents in conflict and uncertainty.
Ignatenko, O.P.
core
Dual‐Mode Gripper With Suction and Shape‐Adaptive Freezing Grasps
Advanced Robotics Research, EarlyView.This study presents a dual‐mode robotic gripper that combines vacuum suction with a shape‐adaptive freezing grasp. The freezing mode uses a compliant rubber membrane, a sprayed water layer, and dry‐ice powder to generate ice‐mediated adhesion while conforming to complex geometries.
Takuma Yanagisawa +4 more
wiley +1 more source
Benchmarking hybrid algorithms for distributed constraint optimisation games
, 2011 In this paper, we consider algorithms for distributed constraint optimisation problems (DCOPs). Using a potential game characterisation of DCOPs, we decompose eight DCOP algorithms, taken from the game theory and computer science literatures, into their ...
Jennings, Nick +2 more
core +1 more source