Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por autor 

Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por autor "Sancho Caparrini, Fernando"                

Mostrando ítems 1-8 de 8

    • Capítulo de Libro
      Icon

      A MzScheme Implementation of Transition P Systems 

      Balbontín Noval, Delia; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2003)
      The main goal of this paper is to present the design of an MzScheme program that allows us to simulate the behavior of ...
    • Capítulo de Libro
      Icon

      Computationally Hard Problems Addressed Through P Systems 

      Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando (Springer, 2006)
      In this chapter we present a general framework to provide efficient solutions to decision problems through families of ...
    • Capítulo de Libro
      Icon

      Decision P Systems and the P =NP Conjecture 

      Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando (Springer, 2003)
      We introduce decision P systems, which are a class of P systems with symbol-objects and external output. The main result ...
    • Capítulo de Libro
      Icon

      Formal Verification of Programs in Molecular Models with Random Access Memory 

      Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Fénix Editorial, 2005)
      Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning ...
    • Capítulo de Libro
      Icon

      Hybrid Networks of Evolutionary Processors 

      Martín Vide, Carlos; Mitrana, Víctor; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2003)
      A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph ...
    • Capítulo de Libro
      Icon

      Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Sancho Caparrini, Fernando (Springer, 2004)
      In this paper we present an implementation in Prolog of an effective solution to the Knapsack problem via a family of deterministic P systems with active membranes using 2-division.
    • Capítulo de Libro
      Icon

      Solving Knapsack Problems in a Sticker Based Model 

      Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2002)
      Our main goal in this paper is to give molecular solutions for two NP–complete problems, namely Subset-sum and Knapsack, ...
    • Capítulo de Libro
      Icon

      The P Versus NP Problem Through Cellular Computing with Membranes 

      Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando (Springer, 2004)
      We study the P versus NP problem through membrane systems. Language accepting P systems are introduced as a framework ...