Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por materia 

ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "SAT problem"

Mostrando ítems 1-9 de 9

    • Artículo
      Icon

      A uniform solution to SAT using membrane creation 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Elsevier, 2007)
      In living cells, new membranes are produced basically through two processes: mitosis and autopoiesis. These two processes have ...
    • Artículo
      Icon

      Computational efficiency and universality of timed P systems with membrane creation 

      Song, Bosheng; Pérez Jiménez, Mario de Jesús; Pan, Linqiang (Springer, 2015)
      P systems are a class of distributed parallel computing models inspired by the structure and the functioning of a living ...
    • Artículo
      Icon

      Cooperative P Systems and the P Versus NP Problem 

      Valencia Cabrera, Luis; Martínez del Amor, Miguel Ángel; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2017)
      The P versus NP problem is undoubtedly the most important open question in computer science. Frontiers of tractability ...
    • Capítulo de Libro
      Icon

      Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing 

      Romero Jiménez, Álvaro; Orellana Martín, David (Springer, 2018)
      Many variants of P systems have the ability to generate an exponential number of membranes in linear time. This feature ...
    • Artículo
      Icon

      P systems with minimal parallelism 

      Ciobanu, Gabriel; Pan, Linqiang; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Elsevier, 2007)
      A current research topic in membrane computing is to find more realistic P systems from a biological point of view, and ...
    • Artículo
      Icon

      The GPU on the simulation of cellular computing models 

      Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Ujaldón, Manuel (Springer, 2012)
      Membrane Computing is a discipline aiming to abstract formal computing models, called membrane systems or P systems, ...
    • Artículo
      Icon

      Tissue P systems with cell division 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Agora University of Oradea, 2008)
      In tissue P systems several cells (elementary membranes) communicate through symport/antiport rules, thus carrying out a ...
    • Artículo
      Icon

      Tissue P systems with evolutional communication rules with two objects in the left-hand side 

      Orellana Martín, David; Valencia Cabrera, Luis; Song, Bosheng; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Springer, 2022-10-19)
      In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ...
    • Artículo
      Icon

      Uniform solutions to SAT and Subset Sum by spiking neural P systems 

      Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2009)
      We continue the investigations concerning the possibility of using spiking neural P systems as a framework for solving ...