Now showing items 1-20 of 26

    • 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

      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

      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

      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

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

      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

      Length P Systems with a Lone Traveler  [Presentation]

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Fénix Editora, 2014)
      In this paper we consider P systems with linear membrane structures (only one membrane is elementary) with at most one object. We raise and attack the question about the computational power of such systems, depending on ...
    • Icon

      Life-Death Ratio Approach by a Multiset-Based Type System  [Presentation]

      Aman, Bogdan; Ciobanu, Gabriel (Fénix Editora, 2014)
      We introduce and study a multiset-based type system with ratio thresholds motivated by an important regulatory mechanism inside a cell which try to maintain a \life-death" ratio between some given lower and upper thresholds. ...
    • Icon

      Matter and Anti-Matter in Membrane Systems  [Presentation]

      Alhazov, Artiom; Aman, Bogdan; Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2014)
      The concept of a matter object being annihilated when meeting its corresponding anti-matter object is investigated in the context of membrane systems, i.e., of (distributed) multiset rewriting systems applying rules in ...
    • 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

      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

      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

      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

      Priorities, Promoters and Inhibitors in Deterministic Non-Cooperative P Systems  [Presentation]

      Alhazov, Artiom; Freund, Rudolf (Fénix Editora, 2014)
      Membrane systems (with symbol objects) are distributed controlled multiset processing systems. Non-cooperative P systems with either promoters or inhibitors (of weight not restricted to one) are known to be computationally ...
    • 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

      Red-Green P Automata  [Presentation]

      Aman, Bogdan; Csuhaj Varjú, Erzsébet; Freund, Rudolf (Fénix Editora, 2014)
      In this short note we extend the notion of red-green Turing machines to speci c variants of P automata. Acceptance and recognizability of nite strings by red- green automata are de ned via in nite runs of the automaton ...
    • 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

      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

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