Buscar
Mostrando ítems 1-3 de 3
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
(Springer, 2006)
This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
Ponencia
Towards a P Systems Pseudomonas Quorum Sensing Model
(Springer, 2006)
Pseudomonas aeruginosa is an opportunistic bacterium that exploits quorum sensing communication to synchronize individuals in a colony and this leads to an increase in the effectiveness of its virulence. In this paper ...
Ponencia
Stochastic Approaches in P Systems for Simulating Biological Systems
(Fénix Editora, 2006)
Different stochastic strategies for modeling biological systems with P systems are reviewed in this paper, such as the multi-compartmental approach and dynamical probabilistic P systems. The respective results obtained ...