Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) fecha de publicación 

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

Mostrando ítems 41-60 de 65

    • 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

      A bio-inspired software for segmenting digital images. 

      Díaz Pernil, Daniel; Molina Abril, Helena; Real Jurado, Pedro; Gutiérrez Naranjo, Miguel Ángel (2010)
      Segmentation in computer vision refers to the process of partitioning a digital image into multiple segments (sets of ...
    • 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)
    • 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

      La mitosis celular: una sorprendente frontera de la eficiencia 

      Pérez Jiménez, Mario de Jesús (Fenix Editora, 2010)
      En este trabajo se presenta una frontera entre la eficiencia e ineficiencia de problemas abstractos en un marco computacional ...
    • Ponencia
      Icon

      A P–Lingua Based Simulator for Spiking Neural P Systems 

      Macías Ramos, Luis Felipe; Pérez Hurtado de Mendoza, Ignacio; García Quismondo, Manuel; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2011)
      The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of ...
    • 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 ...
    • Ponencia
      Icon

      Formal Verification of P Systems with Active Membranes through Model Checking 

      Ipate, Florentin; Lefticaru, Raluca; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Tudose, Cristina (Springer, 2011)
      Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...
    • 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

      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

      Heterotic Computing Examples with Optics, Bacteria, and Chemicals 

      Stepney, Susan; Abramsky, Samson; Bechmann, Matthias; Gorecki, Jerzy; Kendon, Viv; Naughton, Thomas J.; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José; Sebald, Angelika (Springer, 2012)
      Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. ...
    • Capítulo de Libro
      Icon

      Implementing Enzymatic Numerical P Systems for AI Applications by Means of Graphic Processing Units 

      García Quismondo, Manuel; Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús (Springer, 2013)
      A P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets ...
    • Capítulo de Libro
      Icon

      Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology 

      Blakes, Jonathan; Twycross, Jamie; Konur, Savas; Romero Campero, Francisco José; Krasnogor, Natalio; Gheorghe, Marian (Springer, 2014)
      This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel ...
    • Capítulo de Libro
      Icon

      Membrane System-Based Models for Specifying Dynamical Population Systems 

      Colomer Cugat, M. Ángels; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Springer, 2014)
      Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has ...
    • 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

      Asynchronous Spiking neural P systems with structural plasticity 

      Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús (Springer, 2015)
      Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we ...
    • 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

      Evolution of the Flowering Pathways 

      Lucas Reina, Eva; Ortiz Marchena, M Isabel; Romero Campero, Francisco José; Calonje, Myriam; Romero, José M.; Valverde, Federico (Springer, 2016)
      Flowering plants are some of the most successful organisms on Earth, particularly those used in agriculture due to 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

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