Current projects Ongoing projects a researcher is involved in

  1. Systematic manipulation of tau protein aggregation: bridging biochemical and pathological properties

    Jonathan Heras Vicente

  2. Álgebra conmutativa y homológica con una mirada hacia los cálculos y las aplicaciones

    Ana Romero IbáñezEduardo Sáenz de Cabezón Irigaray

  3. Agentes multimodales fiables, trazables y explicables en salud: Fundamentos, modelos y aplicaciones

    César Domínguez PérezBeatriz Pérez Valle

  4. LINCE PLUS: Plataforma de integración, sincronización y análisis de datos multimodales en actividad física y deporte

    Oleguer Camerino FoguetDaniel Lapresa Ajamil

  5. Corpus Oral de Referencia del Español en Contacto. Fase II: Lenguas minoritarias

    Sara Gómez Seibane

  1. Motor para la segmentación semántica, la segmentación de instancias y la detección de anomalias en imágenes como soporte para la transformacion digital de la industria.

    César Domínguez Pérez

  2. Inteligencia Artificial para el procesamiento de imágenes y textos: aplicaciones para el bien social

    Gadea Mata Martínez

  3. Análisis Topológico de Datos e Inteligencia Artificial: aplicaciones a apicultura y educación

    Jose Divasón Mallagaray

Completed projects Projects already finished in which a researcher has participated

2026

  1. Técnicas de algebra conmutativa y homológica para el Análisis topológico de datos y sus aplicaciones

    Ana Romero Ibáñez

  2. Modelos de Aprendizaje automático para el bieN social: GObernanza de datoS, Técnicas y Aplicaciones

    Beatriz Pérez Valle

2025

  1. La atenuación como fenómeno pragmático en el español peninsular norteño

    Sara Gómez SeibanePaula Jiménez Sáenz

  2. Mejorando la accesibilidad en portales web de la administración

    Jonathan Heras VicenteMiren Mirari San Martín Lacunza

  3. Algoritmos eficaces en topología algebraica computacional mediante Teoría discreta de Morse

    Juan Antonio Delgado TejadaJulio Rubio García

  4. Red EACA (Red Temática de Cálculo Simbólico, Álgebra Computacional y Aplicaciones)

    Ana Romero Ibáñez

2024

  1. Mejora de estrategias de aplicación de ozono para control de oidio en vid (INNOZONE).

    María Julia Arbizu Milagro

  2. Métodos homológicos en Algebra computacional: generalizaciones, nuevos enfoques y aplicaciones

    Ana Romero IbáñezEduardo Sáenz de Cabezón Irigaray

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

    César Domínguez PérezMaría Vico Pascual Martínez-Losa

  4. Sucesiones espectrales generalizadas: estudio computacional y nuevos algoritmos.

    Daniel Miguel TreviñoAna Romero Ibáñez

  5. Algoritmos eficaces en topología algebraica computacional mediante Teoría discreta de Morse

    Juan Antonio Delgado TejadaAna Romero Ibáñez

  6. Sistemas de información vinculados a procesos para el bien social: análisis basado en modelos y datos (SocialPAIS)

    Angel Luis Rubio García

2023

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

    Arturo Jaime Elizondo

  2. Sucesiones espectrales generalizadas: estudio computacional y nuevos algoritmos

    Daniel Miguel Treviño

  3. Mejora de algoritmos de aprendizaje profundo para la detección de objetos en fisiología vegetal y análisis de documentos

    Ángela Casado García

2022

  1. Mejora de algoritmos de aprendizaje profundo para la detección de objetosenfisiología vegetal y análisis de documentos

    Ángela Casado García

  2. 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

  3. Integración de métodos y herramientas para el análisis de imágenes biomédicas

    Adrián Inés Armas

  4. Aprendizaje automático y visión por computador para el estudio de la fisiología vegetal

    Ángela Casado García

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-LosaEduardo Sáenz de Cabezón Irigaray

  2. IRIS 4.0: Intelligent Recycling System

    Jesús María Aransay AzofraEmma Juaneda Ayensa

  3. 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

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

    Eloy Javier Mata Sotés

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

    Arturo Jaime Elizondo

  6. 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

  7. Integración de métodos y herramientas para el análisis de imágenes biomédicas

    Adrián Inés Armas

2019

  1. Integración de métodos y herramientas para el análisis de imágenes biomédicas

    Adrián Inés Armas

  2. Provenance-aware methodology in software enigeering.

    Carlos Sáenz Adán

2018

  1. EICOD18/08 ESTANCIA UNIVERSIDAD DE TURIN (ITALIA)

    Ana Romero Ibáñez

  2. 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

  3. Provenance-aware methodology in Software Engineering

    Carlos Sáenz Adán

2017

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

    Arturo Jaime Elizondo

  2. Procesamiento de imágenes biomédicas para el estudio de tratamientos en enfermedades neurodegenerativas.

    Gadea Mata Martínez

  3. Métodos formales y procedencia en el procesamiento de imágenes digitales

    Carlos Sáenz Adán

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

  3. Analisis y propuesta de mejora en la dirección de Proyectos de Fin de Carrera en Ingeniería Informática.

    Juan José Olarte Larrea

  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

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

    Julio Rubio García

  6. Formalización de topología algebraica en lógica de orden superior. Representación y ejecución de algoritmos, estructuras y operaciones.

    Jose Divasón Mallagaray

  7. Procesamiento de imágenes biomédicas para el estudio de tratamientos en enfermedades neurodegenerativas.

    Gadea Mata Martínez

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

2012

  1. Formalization fo Mathematics (ForMath) FP7 STREP projet, number 243847

    Julio Rubio García

2011

  1. Convenio de colaboración conjunto con la Universidad de Cantabria para la realizaciónd el Proeycto I+D titulado "Proyecto Mateslab: Desarrollo de Tutormates".

    Julio Rubio García

  2. Mathematics, Algorithms, proofs

    Julio Rubio García

  3. Mateslab: Desarrollo de la capa intermedia y validación de contenido

    Julio Rubio García

  4. CONVENIO ADDLINK RESEARCH, UR Y U. CANTABRIA (complementa proyecto Mateslab: Desarrollo de la capa intermedia y validación de contenido)

    Julio Rubio García

2009

  1. Aplicaciones Web 2.0 seguras realizadas con plantillas JST

    Francisco José García Izquierdo

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

    Julio Rubio García

2008

  1. Sistemas de Cálculo Simbólico: nuevos desarrollos en Topología Algebraica y fiabilidad

    Julio Rubio García

2007

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

    Julio Rubio García

  2. Mathematics, algorithms, proofs (MAP2006)

    Julio Rubio García

2005

  1. Análisis de requisitos y diseño técncio de la arquitectura sopporte del Centro de Gestión Aeroportuaria del aeropuerto Madrid Barajas

    Francisco José García Izquierdo

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

    Julio Rubio García

  3. Informe-evaluación sobre las actividades de I+D+i de la empresa Arsys Internet, S.L. en relación con las subvenciones solicitadas para el desarrollo de los proyectos de investigación presentadas al Ministerio de Ciencia y Tecnología y a la Agencia Ec

    Francisco José García Izquierdo

2004

  1. OTEM040210B COMERCIO ELECTRONICO B2VB 2000, S.A.

    Francisco José García Izquierdo

  2. OTEM040210 COMERCIO ELECTRONICO B2B 2000 S.A.

    Francisco José García Izquierdo

  3. 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