• Icon

      Thirteen Brainstorming Week on Membrane Computing Sevilla, February 2-6, 2015 : RGNC Report 1/2015  [Libro]

      Macías Ramos, Luis Felipe; Paun, Gheorghe; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Fénix Editora, 2015)
    • Icon

      Asynchronous Spiking Neural P Systems with Structural Plasticity  [Ponencia]

      Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015)
      Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we consider SNP systems with structural plasticity (in short, SNPSP systems) working in the asynchronous ...
    • Icon

      Notes on Spiking Neural P Systems and Finite Automata  [Ponencia]

      Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015)
      Spiking neural P systems (in short, SNP systems) are membrane computing models inspired by the pulse coding of information in biological neurons. SNP systems with standard rules have neurons that emit at most one spike ...
    • Icon

      Some Quick Research Topics  [Ponencia]

      Paun, Gheorghe (Fénix Editora, 2015)
      Some research topics are suggested, in a preliminary form, in most cases dealing with (somewhat nonstandard) extensions of existing types of P systems.
    • Icon

      A Characterization of PSPACE with Antimatter and Membrane Creation  [Ponencia]

      Gazdag, Zsolt; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2015)
      The use of negative information provides a new tool for exploring the limits of P systems as computational devices. In this paper we prove that the combination of antimatter and annihilation rules (based on the annihilation ...
    • Icon

      Looking for Computers in the Biological Cell. After Twenty Years  [Ponencia]

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

      Variants of P Systems with Toxic Objects  [Ponencia]

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Fénix Editora, 2015)
      Toxic objects have been introduced to avoid trap rules, especially in (purely) catalytic P systems. No toxic object is allowed to stay idle during a valid derivation in a P system with toxic objects. In this paper we ...
    • Icon

      Simulating Membrane Systems and Dissolution in a Typed Chemical Calculus  [Ponencia]

      Aman, Bogdan; Battyányi, Péter; Ciobanu, Gabriel; Vaszil, György (Fénix Editora, 2015)
      We present a transformation of membrane systems, possibly with pro- moter/inhibitor rules, priority relations, and membrane dissolution, into formulas of the chemical calculus such that terminating computations of membranes ...
    • Icon

      Extended Spiking Neural P Systems with White Hole Rules  [Ponencia]

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Oswald, Marion; Verlan, Sergey (Fénix Editora, 2015)
      We consider extended spiking neural P systems with the additional possibility of so-called \white hole rules", which send the complete contents of a neuron to other neurons, and we show how this extension of the original ...
    • Icon

      Minimal Cooperation in P Systems with Symport/Antiport: A Complexity Approach  [Ponencia]

      Valencia Cabrera, Luis; Song, Bosheng; Macías Ramos, Luis Felipe; Pan, Linqiang; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015)
      Membrane systems with symport/antiport rules compute by just moving objects among membranes, and not by changing the objects themselves. In these systems the environment plays an active role because, not only it receives ...
    • Icon

      Monodirectional P Systems  [Ponencia]

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2015)
      We investigate the in uence that the ow of information in membrane systems has on their computational complexity. In particular, we analyse the behaviour of P systems with active membranes where communication only ...
    • Icon

      On The Semantics of Annihilation Rules in Membrane Computing  [Ponencia]

      Díaz Pernil, Daniel; Freund, Rudolf; Gutiérrez Naranjo, Miguel Ángel; Leporati, Alberto (Fénix Editora, 2015)
      It is well known that polarizationless recognizer P systems with active membranes, without dissolution, with division of elementary and non-elementary membranes, with antimatter and matter/antimatter annihilation rules ...
    • Icon

      The Pole Balancing Problem with Enzymatic Numerical P Systems  [Ponencia]

      Llorente Rivera, Domingo; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2015)
      Pole balancing is a control benchmark widely used in engineering. It involves a pole a xed to a cart via a joint which allows movement along a single axis. In this problem, the movement of the cart is restricted to the ...
    • Icon

      kPWorkbench: A Software Framework for Kernel P Systems  [Ponencia]

      Gheorgue, Marian; Ipate, Florentin; Mierla, Laurentiu; Konur, Savas (Fénix Editora, 2015)
      P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are de ned to unify the ...
    • Icon

      Solving SAT with Antimatter in Membrane Computing  [Ponencia]

      Díaz Pernil, Daniel; Alhazov, Artiom; Freund, Rudolf; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2015)
      The set of NP-complete problems is split into weakly and strongly NP- complete ones. The di erence consists in the in uence of the encoding scheme of the input. In the case of weakly NP-complete problems, the intractability ...
    • Icon

      Automaton-like P Colonies  [Ponencia]

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

      How to Go Beyond Turing with P Automata: Time Travels, Regular Observer !-Languages, and Partial Adult Halting  [Ponencia]

      Freund, Rudolf; Ivanov, Sergiu; Staiger, Ludwig (Fénix Editora, 2015)
      In this paper we investigate several variants of P automata having in nite runs on nite inputs. By imposing speci c conditions on the in nite evolution of the systems, it is easy to nd ways for going beyond Turing if ...
    • Icon

      Polarizationless P Systems with One Active Membrane  [Ponencia]

      Alhazov, Artiom; Freund, Rudolf (Fénix Editora, 2015)
      The aim of this paper is to study the computational power of P systems with one active membrane without polarizations. For P systems with active membranes, it is known that computational completeness can be obtained with ...
    • Icon

      Deterministic Non-cooperative P Systems with Strong Context Conditions  [Ponencia]

      Alhazov, Artiom; Freund, Rudolf (Fénix Editora, 2015)
      We continue the line of research of deterministic parallel non-cooperative multiset rewriting with control. We here generalize control, i.e., rule applicability context conditions, from promoters and inhibitors checking ...
    • Icon

      Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation  [Ponencia]

      Valencia Cabrera, Luis; Song, Bosheng; Macías Ramos, Luis Felipe; Pan, Linqiang; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015)
      Membrane ssion is a process by which a biological membrane is split into two new ones in such a way that the contents of the initial membrane is separated and distributed between the new membranes. Inspired by this ...