Results 91 to 100 of about 26,905 (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
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
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
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
A Dual‐Branch Flux‐Based Extended Memristor Model With Machine‐Learning‐Assisted Calibration
Advanced Electronic Materials, EarlyView.Multilayer oxide memristors integrated in crossbar arrays are described through a dual‐branch, flux‐controlled compact model. A three‐stage calibration workflow combining Latin hypercube sampling, Bayesian optimization, and gradient‐based refinement extracts device parameters from experimental data.
Davide Rossetti +6 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
Nonlinear Dynamics and Invariants of Motion in ReRAM Cells
Advanced Electronic Materials, EarlyView.A second‐order cell, hosting one capacitor and two back‐to‐back ReRAMs, admits Invariants of Motion: its states lie on one‐dimensional manifolds at all times. The cell shows quiescent monostability or bistability, depending on the manifold index. At equilibrium, the capacitor voltage vanishes.
Mauro Di Marco +5 more
wiley +1 more source
EIRP Proceedings, 2011 The present paper tries to analyze the controversy of the admissibility of theinterceptions and audio-video registrations in the phase of the precursory documentscannot be admitted. The fact that interceptions and registrations can be disposed evenbefore
Sandra Gradinaru
doaj
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
Advanced Electronic Materials, EarlyView.Wire resistance and sneak paths severely compromise the performance of large memristor crossbars. A predictive closed‐form distributed line‐resistance model, combined with a fourmatrix geometry‐averaging algorithm, eliminates these parasitic limitations.
Davide Rossetti +5 more
wiley +1 more source