Buscar
Mostrando ítems 1-10 de 197
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
Skeletonizing Images by Using Spiking Neural P Systems
(Fénix Editora, 2012)
Skeletonizing an image is representing a shape with a small amount of information by converting the initial image into a more compact representation and keeping the meaning features. In this paper we use spiking neural ...
Ponencia
A Characterization of PSPACE with Antimatter and Membrane Creation
(Fénix Editora, 2015)
The use of negative information provides a new tool for exploring the limits of P systems as computational devices. In this paper we prove that the combination of antimatter and annihilation rules (based on the annihilation ...
Ponencia
Matrix Representation of Spiking Neural P Systems
(Springer, 2011)
Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the way neurons communicate by means of spikes. In this work, a discrete structure representation of ...
Ponencia
A bioinspired computing approach to model complex systems
(Springer, 2014)
The use of models is intrinsic to any scientific activity. In particular, formal/mathematical models provide a relevant tool for scientific investigation. This paper presents a new Membrane Computing based computational ...
Ponencia
SylvaDB: A Polyglot and Multi-backend Graph Database Management System
(ScitePress Digital Library, 2013)
This paper presents SylvaDB, a graph database management system designed to be used by people with no technical knowledge. SylvaDB is based on flexible schema definitions and has been developed taking into account the need ...
Ponencia
Probabilistic Guarded P Systems, A New Formal Modelling Framework
(Springer, 2014)
Multienvironment P systems constitute a general, formal framework for modelling the dynamics of population biology, which consists of two main approaches: stochastic and probabilistic. The framework has been successfully ...
Ponencia
Data-in-the-cloud City: Análisis proactivo de la información digital de la ciudad
(Universidad de Coimbra, 2011)
Ponencia
Towards a verifiable topology of data
(Universidad de La Rioja, Departamento de Matemáticas y Computación, 2016)
Ponencia
Semantics of Deductive Databases in a Membrane Computing Connectionist Model
(Fénix, 2016)
The integration of symbolic reasoning systems based on logic and connectionist systems based on the functioning of living neurons is a vivid research area in computer science. In the literature, one can found many e orts ...