Listar Ciencias de la Computación e Inteligencia Artificial por título 

Listar Ciencias de la Computación e Inteligencia Artificial por título

Mostrando ítems 451-470 de 880

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

      Local Induction and Provably Total Computable Functions: A Case Study 

      Cordón Franco, Andrés; Lara Martín, Francisco Félix (Springer, 2012)
      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 ...
    • Ponencia
      Icon

      Looking for Computers in the Biological Cell. After Twenty Years 

      Paun, Gheorghe (Fénix Editora, 2015)
    • Ponencia
      Icon

      Looking for P Truth 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004)
      In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore ...
    • Ponencia
      Icon

      Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems 

      Graciani Díaz, Carmen; Riscos Núñez, Agustín (Springer, 2005)
      Earlier solutions to decision problems by means of P systems used many counter objects to control the synchronization of ...
    • 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 ...
    • Ponencia
      Icon

      Matrix Representation of Spiking Neural P Systems 

      Zeng, Xiangxiang; Adorna, Henry N.; Martínez del Amor, Miguel Ángel; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Springer, 2011)
      Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the ...
    • 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 ...
    • Ponencia
      Icon

      MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems 

      Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Colomer, M. Angels; Riscos Núñez, Agustín (IEEE Computer Society, 2010)
      In recent years, the increasing importance of the computational systems biology is leading to an impressive growth of ...
    • Ponencia
      Icon

      Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing 

      Peng, Hong; Zhang, Jiarong; Wang, Jun; Wang, Tao; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2014)
      Membrane computing (known as P systems) is a class of distributed parallel computing models, this paper presents a novel ...
    • Ponencia
      Icon

      Membrane Computing (Tutorial) 

      Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Springer, 2011)
      The aim of the tutorial is to give a general overview of the Membrane Computing paradigm [2,5]. Membrane Computing is a ...
    • 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 ...
    • Ponencia
      Icon

      Membrane Computing Applications in Computational Economics 

      Sánchez Karhunen, Eduardo; Valencia Cabrera, Luis (Fenix Editora, 2017)
      Major efforts have been made along the last decade on the modelling and simulation of phenomena within areas such as ...
    • Ponencia
      Icon

      Membrane Computing as a Modeling Framework. Cellular Systems Case Studies 

      Paun, Gheorghe; Romero Campero, Francisco José (Springer, 2008)
      Membrane computing is a branch of natural computing aiming to abstract computing models from the structure and functioning ...
    • 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 ...
    • Ponencia
      Icon

      Membrane Computing Meets Artificial Intelligence: A Case Study 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010)
      The usual way to find a solution for a NP complete problem with Membrane Computing techniques is by brute force algorithms ...