Buscar
Mostrando ítems 31-40 de 49
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Cooperative P Systems and the P Versus NP Problem
(IMCS: International Membrane Computing Society, 2017)
The P versus NP problem is undoubtedly the most important open question in computer science. Frontiers of tractability or efficiency expressed by means of syntactic or semantic ingredients in the framework of Membrane ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
The role of integral membrane proteins in computational complexity theory
(Springer, 2018)
In the framework of Membrane Computing, several tools to tackle the P versus NP problems by means of frontiers of the efficiency expressed in terms of syntactic or semantic ingredients, have been developed. In this paper, ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A Survey of Parallel Simulation of P Systems with GPUs
(IMCS: International Membrane Computing Society, 2017)
P system simulators become essential for model verification and validation, since they reproduce the semantics of the models in an automatic way. For this reason, in the literature, many authors have proposed several ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
From NP-Completeness to DP-Completeness: A Membrane Computing Perspective
(Hindawi, 2020)
Presumably efficient computing models are characterized by their capability to provide polynomial-time solutions for NPcomplete problems. Given a classRof recognizer membrane systems,Rdenotes the set of decision problems ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Improving GPU Simulations of Spiking Neural P Systems
(Romanian Academy, 2012)
In this work we present further extensions and improvements of a Spiking Neural P system (for short, SNP systems) simulator on graphics processing units (for short, GPUs). Using previous results on representing SNP system ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A P-Lingua based simulator for Tissue P systems
(Elsevier, 2010)
Investigations within the field of tissue-like P systems are being conducted, on one hand studying their computational efficiency, and on the other hand exploring the possibilities to use them as a computational modelling ...
Capítulo de Libro
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Membrane System-Based Models for Specifying Dynamical Population Systems
(Springer, 2014)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has been successfully used for modelling population dynamics on real ecosystems. The semantics of these ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Parallel simulation of Population Dynamics P systems: updates and roadmap
(Springer, 2016)
Population Dynamics P systems are a type of multienvironment P systems that serve as a formal modeling framework for real ecosystems. The accurate simulation of these probabilisticmodels, e.g. with Direct distribution ...
Tesis Doctoral
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Modeling and simulation of real-life phenomena in membrane computing
(2013-10-11)
This document is structured in three parts, whose content is briefly outlined below. Part I: Preliminaries Chapter I familiarizes the reader with the basics of Natural Computing, introducing some classical models in ...