{"id":3326,"date":"2013-05-16T04:26:27","date_gmt":"2013-05-16T04:26:27","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3326"},"modified":"2013-05-16T04:26:52","modified_gmt":"2013-05-16T04:26:52","slug":"resena-a-certified-reduction-strategy-for-homological-image-processing","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-a-certified-reduction-strategy-for-homological-image-processing\/","title":{"rendered":"Rese\u00f1a: A certified reduction strategy for homological image processing"},"content":{"rendered":"<p>Se ha publicado un trabajo de verificaci\u00f3n formal con <a href=\"http:\/\/coq.inria.fr\/\">Coq<\/a> titulado <a href=\"http:\/\/www.unirioja.es\/cu\/cedomin\/crship\/CRSHIP.pdf\">A certified reduction strategy for homological image processing<\/a>.<\/p>\n<p>Sus autores son <a href=\"mailto:maria.poza@alum.unirioja.es\">Mar\u00eda Poza<\/a>, <a href=\"https:\/\/esus.unirioja.es\/psycotrip\/index.php?op=miembro&#038;miembro=0007\">C\u00e9sar Dom\u00ednguez<\/a>, <a href=\"http:\/\/www.computing.dundee.ac.uk\/staff\/jheras\">J\u00f3nathan Heras<\/a> y <a href=\"https:\/\/esus.unirioja.es\/psycotrip\/index.php?op=miembro&#038;miembro=0001\">Julio Rubio<\/a> (de la Universidad de la Rioja).<\/p>\n<p>Su resumen es<\/p>\n<blockquote><p>\nThe analysis of digital images using homological procedures is an outstanding topic in the area of Computational Algebraic Topology. In this paper, we describe a certified reduction strategy to deal with digital images, but preserving their homological properties. We stress both the advantages of our approach (mainly, the formalisation of the mathematics allowing us to verify the correctness of algorithms) and some limitations (related to the performance of the running systems inside proof assistants). The drawbacks are overcome using techniques that provide an integration of computation and deduction. Our driving application is a problem in bioinformatics, where the accuracy and reliability of computations are specially requested.\n<\/p><\/blockquote>\n<p>El c\u00f3digo de las teor\u00eda Coq correspondientes al trabajo se encuentra <a href=\"http:\/\/www.unirioja.es\/cu\/cedomin\/crship\/\">aqu\u00ed<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Se ha publicado un trabajo de verificaci\u00f3n formal con Coq titulado A certified reduction strategy for homological image processing. Sus autores son Mar\u00eda Poza, C\u00e9sar Dom\u00ednguez, J\u00f3nathan Heras y Julio Rubio (de la Universidad de la Rioja). Su resumen es The analysis of digital images using homological procedures is an outstanding topic in the area&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[1],"tags":[45,285],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3326"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=3326"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3326\/revisions"}],"predecessor-version":[{"id":3328,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3326\/revisions\/3328"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3326"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3326"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3326"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}