ENTCS
2007
13 years 5 months ago
2007
We present the SQRAM architecture for quantum computing, which is based on Knill’s QRAM model. We detail a suitable instruction set, which implements a universal set of quantum ...
ENTCS
2007
13 years 5 months ago
2007
d abstract) Paolo Zuliani 1 Department of Computer Science Princeton University Princeton, NJ 08544, USA In this paper we offer a programming approach to quantum computation usin...
ENTCS
2007
13 years 5 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 ...
ENTCS
2007
13 years 5 months ago
2007
ENTCS
2007
13 years 5 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
ENTCS
2007
13 years 5 months ago
2007
Following a suggestion of Briegel, we show that a variant of the oneway model where one only allows X and Y one qubit measurements is approximately universal with respect to unita...
ENTCS
2007
13 years 5 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
ENTCS
2007
13 years 5 months ago
2007
ENTCS
2007
13 years 5 months ago
2007
ENTCS
2007
13 years 5 months ago
2007
Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggr...