Listar Ciencias de la Computación e Inteligencia Artificial por materia 

ListarCiencias de la Computación e Inteligencia Artificial por materia "SAT problem"

Mostrando ítems 1-15 de 15

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

      An apparently innocent problem in Membrane Computing 

      Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      The search for effcient solutions of computationally hard problems by means of families of membrane systems has lead to ...
    • 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 ...
    • Ponencia
      Icon

      Counting Membrane Systems 

      Valencia Cabrera, Luis; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (University of Bradford, Faculty of Engineering and Informatics, 2017)
      A decision problem is one that has a yes/no answer, while a counting problem asks how many possible solutions exist ...
    • 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 ...
    • 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

      P systems simulations on massively parallel architectures 

      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 (Universidad Complutense de Madrid, 2010)
      Membrane Computing is an emergent research area studying the behaviour of living cells to de ne bio-inspired computing devices, ...
    • 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 ...
    • Ponencia
      Icon

      Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards 

      Valencia Cabrera, Luis; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017)
      Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ...
    • Ponencia
      Icon

      Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards 

      Valencia Cabrera, Luis; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017)
      Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ...
    • 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 ...