Buscar
Mostrando ítems 161-170 de 177
Ponencia
Deductive Databases and P Systems
(Fénix Editora, 2004)
In computational processes based on backwards chaining, a rule of the type A Ã B1; : : : ;Bn is seen as a procedure which points that the problem A can be split into the problems B1; : : : ;Bn. In classical devices, the ...
Ponencia
Membrane Kauffman Networks
(Fénix Editora, 2004)
A formalization of Kauffman Boolean Networks in terms of P systems is suggested along two lines: by means of register machines and directly by means of membranes with receptors.
Ponencia
Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts
(Fénix Editora, 2008)
The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold more than one piece of data, and perform operations on them internally. Several data layouts are ...
Ponencia
P Systems with One Membrane and Symport/Antiport Rules of Five Symbols Are Computationally Complete
(Fénix Editora, 2005)
We consider P systems with only one membrane using symport/antiport rules and prove that any recursively enumerable set of k-dimensional vectors of natural numbers can be generated (accepted) by using at most k + 4 ...
Ponencia
Normal Forms for Spiking Neural P Systems
(Fénix Editora, 2006)
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 ...
Ponencia
About P Systems with Symport/Antiport
(Fénix Editora, 2004)
It is proved that four membranes su±ce to P systems with minimal symport/antiport to generate all recursively enumerable sets of numbers. It is also proved that P systems with symport/antiport without maximal par- allelism ...
Ponencia
One More Universality Result for P Systems with Objects on Membranes
(Fénix Editora, 2005)
We continue here the attempt to bridge brane calculi with membrane com- puting, following the investigation started in. Specifically, we consider P systems with objects placed on the membranes, and processed by membrane ...
Ponencia
(Ultimately Confluent) Parallel Multiset-Rewriting Systems with Context
(Fénix Editora, 2004)
The aim of this paper is to study the power of parallel multiset- rewriting systems with permitting context (or P systems with non-cooperative rules with promoters). The main result obtained is that if we use promoters of ...
Ponencia
Minimal Cooperation in Symport/Antiport P Systems with One Membrane
(Fénix Editora, 2005)
In this paper we consider symport/antiport P systems with one membrane and rules having at most two objects. Although it has been proved that only finite number sets can be generated by both OP1(sym2) (one-membrane systems ...
Ponencia
Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets
(Fénix Editora, 2009)
Sevilla Carpets are a handy tool for comparing computations performed by different systems solving the same problem. Such Sevilla Carpets provide on one hand quantitative information through parameters such as Weight, ...