Now showing items 1-20 of 27

    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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" ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      Icon

      Towards Automated Verification of P Systems Using Spin 

      Lefticaru, Raluca; Tudose, Cristina; Ipate, Florentin (Fénix Editora, 2011)
      This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the ...
    • Presentation
      Icon

      BFS Solution for Disjoint Paths in P Systems 

      Nicolescu, Radu; Wu, Huiling (Fénix Editora, 2011)
      This paper continues the research on determining a maximum cardinality set of edge- and node-disjoint paths between a ...