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

Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por agencia financiadora "Ministerio de Ciencia e Innovación (MICIN). España"

Mostrando ítems 1-8 de 8

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

      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

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