Search
Now showing items 1-10 of 207
Article
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. ...
Article
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: ...
Article
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, ...
Article
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 ...
Article
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems
(Springer, 2019)
Cooperation is doubtless a relevant ingredient on rewriting rules based computing models. This paper provides an overview on both classical and newest results studying how cooperation among objects influences the ability ...
Article
Dynamic consequence and public announcement
(Cambridge University Press, 2013)
Article
Computation of Ramsey Numbers by P Systems with Active Membranes
(World Scientific, 2011)
Ramsey numbers deal with conditions when a combinatorial object necessarily contains some smaller given objects. It is well known that it is very difficult to obtain the values of Ramsey numbers. In this work, a theoretical ...
Article
Bio-inspired optimization for the molecular docking problem: State of the art, recent results and perspectives
(Elsevier, 2019)
Molecular docking is a Bioinformatics method based on predicting the position and orientation of a small molecule or ligand when it is bound to a target macromolecule. This method can be modeled as an optimization problem ...
Article
Simulating a P system based efficient solution to SAT by using GPUs
(Elsevier, 2010)
P systems are inherently parallel and non-deterministic theoretical computing devices defined inside the field of Membrane Computing. Many P system simulators have been presented in this area, but they are inefficient since ...
Article
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm
(Oxford Academic, 2013)
The Eilenberg–Zilber algorithm is one of the central components of the computer algebra system called Kenzo, devoted to computing in Algebraic Topology. In this article we report on a complete formal proof of the underlying ...