342 search results - page 40 / 69 » Quantum Algorithms |
COCO
2008
Springer
13 years 10 months ago
2008
Springer
SODA
2003
ACM
13 years 10 months ago
2003
ACM
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
ISMVL
2008
IEEE
14 years 3 months ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
COCO
2004
Springer
14 years 2 months ago
2004
Springer
We study the power of quantum proofs, or more precisely, the power of Quantum MerlinArthur (QMA) protocols, in two well studied models of quantum computation: the black box model ...