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 442-461 de 877

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

      Languages and P Systems: Recent Developments 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
      Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. ...
    • 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, ...
    • Ponencia
      Icon

      Learning Services Based on Formal Concept Reasoning 

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Chávez González, Antonia María (IADIS: International Association for Development of the Information Society, 2007)
      A formal foundation of automated service discovering for Semantic Web is proposed. The approach is based on the formalization ...
    • 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 ...
    • Ponencia
      Icon

      Limits on Efficient Computation in P Systems with Symport/Antiport Rules 

      Macías Ramos, Luis Felipe; Song, Bosheng; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017)
      Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by ...
    • Ponencia
      Icon

      Limits on P Systems with Proteins and Without Division 

      Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      In the field of Membrane Computing, computational complexity theory has been widely studied trying to nd frontiers of ...
    • Ponencia
      Icon

      Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division 

      Zhang, Xingyi; Niu, Yunyun; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
      Prime factorization is useful and crucial for public-key cryptography, and its application in public-key cryptography is ...
    • 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 ...