Results 151 to 160 of about 2,419,527 (287)

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, Alon Ascoli, Fernando Corinto, Yuriy V. Pershin   +3 more
wiley   +1 more source

Expected value of the Sackin index under biased speciation models. [PDF]

J Math Biol
Bauman DJ, Rosenberg NA.
europepmc   +1 more source

SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range

Advanced Electronic Materials, EarlyView.
A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel, Aleix Barrera, Lluís Balcells, Narcís Mestres, Enrique Miranda, Anna Palau, Jordi Suñé   +6 more
wiley   +1 more source

Design of a Three-Axis Piezoelectric Accelerometer with Wide Frequency, High Sensitivity and Low Cross-Axis Interference. [PDF]

Micromachines (Basel)
Chen PC, Sun ZW, Chu SY, Tsai CC.
europepmc   +1 more source

Fractional Variational Framework for Systems With Higher‐Order Elements. Part I: Lagrangian Construction and Equations of Motion

Advanced Electronic Materials, EarlyView.
This work introduces a physics‐consistent fractional variational framework for modeling systems with higher‐order elements. The developed methodology successfully incorporates energy dissipation, nonlinear dynamics, and memory effects into a unified Lagrangian formulation.
Dalibor Biolek, Viera Biolková, Zdeněk Biolek, Ivo Petráš, Jiří Petržela   +4 more
wiley   +1 more source

The profinite rigidity of torsion-free lamplighter groups. [PDF]

Math Ann
Nikolov N, Wykowski J.
europepmc   +1 more source

Mathematical Libraries as Proof Assistant Environments

, 2008
. In this paper we analyse the modifications on logical operations-- as proof checking, type inference, reduction and convertibility-- that are required for the identification of a proof assistant environment with a distributed mathematical library ...
Claudio Sacerdoti Coen
core  

From Top to Bottom: Manufacturing Process‐Context Aware Resolution of Energy Device Electrodes Through a 3D Diffusion Generative Model

Advanced Energy Materials, EarlyView.
The application of a generative diffusion model, enhanced with a training data augmentation pipeline retaining the manufacturing process context of electrode microstructures, leads to improved fidelity of the through‐plane tortuosity factor in the AI generated samples.
Victor Ramirez‐Camacho, Siwar Ben Hadj Ali, Maxence Desnoyers, Francisco Fernandez, Nassima Benammar, Alejandro A. Franco   +5 more
wiley   +1 more source

Paul Hertz' contribution to proof theory: normal-form results for deductions. [PDF]

Arch Hist Exact Sci
Bodner M.
europepmc   +1 more source

Decoupling Quasi‐Solid‐State Sulfur Conversion Mechanisms in Weakly Solvating and Locally High Concentration Electrolytes

Advanced Energy Materials, EarlyView.
Weakly solvating CME–TTE and localized high‐concentration G2–TTE electrolytes redirect lithium–sulfur chemistry toward quasi‐solid‐state conversion through distinct coordination environments. Molecular dynamics and multimodal electrochemical and spectroscopic measurements show that G2–TTE couples multidentate solvent coordination, anion participation ...
Boyi Pang, Huanxin Li, Liam Bird, Yiming Guo, Bochen Li, Xiaoxia Guo, Roby Soni, Yi Zeng, Paul R. Shearing, Thomas S. Miller, Rhodri Jervis, Alexander J. Kibler, James B. Robinson   +12 more
wiley   +1 more source