Sciweavers

1947 search results - page 3 / 390
» A presentation of Quantum Logic based on an
Sort
View
JELIA
2004
Springer
13 years 11 months ago
Reasoning About Quantum Systems
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
Paulo Mateus, Amílcar Sernadas
CORR
2010
Springer
126views Education» more  CORR 2010»
13 years 5 months ago
Extending scientific computing system with structural quantum programming capabilities
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
P. Gawron, Jerzy Klamka, J. A. Miszczak, Ryszard W...
DATE
2004
IEEE
131views Hardware» more  DATE 2004»
13 years 9 months ago
Testing of Quantum Dot Cellular Automata Based Designs
There has been considerable research on quantum dots cellular automata as a new computing scheme in the nano-scale regimes. The basic logic element of this technology is a majorit...
Mehdi Baradaran Tahoori, Fabrizio Lombardi
CORR
2010
Springer
87views Education» more  CORR 2010»
13 years 4 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...
SIGIR
2008
ACM
13 years 5 months ago
Geometric and quantum methods for information retrieval
This paper reviews the recent developments in applying geometric and quantum mechanics methods for information retrieval and natural language processing. It discusses the interest...
Yaoyong Li, Hamish Cunningham