18 search results - page 4 / 4 » Using Entanglement in Quantum Multi-prover Interactive Proof... |
72
Voted
JETAI
2002
15 years 2 days ago
2002
We outline the rationale and preliminary results of using the State Context Property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe t...
103
click to vote
TIT
2008
15 years 9 days ago
2008
Quantum Shannon theory is loosely defined as a collection of coding theorems, such as classical and quantum source compression, noisy channel coding theorems, entanglement distilla...
CHI
2006
ACM
16 years 24 days ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...