Buscar
Mostrando ítems 461-470 de 590
Ponencia
Verifying P Systems with Costs by Using Priced-Timed Maude
(Fénix, 2016)
We consider P systems that assigns storage costs per step to membranes, and execution costs to rules. We present an abstract syntax of the new class of membrane systems, and then deal with costs by extending the operational ...
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
Animación interactiva de algoritmos para cursos de introducción a la programación
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2011)
La enseñanza de los algoritmos básicos y de los principios de la programación requiere, entre otras cosas, ilustrar cómo se ejecutan los programas. Para ello, pueden emplearse distintas técnicas de animación, desde ...
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
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
Limits on Efficient Computation in P Systems with Symport/Antiport Rules
(Fenix Editora, 2017)
Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by changing the places of objects with respect to the membranes, and not by changing the objects ...
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
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
14th Brainstorming Week on Membrane Computing
(Fénix, 2016)
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 ...