Buscar
Mostrando ítems 1-8 de 8
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 ...
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 ...
Ponencia
Heterotic Computing Examples with Optics, Bacteria, and Chemicals
(Springer, 2012)
Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. But such in materio devices are often limited, special purpose machines. To be practically useful, ...
Capítulo de Libro
Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology
(Springer, 2014)
This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel spatial discrete-stochastic P systems modelling framework. The Workbench incorporates three important ...
Capítulo de Libro
Implementing Enzymatic Numerical P Systems for AI Applications by Means of Graphic Processing Units
(Springer, 2013)
A P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets and strings. Enzymatic Numerical P Systems (ENPS) are a type of P systems whose basic data ...
Capítulo de Libro
On the Velocity Update in Multi-Objective Particle Swarm Optimizers
(Springer, 2010)
Since its appearance, Particle Swarm Optimization (PSO) has become a very popular technique for solving optimization problems because of both its simplicity and its fast convergence properties. In the last few years there ...
Capítulo de Libro
La mitosis celular: una sorprendente frontera de la eficiencia
(Fenix Editora, 2010)
En este trabajo se presenta una frontera entre la eficiencia e ineficiencia de problemas abstractos en un marco computacional inspirado en la estructura y funcionamiento de las c´elulas de los organismos vivos. M´as ...
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 ...