Article
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 |
| Files | Size | Format | View | Description |
|---|---|---|---|---|
| art_6 (2).pdf | 465.5Kb | 
[PDF]
| View/ | |
This item appears in the following collection(s)
Except where otherwise noted, this item's license is described as: Atribución-NoComercial-SinDerivadas 4.0 España