Buscar
Mostrando ítems 1-4 de 4
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
Testing Identifiable Kernel P Systems Using an X-machine Approach
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing framework and the concept of cover automaton. The testing methodology ensures that the implementation conforms the ...
Ponencia
Spiking Neural P Systems with Addition/Subtraction Computing on Synapses
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
Spiking neural P systems (SN P systems, for short) are a class of distributed and parallel computing models inspired from biological spiking neurons. In this paper, we introduce a variant called SN P systems with ...
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 efficiency by means of syntactic or semantical ingredients. The objective of this is to nd two kinds ...