• Ponencia
      Icon

      Integer Linear Programming for Tissue-like P Systems 

      Reina Molina, Raúl; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2011)
      In this paper we report a work-in-progress whose final target is the implementation of tissue-like P system in a cluster ...
    • Ponencia
      Icon

      Asynchronous P Systems (Draft) 

      Balanescu, Tudor; Nicolescu, Radu; Wu, Huiling (Fénix Editora, 2011)
      In this paper, we propose a new approach to fully asynchronous P systems, and a matching complexity measure, both inspired ...
    • Ponencia
      Icon

      P Systems for Social Networks 

      Csuhaj Varjú, Erzsébet; Gheorgue, Marian; Vaszil, György; Oswald, Marion (Fénix Editora, 2011)
      We introduce some variants of P systems that mimic the behaviour of social networks and illustrate some of the characteristics ...
    • Ponencia
      Icon

      P Colonies of Capacity One and Modularity 

      Cienciala, Ludek; Ciencialová, Lucie; Langer, Miroslav (Fénix Editora, 2011)
      We continue the investigation of P colonies introduced in, a class of abstract computing devices composed of independent ...
    • Ponencia
      Icon

      Designing Tissue-like P Systems for Image Segmentation on Parallel Architectures 

      Carnero Iglesias, Javier; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2011)
      Problems associated with the treatment of digital images have several interesting features from a bio-inspired point of ...
    • Ponencia
      Icon

      A New P System to Model the Subalpine and Alpine Plant Communities 

      Colomer, M. Angels; Fondevilla, Cristian; Valencia Cabrera, Luis (Fénix Editora, 2011)
      In this work we present a P system based model of the ecosystem dynamics of plant communities. It is applied to four ...
    • Ponencia
      Icon

      P Systems with Replicator Dynamics: A Proposal 

      Cavaliere, Matteo; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2011)
      This short note proposes some ideas for considering evolutionary game theory in the area of membrane computing
    • Ponencia
      Icon

      Notes About Spiking Neural P Systems 

      Ionescu, Mihai; Paun, Gheorghe (Fénix Editora, 2011)
      Spiking neural P systems (SN P systems, for short) are much investigated in the last years in membrane computing, but ...
    • Ponencia
      Icon

      Implementing Local Search with Membrane Computing 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
      Local search is currently one of the most used methods for finding solution in real-life problems. In this paper we present ...
    • Ponencia
      Icon

      Spiking Neural P Systems with Several Types of Spikes 

      Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Rodríguez Patón, Alfonso (Fénix Editora, 2011)
      With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling ...
    • Ponencia
      Icon

      Toward a Self-replicating Metabolic P System 

      Franco, Giuditta; Manca, Vincenzo (Fénix Editora, 2011)
      This work concerns the synthesis of a "minimal cell' by means of a P system, which is a distributed rewriting system ...
    • Ponencia
      Icon

      Using Central Nodes to Improve P System Synchronization 

      Dinneen, Michael J.; Kim, Yun-Bum; Nicolescu, Radu (Fénix Editora, 2011)
      We present an improved solution for the Firing Squad Synchronization Problem (FSSP) for digraph-based P systems. We improve ...
    • Ponencia
      Icon

      Spiking Neural dP Systems 

      Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Fénix Editora, 2011)
      We bring together two topics recently introduced in membrane computing, the much investigated spiking neural P systems ...
    • Ponencia
      Icon

      Modeling, Verification and Testing of P Systems Using Rodin and ProB 

      Ipate, Florentin; Turcanu, Adrian (Fénix Editora, 2011)
      In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and ...
    • Ponencia
      Icon

      Forward and Backward Chaining with P Systems 

      Ivanov, Sergiu; Alhazov, Artiom; Rogozhin, Vladimir; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2011)
      On the one hand, one of the concepts which lies at the basis of membrane computing is the multiset rewriting rule. On the ...
    • Ponencia
      Icon

      Towards Bridging Two Cell-Inspired Models: P Systems and R Systems 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
      We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ...
    • Ponencia
      Icon

      dP Automata versus Right-Linear Simple Matrix Grammars 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
      We consider dP automata with the input string distributed in an arbitrary (hence not necessary balanced) way, and we ...
    • Ponencia
      Icon

      Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division 

      Zhang, Xingyi; Niu, Yunyun; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
      Prime factorization is useful and crucial for public-key cryptography, and its application in public-key cryptography is ...
    • Ponencia
      Icon

      Smoothing Problem in 2D Images with Tissue-like P Systems and Parallel Implementation 

      Peña Cantillana, Francisco; Díaz Pernil, Daniel; Christinal, Hepzibah A.; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2011)
      Smoothing is often used in Digital Imagery to reduce noise within an image. In this paper we present a Membrane Computing ...
    • Ponencia
      Icon

      MP Modeling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test 

      Manca, Vincenzo; Marchetti, Luca; Pagliarini, Roberto (Fénix Editora, 2011)
      The Intra Venous Glucose Tolerance Test (IVGTT) is an experimental pro- cedure in which a challenge bolus of glucose is ...