Un artículo científico firmado por cuatro investigadores de la Universidad de La Rioja ha sido seleccionado entre los más importantes publicados en 2014 en el ámbito de la Informática por la revista Association for the Computer Machinery (ACM).
En concreto, se trata de A certified reduction strategy for homological image processing, firmado por María Poza, César Domínguez, Jonathan Heras y Julio Rubio y publicado en ACM Transactions on Computational Logic.
El artículo es fruto de una investigación desarrollada en el marco del Proyecto Europeo ForMath (Formalisation of Mathematics), dirigido por el Grupo de Informática de la Universidad de La Rioja en colaboración con el grupo de investigación en Biología liderado por el doctor Miguel Morales.
ACM Computing Reviews es una publicación que recoge recensiones sobre artículos de investigación dentro del ámbito de la Informática y que publica anualmente una lista con las mejores contribuciones informáticas. La selección se realiza a partir nominaciones realizadas por expertos académicos y de la industria, y considerando los artículos más descargados de las revistas más importantes en Informática.
En el caso del artículo de los investigadores de la Universidad de La Rioja, la reseña corre a cargo del profesor Amos Olangunju, ex rector de la Universidad Estatal de Delaware, bioinformático y decano de la Facultad de Informática.
En su recensión, Amos Olangunju afirma que «las imágenes biomédicas de la vida real, como las de sinapsis de neuronas, son demasiado grandes y voluminosas para su procesamiento manual. En el artículo [los autores] proponen un esquema especializado de reducción para el procesamiento homológico de imágenes biomédicas».
Además, añade que los investigadores de la Universidad de La Rioja «ofrecen una explicación de cómo usar el lenguaje de programación Haskell para el prototipado rápido de la costosa tarea de verificar programas. Los autores abogan de manera convincente por la necesidad de desarrollar algoritmos y usar asistentes para la demostración para el procesamiento homológico de imágenes biomédicas».
