Listar Informática por agencia financiadora 

Listar Informática por agencia financiadora "Ministerio de Economía y Competitividad (MINECO). España"

Mostrando ítems 1-20 de 22

    • Ponencia
      Icon

      A Characterization of PSPACE with Antimatter and Membrane Creation 

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

      Antimatter as a Frontier of Tractability in Membrane Computing 

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

      Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of High-speed Railways 

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

      Asynchronous Spiking Neural P Systems with Structural Plasticity 

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

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

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

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

      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)
    • Ponencia
      Icon

      Kernel P Systems - Version 1 

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

      Limits on P Systems with Proteins and Without Division 

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

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

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

      Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation 

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

      Notes on Spiking Neural P Systems and Finite Automata 

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

      On The Semantics of Annihilation Rules in Membrane Computing 

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

      Parallel Simulation of PDP Systems: Updates and Roadmap 

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

      Probabilistic Guarded P Systems, A Formal Definition 

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

      Rete Algorithm for P System Simulators 

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

      Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era 

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

      Self-constructing Recognizer P Systems 

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

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

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

      Solving SAT with Antimatter in Membrane Computing 

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

      Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques 

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