Results 31 to 40 of about 9,550,679 (229)

The Use of Language Projection for Compositional Verification of Discrete Event Systems [PDF]

, 2008
This paper proposes the use of abstraction by language projection to improve the performance of compositional verification to prove or disprove that a large system of composed finite-state machines satisfies a given safety property.
Simon Ware, Malik, Robi, Robi Malik, Ware, Simon   +3 more
core   +1 more source

Accelerated Discovery of Topological Spin Phase Diagrams in CrSBr Magnets Via High‐Throughput Optimization

Advanced Functional Materials, EarlyView.
Here, we develop a high‐throughput algorithm that accelerates the elucidation of phase diagrams of topological spin textures using limited computational resources at high numerical accuracy. Applying this framework to the van der Waals magnet CrSBr, we unveiled a hierarchy of previously unknown topological textures (domain‐wall bimerons, bimeron chains,
Andrew Lyall, Mohammad H. Badarneh, Cristian Bonato, Rebecca Cheung, Elton J. G. Santos   +4 more
wiley   +1 more source

Discrete stochastic port-Hamiltonian systems

, 2022
The present paper aims at defining discrete stochastic port-Hamiltonian systems (SPHS). We introduce a suitable definition of discrete SPHS based on symplectic variational integrators. By properly choosing the collocation points for discrete-time SPHS we
Cordoni, Francesco Giuseppe, Muradore, Riccardo, Di Persio, Luca   +2 more
core   +1 more source

Optimal Control Drives Ultrafast and Energy‐Efficient Magnetization Switching in Van der Waals Magnets

Advanced Materials, EarlyView.
ABSTRACT The accelerating expansion of data‐centric technologies is sharply increasing the energy burden of information storage, placing unprecedented pressure on the efficiency of magnetic switching. Conventional field‐driven reversal, once the foundation of magnetic memory, has become impractical in modern architectures due to its high energy cost ...
Mohammad H. Badarneh, PeiYu Cai, Elton J. G. Santos   +2 more
wiley   +1 more source

Entanglement Hamiltonian of interacting systems: Local temperature approximation and beyond

Physical Review Research, 2021
We investigate the second quantization form of the entanglement Hamiltonian (EH) of various subregions for the ground state of several interacting lattice fermions and spin models.
Mahdieh Pourjafarabadi, Hanieh Najafzadeh, Mohammad-Sadegh Vaezi, Abolhassan Vaezi   +3 more
doaj   +1 more source

Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems [PDF]

, 2006
An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an
\uc5kesson, Knut, Hugo Flordal, Flordal, Hugo, Malik, Robi, Knut Akesson, Akesson, Knut, Robi Malik, Martin Fabian, Fabian, Martin   +8 more
core   +1 more source

When Poor Exciton Dissociation Limits Photocurrents in Organic Solar Cells: Why Low Offset Non‐Fullerene Acceptor Blends Can't Be Efficient

Advanced Materials, EarlyView.
The energetic offset between the donor and the acceptor components in organic photoactive layers is central to the tradeoff between photovoltage and photocurrent losses. This Perspective covers the most important issues surrounding this topic in non‐fullerene acceptor blends, from the difficulty of accurately determining state energies and driving ...
Dieter Neher, Manasi Pranav
wiley   +1 more source

Emergent Spin Supersolids in Frustrated Quantum Materials

Advanced Materials, EarlyView.
This review highlights developments in the study of spin super‐solids in frustrated quantum materials. Advanced experimental characterizations and computational studies enable a comprehensive understanding of the driving mechanisms of spin super‐solidity in various layered transition‐metal compounds, bridging materials, experiments, and theory aspects.
Yixuan Huang, Seiji Yunoki, Sadamichi Maekawa   +2 more
wiley   +1 more source

Polarization Dynamics in Ferroelectrics: Insights Enabled by Machine Learning Molecular Dynamics

Advanced Science, EarlyView.
Machine learning molecular dynamics is presented as a route to capture polarization switching, domain wall kinetics, topological polar textures, and polar mechanical coupling beyond the limits of conventional atomistic methods. This Perspective surveys recent progress and identifies key methodological directions, including long‐range electrostatics ...
Dongyu Bai, Ri He, Junxian Liu, Liangzhi Kou   +3 more
wiley   +1 more source

Modeling and Control Design of Port-Hamiltonian Systems in Discrete-Time

Entropy
This paper aims to describe a synthesis procedure for discrete-time, energy-based regulators for continuous-time port-Hamiltonian systems. The methodology consists of three steps.
Alessandro Macchelli
doaj   +1 more source