Recent Submissions

  • 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

    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

    Parallel Graph Rewriting Systems  [Presentation]

    Sburlan, Dragos (Fénix Editora, 2009)
  • 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

    A Bibliography of Spiking Neural P Systems  [Presentation]

    Paun, Gheorghe (Fénix Editora, 2009)
  • 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

    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

    Spiking Neural P Systems with Neuron Division and Budding  [Presentation]

    Pan, Linqiang; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009)
    In order to enhance the e±ciency of spiking neural P systems, we introduce the features of neuron division and neuron budding, which are processes inspired by neural stem cell division. As expected (as it is the case for ...
  • 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

    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

    The Discovery of Initial Fluxes of Metabolic P Systems  [Presentation]

    Pagliarini, Roberto; Manca, Vincenzo (Fénix Editora, 2009)
    A central issue in systems biology is the study of efficient methods to infer fluxes of biological reactions starting from experimental data. Among the different techniques proposed in the last years, in the theory of ...
  • Icon

    Spiking Neural P Systems and Modularization of Complex Networks from Cortical Neural Network to Social Networks  [Presentation]

    Obtulowicz, Adam (Fénix Editora, 2009)
    An idea of modularization of complex networks (from cortial neural net, Internet computer network, to market and social networks) is explained and some its topic motivations are presented. Then some known modularization ...
  • 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

    Sleep-Awake Switch with Spiking Neural P Systems: A Basic Proposal and New Issues  [Presentation]

    Mingo, Jack Mario (Fénix Editora, 2009)
    Spiking Neural P Systems are a kind of Membrane Systems developed with the aim of incorporating ideas from biological systems, known as spiking neurons, in the computational field. Initially, these systems were designed ...
  • Icon

    Simulation of Recognizer P Systems by Using Manycore GPUs  [Presentation]

    Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Cecilia, José M.; Guerrero, Ginés D.; García, José M. (Fénix Editora, 2009)
    Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator for the class of recognizer P systems with active membranes, which exploits the massively parallel ...
  • 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

    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

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

View more