Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por título 

Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por título

Mostrando ítems 21-40 de 360

    • Artículo
      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 ...
    • Artículo
      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 ...
    • Artículo
      Icon

      A membrane computing framework for social navigation in robotics 

      Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis (Elsevier, 2021)
      A mobile robot acting in a human environment should follow social conventions, keeping safety distances and navigating ...
    • Artículo
      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 ...
    • Artículo
      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 ...
    • Artículo
      Icon

      A model of three-way decisions for Knowledge Harnessing 

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Elsevier, 2020)
      The present work introduces the Knowledge Harnessing, by showing its theoretical founda-tions as well as a three-way ...
    • Artículo
      Icon

      A multi-objective interactive dynamic particle swarm optimizer 

      Barba González, Cristóbal; Nebro, Antonio J.; García Nieto, José Manuel; Aldana Montes, José F. (Springer, 2020)
      Multi-objective optimization deals with problems having two or more conflicting objectives that have to be optimized simulta-neously. ...
    • Artículo
      Icon

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

      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 ...
    • Artículo
      IconIcon

      A new P-Lingua toolkit for agile development in membrane computing 

      Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Riscos Núñez, Agustín (Elsevier, 2022)
      Membrane computing is a massively parallel and non-deterministic bioinspired computing paradigm whose models are called P ...
    • Artículo
      Icon

      A Note on Complexity Measures for Probabilistic P Systems 

      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 ...
    • Artículo
      Icon

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

      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 ...
    • Artículo
      Icon

      A Note on Σ₁-Maximal Models 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Association for Symbolic Logic, 2007)
      Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: (a) the scheme of ...
    • Artículo
      Icon

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

      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 ...
    • Artículo
      Icon

      A P-Lingua based simulator for Tissue P systems 

      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 ...
    • Artículo
      Icon

      A P-Lingua based Simulator for Tissue P Systems with Cell Separation 

      Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Chacón, José M.; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Romanian Academy, Section for Information Science and Technology, 2014)
      Tissue P systems are one of the currently active research topics within the field of Membrane Computing. In particular, ...
    • Artículo
      Icon

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

      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 ...
    • Artículo
      Icon

      A path to computational efficiency through membrane computing 

      Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Elsevier, 2019)
      The search for new mechanisms and tools allowing us to tackle the famousPversusNPproblem from new perspectives is an ...
    • Artículo
      Icon

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

      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 ...
    • Artículo
      Icon

      A Prolog Simulator for Deterministic P Systems with Active Membranes 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2004)
      In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. ...
    • Artículo
      Icon

      A proxitome-RNA-capture approach reveals that processing bodies repress co-regulated hub genes 

      Liu, Chen; Mentzelopoulou, Andriani; Hatzianestis, Ioannis H.; Tzagkarakis, Epameinondas; Skaltsogiannis, Vasileios; Ma, Xuemin; Michalopoulou, Vassiliki A.; Romero Campero, Francisco José; Romero Losada, Ana Belén; Sarris, Panagiotis F.; Marhavy, Peter; Bolter, Bettina; Kanterakis, Alexandros; Gutiérrez Beltrán, Emilio; Moschou, Panagiotis N. (American Society of Plant Biologists, 2023-11-16)
      Cellular condensates are usually ribonucleoprotein assemblies with liquid- or solid-like properties. Because these subcellular ...