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 26-45 de 63

    • 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

      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

      Generation of Diophantine Sets by Computing P Systems with External Output 

      Romero Jiménez, Álvaro; Pérez Jiménez, Mario de Jesús (Springer, 2002)
      In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. ...
    • 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 ...
    • 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

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

      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

      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 as a Modelling Tool: Looking Back and Forward from Sevilla 

      García Quismondo, Manuel; Graciani Díaz, Carmen; Riscos Núñez, Agustín (Springer, 2018)
      This paper is a tribute to Prof. Mario de Jesús Pérez- Jiménez. An overview of modelling applications in membrane ...
    • 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 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 ...