Search
Now showing items 1-9 of 9
Presentation
Simulation of Computing P Systems: A GPU Design for the Factorization Problem
(Friedrich-Schiller-Universität Jena, 2018)
Presentation
Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems
(Springer, 2011)
P systems provide a high level computational modeling framework which integrates the structural and dynamic aspects of ecosystems in a comprehensive and relevant way. In previous works, several ecosystems modeled by using ...
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
New applications for an old tool
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest computations for membrane systems solving instances of SAT. Certain families of membrane systems ...
Presentation
11 years of P-Lingua: A backward glance
(Editura BIBLIOSTAR, 2019)
In 2008, P-Lingua was born. The Research Group on Natural Computing worked on the development of simulation tools since the beginning of Membrane Computing. However, back in 2007, researchers from the group set out to ...
Presentation
Design of Specific P Systems Simulators on GPUs
(Springer, 2018)
In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, having effi-cient simulation tools is crucial, and for this purpose, parallel platforms should be ...
Presentation
Dependency Graph Technique Revisited
(IMCS: International Membrane Computing Society, 2019)
The dependency graph technique was initially thought as a method to find short paths in the computation tree of a membrane system using weak metrics. It could be used to obtain reasonably fast SAT-solvers, capable of ...
Presentation
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution
(Fénix Editora, 2012)
Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates probabilities to rules, but at the same time, the model is based on P systems, so the rules are ...
Presentation
MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems
(IEEE Computer Society, 2010)
In recent years, the increasing importance of the computational systems biology is leading to an impressive growth of the knowledge of several real-life phenomena. In this framework, membrane computing is an emergent ...