Now showing items 1-20 of 38

    • Icon

      A Bibliography of Spiking Neural P Systems  [Presentation]

      Paun, Gheorghe (Fénix Editora, 2009)
    • Icon

      A Short Note on Reversibility in P Systems  [Presentation]

      Alhazov, Artiom; Morita, Kenichi (Fénix Editora, 2009)
      Membrane computing is a formal framework of distributed parallel comput- ing. In this paper we study the reversibility and maximal parallelism of P systems from the computability point of view. The notions of reversible ...
    • 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

      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

      Characterizing the Aperiodicity of Irreducible Markov Chains by Using P Systems  [Presentation]

      Cardona, Mónica; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009)
      It is well known that any irreducible and aperiodic Markov chain has exactly one stationary distribution, and for any arbitrary initial distribution, the sequence of distributions at time n converges to the stationary ...
    • 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

      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

      Computing Backwards with P Systems  [Presentation]

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009)
      Searching all the configurations C′ such that produce a given configuration C, or, in other words, computing backwards in Membrane Computing is an extremely hard task. The current approximations are based in heavy hand-made ...
    • Icon

      Deterministic Solutions to QSAT and Q3SAT by Spiking Neural P Systems with Pre-Computed Resources  [Presentation]

      Ishdorj, Tseren-Onolt; Leporati, Alberto; Pan, Linqiang; Zeng, Xiangxiang; Zhang, Xingyi (Fénix Editora, 2009)
      In this paper we continue previous studies on the computational effciency of spiking neural P systems, under the assumption that some pre-computed resources of exponential size are given in advance. Specifically, we give ...
    • Icon

      Dictionary Search and Update by P Systems with String-Objects and Active Membranes  [Presentation]

      Alhazov, Artiom; Cojocaru, Svetlana; Malahova, Ludmila; Rogozhin, Yurii (Fénix Editora, 2009)
      Membrane computing is a formal framework of distributed parallel computing. In this paper we implement working with the prefix tree by P systems with strings and active membranes.
    • 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 ...
    • Icon

      Introducing a Space Complexity Measure for P Systems  [Presentation]

      Porreca, Antonio E.; Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio (Fénix Editora, 2009)
      We define space complexity classes in the framework of membrane computing, giving some initial results about their mutual relations and their connection with time complexity classes, and identifying some potentially ...
    • 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

      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

      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

      New Normal Forms for Spiking Neural P Systems  [Presentation]

      Pan, Linqiang; Paun, Gheorghe (Fénix Editora, 2009)
      We consider a natural restriction in the architecture of a spiking neural P system, namely, to have neurons of a small number of types (i.e., using a small number of sets of rules), and we prove that three types of neurons ...
    • Icon

      Notch Signalling and Cellular Fate Choices: A Short Review  [Presentation]

      Henley, Beverly M. (Fénix Editora, 2009)
      During mammalian central nervous system (CNS) development, an enormous variety of cell types are generated. This cell diversity is due in part to asymmetrical cell division. Asymmetrical segregation of Numb, a cell-determinant ...
    • 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

      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

      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 ...