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 14-33 de 442

    • Ponencia
      Icon

      A Fast Solution to the Partition Problem by Using Tissue-Like P Systems 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (IEEE Computer Society, 2008)
      Tissue-like P systems with cell division is a computing model in the framework of membrane computing based on the ...
    • Ponencia
      Icon

      A First Attempt to Model Notch Signalling by Means of P Systems 

      García Quismondo, Manuel; Henley, Beverly M.; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín (Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)
      During mammalian central nervous system development, an enormous variety of cell types are generated. This cell diversity ...
    • Ponencia
      Icon

      A First Model for Hebbian Learning with Spiking Neural P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2008)
      Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ...
    • Ponencia
      Icon

      A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web 

      Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2007)
      Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. ...
    • Ponencia
      Icon

      A Formal Framework for P Systems with Dynamic Structure 

      Freund, Rudolf; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Verlan, Sergey (Fénix Editora, 2012)
      This article introduces a formalism/framework able to describe different variants of P systems having a dynamic structure. ...
    • Ponencia
      Icon

      A Formally Verified Prover for the ALC Description Logic 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Springer, 2007)
      The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a ...
    • Ponencia
      Icon

      A Framework for Evolving Spiking Neural P Systems 

      Casauay, Lovely Joy; Macababayao, Ivan Cedric H.; Cabarle, Francis George C.; Cruz, Ren Tristan de la; Adorna, Henry N.; Zeng, Xiangxiang; Martínez del Amor, Miguel Ángel (IMCS: International Membrane Computing Society, 2019)
      In current literature, there is a lack of research on the optimization of spiking neural P systems (SN P systems) and, ...
    • Ponencia
      Icon

      A Framework for Evolving Spiking Neural P Systems with Rules on Synapses 

      Moredo, Celine Anne A.; Supelana, Ryan Chester J.; Cailipan, Dionne Peter; Cabarle, Francis George C.; Cruz, Ren Tristan de la; Adorna, Henry N.; Zeng, Xiangxiang; Martínez del Amor, Miguel Ángel (IMCS: International Membrane Computing Society, 2019)
      In this paper, we present a genetic algorithm framework for evolving Spiking Neural P Systems with rules on synapses ...
    • Ponencia
      Icon

      A General, Sound and Efficient Natural Language Parsing Algorithm based on Syntactic Constraints Propagation 

      Quesada Moreno, José Francisco (AEPIA: Asociación Española para la Inteligencia Artificial, 1997)
      This paper presents a new context-free parsing algorithm based on a bidirectional strictly horizontal strategy which ...
    • Ponencia
      Icon

      A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory. 

      Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (University of Texas, 2002)
      In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the ...
    • Ponencia
      Icon

      A GPU Simulation for Evolution-Communication P Systems with Energy Having no Antiport Rules 

      Bangalan, Zylynn F.; Soriano, Krizia Ann N.; Juayong, Richelle Ann B.; Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (Fénix Editora, 2013)
      Evolution-Communication P system with energy (ECPe systems) is a cell- like variant P system which establishes a dependence ...
    • Ponencia
      Icon

      A Hybrid Approach to Modeling Biological Systems 

      Bernardini, Francesco; Gheorghe, Marian; Romero Campero, Francisco José; Walkinshaw, Neil (Springer, 2007)
      This paper investigates a hybrid approach to modeling molecular interactions in biology. P systems, π-calculus, and Petri ...
    • Ponencia
      Icon

      A Java Simulator for Basic Transition P Systems 

      Nepomuceno Chamorro, Isabel de los Ángeles (Fénix Editora, 2004)
      In this paper, a software tool (called SimCM, from Spanish Sim- ulador de Computaci¶on con Membranas) for handling P ...
    • Capítulo de Libro
      Icon

      A Linear Solution for QSAT with Membrane Creation 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006)
      The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, ...
    • Ponencia
      Icon

      A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2007)
      Tissue P systems are a computing model in the framework of Membrane Computing where the tree-like membrane structure is ...
    • Capítulo de Libro
      Icon

      A Linear Solution of Subset Sum Problem by Using Membrane Creation 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2005)
      Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...
    • Capítulo de Libro
      Icon

      A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes 

      Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2004)
      Up to now, P systems dealing with numerical problems have been rarely considered in the literature. In this paper we ...
    • Ponencia
      Icon

      A Logarithmic Bound for Solving Subset Sum with P Systems 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2007)
      The aim of our paper is twofold. On one hand we prove the ability of polarizationless P systems with dissolution and with ...
    • Ponencia
      Icon

      A massively parallel framework using P systems and GPUs 

      Cecilia, José M.; Guerrero, Ginés D.; García, José M.; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (National Center for Supercomputing Applications at the University of Illinois, 2009)
      Since CUDA programing model appeared on the general purpose computations, the developers can extract all the power ...
    • Ponencia
      Icon

      A Membrane Computing Model for Ballistic Depositions 

      Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2007)
      Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were ...