1423 search results - page 6 / 285 » Quantum logic as a dynamic logic |
QCQC
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We briefly review the development and theory of an experiment to investigate quantum computation with trapped calcium ions. The ion trap, laser and ion requirements are d...
ECIR
2011
Springer
14 years 1 months ago
2011
Springer
The cognitively motivated principle of polyrepresentation still lacks a theoretical foundation in IR. In this work, we discuss two competing polyrepresentation frameworks that are ...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
Reversible, or information-lossless, circuits have applications in digital signal processing, communication, computer graphics and cryptography. They are also a fundamental requir...
CIE
2007
Springer
15 years 4 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...