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

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

Mostrando ítems 207-226 de 437

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