RODRÍGUEZ PATÓN , Alfonso

A sequence of papers have been recently published, pointing out various intractable problems which may be solved in certain fashions within the framework of spiking neural (SN) P systems. On the other hand, there are also results demonstrating limitations of SN P systems. In this paper we define recognizer SN P systems providing a general...

Two proofs have been shown for P systems with active membranes in previ- ously published papers, demonstrating that these P systems can solve in polynomial time exactly the class of problems PSPACE. Consequently, these P systems are equivalent (up to a polynomial time reduction) to Second Machine Class models as the alternating Turing machine...

This paper describes a tissue P system for solving the Shortest Common Superstring Problem in linear time. This tissue P system is well suited for parallel and distributed implementation using a micro°uidic device working with DNA strands. The tP system is not based on the usual brute force generate/test technique applied in DNA computing, but...

Spiking neural P systems are computing devices recently introduced as a bridge between spiking neural nets and membrane computing. Thanks to the rapid research in this eld there exists already a series of both theoretical and application studies. In this paper we focus on normal forms of these systems while preserving their...

With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling along the axons of neurons, we consider an extension of spiking neural P systems, where several types of "spikes" are allowed. The power of the obtained spiking neural P systems is investigated. Some further extensions are...

With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling along the axons of neurons, we consider an extension of spiking neural P systems, where several types of "spikes" are allowed. The power of the obtained spiking neural P systems is investigated and the modeling of gene...

The operations of symport and antiport, directly inspired from biology, are already known to be rather powerful when used in the framework of P systems. In this paper we confirm this observation with a quite surpris- ing result: P systems with symport/antiport rules using only three objects can simulate any counter machine, while systems with...

Targeted killing of pathogenic bacteria without harming beneficial members of host microbiota holds promise as a strategy to cure disease and limit both antimicrobial-related dysbiosis and development of antimicrobial resistance. We engineer toxins that are split by inteins and deliver them by conjugation into a mixed population of bacteria....

The spiking neural P systems are a class of computing devices recently introduced as a bridge between spiking neural nets and membrane computing. In this paper we prove a series of normal forms for spiking neural P systems, concerning the regular expressions used in the firing rules, the delay between firing and spiking, the forgetting rules...