Completed projects

2021

  1. HOLMS: Técnicas avanzadas de análisis de imágenes para la categorización y extracción de información en documentos

    César Domínguez Pérez

2020

  1. Álgebra computacional: formalización y aplicaciones a la fiabilidad de redes y al prcesamiento de imágenes biomédicas.

    María Vico Pascual Martínez-Losa, Eduardo Sáenz de Cabezón Irigaray

  2. Sistema digital de previsión mejora cultivo champiñón

    Eloy Javier Mata Sotés

2016

  1. Desarrollo de Métodos Automatizados para el Analísis de Imágenes Digitales de patrones de electroforesis bacterianos

    César Domínguez Pérez

  2. Smart Data Project - Modelización y Seguridad de Aplicaciones

    Jesús María Aransay Azofra

2007

  1. Programación con componentes fiables para el cálculo simbólico.

    Julio Rubio García

2005

  1. ENTORNOS DE ESPECIFICACIÓN Y PROGRAMACIÓN PARA SISTEMAS DE CÁLCULO SIMBÓLICO

    Julio Rubio García