1947 search results - page 13 / 390 » A presentation of Quantum Logic based on an |
113
click to vote
IGPL
1998
15 years 7 days ago
1998
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Lig...
104
Voted
STOC
2006
ACM
16 years 27 days ago
2006
ACM
We consider the problem of bounded-error quantum state identification: given either state 0 or state 1, we are required to output `0', `1' or `?' ("don't ...
91
Voted
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. Such reversible functions are realized as a cascade of Toffoli gates. In th...
135
Voted
ICDT
2009
ACM
15 years 7 months ago
2009
ACM
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
111
Voted
JCC
2002
15 years 7 days ago
2002
: The evaluation of the electron density based similarity function scales quadratically with respect to the size of the molecules for simplified, atomic shell densities. Due to the...