Recent Submissions

  • Icon

    Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3-7, 2014: RGNC REPORT 1/2014  [Book]

    Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Fénix Editora, 2014)
  • Icon

    The Stochastic Loss of Spikes in Spiking Neural P Systems: Design and Implementation of Reliable Arithmetic Circuits  [Presentation]

    Xu, Zihan; Cavaliere, Matteo; An, Pei; Vrudhula, Sarma; Cao, Yu (Fénix Editora, 2014)
    Spiking neural P systems (in short, SN P systems) have been introduced as computing devices inspired by the structure and functioning of neural cells. The presence of unreliable components in SN P systems can be considered ...
  • Icon

    Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of High-speed Railways  [Presentation]

    Wang, Tao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014)
    This paper discusses the application of weighted fuzzy reasoning spiking neu- ral P systems (WFRSN P systems) to fault diagnosis in traction power supply systems (TPSSs) of China high-speed railways. Four types of neurons ...
  • Icon

    Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing  [Presentation]

    Peng, Hong; Zhang, Jiarong; Wang, Jun; Wang, Tao; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2014)
    Membrane computing (known as P systems) is a class of distributed parallel computing models, this paper presents a novel algorithm under membrane computing for solving the data clustering problem, called as membrane ...
  • Icon

    Four (Somewhat Nonstandard) Research Topics  [Presentation]

    Paun, Gheorghe (Fénix Editora, 2014)
    Four research directions are suggested, dealing with the following four main ideas: computing along the axon (up to now, this topic was only preliminarily investi- gated), using pre-computed resources in order to solve ...
  • Icon

    On Parallel Array P Systems  [Presentation]

    Pan, Linqiang; Paun, Gheorghe (Fénix Editora, 2014)
    We further investigate the parallel array P systems recently introduced by K.G. Subramanian, P. Isawasan, I. Venkat, and L. Pan. We rst make explicit several classes of parallel array P systems (with one or more axioms, ...
  • Icon

    Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era  [Presentation]

    Orellana Martín, David; Graciani Díaz, Carmen; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Fénix Editora, 2014)
    Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the framework of P systems with active membranes (both in the case of membrane division and membrane ...
  • Icon

    Extending SNP Systems Asynchronous Simulation Modes in P-Lingua  [Presentation]

    Macías Ramos, Luis Felipe; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014)
    Spiking neural P systems (SN P systems for short) is a developing field within the P systems world. Inspired by the neurophysiological structure of the brain, these systems have been subjected to many extensions in recent ...
  • Icon

    Constant-Space P Systems with Active Membranes  [Presentation]

    Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2014)
    We continue the investigation of the computational power of space- constrained P systems. We show that only a constant amount of space is needed in order to simulate a polynomial-space bounded Turing machine. Due to this ...
  • Icon

    P Colony Robot Controller  [Presentation]

    Langer, Miroslav; Cienciala, Ludek; Ciencialová, Lucie; Perdek, Michal; Smolka, Vladimír (Fénix Editora, 2014)
    P colonies were introduced in 2004 (see [7]) as an abstract computing device composed of independent single membrane agents, reactively acting and evolving in a shared environment. Each agent is equip with set of rules ...
  • Icon

    Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example  [Presentation]

    Konur, Savas; Gheorgue, Marian; Dragomir, Ciprian; Ipate, Florentin; Krasnogor, Natalio (Fénix Editora, 2014)
    As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri cation will become more prevalent. This is so because \programming" in unconventional substrates ...
  • Icon

    Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques  [Presentation]

    Gazdag, Zsolt; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2014)
    In Membrane Computing, the solution of a decision problem X belonging to the complexity class P via a polynomially uniform family of recognizer P systems is trivial, since the polynomial encoding of the input can involve ...
  • Icon

    Probabilistic Guarded P Systems, A Formal Definition  [Presentation]

    García Quismondo, Manuel; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014)
    In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling the dynamics of population biology. The extension is made by a new variant within the probabilistic ...
  • Icon

    P Systems with Anti-Matter  [Presentation]

    Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2014)
    After a short introduction to the area of membrane computing (a branch of natural computing), we introduce the concept of anti-matter in membrane computing. First we consider spiking neural P systems with anti-spikes, ...
  • Icon

    Antimatter as a Frontier of Tractability in Membrane Computing  [Presentation]

    Díaz Pernil, Daniel; Peña Cantillana, Francisco; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2014)
    It is well known that the polynomial complexity class of recognizer polarizationless P systems with active membranes, without dissolution and with division for elementary and non-elementary membranes is exactly the ...
  • Icon

    Self-constructing Recognizer P Systems  [Presentation]

    Díaz Pernil, Daniel; Peña Cantillana, Francisco; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2014)
    Usually, the changes produced in the membrane structure of a P system are considered side effects. The output of the computation is encoded as a multiset placed in a specific region and the membrane structure in the ...
  • Icon

    Scalable Grid-Based Implementation for Membrane Computing  [Presentation]

    Ciobanu, Gabriel (Fénix Editora, 2014)
    We first present the formal semantics of a parallel rule-based formalism inspired by biological cells, and then provide a faithful parallel implementation of this computational model by using GridGain and taking care of ...
  • Icon

    Towards P Colonies Processing Strings  [Presentation]

    Cienciala, Ludek; Ciencialová, Lucie; Csuhaj Varjú, Erzsébet (Fénix Editora, 2014)
    In this paper we introduce and study P colonies where the environment is given as a string. These variants of P colonies, called Automaton-like P systems or APCol systems, behave like automata: during functioning, the ...
  • Icon

    The Reduction Problem in CUDA and Its Simulation with P Systems  [Presentation]

    Ceterchi, Rodica; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014)
    We introduce P systems with dynamic communication graphs which simu- late the functioning of the CUDA architecture when solving the parallel reduction prob- lem.
  • Icon

    Describing Membrane Computations with a Chemical Calculus  [Presentation]

    Battyányi, Péter; Vaszil, György (Fénix Editora, 2014)
    Membrane systems are nature motivated computational models inspired by certain basic features of biological cells and their membranes. They are examples of the chemical computational paradigm which describes computation ...

View more