• Icon

      Towards a P Systems Normal Form Preserving Step-by-step Behavior  [Ponencia]

      Barbuti, Roberto; Maggiolo Schettini, Andrea; Milazzo, Paolo; Tini, Simone (Fénix Editora, 2008)
      Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and complete with respect to some behavioural ...
    • Icon

      Membrane Proteins as Maxwell’s Demons and Their Significance for P Systems  [Ponencia]

      Ardelean, Ioan I.; Moisescu, Cristina; Lazaroaie, Mihaela Marilena (Fénix Editora, 2008)
      The aim of these notes is to contribute to the dialog between P systems and Biological Sciences focussing on membrane proteins involved either in iron transport inside the bacterial cells or in elimination outside the ...
    • Icon

      A Quantum-Inspired Evolutionary Algorithm Based on P systems for a Class of Combinatorial Optimization  [Ponencia]

      Zhang, Gexiang; Gheorgue, Marian; Wu, Chaozhong (Fénix Editora, 2008)
      This paper introduces an evolutionary algorithm which uses the concepts and principles of the quantum-inspired evolutionary approach and the hierarchical arrangement of the compartments of a P system. The P system framework ...
    • Icon

      On Modeling Signal Transduction Networks  [Ponencia]

      Castellini, Alberto; Franco, Giuditta (Fénix Editora, 2008)
      Signal transduction networks are very complex processes employed by the living cell to suitably react to environmental stimuli. Qualitative and quantitative computational models play an increasingly important role in the ...
    • Icon

      Ordinary Membrane Machines versus Other Mathematical Models of Systems Realizing Massively Parallel Computations  [Ponencia]

      Obtulowicz, Adam (Fénix Editora, 2008)
      A comparison of ordinary membrane machines, understood as certain recursive families of deterministic P systems, with some other mathematical models of systems realizing massively parallel computations is discussed. These ...
    • Icon

      Research Topics Arising from the (Planned) P Systems Implementation Experiment in Technion  [Ponencia]

      Gershoni, Renana; Keinan, Ehud; Paun, Gheorghe; Piran, Ron; Ratner, Tamar; Shoshani, Sivan (Fénix Editora, 2008)
      We formulate here a few technical (mathematical) open problems related to the in vitro bio-chemical experiment planned in Technion for computing the Fibonacci sequence in terms of P systems. So-called local-loop-free P ...
    • Icon

      No Cycles in Compartments. Starting from Conformon-P Systems  [Ponencia]

      Frisco, Pierluigi; Paun, Gheorghe (Fénix Editora, 2008)
      Starting from proofs of results about the computing power of conformon- P systems, we infer several results about the power of certain classes of tissue-like P systems with (cooperative) rewriting rules used in an ...
    • Icon

      (Tissue) P Systems Using Non-cooperative Rules Without Halting Conditions  [Ponencia]

      Beyreder, Markus; Freund, Rudolf (Fénix Editora, 2008)
      We consider (tissue) P systems using non-cooperative rules, but considering computations without halting conditions. As results of a computation we take the contents of a specified output membrane/cell in each derivation ...
    • Icon

      Computational Complexity of Simple P Systems  [Ponencia]

      Ciobanu, Gabriel; Resios, Andreas (Fénix Editora, 2008)
      We introduce a new class of membrane systems called simple P systems, and study its computational complexity using the classical theory. We start by presenting the knapsack problem and analyzing its space and time ...
    • Icon

      A Biological Perspective on Sorting with P Systems  [Ponencia]

      Ardelean, Ioan I.; Ceterchi, Rodica; Tomescu, Alexandru Ioan (Fénix Editora, 2008)
      The aim of this contribution is to argue that the processes occurring in biological membranes in bacteria are also important as natural examples of communication between membranes, which, in the formal framework of P ...
    • Icon

      Spiking Neural P Systems – A Natural Model for Sorting Networks  [Ponencia]

      Ceterchi, Rodica; Tomescu, Alexandru Ioan (Fénix Editora, 2008)
      This paper proposes two simulations of sorting networks with spiking neural P systems. A comparison between different models is also made.
    • Icon

      Computing by Carving with P Systems. A First Approach  [Ponencia]

      Sempere, José M. (Fénix Editora, 2008)
      In this work, we propose a P system which carries out computing by carving. Computing by carving was proposed by Gh. P˘aun as a technique to generate formal languages which can even be non recursively enumerable. Hence, ...
    • Icon

      Graphics and P Systems: Experiments with JPLANT  [Ponencia]

      Rivero Gil, Elena; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2008)
      The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes and objects increases. In this paper we present a new software tool, called JPLANT, for computing ...
    • Icon

      A First Model for Hebbian Learning with Spiking Neural P Systems  [Ponencia]

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2008)
      Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration based on the transmission of information among neurons. In this paper we present a first model for ...
    • Icon

      On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution  [Ponencia]

      Zandron, Claudio; Leporati, Alberto; Ferretti, Claudio; Mauri, Giancarlo; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2008)
      Recognizer P systems with active membranes have proven to be very powerful computing devices, being able to solve NP-complete decision problems in a polynomial time. However such solutions usually exploit many powerful ...
    • Icon

      A P System Modeling an Ecosystem Related to the Bearded Vulture  [Ponencia]

      Cardona, Mónica; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí; Margalida, Antoni (Fénix Editora, 2008)
      The Bearded Vulture is one of the rarest raptors in Europe and it is an endangered species. In this paper, we present a model of an ecosystem related with the Bearded Vulture which is located in the Catalan Pyrenees, by ...
    • Icon

      P-Lingua: A Programming Language for Membrane Computing  [Ponencia]

      Díaz Pernil, Daniel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2008)
      Software development for cellular computing has already been addressed, yielding a first generation of applications. In this paper, we develop a new programming language: P-Lingua. Furthermore, we present a simulator for ...
    • Icon

      Sixth Brainstorming Week on Membrane Computing Sevilla, February 4–February 8, 2008 : RGNC REPORT 01/2008  [Libro]

      Díaz Pernil, Daniel; Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín (Fénix Editora, 2008)
    • Icon

      Solving the Partition Problem by Using Tissue-like P Systems with Cell Division  [Ponencia]

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2008)
      Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing that shares with the spiking neural P system model a similar biological inspiration. Namely, both models are based on ...
    • Icon

      Solving Numerical NP-complete Problems by Spiking Neural P Systems with Pre–computed Resources  [Ponencia]

      Gutiérrez Naranjo, Miguel Ángel; Leporati, Alberto (Fénix Editora, 2008)
      Recently we have considered the possibility of using spiking neural P systems for solving computationally hard problems, under the assumption that some (possibly exponentially large) pre-computed resources are given in ...