12 search results - page 1 / 3 » A Generalization of the Deutsch-Jozsa Algorithm to Multi-Val... |
ISMVL
2007
IEEE
14 years 1 months ago
2007
IEEE
We generalize the binary Deutsch-Jozsa algorithm to nvalued logic using the quantum Fourier transform. Our algorithm is not only able to distinguish between constant and balanced ...
LOGCOM
2010
13 years 1 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
CONCUR
2003
Springer
14 years 7 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...
DAC
2010
ACM
13 years 11 months ago
2010
ACM
Reversible logic became a promising alternative to traditional circuits because of its applications e.g. in low-power design and quantum computation. As a result, design of revers...