Listar Informática por agencia financiadora "Ministerio de Economía y Competitividad (MINECO). España"
Mostrando ítems 1-20 de 22
-
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 ...
-
Ponencia
Antimatter as a Frontier of Tractability in Membrane Computing
(Fénix Editora, 2014)It is well known that the polynomial complexity class of recognizer polarizationless P systems with active membranes, ...
-
Ponencia
Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of High-speed Railways
(Fénix Editora, 2014)This paper discusses the application of weighted fuzzy reasoning spiking neu- ral P systems (WFRSN P systems) to fault ...
-
Ponencia
Asynchronous Spiking Neural P Systems with Structural Plasticity
(Fénix Editora, 2015)Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we ...
-
Ponencia
Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation
(Fénix Editora, 2015)Membrane ssion is a process by which a biological membrane is split into two new ones in such a way that the contents ...
-
Libro
FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015
(Fidetia, 2016) -
Ponencia
Kernel P Systems - Version 1
(Fénix Editora, 2013)A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and ...
-
Ponencia
Limits on P Systems with Proteins and Without Division
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)In the field of Membrane Computing, computational complexity theory has been widely studied trying to nd frontiers of ...
-
Ponencia
Minimal Cooperation in P Systems with Symport/Antiport: A Complexity Approach
(Fénix Editora, 2015)Membrane systems with symport/antiport rules compute by just moving objects among membranes, and not by changing the ...
-
Ponencia
Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ...
-
Ponencia
Notes on Spiking Neural P Systems and Finite Automata
(Fénix Editora, 2015)Spiking neural P systems (in short, SNP systems) are membrane computing models inspired by the pulse coding of information ...
-
Ponencia
On The Semantics of Annihilation Rules in Membrane Computing
(Fénix Editora, 2015)It is well known that polarizationless recognizer P systems with active membranes, without dissolution, with division of ...
-
Ponencia
Parallel Simulation of PDP Systems: Updates and Roadmap
(Fénix Editora, 2015)PDP systems are a type of multienvironment P systems, which serve as a formal modeling framework for Population Dynamics. ...
-
Ponencia
Probabilistic Guarded P Systems, A Formal Definition
(Fénix Editora, 2014)In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling ...
-
Ponencia
Rete Algorithm for P System Simulators
(Fénix Editora, 2013)The Rete algorithm is a well-known algorithm in rule-based production systems which builds directed acyclic graphs that ...
-
Ponencia
Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era
(Fénix Editora, 2014)Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the ...
-
Ponencia
Self-constructing Recognizer P Systems
(Fénix Editora, 2014)Usually, the changes produced in the membrane structure of a P system are considered side effects. The output of the ...
-
Ponencia
Simulating a Family of Tissue P Systems Solving SAT on the GPU
(Fénix Editora, 2013)In order to provide e cient software tools to deal with large membrane systems, high-throughput simulators are required. ...
-
Ponencia
Solving SAT with Antimatter in Membrane Computing
(Fénix Editora, 2015)The set of NP-complete problems is split into weakly and strongly NP- complete ones. The di erence consists in the in uence ...
-
Ponencia
Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques
(Fénix Editora, 2014)In Membrane Computing, the solution of a decision problem X belonging to the complexity class P via a polynomially uniform ...