Recent Submissions

  • Icon

    Some Quick Research Topics  [Presentation]

    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

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

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

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

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

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

    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

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

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

    Parallel Simulation of PDP Systems: Updates and Roadmap  [Presentation]

    Martínez del Amor, Miguel Ángel; Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015)
    PDP systems are a type of multienvironment P systems, which serve as a formal modeling framework for Population Dynamics. The accurate simulation of these probabilistic models entails large run times. Hence, parallel ...
  • Icon

    Monodirectional P Systems  [Presentation]

    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

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

    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  [Presentation]

    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

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

    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

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

    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

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

    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

    Solving SAT with Antimatter in Membrane Computing  [Presentation]

    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  [Presentation]

    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

    Asynchronous Spiking Neural P Systems with Structural Plasticity  [Presentation]

    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  [Presentation]

    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

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

    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  [Presentation]

    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

    Variants of P Systems with Toxic Objects  [Presentation]

    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

    Polarizationless P Systems with One Active Membrane  [Presentation]

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

View more