Buscar
Mostrando ítems 1-10 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 this paper we prove that the combination of antimatter and annihilation rules (based on the annihilation ...
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 diagnosis in traction power supply systems (TPSSs) of China high-speed railways. Four types of neurons ...
Ponencia
Studying the Chlorophyll Fluorescence in Cyanobacteria with Membrane Computing Techniques
(Fénix Editora, 2013)
In this paper, we report a pioneer study of the decrease in chlorophyll uorescence produced by the reduction of MTT (a dimethyl thiazolyl diphenyl tetrazolium salt) monitored using an epi uorescence microscope coupled ...
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 framework of P systems with active membranes (both in the case of membrane division and membrane ...
Ponencia
The Pole Balancing Problem with Enzymatic Numerical P Systems
(Fénix Editora, 2015)
Pole balancing is a control benchmark widely used in engineering. It involves a pole a xed to a cart via a joint which allows movement along a single axis. In this problem, the movement of the cart is restricted to the ...
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 the dynamics of population biology. The extension is made by a new variant within the probabilistic ...
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. The accurate simulation of these probabilistic models entails large run times. Hence, parallel ...
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 in biological neurons. SNP systems with standard rules have neurons that emit at most one spike ...
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 find new borderlines between families of P systems that can solve them and the ones that cannot is ...
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 of the encoding scheme of the input. In the case of weakly NP-complete problems, the intractability ...