Search
Now showing items 1-5 of 5
Presentation
Population Dynamics P Systems on CUDA
(Springer, 2012)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been successfully used by ecologists. These models are validated using software tools against actual ...
Presentation
A P–Lingua Based Simulator for Spiking Neural P Systems
(Springer, 2011)
The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of the computational completeness (they are equivalent in power to Turing machines) and computational ...
Presentation
A uniform framework for modeling based on P Systems
(IEEE Computer Society, 2010)
In this paper, a P systems based general framework for modeling the dynamics of a population biology is presented. Multienvironment probabilistic functional P systems with active membranes provide the syntactical ...
Presentation
A new simulation algorithm for multienvironment probabilistic P systems
(IEEE Computer Society, 2010)
Multienvironment P systems are the base of a general framework for modeling ecosystems dynamics. On one hand, this modeling framework represents the structural and dynamical aspects of real ecosystems in a discrete, ...
Presentation
Formal Verification of P Systems with Active Membranes through Model Checking
(Springer, 2011)
Formal verification of P systems using model checking has attracted a significant amount of research in recent years. However, up to now only P systems with static structure have been considered. This paper makes ...