Results 121 to 130 of about 1,783,241 (304)
CoRR, 2019 In this paper, we introduce a model of quantum concurrent program, which can be used to model the behaviour of reactive quantum systems and to design quantum compilers. We investigate quantum temporal logic, QTL, for the specification of quantum concurrent systems by suggesting the time-dependence of events.
openaire +2 more sources
Foundations of Physics, 2014 It is shown how all the major conceptual difficulties of standard (textbook) quantum mechanics, including the two measurement problems and the (supposed) nonlocality that conflicts with special relativity, are resolved in the consistent or decoherent histories interpretation of quantum mechanics by using a modified form of quantum logic to discuss ...
openaire +3 more sources
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 +3 more
wiley +1 more source
Model checking quantum protocols [PDF]
This thesis describes model checking techniques for protocols arising in quantum information theory and quantum cryptography. We discuss the theory and implementation of a practical model checker, QMC, for quantum protocols. In our framework, we assume
Papanikolaou, Nikolaos K.
core
A Consistent Quantum Ontology [PDF]
, 2011 The (consistent or decoherent) histories interpretation provides a consistent realistic ontology for quantum mechanics, based on two main ideas.
Robert B. Griffiths +1 more
core
Recognition of signals with different correlation matrixes with quantum logic
Lietuvos Matematikos Rinkinys, 2005 It is shown that the quantum logic can be used for recognition of random signals with different correlation operators. Rules of recognition use energy of the accepted signal.
Gregory Melnichenko
doaj +1 more source
Neuromorphic Devices and Computing for Sensing, Memory, and Control
Advanced Science, EarlyView.This review introduces neuromorphic devices made from diverse materials. These devices mimic neuronal functions and architectures and, when integrated with artificial or biological computing, can form closed loops with neurons for pressure, optical, acoustic, and biochemical sensing and modulation.
Zhengguang Zhu +2 more
wiley +1 more source
QMC : a model checker for quantum systems [PDF]
We introduce a model-checking tool intended specially for the analysis of quantum information protocols. The tool incorporates an efficient representation of a certain class of quantum circuits, namely those expressible in the so-called stabiliser ...
Nagarajan, Rajagopal +2 more
core
Quantum logic in laughter: Standup and sketch comedy [PDF]
Can a quantum structure be directly identified in laughter? Here, we show that the basic structure of quantum logic can be identified in standup comedies and sketches.
Gunji, Yukio-Pegio +11 more
core +1 more source
A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic
International Journal of Mathematics and Mathematical Sciences, 2012 Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002 ...
Mitsuhiko Fujio
doaj +1 more source