• Capítulo de Libro
      Icon

      Using Automated Reasoning Systems on Molecular Computing 

      Graciani Díaz, Carmen; Pérez Jiménez, Mario de Jesús (Springer, 2005)
      This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study ...
    • Capítulo de Libro
      Icon

      A Linear Solution of Subset Sum Problem by Using Membrane Creation 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2005)
      Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...
    • Capítulo de Libro
      Icon

      An Approach to Computational Complexity in Membrane Computing 

      Pérez Jiménez, Mario de Jesús (Springer, 2005)
      In this paper we present a theory of computational complexity in the framework of membrane computing. Polynomial ...
    • Capítulo de Libro
      Icon

      Cellular solutions to some numerical NP-complete problems: A prolog implementation 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Idea Group Inc., 2005)
      This chapter is devoted to the study of numerical NP-complete problems in the framework of cellular systems with membranes, ...
    • 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

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

      Computationally Hard Problems Addressed Through P Systems 

      Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando (Springer, 2006)
      In this chapter we present a general framework to provide efficient solutions to decision problems through families of ...
    • Capítulo de Libro
      Icon

      Computing with Spiking Neural P Systems: Traces and Small Universal Systems 

      Ionescu, Mihai; Paun, Andrei; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2006)
      Recently, the idea of spiking neurons and thus of computing by spiking was incorporated into membrane computing, and ...
    • Capítulo de Libro
      Icon

      Available Membrane Computing Software 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2006)
      The simulation of a P system with current computers is a quite com-plex task. P systems are intrinsically nondeterministic ...
    • 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

      A Linear Solution for QSAT with Membrane Creation 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006)
      The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, ...
    • Capítulo de Libro
      Icon

      Applications of Membrane Computing 

      Ciobanu, Gabriel; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2006)
    • 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

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

      Characterizing tractability by cell-like membrane systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José; Romero Jiménez, Álvaro (WORLD SCIENTIFIC PUBL CO PTE LTD, 2006)
      In this paper we present a polynomial complexity class in the framework of membrane computing. In this context, and using ...
    • Capítulo de Libro
      Icon

      Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies 

      Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2008)
      A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the ...
    • 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 ...