10666 search results - page 5 / 2134 » Quantum programming languages |
146
click to vote
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
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...
122
click to vote
MSCS
2006
15 years 4 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
137
click to vote
ENTCS
2007
15 years 4 months ago
2007
d abstract) Paolo Zuliani 1 Department of Computer Science Princeton University Princeton, NJ 08544, USA In this paper we offer a programming approach to quantum computation usin...
136
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...
