Proxectos finalizados

2024

  1. Aspectos matemáticos del procesamiento de imágenes Biomédicas, métodos topológicos y de ciencia de datos

    César Domínguez Pérez, María Vico Pascual Martínez-Losa

2023

  1. Reaprovechamiento de los contenidos realizados por estudiantes para el aprendizaje

    Arturo Jaime Elizondo

2022

  1. CLODE motor para la clasificación localización y detección de objetos en imágenes y videos para la industria 4.0

    Manuel García Domínguez

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

  2. CLODE: motor para la clasificación localización y detección de objetos en imágenes y vídeos para la industria 4.0

    Manuel García Domínguez

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. CLODE: Motor para la clasificacion, localización y detección de objetos en imágenes y vídeos para la industria 4.0

    César Domínguez Pérez

  3. Mejora de la calidad de los proyectos fin de grado y de su tutorización

    Arturo Jaime Elizondo

  4. CLODE. motor para la clasificación, localización y detección de objetos en imágenes y vídeos para la industria 4.0

    Manuel García Domínguez

2018

  1. Formalización de las matemáticas: aplicaciones en cálculo simbólico y álgebra computacional. Formalization of mathematics. applications to symbolic computation and computer algebra.

    Julio Rubio García

2017

  1. Análisis de la influencia sobre los trabajos fin de grado de asignaturas afines.

    Arturo Jaime Elizondo

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. Analisis y propuesta de mejora en la dirección de Proyectos de Fin de Carrera en Ingeniería Informática.

    Juan José Olarte Larrea

  3. Formalización de las matemáticas: aplicaciones en cálculo simbólico y álgebra computacional.

    Julio Rubio García

  4. Análisis de los problemas en tutorización de trabajos de fin de grado y asignaturas relacionadas: soluciones telecolaborativas y TIC.

    Arturo Jaime Elizondo

2013

  1. Gestión Mecanizada del Conocimiento Matemático. Aplicaciones en Topología Algebraica y en Lógica.

    Julio Rubio García

  2. Formalization of Mathematics (FORMATH)

    Julio Rubio García

2009

  1. Sistemas de cálculo simbólico: nuevos desarrollos en topología algebráica y fiabilidad

    Julio Rubio García

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

2002

  1. CÁLCULO SIMBÓLICO EN TOPOLOGÍA ALGEBRÁICA Y ALGEBRA HOMOLÓGICA: FUNDAMENTOS INFORMÁTICOS

    Julio Rubio García