1947 search results - page 1 / 390 » A presentation of Quantum Logic based on an |
101
Voted
CORR
2007
Springer
15 years 16 days ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
89
Voted
ISCA
2003
IEEE
15 years 5 months ago
2003
IEEE
As quantum computing moves closer to reality the need for basic architectural studies becomes more pressing. Quantum wires, which transport quantum data, will be a fundamental com...
118
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Quantum information processing technology is in its pioneering stage and no proficient method for synthesizing quantum circuits has been introduced so far. This paper introduces a...
108
Voted
ENTCS
2008
15 years 18 days ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
DAC
2004
ACM
16 years 1 months ago
2004
ACM
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...