939 search results - page 5 / 188 » Semantic Abstraction and Quantum Computation |
POPL
2005
ACM
14 years 5 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
SAC
2009
ACM
14 years 10 days ago
2009
ACM
Abstract— This article describes how to accelerate the convergence of Preconditioned Conjugate Gradient (PCG) type eigensolvers for the computation of several states around the b...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
ion Dusko Pavlovic
UC
2007
Springer
13 years 11 months ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
IAT
2008
IEEE
13 years 12 months ago
2008
IEEE
Quantum service selection facilitates matchmaking of Web services and greatly benefits from quantum memory exponential in the number of its qubits as well as from computational s...