Buscar
Mostrando ítems 1-10 de 16
Ponencia
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 ...
Artículo
Dendrite P Systems Toolbox: Representation, Algorithms and Simulators
(World Scientific, 2021)
Dendrite P systems (DeP systems) are a recently introduced neural-like model of computation. They provide an alternative to the more classical spiking neural (SN) P systems. In this paper, we present the first software ...
Artículo
A Survey of Nature-Inspired Computing: Membrane Computing
(ACM Digital Library, 2021)
Nature-inspired computing is a type of human-designed computing motivated by nature, which is based on the employ of paradigms, mechanisms, and principles underlying natural systems. In this article, a versatile and ...
Ponencia
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 ...
Artículo
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
P‑Lingua in two steps: flexibility and efficiency
(Springer, 2019)
Membrane computing is a bio-inspired computing paradigm that lacks in vivo implementation. That is why software or hardware implementations have to be used to validate models. Several tools have been created for this ...
Artículo
Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming
(Agora University of Oradea, 2018)
Methods based on Rapidly-exploring Random Trees (RRTs) have been widely used in robotics to solve motion planning problems. On the other hand, in the membrane computing framework, models based on Enzymatic Numerical P ...
Artículo
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 ...
Ponencia
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 ...
Artículo
When object production tunes the efficiency of membrane systems
(Elsevier, 2020)
Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the organization and behavior of the living cells througha tree-like structure and abstracting the mechanisms ...