94 search results - page 5 / 19 » On Classical, Fuzzy Classical, Quantum and Fuzzy Quantum Sys... |
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
- In recent years, many quantum cryptographic schemes have been proposed. However, it seems that there are many technical difficulties to realize them (except Quantum Key Distribut...
FSTTCS
2005
Springer
15 years 5 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
ISAAC
2003
Springer
15 years 4 months ago
2003
Springer
This paper introduces quantum “multiple-Merlin”-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical ...
FQAS
2000
Springer
15 years 3 months ago
2000
Springer
- We investigate extensions of the classical measurement of effectiveness in information retrieval systems, precision and recall, to situations where the answer is modeled by a fuz...
SLOGICA
2008
14 years 11 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...