Now showing items 1-20 of 38

    • Icon

      On the Power of Insertion P Systems of Small Size  [Presentation]

      Krassovitskiy, Alexander (Fénix Editora, 2009)
      In this article we investigate insertion systems of small size in the framework of P systems. We consider P systems with insertion rules having one symbol context and we show that they have the computational power of ...
    • Icon

      Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets  [Presentation]

      Díaz Pernil, Daniel; Gallego Ortiz, Pilar; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2009)
      Sevilla Carpets are a handy tool for comparing computations performed by different systems solving the same problem. Such Sevilla Carpets provide on one hand quantitative information through parameters such as Weight, ...
    • Icon

      P-Lingua 2.0: New Features and First Applications  [Presentation]

      García Quismondo, Manuel; Gutiérrez Escudero, Rosa; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009)
      P-Lingua is a programming language for membrane computing. It was rst presented in Edinburgh, during the Ninth Workshop on Membrane Computing (WMC9). In this paper, the models, simulators and formats included in P-Lingua ...
    • Icon

      P System Based Model of an Ecosystem of the Scavenger Birds  [Presentation]

      Cardona, Mónica; Colomer, M. Angels; Margalida, Antoni; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí (Fénix Editora, 2009)
      The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Europe that feeds almost exclusively on bone remains provided by wild and domestic ungulates. In, we presented a P system in order to study the evolution ...
    • Icon

      Communication and Stochastic Processes in Some Bacterial Populations: Significance for Membrane Computing  [Presentation]

      Ardelean, Ioan I. (Fénix Editora, 2009)
      Intercellular communication between bacterial cells belonging to the same population is well documented in Microbiology, sporulation and cannibalism in B. Subtilis and genetic competence and fratricide in S. pneumoniae ...
    • Icon

      Mutation Based Testing of P Systems  [Presentation]

      Ipate, Florentin; Gheorgue, Marian (Fénix Editora, 2009)
      Although testing is an essential part of software development, until recently, P system testing has been completely neglected. Mutation testing (mutation analysis) is a structural software testing method which involves ...
    • Icon

      Characterizing Tractability by Tissue-Like P Systems  [Presentation]

      Gutiérrez Escudero, Rosa; Pérez Jiménez, Mario de Jesús; Rius Font, Miquel (Fénix Editora, 2009)
      In the framework of cell–like membrane systems it is well known that the construction of exponential number of objects in polynomial time is not enough to efficiently solve NP–complete problems. Nonetheless, it may be ...
    • Icon

      Modeling Reaction Kinetics in Low-dimensional Environments with Conformon P Systems: Comparison with Cellular Automata and New Rate Laws  [Presentation]

      Frisco, Pierluigi; Grima, Ramon (Fénix Editora, 2009)
      Recently it has been shown that simulations of complex biological systems using conformon P systems and cellular automata do not necessarily give the same pre- dictions. To further elucidate these di®erences we simulate ...
    • Icon

      Structured Modeling with Hyperdag P Systems: Part A  [Presentation]

      Nicolescu, Radu; Dinneen, Michael J.; Kim, Yun-Bum (Fénix Editora, 2009)
      P systems provide a computational model based on the structure and interaction of living cells. A P system consists of a hierarchical nesting of cell-like membranes, which can be visualized as a rooted tree. Although ...
    • Icon

      The Computational Complexity of Uniformity and Semi-uniformity in Membrane Systems  [Presentation]

      Murphy, Niall; Woods, Damien (Fénix Editora, 2009)
      We investigate computing models that are presented as families of finite computing devices with a uniformity condition on the entire family. Examples include circuits, membrane systems, DNA computers, cellular automata, ...
    • Icon

      Spiking Neural P Systems with Anti-Spikes  [Presentation]

      Pan, Linqiang; Paun, Gheorghe (Fénix Editora, 2009)
      Besides usual spikes employed in spiking neural P systems, we consider "anti-spikes", which participate in spiking and forgetting rules, but also annihilate spikes when meeting in the same neuron. This simple extension ...
    • Icon

      Mutual Mobile Membranes Systems with Surface Objects  [Presentation]

      Aman, Bogdan; Ciobanu, Gabriel (Fénix Editora, 2009)
      In this paper we introduce mutual mobile membranes with surface objects, systems which have biological motivation. In P systems with mobile membranes with surface objects, a membrane may enter or exit another membrane. ...
    • Icon

      About the Efficiency of Spiking Neural P Systems  [Presentation]

      Wang, Jun; Ishdorj, Tseren-Onolt; Pan, Linqiang (Fénix Editora, 2009)
      Spiking neural P systems were proved to be Turing complete as function computing or number generating devices. Moreover, it has been considered in several papers that spiking neural P systems are also computationally ...
    • Icon

      P Systems and Topology: Some Suggestions for Research  [Presentation]

      Frisco, Pierluigi (Fénix Editora, 2009)
      Lately, some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to their topology. In turn, the computational power of ...
    • Icon

      Some Open Problems Collected During 7th BWMC  [Presentation]

      Paun, Gheorghe (Fénix Editora, 2009)
      A few open problems and research topics collected during the 7th Brain- storming Week on Membrane Computing are briefly presented; further details can be found in the papers included in the volume.
    • Icon

      Parallel Graph Rewriting Systems  [Presentation]

      Sburlan, Dragos (Fénix Editora, 2009)
    • Icon

      On Very Simple P Colonies  [Presentation]

      Ciencialová, Lucie; Csuhaj Varjú, Erzsébet; Kelemenová, Alice; Vaszil, György (Fénix Editora, 2009)
      We study two very simple variants of P colonies: systems with only one object inside the cells, and systems with insertion-deletion programs, so called P colonies with senders and consumers. We show that both of these ...
    • Icon

      Seventh Brainstorming Week on Membrane Computing. Sevilla, February 2-February 6, 2009, Volume II : RGNC REPORT 2/2009  [Book]

      Martínez del Amor, Miguel Ángel; Orejuela Pinedo, Enrique Francisco; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín (Fénix Editora, 2009)
    • Icon

      Seventh Brainstorming Week on Membrane Computing. Sevilla, February 2-February 6, 2009 Volume I : RGNC REPORT 1/2009  [Book]

      Gutiérrez Escudero, Rosa; Gutiérrez Naranjo, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín (Fénix Editora, 2009)
    • Icon

      Efficiency of Tissue P Systems with Cell Separation  [Presentation]

      Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009)
      The most investigated variants of P systems in the last years are cell-like models, especially in terms of efficiency. Recently, different new models of tissue-like (symport/antiport) P systems have received important ...