Now showing items 1-14 of 14

    • 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

      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

      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

      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

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

      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

      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

      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

      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

      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

      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

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