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 190-209 de 355

    • Artículo
      Icon

      Knowledge extraction from deep convolutional neural networks applied to cyclo-stationary time-series classification 

      Cabrera, Diego; Sancho Caparrini, Fernando; Cerrada, Mariela; Sánchez, René-Vinicio; Li, Chuan (Elsevier, 2020)
      Modelling complex processes from raw time series increases the necessity to build DeepLearning (DL) architectures that can ...
    • Artículo
      Icon

      Knowledge representation for explainable artificial intelligence: modeling foundations from complex systems 

      Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2022)
      Alongside the particular need to explain the behavior of black box artificial intelligence (AI) systems, there is a general ...
    • Artículo
      Icon

      Languages and P systems: Recent developments 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (2012)
      Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. We ...
    • Artículo
      Icon

      Laser Dynamics from a Membrane Computing Perspective 

      Orellana Martín, David; Valencia Cabrera, Luis; Guisado Lízar, José Luís; Jiménez-Morales, Francisco de Paula; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (IMCS. International Membrane Computational Society, 2018)
      Modelling real systems and processes is a task classically performed through the approach of di erential equation systems, ...
    • Artículo
      Icon

      Lexical Object Theory: Specification Level 

      Quesada Moreno, José Francisco (Springer, 1998)
      Unification has become a major paradigm in Mathematical and Computational Linguistics. The research done in this area may ...
    • Artículo
      Icon

      Local induction and provably total computable functions 

      Cordón Franco, Andrés; Lara Martín, Francisco Félix (Elsevier, 2014)
      Let I¦− 2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free ¦2 ...
    • Artículo
      Icon

      Local Search with P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (IGI GLOBAL, 2011)
      Local search is currently one of the most used methods for finding solutions in real-life problems. It is usually considered ...
    • Artículo
      Icon

      Logic Negation with Spiking Neural P Systems 

      Rodríguez Chavarría, Daniel; Gutiérrez Naranjo, Miguel Ángel; Borrego Díaz, Joaquín (Springer, 2020)
      Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such ...
    • Artículo
      Icon

      M2Align: parallel multiple sequence alignment with a multi-objective metaheuristic 

      Zambrano Vega, Cristian; Nebro, Antonio J.; García Nieto, José Manuel; Aldana Montes, José F. (Oxford University Press, 2017)
      Motivation: Multiple sequence alignment (MSA) is an NP-complete optimization problem found in computational biology, where ...
    • Artículo
      Icon

      MAREX: A general purpose hardware architecture for membrane computing 

      Cascado Caballero, Daniel; Díaz del Río, Fernando; Cagigas Muñiz, Daniel; Ríos Navarro, José Antonio; Guisado Lízar, José Luís; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín (Elsevier, 2022-01)
      Membrane computing is an unconventional computing paradigm that has gained much attention in recent decades because of its ...
    • Artículo
      Icon

      Maude as a Metalanguage 

      Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí Oliet, N.; Meseguer, J.; Quesada Moreno, José Francisco (Elsevier, 1998)
      One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which ...
    • Artículo
      Icon

      Maude: specification and programming in rewriting logic 

      Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí Oliet, N.; Meseguer, J.; Quesada Moreno, José Francisco (Elsevier, 2002)
      Maude is a high-level language and a high-performance system supporting executable specification and declarative programming ...
    • Artículo
      Icon

      Membrane computing and image processing: a short survey 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Peng, Hong (SPRINGER; SPRINGERNATURE, 2019)
      Membrane computing is a well-known research area in computer science inspired by the organization and behavior of live ...
    • Capítulo de Libro
      Icon

      Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla 

      García Quismondo, Manuel; Graciani Díaz, Carmen; Riscos Núñez, Agustín (Springer, 2018)
      This paper is a tribute to Prof. Mario de Jesús Pérez- Jiménez. An overview of modelling applications in membrane ...
    • Artículo
      Icon

      Membrane computing: Brief introduction, recent results and applications 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Elsevier, 2006)
      The internal organization and functioning of living cells, as well as their cooperation in tissues and higher order ...
    • Artículo
      Icon

      Membrane creation and symport/antiport rules solving QSAT 

      Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Springer, 2022-09-12)
      In Membrane Computing, diferent variants of devices can be found by changing both syntactical and semantic ingredients. ...
    • Artículo
      Icon

      Membrane division, restricted membrane creation and object complexity in P systems 

      Alhazov, Artiom; Freund, Rudolf; Riscos Núñez, Agustín (Taylor and Francis, 2006)
      We improve, by using register machines, some existing universality results for specific models of P systems. P systems ...
    • Artículo
      Icon

      Membrane fission versus cell division: When membrane proliferation is not enough 

      Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Elsevier, 2015)
      Cell division is a process that produces two or more cells from one cell by replicating the original chromosomes so that ...
    • Artículo
      Icon

      Membrane Fission: A Computational Complexity Perspective 

      Macías Ramos, Luis Felipe; Song, Bosheng; Valencia Cabrera, Luis; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Wiley, 2016)
      Membrane fission is a process by which a biological membrane is split into two new ones in the manner that the content ...
    • Artículo
      Icon

      Membrane Systems with Marked Membranes 

      Brijder, Robert; Cavaliere, Matteo; Riscos Núñez, Agustín; Rozenberg, Grzegorz; Sburlan, Dragos (Elsevier, 2007)
      Membrane computing is a biologically inspired computational paradigm. Motivated by brane calculi we investigate membrane ...