Results 61 to 70 of about 14,747,589 (248)

Seeing the Chemistry of Biomolecular Condensates: In Situ Mapping of Composition and Water Content

Advanced Science, EarlyView.
Raman hyperspectral imaging combined with spectral phasor analysis enables a label‐free quantification of proteins, polymers and water density within individual biomolecular condensates. By transforming complex vibrational fingerprints into intuitive compositional maps, the approach reveals the high water content and structural heterogeneity of ...
E. Sabri, A. Mangiarotti, C. N. Z. Schmitt, R. Dimova   +3 more
wiley   +1 more source

Multiferroic Quantum Criticality in a Proper Ferroelectric Quasi‐one‐dimensional Ising Antiferromagnet

Advanced Science, EarlyView.
Sr1−xBaxCo2V2O8 is established as a magnetic‐ion‐based proper displacive ferroelectric whose transition is continuously suppressed by Ba substitution to a ferroelectric quantum critical point. In the resulting quantum paraelectric regime, a transverse magnetic field induces magnetic quantum criticality, realizing multiferroic quantum criticality and ...
Takayuki Nagai, Peisen Yu, Akitoshi Nakano, Tsuyoshi Kimura   +3 more
wiley   +1 more source

Model checking linear coalgebraic temporal logics: an automata-theoretic approach [PDF]

, 2011
We extend the theory of maximal traces of pointed non-deterministic coalgebras by providing an automata-based characterisation of the set of maximal traces for finite such coalgebras.
Cirstea, Corina, Corina Cîrstea
core   +1 more source

Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections

Advanced Electronic Materials, EarlyView.
The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
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, Alon Ascoli, Fernando Corinto, Yuriy V. Pershin   +3 more
wiley   +1 more source

Topos-Theoretic Approaches to Quantum Theory [PDF]

, 2012
Starting from a naive investigation into the nature of experiments on a physical system one can argue that states of the system should pair non-degenerately with physical observables. This duality is closely related to that between space and quantity, or,
Vákár, Matthijs, Matthijs Vakar
core  

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

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, Mauro Forti, Luca Pancioni, Giacomo Innocenti, Alberto Tesi, Alon Ascoli   +5 more
wiley   +1 more source

Predictable and Scalable Analog Matrix–Vector Multiplication in Memristor Crossbars via Closed‐Form Wire‐Resistance Compensation

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, Yichun Xu, Ludovica Asselta, J. Joshua Yang, R. Stanley Williams, Fernando Corinto   +5 more
wiley   +1 more source

MODEL THEORY AND DIFFERENTIAL ALGEBRA

, 2008
I survey some of the model-theoretic work on differential algebra and related topics. 1 Introduction The origins of model theory and differential algebra, foundations of mathematics and real analysis, respectively, may be starkly different in character ...

core