Buscar
Mostrando ítems 1-9 de 9
Ponencia
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 ...
Artículo
Simulating a P system based efficient solution to SAT by using GPUs
(Elsevier, 2010)
P systems are inherently parallel and non-deterministic theoretical computing devices defined inside the field of Membrane Computing. Many P system simulators have been presented in this area, but they are inefficient since ...
Ponencia
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 ...
Artículo
A computational modeling for real ecosystems based on P systems
(Springer, 2011)
In this paper, a P systems based general framework for modeling ecosystems dynamics is presented. Particularly, ecosystems are specified by means of multienvironment P systems composed of a finite number of environments, ...
Artículo
Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem
(Springer, 2012)
Membrane Computing has recently proved to be a suitable framework for addressing the modelling of dynamical biological systems in general, and ecosystems in particular. Due to the inherent randomness and uncertainty in ...
Artículo
A P-Lingua based simulator for Tissue P systems
(Elsevier, 2010)
Investigations within the field of tissue-like P systems are being conducted, on one hand studying their computational efficiency, and on the other hand exploring the possibilities to use them as a computational modelling ...
Ponencia
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 ...
Ponencia
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, ...
Ponencia
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 ...