Sciweavers

1947 search results - page 8 / 390
» A presentation of Quantum Logic based on an
Sort
View
104
Voted
ICALP
2010
Springer
14 years 10 months ago
Rewriting Measurement-Based Quantum Computations with Generalised Flow
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
Ross Duncan, Simon Perdrix
108
Voted
ISCI
2000
80views more  ISCI 2000»
15 years 11 days ago
Quantum associative memory with distributed queries
This paper discusses a model of quantum associative memory which generalizes the completing associative memory proposed by Ventura and Martinez. Similar to this model, our system ...
A. A. Ezhov, A. V. Nifanova, Dan Ventura
BIRTHDAY
2006
Springer
15 years 4 months ago
Quantum Institutions
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
Carlos Caleiro, Paulo Mateus, Amílcar Serna...
88
Voted
ICCD
2005
IEEE
128views Hardware» more  ICCD 2005»
15 years 9 months ago
Automatic Synthesis of Composable Sequential Quantum Boolean Circuits
This paper presents a methodology to transfer self-timed circuit specifications into sequential quantum Boolean circuits (SQBCs) and composable SQBCs (CQBCs). State graphs (SGs) a...
Li-Kai Chang, Fu-Chiung Cheng
EUROGP
2009
Springer
105views Optimization» more  EUROGP 2009»
15 years 5 months ago
Quantum Circuit Synthesis with Adaptive Parameters Control
The contribution presented herein proposes an adaptive genetic algorithm applied to quantum logic circuit synthesis that, dynamically adjusts its control parameters. The adaptation...
Cristian Ruican, Mihai Udrescu, Lucian Prodan, Mir...