67 search results - page 2 / 14 » Quantum Programming With Mixed States |
ENTCS
2008
14 years 9 months ago
2008
We recast Selinger's CPM-construction of completely positive maps [11] as an axiomatization of maximally mixed states. This axiomatization also guarantees categories of compl...
ENTCS
2007
14 years 9 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
106
click to vote
STACS
2005
Springer
15 years 2 months ago
2005
Springer
This paper studies quantum refereed games, which are quantum interactive proof systems with two competing provers: one that tries to convince the verifier to accept and the other...
GECCO
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Spector et al. have shown [1],[2],[3] that genetic programming can be used to evolve quantum circuits. In this paper, we present new results in this field, introducing p...
COCO
2005
Springer
15 years 2 months ago
2005
Springer