Now showing items 1-20 of 22

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

      FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015  [Book]

      Miguel Rodríguez, Jaime de; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando; Aranda Corral, Gonzalo A.; Domínguez Sánchez de la Blanca, Ismael; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Economía y Competitividad (MINECO). España (Fidetia, 2016)
    • Icon

      Kernel P Systems - Version 1  [Presentation]

      Gheorgue, Marian; Ipate, Florentin; Dragomir, Ciprian; Mierla, Laurentiu; Valencia Cabrera, Luis; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2013)
      A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and ...
    • Icon

      Limits on P Systems with Proteins and Without Division  [Presentation]

      Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      In the field of Membrane Computing, computational complexity theory has been widely studied trying to nd frontiers of ...
    • 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 ...
    • Icon

      Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation  [Presentation]

      Orellana Martín, David; Valencia Cabrera, Luis; Song, Bosheng; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ...
    • 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 ...
    • 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 ...
    • 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. ...
    • 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 ...
    • Icon

      Rete Algorithm for P System Simulators  [Presentation]

      Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Riscos Núñez, Agustín (Fénix Editora, 2013)
      The Rete algorithm is a well-known algorithm in rule-based production systems which builds directed acyclic graphs that ...
    • 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 ...
    • 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 ...
    • Icon

      Simulating a Family of Tissue P Systems Solving SAT on the GPU  [Presentation]

      Martínez del Amor, Miguel Ángel; Pérez Carrasco, Jesús; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2013)
      In order to provide e cient software tools to deal with large membrane systems, high-throughput simulators are required. ...
    • 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 ...
    • Icon

      Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques  [Presentation]

      Gazdag, Zsolt; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2014)
      In Membrane Computing, the solution of a decision problem X belonging to the complexity class P via a polynomially uniform ...