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 "Junta de Andalucía"

Mostrando ítems 1-17 de 17

    • Capítulo de Libro
      Icon

      A Modeling Approach Based on P Systems with Bounded Parallelism 

      Bernardini, Francesco; Romero Campero, Francisco José; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús (Springer, 2006)
      This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm ...
    • 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

      Classifying States of a Finite Markov Chain with Membrane Computing 

      Cardona, Mónica; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús; Zaragoza, Alba (Springer, 2006)
      In this paper we present a method to classify the states of a finite Markov chain through membrane computing. A specific ...
    • 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. ...
    • Capítulo de Libro
      Icon

      Graphical Modeling of Higher Plants Using P Systems 

      Romero Jiménez, Álvaro; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2006)
      L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we ...
    • 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 Computing Schema: A New Approach to Computation Using String Insertions 

      Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Springer, 2009)
      In this paper, we introduce the notion of a membrane computing schema for string objects. We propose a computing schema ...
    • 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

      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

      Modeling Signal Transduction Using P Systems 

      Paun, Andrei; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006)
      Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling ...
    • 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

      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

      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. 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 ...
    • Capítulo de Libro
      Icon

      Towards Probabilistic Model Checking on P Systems Using PRISM 

      Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica (Springer, 2006)
      This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.