Now showing items 1-20 of 303

    • Article
      Icon

      3-Col problem modelling using simple kernel P systems 

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

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

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

      A colouring protocol for the generalized Russian cards problem 

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

      A computational modeling for real ecosystems based on P systems 

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

      A computational study of liposome logic: towards cellular computing from the bottom up 

      Smaldon, James; Romero Campero, Francisco José; Fernández Trillo, Francisco; Gheorghe, Marian; Alexander, Cameron; Krasnogor, Natalio (Springer, 2010)
      In this paper we propose a new bottom-up approach to cellular computing, in which computational chemical processes are ...
    • Article
      Icon

      A fast P system for finding a balanced 2-partition 

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

      A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems 

      Huang, Zhu; Wang, Tao; Liu, Wei; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Li, Pengpeng (Hindawi, 2021)
      The fault prediction and abductive fault diagnosis of three-phase induction motors are of great importance for improving ...
    • Article
      Icon

      A Fine Grain Sentiment Analysis with Semantics in Tweets 

      Barba González, Cristóbal; García Nieto, José Manuel; Navas Delgado, Ismael; Aldana Montes, José F. (Universidad Internacional de La Rioja (UNIR), 2016)
      Social networking is nowadays a major source of new information in the world. Microblogging sites like Twitter have ...
    • Presentation
      Icon

      A Formal Proof of Dickson’s Lemma in ACL2 

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

      A formalization of membrane systems with dynamically evolving structures 

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

      A Formalization of Transition P Systems 

      Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (IOS Press, 2002)
      In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired ...
    • Article
      Icon

      A Framework for Complexity Classes in Membrane Computing 

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

      A gene regulatory network critical for axillary bud dormancy directly controlled by Arabidopsis BRANCHED1 

      Es, Sam W. van; Muñoz Gasca, Aitor; Romero Campero, Francisco José; González Grandío, Eduardo; Reyes, Pedro de los; Tarancón, Carlos; Dijk, Aalt D.J. van; Esse, Wilma van; Angenent, Gerco C.; Immink, Richard; Cubas, Pilar (Cold Spring Harbor Laboratory, 2020)
      The control of branch outgrowth is critical for plant fitness, stress resilience and crop yield. The Arabidopsis thaliana ...
    • Article
      Icon

      A geometric protocol for cryptography with cards 

      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 ...
    • Chapter of Book
      Icon

      A Kernel-Based Membrane Clustering Algorithm 

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

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

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

      A logic-algebraic tool for reasoning with Knowledge-Based Systems 

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

      A membrane computing framework for self-reconfigurable robots 

      Bie, Dongyang; Gutiérrez Naranjo, Miguel Ángel; Zhao, Jie; Zhu, Yanhe (Springer, 2019)
      Self-reconfigurable robots are built by modules which can move in relationship to each other, which allows the robot ...
    • Article
      Icon

      A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning 

      Pérez Hurtado de Mendoza, Ignacio; Martínez del Amor, Miguel Ángel; Zhang, Gexiang; Neri, Ferrante; Pérez Jiménez, Mario de Jesús (IOS Press, 2020)
      In recent years, incremental sampling-based motion planning algorithms have been widely used to solve robot motion planning ...
    • Article
      Icon

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

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