Search
Now showing items 21-30 of 92
Presentation
Probabilistic Guarded P Systems, A Formal Definition
(Fénix Editora, 2014)
In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling the dynamics of population biology. The extension is made by a new variant within the probabilistic ...
Presentation
Parallel Simulation of PDP Systems: Updates and Roadmap
(Fénix Editora, 2015)
PDP systems are a type of multienvironment P systems, which serve as a formal modeling framework for Population Dynamics. The accurate simulation of these probabilistic models entails large run times. Hence, parallel ...
Presentation
Parallel Simulation of Probabilistic P Systems on Multicore Platforms
(Fénix Editora, 2012)
Ecologists need to model ecosystems to predict how they will evolve over time. Since ecosystems are non-deterministic phenomena, they must express the likelihood of events occurring, and measure the uncertainty of their ...
Presentation
Minimal cooperation in polarizationless P systems with active membranes
(Fénix, 2016)
P systems with active membranes is a well developed framework in the eld of Membrane Computing. Using evolution, communication, dissolution and division rules, we know that some kinds of problems can be solved by those ...
Presentation
Notes on Spiking Neural P Systems and Finite Automata
(Fénix Editora, 2015)
Spiking neural P systems (in short, SNP systems) are membrane computing models inspired by the pulse coding of information in biological neurons. SNP systems with standard rules have neurons that emit at most one spike ...
Presentation
A CLIPS Simulator for Recognizer P Systems with Active Membranes
(Fénix Editora, 2004)
In this paper we propose a new way to represent recognizer P systems with active membranes based on Production Systems techniques. This representation allows us to express the set of rules and the configurations in each ...
Presentation
Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To find new borderlines between families of P systems that can solve them and the ones that cannot is ...
Presentation
Simulating Shuffle-Exchange Networks with P Systems
(Fénix Editora, 2004)
We present in this paper a simulation with P systems of the parallel architecture known as shuffle-exchange network. This will lead us to consider a new version of P systems with communication, for which the communicat ...
Presentation
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)
This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, illustrated on a tissue P system with active membranes solving the 3-colouring problem. The paper ...
Presentation
Simulation of Recognizer P Systems by Using Manycore GPUs
(Fénix Editora, 2009)
Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator for the class of recognizer P systems with active membranes, which exploits the massively parallel ...