Browsing by Author "Busi, Nadia"
Now showing items 1-7 of 7
-
Presentation
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
(Springer, 2006)The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant ...
-
Presentation
A Case Study in (Mem)Brane Computation: Generating {n2 | n 1}
(Fénix Editora, 2006)The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant ...
-
Presentation
Decidability of Divergence for Catalytic P Systems
(Fénix Editora, 2006)P systems are a biologically inspired model introduced by Gheorghe P¸aun with the aim of representing the structure and ...
-
Article
Efficient computation in rational-valued P systems
(Cambridge University Press, 2009)In this paper, we describe a new representation for deterministic rational-valued P systems that allows us to form a ...
-
Presentation
Some Notes on (Mem)Brane Computation
(Springer, 2006)Membrane Computing and Brane Calculi are two recent computational paradigms in the framework of Natural Computing. They ...
-
Presentation
Towards a Causal Semantics for Brane Calculi
(Fénix Editora, 2007)Brane Calculi are a family of biologically inspired process calculi, proposed in [6] to model the interactions of dynamically ...
-
Presentation
Two Universality Results for (Mem)Brane Systems
(Fénix Editora, 2006)We prove that P systems with mate and drip operations and using at most five membranes during any step of a computation ...