Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Title 

Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Title

Now showing items 336-355 of 442

    • Presentation
      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. ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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, ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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) ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 , ...
    • Presentation
      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)
    • Presentation
      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 ...
    • Presentation
      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) ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      Icon

      Sobre ciertas expresiones de la función rango, independientes de la teoría de ordinales 

      Pérez Jiménez, Mario de Jesús (Universitat Autónoma de Barcelona, 1980)
      In the present work we obtain several representations of the rank func- tion associated to a well founded relation in terms ...
    • Presentation
      Icon

      Social Ontology Documentation for Knowledge Externalization 

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Jiménez Mavillard, Antonio (Springer, 2010)
      Knowledge externalization and organization is a major challenge that companies must face. Also, they have to ask whether ...