Buscar
Mostrando ítems 21-27 de 27
Ponencia
dP Automata versus Right-Linear Simple Matrix Grammars
(Fénix Editora, 2011)
We consider dP automata with the input string distributed in an arbitrary (hence not necessary balanced) way, and we investigate their language accepting power, both in the case when a bound there is on the number of ...
Ponencia
Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division
(Fénix Editora, 2011)
Prime factorization is useful and crucial for public-key cryptography, and its application in public-key cryptography is possible only because prime factorization has been presumed to be difficult. A polynomial-time ...
Ponencia
Spiking Neural dP Systems
(Fénix Editora, 2011)
We bring together two topics recently introduced in membrane computing, the much investigated spiking neural P systems (in short, SN P systems), inspired from the way the neurons communicate through spikes, and the dP ...
Ponencia
P Systems for Social Networks
(Fénix Editora, 2011)
We introduce some variants of P systems that mimic the behaviour of social networks and illustrate some of the characteristics of them. Other concepts related to social networks are discussed and suitable classes of P ...
Ponencia
Elementary Active Membranes Have the Power of Counting
(Fénix Editora, 2011)
We prove that uniform families of P systems with active membranes operat- ing in polynomial time can solve the whole class of PP decision problems, without using nonelementary membrane division or dissolution rules. This ...
Ponencia
Towards Automated Verification of P Systems Using Spin
(Fénix Editora, 2011)
This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the proposed approach has been developed and can automatically transform P system specifications from P-Lingua ...
Ponencia
P Systems with Replicator Dynamics: A Proposal
(Fénix Editora, 2011)
This short note proposes some ideas for considering evolutionary game theory in the area of membrane computing