Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Title
Now showing items 342-361 of 442
-
Presentation
Simulating Large-Scale ENPS Models by Means of GPU
(Fénix Editora, 2012)Enzymatic Numerical P Systems (ENPS), an extension of Numerical P Systems, have been successfully applied to model robot ...
-
Presentation
Simulating Shuffle-Exchange Networks with P Systems
(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
Simulating Spiking Neural P Systems Without Delays Using GPUs
(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
Simulating the Bitonic Sort on a 2D-mesh with P Systems
(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
Simulating Tritrophic Interactions by Means of P Systems
(IEEE, 2010)P systems provide a high level computational modelling framework that combines the structural and dynamical aspects of ...
-
Presentation
Simulating Turing Machines with Polarizationless P Systems with Active Membranes
(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
Simulation of Computing P Systems: A GPU Design for the Factorization Problem
(Friedrich-Schiller-Universität Jena, 2018) -
Presentation
Simulation of Recognizer P Systems by Using Manycore GPUs
(Fénix Editora, 2009)Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ...
-
Presentation
Sistema certificado de decisión proposicional basado en polinomios
(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
Skeletonizing Images by Using Spiking Neural P Systems
(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
Smoothing Problem in 2D Images with Tissue-like P Systems and Parallel Implementation
(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
SMPSO: A new PSO-based metaheuristic for multi-objective optimization
(IEEE Computer Society, 2009)In this work, we present a new multi-objective particle swarm optimization algorithm (PSO) characterized by the use of ...
-
Presentation
Sobre ciertas expresiones de la función rango, independientes de la teoría de ordinales
(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
Social Ontology Documentation for Knowledge Externalization
(Springer, 2010)Knowledge externalization and organization is a major challenge that companies must face. Also, they have to ask whether ...
-
Presentation
Solving 3-COL with Tissue P Systems
(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 ...
-
Presentation
Solving Numerical NP-complete Problems by Spiking Neural P Systems with Pre–computed Resources
(Fénix Editora, 2008)Recently we have considered the possibility of using spiking neural P systems for solving computationally hard problems, ...
-
Presentation
Solving Problems in a Distributed Way in Membrane Computing: dP Systems
(Fénix Editora, 2010)Although P systems are distributed parallel computing devices, no explicit way of handling the input in a distributed way ...
-
Presentation
Solving Problems Through a Single Membrane System
(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 ...
-
Presentation
Solving SAT with Antimatter in Membrane Computing
(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 ...
-
Presentation
Solving SAT with membrane creation
(University of Amsterdam, 2005)Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...