Buscar
Mostrando ítems 1-5 de 5
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.
Capítulo de Libro
Modeling Signal Transduction Using P Systems
(Springer, 2006)
Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling network functions is crucial to the study of different diseases and to the design of effective ...
Ponencia
A Membrane Computing View on Tumours
(2006)
In this paper we discuss about the potential usefulness of P systems as natural tools for modelling tumours. This is done both from a macroscopic point of view, by considering the tumour as a growing mass of cells, as ...
Capítulo de Libro
A Modeling Approach Based on P Systems with Bounded Parallelism
(Springer, 2006)
This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm where rules have associated a finite set of attributes and a corresponding function. Attributes and ...
Ponencia
The Role of the Environment in Tissue P Systems with Cell Division
(Fénix Editora, 2012)
Classical tissue P systems with cell division have a special alphabet whose elements appear at the initial configuration of the system in an arbitrary large number of copies. These objects are shared in a distinguished ...