Results 91 to 100 of about 27,002 (295)
CoRRThis paper introduces Admissibility Alignment: a reframing of AI alignment as a property of admissible action and decision selection over distributions of outcomes under uncertainty, evaluated through the behavior of candidate policies. We present MAP-AI (Monte Carlo Alignment for Policy) as a canonical system architecture for operationalizing ...
openaire +3 more sources
Advanced Science, EarlyView.An origami worm‐inspired robot achieves multimodal locomotion in confined pipelines through mechatronic integration that embeds actuation, control, and communication within each origami module. Large, reversible configuration and dimensional changes enable 25 gaits synthesized by a unified framework across peristaltic, inchworm, and wheel‐rolling modes
Qiwei Zhang +6 more
wiley +1 more source
Tools and techniques for formalising structural proof theory [PDF]
, 2010 Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core +2 more sources
Advanced Science, EarlyView.Geometric constraint reconfiguration enables a rigid–foldable kirigami‐inspired mechanism to switch between twisting, directional translation, and self‐locking states. By encoding multifunctionality directly into its architecture, the mechanism achieves multimodal motion and passive locking without reassembly, providing a compact platform for adaptive ...
Jianlin Wang, Zhongmin Song, Ketao Zhang
wiley +1 more source
Stochastic Entanglement of Deterministic Origami Tentacles For Robust Robotic Grasping
Advanced Science, EarlyView.This study introduces an origami tentacle gripper to robustly grasp objects‐in air, underwater, and even in orbital space‐by exploiting a synergy between local, deterministic deformation programming and global, stochastic entanglements. A single origami tentacle can be designed to coil with a simple tendon pull.
Alec Boron +4 more
wiley +1 more source
Common assumption of rationality [PDF]
In this paper, we provide an epistemic characterization of iterated admissibility (IA), i.e., iterated elimination of weakly dominated strategies.
Lee, Byung Soo, Keisler, H. Jerome
core
Geometry‐Encoded Actuation as a Structural Interaction Layer in Origami Robots
Advanced Science, EarlyView.We present geometry‐encoded actuation (GEA), a design framework that integrates multistable origami with liquid crystal elastomer actuators to encode environmental interactions into autonomous structural responses. GEA enables programmable shape transformation without continuous sensing or complex control, achieving robust adaptive manipulation and ...
Jianshu Zhou +8 more
wiley +1 more source
Chapter 5 on Admissibility delves into the factors determining whether a climate case can be heard in court. It presents a clear understanding of the criteria for admissibility and their potential implications on the trajectory of climate litigation. The
Auz Vaca, Juan; id_orcid
core +1 more source
Vine‐Inspired Soft Robotics: Materials, Actuations, and Emerging Applications
Advanced Science, EarlyView.Vine‐inspired robots grow from the tip, enabling navigation through confined spaces with minimal disturbance. This Review summarizes material and actuation strategies for vine‐inspired growth, key functions including steering, retraction, attachment, branching, and variable stiffness, and emerging applications spanning medical intervention, confined ...
Jiahao Wu +7 more
wiley +1 more source
Low‐Power Control Of Resistance Switching Transitions in First‐Order Memristors
Advanced Electronic Materials, EarlyView.Joule losses are a serious concern in modern integrated circuit design. In this regard, minimizing the energy necessary for programming memristors should be handled with care. This manuscript presents an optimal control framework, allowing to derive energy‐efficient programming voltage protocols for resistance switching devices. Following this approach,
Valeriy A. Slipko +3 more
wiley +1 more source