276 search results - page 50 / 56 » Bisimulation for quantum processes |
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, the Quantum-inspired Genetic Algorithms with the population of a single individual are formalized by a Markov chain model using a single and the stored best individ...
JCC
2007
13 years 8 months ago
2007
: In this paper, I will look at the rather convoluted discovery process which gave birth to the concept of the shared electron pair bond as developed by G.N. Lewis, to be subsequen...
CHI
2006
ACM
14 years 9 months 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...
SCP
2000
13 years 8 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
WSC
2004
13 years 10 months ago
2004
To improve its process modeling capabilities, Los Alamos has worked toward integrating dose modeling tools with advanced discrete-event simulation tools. To date, dose information...