César
Domínguez Pérez
PROFESOR TITULAR DE UNIVERSIDAD
Completed projects
2021
2020
-
Álgebra computacional: formalización y aplicaciones a la fiabilidad de redes y al prcesamiento de imágenes biomédicas.
Eduardo Sáenz de Cabezón Irigaray, María Vico Pascual Martínez-Losa
-
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
-
Mejora de la calidad de los proyectos fin de grado y de su tutorización
Arturo Jaime Elizondo
-
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
2017
-
Análisis de la influencia sobre los trabajos fin de grado de asignaturas afines.
Arturo Jaime Elizondo
2016
-
Desarrollo de Métodos Automatizados para el Analísis de Imágenes Digitales de patrones de electroforesis bacterianos
César Domínguez Pérez
-
Análisis de los problemas en tutorización de trabajos de fin de grado y asignaturas relacionadas: soluciones telecolaborativas y TIC.
Arturo Jaime Elizondo
-
Analisis y propuesta de mejora en la dirección de Proyectos de Fin de Carrera en Ingeniería Informática.
Juan José Olarte Larrea
-
Formalización de las matemáticas: aplicaciones en cálculo simbólico y álgebra computacional.
Julio Rubio García
2013
-
Gestión Mecanizada del Conocimiento Matemático. Aplicaciones en Topología Algebraica y en Lógica.
Julio Rubio García
-
Formalization of Mathematics (FORMATH)
Julio Rubio García
2009
2007
-
Programación con componentes fiables para el cálculo simbólico.
Julio Rubio García
2005
-
ENTORNOS DE ESPECIFICACIÓN Y PROGRAMACIÓN PARA SISTEMAS DE CÁLCULO SIMBÓLICO
Julio Rubio García