Sciweavers

508 search results - page 6 / 102
» Poly-locality in quantum computing
Sort
View
ENTCS
2008
125views more  ENTCS 2008»
13 years 7 months ago
Quantum Arrows in Haskell
We argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and ...
Juliana Kaizer Vizzotto, Antônio Carlos da R...
LICS
2005
IEEE
14 years 1 months ago
A Functional Quantum Programming Language
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
Thorsten Altenkirch, Jonathan Grattage
ISMVL
2007
IEEE
90views Hardware» more  ISMVL 2007»
14 years 1 months ago
Quantum Robots for Teenagers
Extending the ideas of Quantum Braitenberg Vehicles from [14], we present here a family of Lego robots controlled by multiple-valued quantum circuits. The robots have at most 6 de...
Arushi Raghuvanshi, Yale Fan, Michal Woyke, Marek ...
CORR
2010
Springer
87views Education» more  CORR 2010»
13 years 6 months ago
Quantum money from knots
Quantum money is a cryptographic protocol in which a mint can produce a quantum state, no one else can copy the state, and anyone (with a quantum computer) can verify that the sta...
Edward Farhi, David Gosset, Avinatan Hassidim, And...