269 search results - page 28 / 54 » Computing with Probabilistic Cellular Automata |
123
click to vote
MCU
1998
15 years 2 months ago
1998
Block cellular automata (BCA) make local, parallel, synchronous and uniform updates of in nite lattices. In the one-dimensionalcase, there exist BCA with 11 states which are unive...
114
click to vote
GPEM
2007
15 years 1 months ago
2007
Cancer is an evolutionary process; mutated cells are selected for abnormal growth and survivability. Here, a computer simulation is used to model ductal carcinoma in situ (DCIS), ...
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
115
click to vote
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
105
click to vote
FOCS
1997
IEEE
15 years 5 months ago
1997
IEEE
In this paper, we introduce 1-way and 2-way quantum nite state automata (1qfa's and 2qfa's), which are the quantum analogues of deterministic, nondeterministic and proba...