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 332-339 de 339

    • Artículo
      Icon

      Uniform solutions to SAT and Subset Sum by spiking neural P systems 

      Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2009)
      We continue the investigations concerning the possibility of using spiking neural P systems as a framework for solving ...
    • Artículo
      Icon

      Unveiling the underlying molecular basis of astaxanthin accumulation in Haematococcus through integrative metabolomic-transcriptomic analysis 

      Hoys Hernández, Cristina; Romero Losada, Ana Belén; Río, Esperanza del; Guerrero, Miguel G.; Romero Campero, Francisco José; García González, Mercedes (Elsevier, 2021)
      Astaxanthin is a valuable and highly demanded ketocarotenoid pigment, for which the chlorophycean microalga Haematococcus ...
    • Artículo
      Icon

      Verification of the Formal Concept Analysis 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Real Academia de Ciencias, 2004)
      This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to ...
    • Artículo
      Icon

      Verifying a P system generating squares 

      Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Romanian Academy, Section for Information Science and Technology, 2002)
      In [1], an example of a P system generating exactly all the squares of natural numbers greater than 1 is given. Nevertheless, ...
    • Artículo
      Icon

      Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm 

      Lambán Pardo, Laureano; Rubio, Julio; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Oxford Academic, 2013)
      The Eilenberg–Zilber algorithm is one of the central components of the computer algebra system called Kenzo, devoted ...
    • Artículo
      Icon

      VIGLA-M: visual gene expression data analytics 

      Navas Delgado, Ismael; García Nieto, José Manuel; López Camacho, Esteban; Rybinski, Maciej; Lavado, Rocío; Berciano Guerrero, Miguel Ángel; Aldana Montes, José F. (BMC, 2019)
      Background: The analysis of gene expression levels is used in many clinical studies to know how patients evolve or to ...
    • Artículo
      Icon

      Weighted Fuzzy Spiking Neural P Systems 

      Wang, Jun; Shi, Peng; Peng, Hong; Pérez Jiménez, Mario de Jesús; Wang, Tao (IEEE Computer Society, 2013)
      Spiking neural P systems (SN P systems) are a new class of computing models inspired by the neurophysiological be-havior ...
    • Artículo
      Icon

      When object production tunes the efficiency of membrane systems 

      Orellana Martín, David; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
      Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the ...