1947 search results - page 5 / 390 » A presentation of Quantum Logic based on an |
117
Voted
SYNTHESE
2011
14 years 7 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
114
click to vote
ISMVL
2008
IEEE
15 years 7 months ago
2008
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...
119
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
In this paper we consider physical systems and the concept of their states in the context of the theory of fuzzy sets and systems. In section 1 we give a brief sketch on the fundam...
117
click to vote
SODA
2012
ACM
13 years 3 months ago
2012
ACM
We present new quantum algorithms for Boolean Matrix Multiplication in both the time complexity and the query complexity settings. As far as time complexity is concerned, our resu...
103
click to vote
CORR
2008
Springer
15 years 19 days ago
2008
Springer
In this survey paper we give an intuitive treatment of the discrete time quantization of classical Markov chains. Grover search and the quantum walk based search algorithms of Amba...