1932 search results - page 7 / 387 » A Functional Quantum Programming Language |
127
click to vote
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
This paper studies the gap between classical one-way communication complexity C(f) and its quantum counterpart Q(f), under the unbounded-error setting, i.e., it is enough that the ...
115
Voted
MSCS
2006
15 years 3 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
ICALP
2010
Springer
15 years 1 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...
130
Voted
CPHYSICS
2006
15 years 3 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...
100
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
