Repositorio de producción científica de la Universidad de Sevilla

On automation and certification of a homological method to process biomedical digital images


Advanced Search
Opened Access On automation and certification of a homological method to process biomedical digital images
Estadísticas
Icon
Exportar a
Autor: Heras, Jonathan
María Poza, Gadea Mata
Rubio, Julio
Date: 2011
Publicado en: Image-A : Applicable Mathematics in Image Engineering, 2 (4), 29-31
Tipo de documento: Artículo
Abstract: In this paper a methodology to extract and compute homological information from biomedical images is proposed; automating some processes, up to now, manually done. The main features of our approach are the usage of several programming languages (Java, Common Lisp and Haskell) and the application of formal methods (namely theorem provers) to verify the correctness of some of the automated process. As case study to test the suitability of our approach, we have applied it to measure the number of synapses of a neuron.
Tamaño: 465.5Kb
Formato: PDF

URI: http://hdl.handle.net/11441/26222

Ver versión del editor

Show full item record


Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 4.0 España

This item appears in the following Collection(s)