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 345-364 de 442

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

      Solving 3-COL with Tissue P Systems 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006)
      In the literature, several examples of the efficiency of cell-like P systems in order to solve NP-complete problems in ...
    • Ponencia
      Icon

      Solving Numerical NP-complete Problems by Spiking Neural P Systems with Pre–computed Resources 

      Gutiérrez Naranjo, Miguel Ángel; Leporati, Alberto (Fénix Editora, 2008)
      Recently we have considered the possibility of using spiking neural P systems for solving computationally hard problems, ...
    • Ponencia
      Icon

      Solving Problems in a Distributed Way in Membrane Computing: dP Systems 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010)
      Although P systems are distributed parallel computing devices, no explicit way of handling the input in a distributed way ...
    • Ponencia
      Icon

      Solving Problems Through a Single Membrane System 

      Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)
      The tape of a deterministic Turing machine contains an unbounded number of cells. Thanks to that, a single machine can ...
    • Ponencia
      Icon

      Solving SAT with Antimatter in Membrane Computing 

      Díaz Pernil, Daniel; Alhazov, Artiom; Freund, Rudolf; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2015)
      The set of NP-complete problems is split into weakly and strongly NP- complete ones. The di erence consists in the in uence ...
    • Ponencia
      Icon

      Solving SAT with membrane creation 

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

      Solving Subset Sum in Linear Time by Using 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 (Springer, 2007)
      Tissue P systems with cell division is a computing model in the framework of Membrane Computing based on intercellular ...
    • Ponencia
      Icon

      Solving Sudoku with Membrane Computing 

      Díaz Pernil, Daniel; Fernández Márquez, Carlos M.; García Quismondo, Manuel; Gutiérrez Naranjo, Miguel Ángel; Martínez del Amor, Miguel Ángel (IEEE Computer Society, 2010)
      Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple ...
    • Ponencia
      Icon

      Solving the 3-COL Problem by Using Tissue P Systems without Environment and Proteins on Cells 

      Díaz Pernil, Daniel; Christinal, Hepzibah A.; Gutiérrez Naranjo, Miguel Ángel (Fénix, 2016)
      The 3-COL problem consists on deciding if the regions of a map can be coloured with only three colors bearing in mind ...