Buscar
Mostrando ítems 1-3 de 3
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, ...
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 ...