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 437-456 de 879

    • Ponencia
      Icon

      Kernel P Systems - Version 1 

      Gheorgue, Marian; Ipate, Florentin; Dragomir, Ciprian; Mierla, Laurentiu; Valencia Cabrera, Luis; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2013)
      A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and ...
    • Ponencia
      Icon

      Kernel P Systems: Applications and Implementations 

      Ipate, Florentin; Lefticaru, Raluca; Mierla, Laurentiu; Valencia Cabrera, Luis; Han, Huang; Zhang, Gexiang; Dragomir, Ciprian; Pérez Jiménez, Mario de Jesús; Gheorghe, Marian (Springer, 2013)
      This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific ...
    • 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 ...
    • Ponencia
      Icon

      kPWorkbench: A Software Framework for Kernel P Systems 

      Gheorgue, Marian; Ipate, Florentin; Mierla, Laurentiu; Konur, Savas (Fénix Editora, 2015)
      P systems are the computational models introduced in the context of membrane computing, a computational paradigm within ...
    • Ponencia
      Icon

      KRRT: Knowledge Representation and Reasoning Tutor System 

      Alonso Jiménez, José Antonio; Aranda, Gonzalo A.; Martín Mateos, Francisco Jesús (Springer, 2007)
      Knowledge Representation & Reasoning (KR&R) is a fundamental topic in Artificial Intelligence. A basic KR language is ...
    • 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 ...