Mostrar el registro sencillo del ítem
Artículo
On automation and certification of a homological method to process biomedical digital images
| dc.creator | Heras, Jónathan | es |
| dc.creator | Mata, Gadea | es |
| dc.creator | Poza, María | es |
| dc.creator | Rubio, Julio | es |
| dc.date.accessioned | 2015-06-29T11:50:40Z | |
| dc.date.available | 2015-06-29T11:50:40Z | |
| dc.date.issued | 2011 | es |
| dc.identifier.citation | Heras, J., Mata, G., Poza, M. y Rubio, J. (2011). On automation and certification of a homological method to process biomedical digital images. Image-A: Applicable Mathematics in Image Engineering, 2 (4), 29-31. | |
| dc.identifier.issn | 1885-4508 | es |
| dc.identifier.uri | http://hdl.handle.net/11441/26222 | |
| dc.description.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. | es |
| dc.format | application/pdf | es |
| dc.language.iso | eng | es |
| dc.publisher | Universidad de Sevilla | es |
| dc.relation.ispartof | Image-A: Applicable Mathematics in Image Engineering, 2 (4), 29-31. | |
| dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | es |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | es |
| dc.title | On automation and certification of a homological method to process biomedical digital images | es |
| dc.type | info:eu-repo/semantics/article | es |
| dc.type.version | info:eu-repo/semantics/publishedVersion | es |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
| dc.relation.publisherversion | http://institucional.us.es/revistas/imagen_a/4/art_6.pdf | es |
| dc.journaltitle | Image-A: Applicable Mathematics in Image Engineering | es |
| dc.publication.volumen | 2 | es |
| dc.publication.issue | 4 | es |
| dc.publication.initialPage | 29 | es |
| dc.publication.endPage | 31 | es |
| dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/26222 |
| Ficheros | Tamaño | Formato | Ver | Descripción |
|---|---|---|---|---|
| art_6 (2).pdf | 465.5Kb | 
[PDF]
| Ver/ | |
Este registro aparece en las siguientes colecciones
Excepto si se señala otra cosa, la licencia del ítem se describe como: Atribución-NoComercial-SinDerivadas 4.0 España