Buscar
Mostrando ítems 1-10 de 884
Artículo
Proyecto europeo Siridus
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001)
Artículo
Fully automatized parallel segmentation of the optic disc in retinal fundus images
(Elsevier, 2016-11)
This paper presents a fully automatic parallel software for the localization of the optic disc (OD) in retinal fundus color images. A new method has been implemented with the Graphics Processing Units (GPU) technology. ...
Tesis Doctoral
Especificación y verificación de programas moleculares en PVS
(2003-09-29)
La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de investigación conocido como Computación Natural. Tiene como objetivo el desarrollo de modelos de computación ...
Libro
Artículo
Solving molecular flexible docking problems with metaheuristics: A comparative study
(Elsevier, 2015)
The main objective of the molecular docking problem is to find a conformation between a small molecule (ligand) and a receptor molecule with minimum binding energy. The quality of the docking score depends on two factors: ...
Ponencia
Descriptional Complexity of Tissue-Like P Systems with Cell Division
(Springer, 2009)
In this paper we address the problem of describing the complexity of the evolution of a tissue-like P system with cell division. In the computations of such systems the number of (parallel) steps is not sufficient to ...
Artículo
BIGOWL: Knowledge centered Big Data analytics
(Elsevier, 2019)
Knowledge extraction and incorporation is currently considered to be beneficial for efficient Big Data an- alytics. Knowledge can take part in workflow design, constraint definition, parameter selection and con- figuration, ...
Ponencia
Population Dynamics P Systems on CUDA
(Springer, 2012)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been successfully used by ecologists. These models are validated using software tools against actual ...
Ponencia
VisualTissue: A Friendly Tool to Study Tissue P Systems Solutions for Graph Problems
(Fénix Editora, 2007)
P systems can be classi ed in two main groups: P systems with the membrane structure described by a tree, and tissue P systems with the membranes placed in the nodes of an arbitrary graph. NP-complete problems have been ...
Artículo
A geometric protocol for cryptography with cards
(Springer, 2015)
In the generalized Russian cards problem, the three players Alice, Bob and Cath draw a, b and c cards, respectively, from a deck of a + b + c cards. Players only know their own cards and what the deck of cards is. Alice ...