Now showing items 1-20 of 156

    • Icon

      3-Col problem modelling using simple kernel P systems  [Article]

      Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca; Pérez Jiménez, Mario de Jesús; Turcanu, Adrian; Valencia Cabrera, Luis; García Quismondo, Manuel; Mierla, Laurentiu (Taylor and Francis, 2013)
      This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a 3-colouring problem case study the expressive power and efficiency of kernel P systems. It describes ...
    • Icon

      A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study  [Article]

      Colomer, M. Angels; Margalida, Antoni; Sanuy, Delfí; Pérez Jiménez, Mario de Jesús (Science Direct, 2011)
      The models used for ecosystems modeling are generally based on differential equations. However, in recent yearsnewcomputational models based on biological processes, or bioinspired models, have arisen, among which are P ...
    • Icon

      A colouring protocol for the generalized Russian cards problem  [Article]

      Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Soler Toscano, Fernando (Elsevier, 2013)
      In the generalized Russian cards problem, Alice, Bob and Cath draw a, b and c cards, respectively, from a deck of size a + b + c. Alice and Bob must then communicate their entire hand to each other, without Cath learning ...
    • Icon

      A computational modeling for real ecosystems based on P systems  [Article]

      Cardona, Mónica; Colomer, M. Angels; Margalida, Antoni; Palau, Antoni; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí (Springer, 2011)
      In this paper, a P systems based general framework for modeling ecosystems dynamics is presented. Particularly, ecosystems are specified by means of multienvironment P systems composed of a finite number of environments, ...
    • Icon

      A fast P system for finding a balanced 2-partition  [Article]

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2005)
      Numerical problems are not very frequently addressed in the P systems literature. In this paper we present an effective solution to the 2-Partition problem via a family of deterministic P systems with active membranes ...
    • Icon

      A Formal Proof of Dickson’s Lemma in ACL2  [Presentation]

      Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (Springer, 2003)
      Dickson’s Lemma is the main result needed to prove the termination of Buchberger’s algorithm for computing Gr¨obner basis of polynomial ideals. In this case study, we present a formal proof of Dickson’s Lemma using the ...
    • Icon

      A formalization of membrane systems with dynamically evolving structures  [Article]

      Freund, Rudolf; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Verlan, Sergey (Taylor and Francis, 2013)
      This article introduces a general formalism/framework flexible enough to cover descriptions of different variants of P systems having a dynamic membrane structure. Our framework can be useful for the precise definition ...
    • Icon

      A Framework for Complexity Classes in Membrane Computing  [Article]

      Riscos Núñez, Agustín (Elsevier, 2009)
      The purpose of the present work is to give a general idea about the existing results and open problems concerning the study of complexity classes within the membrane computing framework. To this aim, membrane systems ...
    • Icon

      A geometric protocol for cryptography with cards  [Article]

      Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Soler Toscano, Fernando (Springer, 2015)
      In the generalized Russian cards problem, the three players Alice, Bob and Cath draw a, b and c cards, respectively, from a deck of a + b + c cards. Players only know their own cards and what the deck of cards is. Alice ...
    • Icon

      A Kernel-Based Membrane Clustering Algorithm  [Chapter of Book]

      Yang, Jinyu; Chen, Ru; Zhang, GuoZhou; Peng, Hong; Wang, Jun; Riscos Núñez, Agustín (Springer, 2018)
      The existing membrane clustering algorithms may fail to handle the data sets with non-spherical cluster boundaries. To overcome the shortcoming, this paper introduces kernel methods into membrane clustering algorithms ...
    • Icon

      A linear-time tissue P system based solution for the 3-coloring problem  [Article]

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2007)
      In the literature, several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems in polynomial time can be found (obviously, trading space for time). Recently, different new ...
    • Icon

      A logic-algebraic tool for reasoning with Knowledge-Based Systems  [Article]

      Alonso Jiménez, José Antonio; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena; Hidalgo Doblado, María José (Elsevier, 2018)
      A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual ...
    • Icon

      A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems  [Article]

      Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (MIT Press, 2008)
      Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to communicate in order to regulate the expression of certain or specific genes in a coordinated way ...
    • Icon

      A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors  [Article]

      Manea, Florin; Margenstern, Maurice; Mitrana, Víctor; Pérez Jiménez, Mario de Jesús (Springer, 2010)
      We consider three complexity classes defined on Accepting Hybrid Networks of Evolutionary Processors (AHNEP) and compare them with the classical complexity classes defined on the standard computing model of Turing machine. ...
    • Icon

      A Note on Complexity Measures for Probabilistic P Systems  [Article]

      Cordón Franco, Andrés; Sancho Caparrini, Fernando (J.UCS.org, 2004)
      In this paper we present a first approach to the definition of different entropy measures for probabilistic P systems in order to obtain some quantitative parameters showing how complex the evolution of a P system is. ...
    • Icon

      A note on parameter free Π1-induction and restricted exponentiation  [Article]

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2011)
      We characterize the sets of all Π2 and all $\mathcal {B}(\Sigma _{1})$equation image (= Boolean combinations of Σ1) theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both ...
    • Icon

      A novel image thresholding method based on membrane computing and fuzzy entropy  [Article]

      Peng, Hong; Wang, Jun; Pérez Jiménez, Mario de Jesús; Shi, Peng (IOS Press, 2013)
      Multi-level thresholding methods are a class of most popular image segmentation techniques, however, they are not computationally efficient since they exhaustively search the optimal thresholds to optimize the objective ...
    • Icon

      A P-Lingua based simulator for Tissue P systems  [Article]

      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 (Elsevier, 2010)
      Investigations within the field of tissue-like P systems are being conducted, on one hand studying their computational efficiency, and on the other hand exploring the possibilities to use them as a computational modelling ...
    • Icon

      A parallel algorithm for skeletonizing images by using spiking neural P systems  [Article]

      Díaz Pernil, Daniel; Peña Cantillana, Francisco; Gutiérrez Naranjo, Miguel Ángel (Elsevier, 2013-09)
      Skeletonization is a common type of transformation within image analysis. In general, the image B is a skeleton of the black and white image A, if the image B is made of fewer black pixels than the image A, it does preserve ...
    • Icon

      A polynomial alternative to unbounded environment for tissue P systems with cell division  [Article]

      Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Rius Font, Miquel; Romero Campero, Francisco José (Taylor and Francis, 2013)
      The standard definition of tissue P systems includes a special alphabet whose elements are assumed to appear in the initial configuration of the system in an arbitrarily large number of copies. These objects reside in ...