Sciweavers

51 search results - page 4 / 11
» Quantum typing
Sort
View
MSCS
2006
88views more  MSCS 2006»
13 years 5 months ago
Types and typechecking for Communicating Quantum Processes
Simon J. Gay, Rajagopal Nagarajan
CORR
2008
Springer
79views Education» more  CORR 2008»
13 years 5 months ago
Non-classical Role of Potential Energy in Adiabatic Quantum Annealing
Adiabatic quantum annealing is a paradigm of analog quantum computation, where a given computational job is converted to the task of finding the global minimum of some classical po...
Arnab Das
TLCA
2005
Springer
13 years 11 months ago
A Lambda Calculus for Quantum Computation with Classical Control
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...
Peter Selinger, Benoît Valiron
COCO
2004
Springer
95views Algorithms» more  COCO 2004»
13 years 11 months ago
Consequences and Limits of Nonlocal Strategies
This paper investigates the powers and limitations of quantum entanglement in the context of cooperative games of incomplete information. We give several examples of such nonlocal...
Richard Cleve, Peter Høyer, Benjamin Toner,...
ICIC
2007
Springer
13 years 11 months ago
Quantum Integration Error on Some Classes of Multivariate Functions
Abstract. We study the approximation of the integration of multivariate functions classes in the quantum model of computation. We first obtain a lower bound of the n-th minimal qu...
Peixin Ye, Qing He