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 81-100 de 442

    • Ponencia
      Icon

      An Efficient Cellular Solution for the Partition Problem 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      Numerical problems are not very frequently addressed in the P sys- tems literature. In this paper we present an e®ective ...
    • Ponencia
      Icon

      An Improved GPU Simulator For Spiking Neural P Systems 

      Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (IEEE Computer Society, 2011)
      Spiking Neural P (SNP) systems, variants of Psystems (under Membrane and Natural computing), are computing models that ...
    • Ponencia
      Icon

      An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division 

      Porreca, Antonio E.; Murphy, Niall; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
      In the framework of tissue P systems with cell division, the length of communication rules provides a frontier for the ...
    • Ponencia
      Icon

      An Overview of Hardware Implementations of P Systems 

      Shang, Zeyi; Verlan, Sergey; Zhang, Gexiang; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis (Xihua University, 2017)
      Implementing the P systems on parallel hardware is a re- search highlight in bio-inspired computing since the membrane ...
    • Ponencia
      Icon

      An Overview of P-Lingua 2.0 

      García Quismondo, Manuel; Gutiérrez Escudero, Rosa; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2009)
      P–Lingua is a programming language for membrane computing which aims to be a standard to define P systems. In order to ...
    • Ponencia
      Icon

      Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study 

      Valencia Cabrera, Luis; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús; Su, Yansen; Yu, Hui; Pan, Linqiang (Fénix Editora, 2013)
      Gene Regulatory Networks (GRNs) are a useful tool for biologists to understand the interactions among genes in living ...
    • Ponencia
      Icon

      Analysis of P systems simulation on CUDA 

      Guerrero, Ginés D.; Cecilia, José M.; García Carrasco, José M.; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (SARTECO: Sociedad de Arquitectura y Tecnología de Computadores, 2009)
      GPUs (Graphics Processing Unit) have been con- solidated as a massively data-parallel coprocessor to develop many general ...
    • Ponencia
      Icon

      Anomalías en Ontologías Provisionales. 

      Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de León, Servicio de Publicaciones, 2007)
    • Ponencia
      Icon

      Antimatter as a Frontier of Tractability in Membrane Computing 

      Díaz Pernil, Daniel; Peña Cantillana, Francisco; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2014)
      It is well known that the polynomial complexity class of recognizer polarizationless P systems with active membranes, ...
    • Ponencia
      Icon

      Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of High-speed Railways 

      Wang, Tao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014)
      This paper discusses the application of weighted fuzzy reasoning spiking neu- ral P systems (WFRSN P systems) to fault ...
    • Ponencia
      Icon

      Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials 

      Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Springer, 2011)
      In this paper we present a complete formalization, using the ACL2 theorem prover, of the Normalization Theorem, a result ...
    • Ponencia
      Icon

      Approximating Non-discrete P Systems 

      Cordón Franco, Andrés; Sancho Caparrini, Fernando (Springer, 2004)
      The main goal of this paper is to propose some geometric approaches to the computations of non-discrete P systems. The ...
    • Ponencia
      Icon

      Array Tissue-like P Systems 

      Christinal, Hepzibah A.; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010)
      Array grammars have been studied in the framework of Membrane Comput- ing by using rewriting rules from transition P ...
    • Ponencia
      Icon

      Artificial Decision Maker Driven by PSO: An Approach for Testing Reference Point Based Interactive Methods 

      Barba González, Cristóbal; Ojalehto, Vesa; García Nieto, José Manuel; Nebro, Antonio J.; Miettinen, Kaisa; Aldana Montes, José F. (Springer, 2018)
      Over the years, many interactive multiobjective optimization methods based on a reference point have been proposed. With ...
    • Ponencia
      Icon

      ASAP: A Framework for Designing Gamified Models of Complex Systems 

      Solís Martín, David; Galán Páez, Juan; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando (IEEE Computer Society, 2016)
      This paper introduces ASAP, a framework for the development of mobile gamification of problems where Complex Systems ...
    • Ponencia
      Icon

      Asynchronous Spiking Neural P Systems with Local Synchronization 

      Song, Tao; Pan, Linqiang; Paun, Gheorghe (Fénix Editora, 2012)
      Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from ...
    • Ponencia
      Icon

      Asynchronous Spiking Neural P Systems with Structural Plasticity 

      Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015)
      Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we ...
    • Ponencia
      Icon

      Atlas de terapias urbanas basado en casos reales 

      Rodríguez Estévez, Sergio; Mendoza Muro, Salas; Fernández-Valderrama, Luz; Ureta Muñoz, Carolina; Rovira Caballero, Ignacio; Duarte Sastre, José Antonio; Aranda Corral, Gonzalo A.; Pazos-García, Francisco; Fernández Perea, Macarena; López Casado, David; Martín-Mariscal, Amanda (AMPS. Universidad de Sevilla, 2015)
      El “Atlas de terapias urbanas1 ” se propone como una herramienta encaminada a facilitar la identificación y evaluación ...
    • Capítulo de Libro
      Icon

      Attacking the Common Algorithmic Problem by Recognizer P Systems 

      Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2005)
      Many NP-complete problems can be viewed as special cases of the Common Algorithmic Problem (CAP). In a precise sense, ...
    • Ponencia
      Icon

      Automatic Configuration of NSGA-II with jMetal and irace 

      Nebro, Antonio J.; López Ibáñez, Manuel; Barba González, Cristóbal; García Nieto, José Manuel (ACM Digital Library, 2019)
      jMetal is a Java-based framework for multi-objective optimization with metaheuristics providing, among other features, a ...