523 search results - page 23 / 105 » On the Power of Quantum Proofs |
106
click to vote
ENTCS
2008
15 years 1 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
– Two of the important issues in the free-space optics (FSO) communication systems are the building sway and atmospheric interference. In this paper, the optimization models for ...
120
click to vote
ENTCS
2007
15 years 1 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
FOCS
2003
IEEE
15 years 7 months ago
2003
IEEE
We consider coGapSV P√ n, a gap version of the shortest vector in a lattice problem. This problem is known to be in AM ∩coNP but is not known to be in NP or in MA. We prove th...
112
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We propose a coin-flip protocol which yields a string of strong, random coins and is fully simulatable against poly-sized quantum adversaries on both sides. It can be implemented ...