276 search results - page 33 / 56 » Bisimulation for quantum processes |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This chapter derives the properties of light from the properties of processing, including its ability to be both a wave and a particle, to detect objects it doesn't touch, to...
COMGEO
2011
ACM
13 years 18 days ago
2011
ACM
ABSTRACT . Categories and Subject Descriptors K. Computing Milieux K.m MISCELLANEOUS General Terms Theory Keywords Cyber-physics, Internet of Things, Quantum computing Cloud Comput...
CALCO
2005
Springer
14 years 2 months ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...
ISCI
2000
13 years 8 months ago
2000
A quantum device simulating human decision making process is introduced. It consists of quantum recurrent nets generating stochastic processes which represent the motor dynamics, ...
CIE
2007
Springer
14 years 3 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...