Buscar
Mostrando ítems 91-100 de 123
Ponencia
Analysis of P systems simulation on CUDA
(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 purpose computations, and en- able developers to utilize several levels of parallelism to obtain ...
Ponencia
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, under the assumption that some (possibly exponentially large) pre-computed resources are given in ...
Ponencia
Multi-Objective Big Data Optimization with jMetal and Spark
(Springer, 2017)
Big Data Optimization is the term used to refer to optimiza- tion problems which have to manage very large amounts of data. In this paper, we focus on the parallelization of metaheuristics with the Apache Spark cluster ...
Ponencia
A Software Tool for Dealing with Spiking Neural P Systems
(Fénix Editora, 2007)
Software simulators for P system are nowadays the main tool to carry out experiments in the eld of Membrane Computing. Although the simulation of a P system is a quite complex task, current simulators have been successfully ...
Artículo
A Note on Σ₁-Maximal Models
(Association for Symbolic Logic, 2007)
Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: (a) the scheme of parameter free Δ₁-minimization (plus exp), or (b) the scheme of parameter free Π₁-induction, then there ...
Artículo
Efficient computation in rational-valued P systems
(Cambridge University Press, 2009)
In this paper, we describe a new representation for deterministic rational-valued P systems that allows us to form a bridge between membrane computing and linear algebra. On the one hand, we prove that an efficient ...
Ponencia
A Cellular Solution to Subset Sum Using Division of Non-elementary Membranes and Dissolution, with Time and Initial Resources Bounded by log k
(SEERC, South-East European Research Centre, 2007)
The aim of our paper is twofold. On one hand we prove the ability of polar- izationless P systems with dissolution and with division rules for non-elementary mem- branes to solve NP-complete problems in a polynomial ...
Capítulo de Libro
Classifying States of a Finite Markov Chain with Membrane Computing
(Springer, 2006)
In this paper we present a method to classify the states of a finite Markov chain through membrane computing. A specific P system with external output is designed for each boolean matrix associated with a finite Markov ...
Ponencia
A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division
(Fénix Editora, 2007)
Tissue P systems are a computing model in the framework of Membrane Computing where the tree-like membrane structure is replaced by a general graph. Recently, it has been shown that endowing these P systems with cell ...
Ponencia
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution
(Fénix Editora, 2012)
Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates probabilities to rules, but at the same time, the model is based on P systems, so the rules are ...