227 search results - page 4 / 46 » P Systems and Finite Automata |
MEMBRANE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Further results on the study of the dynamics of HIV infection with grids of conformon-P systems are reported. This study clearly shows a subdivision in two phases of the ...
DLT
2003
13 years 11 months ago
2003
BIOSYSTEMS
2008
13 years 10 months ago
2008
AAAI
1992
13 years 11 months ago
1992
It is often useful for a robot to construct a spatial representation of its environment from experiments and observations, in other words, to learn a map of its environment by exp...
TYPES
1993
Springer
14 years 2 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...