Results 101 to 110 of about 5,873,667 (245)
A Complete Characterization of Complete Intersection-Type Preorders
, 2007 this paper we solve completely the characterization problem as far as the three canonical set-theoretical semantics for intersection-types: the inference semantics, the simple semantics [Scott 1975] and the F-semantics [Scott 1980b].
Universita Di Udine +4 more
core
Advanced Robotics Research, EarlyView.Robots can learn manipulation tasks from human demonstrations. This work proposes a versatile method to identify the physical interactions that occur in a demonstration, such as sequences of different contacts and interactions with mechanical constraints.
Alex Harm Gert‐Jan Overbeek +3 more
wiley +1 more source
Oregon problem gambling services data book
, 2011 [Parts 1 and 2]. Problem gambling data -- [Part 3]. County problem gambling data.Title from PDF cover (viewed on June 1, 2020)."OHA 9511 (1/2011)"--Back cover.This archived document is maintained by the State Library of Oregon as part of the Oregon ...
core
Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots
Advanced Robotics Research, EarlyView.A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun +3 more
wiley +1 more source
Self-Organizing Traffic at a Malfunctioning Intersection [PDF]
Traffic signals and traffic flow models have been studied extensively in the past and have provided valuable insights on the design of signalling systems, congestion control, and punitive policies. This paper takes a slightly different tack and describes
Sugata Mitra, Sujai Kumar
core
Advanced Robotics Research, EarlyView.Pak Biawak, a necrobot, embodies an unusual fusion of biology and robotics. Designed to repurpose natural structures after death, it challenges conventional boundaries between nature and engineering. Its movements are precise yet unsettling, raising questions about sustainability, ethics, and the untapped potential of biointegrated machines.
Leo Foulds +2 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
The Pairwise Intersection Problem for Monotone Polygons [PDF]
, 1986 Geometric intersection problems arise in a number of areas of computer science including graphics and VLSI design rule checking. Previous work has concentrated on solving the pairwise intersection problem for line segments and iso-oriented rectangles ...
Levine, David B
core
Liquid Crystalline Elastomers in Soft Robotics: Assessing Promise and Limitations
Advanced Robotics Research, EarlyView.Liquid crystalline elastomers (LCEs) are programmable soft materials that undergo large, anisotropic deformation in response to external stimuli. Their molecular alignment encodes directional actuation in a monolithic structure, making them long‐standing candidates for soft robotic systems.
Justin M. Speregen, Timothy J. White
wiley +1 more source
From Lab to Landscape: Environmental Biohybrid Robotics for Ecological Futures
Advanced Robotics Research, EarlyView.This Perspective explores environmental biohybrid robotics, integrating living tissues, microorganisms, and insects for operation in real‐world ecosystems. It traces the leap from laboratory experiments to forests, wetlands, and urban environments and discusses key challenges, development pathways, and opportunities for ecological monitoring and ...
Miriam Filippi
wiley +1 more source