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

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

Mostrando ítems 42-61 de 65

    • Capítulo de Libro
      Icon

      On Descriptive Complexity of P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2005)
      In this paper we address the problem of describing the complexity of the evolution of a P system. This issue is is specially ...
    • Capítulo de Libro
      Icon

      On Experimental Efficiency for Retraction Operator to Stem Basis 

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan; Trujillo Caballero, Alejandro (Springer, 2018)
      In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the ...
    • Capítulo de Libro
      Icon

      On P Systems as a Modelling Tool for Biological Systems 

      Bernardini, Francesco; Gheorghe, Marian; Krasnogor, Natalio; Muniyandi, Ravie C.; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006)
      We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic ...
    • Capítulo de Libro
      Icon

      On the Power of Dissolution in P Systems with Active Membranes 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Springer, 2006)
      In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using ...
    • Capítulo de Libro
      Icon

      On the Velocity Update in Multi-Objective Particle Swarm Optimizers 

      Durillo, Juan J.; Nebro, Antonio J.; García Nieto, José Manuel; Alba, Enrique (Springer, 2010)
      Since its appearance, Particle Swarm Optimization (PSO) has become a very popular technique for solving optimization ...
    • Capítulo de Libro
      Icon

      On Two-Dimensional Mesh Networks and Their Simulation with P Systems 

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús (Springer, 2005)
      We analize in this paper the possibility of simulating the parallel architecture SIMD-MC2, also known as the ...
    • Capítulo de Libro
      Icon

      Other Buds in Membrane Computing 

      Gutiérrez Naranjo, Miguel Ángel (Springer, 2018)
      It is well-known the huge Mario’s contribution to the development of Membrane Computing. Many researchers may relate his ...
    • Capítulo de Libro
      Icon

      P and dP Automata: A Survey 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2011)
      This is a quick survey of basic notions and results related to P automata (P systems with symport/antiport rules working ...
    • Capítulo de Libro
      Icon

      P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Springer, 2005)
      We study the computational efficiency of recognizer P systems with active membranes without polarizations and without ...
    • Capítulo de Libro
      Icon

      P Systems, a New Computational Modelling Tool for Systems Biology 

      Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006)
      In this paper we present P systems as a reliable computa- tional modelling tool for Systems Biology that takes into account ...
    • Ponencia
      Icon

      Population Dynamics P Systems on CUDA 

      Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Gastalver Rubio, Adolfo; Elster, Anne C.; Pérez Jiménez, Mario de Jesús (Springer, 2012)
      Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been ...
    • Capítulo de Libro
      Icon

      Skeletonizing Digital Images with Cellular Automata 

      Díaz Pernil, Daniel; Peña Cantillana, Francisco; Gutiérrez Naranjo, Miguel Ángel (Springer, 2014)
      The skeletonization of an image consists of converting the initial image into a more compact representation. In general, ...
    • 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

      Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment 

      Graciani Díaz, Carmen; Martín Mateos, Francisco Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2002)
      The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ...
    • Capítulo de Libro
      Icon

      Spiking Neural P Systems. Recent Results, Research Topics 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2009)
      After a quick introduction of spiking neural P systems (a class of P systems inspired from the way neurons communicate ...
    • Capítulo de Libro
      Icon

      Spiking Neural P Systems: A Short Introduction and New Normal Forms 

      Pan, Linqiang; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Editorial Academiei, 2012)
      Spiking neural P systems are a class of P systems inspired from the way the neurons communicate with each other by means ...
    • Ponencia
      Icon

      Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data 

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2016)
      This work introduces a (qualitative) data-driven framework to extract patterns of pedestrian behaviour and synthesize ...
    • 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 ...
    • Capítulo de Libro
      Icon

      Topología simplicial en ACL2 

      Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Universidad de la Rioja, 2010)
    • Ponencia
      Icon

      Towards Emotion Recognition: A Persistent Entropy Application 

      González Díaz, Rocío; Paluzo Hidalgo, Eduardo; Quesada Moreno, José Francisco (Springer, 2019)
      Emotion recognition and classification is a very active area of research. In this paper, we present a first approach to ...