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 334-353 de 442

    • Ponencia
      Icon

      Semantics of Deductive Databases in a Membrane Computing Connectionist Model 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel (Fénix, 2016)
      The integration of symbolic reasoning systems based on logic and connectionist systems based on the functioning of living ...
    • Ponencia
      Icon

      Sensorización y control de un proceso de mecanizado utilizando un sistema experto basado en reglas 

      Serrano Bello, Rafael; González Valencia, Luis Carlos; Martín Mateos, Francisco Jesús (Asociación Española de Dirección e Ingeniería de Proyectos (AEIPRO), 2010)
      Aunque el proceso de fabricación por arranque de viruta ha evolucionado mucho en los últimos años con la incorporación ...
    • Ponencia
      Icon

      Simulating a Family of Tissue P Systems Solving SAT on the GPU 

      Martínez del Amor, Miguel Ángel; Pérez Carrasco, Jesús; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2013)
      In order to provide e cient software tools to deal with large membrane systems, high-throughput simulators are required. ...
    • Ponencia
      Icon

      Simulating Active Membrane Systems Using GPUs 

      Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Cecilia, José M.; Guerrero, Ginés D.; García, José M. (Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)
      Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ...
    • Ponencia
      Icon

      Simulating Apoptosis Using Discrete Methods: a Membrane System and a Stochastic Approach 

      Jack, John; Romero Campero, Francisco José; Pérez Jiménez, Mario de Jesús; Ibarra, Óscar H.; Paun, Andrei (2007)
      Membrane Systems provide an intriguing method for modeling biological systems at a molecular level. The hierarchical ...
    • Ponencia
      Icon

      Simulating Avascular Tumors with Membrane Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Fénix Editora, 2005)
      Tumor growth has received a considerable attention by the scientific community. In the earliest stages of development, ...
    • Ponencia
      Icon

      Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms 

      Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2015)
      Fuzzy Reasoning Spiking Neural P systems (FRSN P systems, for short) is a variant of Spiking Neural P systems ...
    • Ponencia
      Icon

      Simulating Language Dynamics by Means of Concept Reasoning 

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2012)
      A problem in the phenomenological reconstruction of Complex Systems (CS) is the extraction of the knowledge that elements ...
    • Ponencia
      Icon

      Simulating Large-Scale ENPS Models by Means of GPU 

      García Quismondo, Manuel; Brandusa Pavel, Ana; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
      Enzymatic Numerical P Systems (ENPS), an extension of Numerical P Systems, have been successfully applied to model robot ...
    • Ponencia
      Icon

      Simulating Shuffle-Exchange Networks with P Systems 

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004)
      We present in this paper a simulation with P systems of the parallel architecture known as shuffle-exchange network. This ...
    • Ponencia
      Icon

      Simulating Spiking Neural P Systems Without Delays Using GPUs 

      Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (Fénix Editora, 2011)
      We present in this paper our work regarding simulating a type of P sys- tem known as a spiking neural P system (SNP system) ...
    • Ponencia
      Icon

      Simulating the Bitonic Sort on a 2D-mesh with P Systems 

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (South-East European Research Centre, 2007)
      This paper gives a version of the parallel bitonic sorting algorithm of Batcher, which can sort N elements in time O(log2 ...
    • Ponencia
      Icon

      Simulating Tritrophic Interactions by Means of P Systems 

      Colomer, M. Angels; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (IEEE, 2010)
      P systems provide a high level computational modelling framework that combines the structural and dynamical aspects of ...
    • Ponencia
      Icon

      Simulating Turing Machines with Polarizationless P Systems with Active Membranes 

      Gazdag, Zsolt; Kolonits, Gábor; Gutiérrez Naranjo, Miguel Ángel (Springer, 2014)
      We prove that every single-tape deterministic Turing machine working in t(n) t(n) time, for some function t:N→N t:N→N , ...
    • Ponencia
      Icon

      Simulation of Computing P Systems: A GPU Design for the Factorization Problem 

      Martínez del Amor, Miguel Ángel; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Friedrich-Schiller-Universität Jena, 2018)
    • Ponencia
      Icon

      Simulation of Recognizer P Systems by Using Manycore GPUs 

      Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Cecilia, José M.; Guerrero, Ginés D.; García, José M. (Fénix Editora, 2009)
      Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ...
    • Ponencia
      Icon

      Sistema certificado de decisión proposicional basado en polinomios 

      Alonso Jiménez, José Antonio; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín (Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)
      En [2] introducimos una regla de inferencia para la lógica proposicional (basado en el uso de la derivación de polinomios) ...
    • Ponencia
      Icon

      Skeletonizing Images by Using Spiking Neural P Systems 

      Díaz Pernil, Daniel; Peña Cantillana, Francisco; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2012)
      Skeletonizing an image is representing a shape with a small amount of information by converting the initial image into a ...
    • Ponencia
      Icon

      Smoothing Problem in 2D Images with Tissue-like P Systems and Parallel Implementation 

      Peña Cantillana, Francisco; Díaz Pernil, Daniel; Christinal, Hepzibah A.; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2011)
      Smoothing is often used in Digital Imagery to reduce noise within an image. In this paper we present a Membrane Computing ...
    • Ponencia
      Icon

      SMPSO: A new PSO-based metaheuristic for multi-objective optimization 

      Nebro, Antonio J.; Durillo, Juan J.; García Nieto, José Manuel; Coello Coello, Carlos A.; Luna, Francisco; Alba, Enrique (IEEE Computer Society, 2009)
      In this work, we present a new multi-objective particle swarm optimization algorithm (PSO) characterized by the use of ...