Now showing items 1-9 of 9

    • 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

      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

      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

      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

      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

      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

      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

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