Proyectos vigentes Proyectos en los que participa algún/a investigador/a

  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áñez, Eduardo 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érez, María Vico Pascual Martínez-Losa

Proyectos finalizados Proyectos finalizados en los que ha participado algún/a investigador/a

2024

  1. 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. Resoluciones libres de ideales quasi-estables

    Rodrigo Iglesias González

  3. Sucesiones espectrales generalizadas: estudio computacional y nuevos algoritmos

    Daniel Miguel Treviño

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

  3. Ideales monomiales aplicados ala fiabilidad de sistemas

    Patricia Pascual Ortigosa

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. Aprendizaje automático y visión por computador para el estudio de la fisiología vegetal

    Ángela Casado García

  3. Ideales monomiales aplicados a la fiabilidad de sistemas

    Patricia Pascual Ortigosa

  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

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

    Adrián Inés Armas

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. IRIS 4.0: Intelligent Recycling System

    Jesús María Aransay Azofra, Emma 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. Efective computation of invariants of finite topological spaces
  7. 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

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

    Adrián Inés Armas

  9. Ideales monomiales aplicados al estudio de fiabilidad de sistemas.

    Patricia Pascual Ortigosa

2019

  1. Effective computation of invariants of finite topological spaces
  2. Integración de métodos y herramientas para el análisis de imágenes biomédicas

    Adrián Inés Armas

  3. 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. Álgebra homológica algorítmica con aplicaciones a la fiabilidad de redes y al procesamiento de imágenes biomédicas.

    Eduardo Sáenz de Cabezón Irigaray

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

    César Domínguez Pérez

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

    Jesús María Aransay Azofra

  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

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

    Juan José Olarte Larrea

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. NERTHUSv2: Base de datos léxica en 3D del inglés antiguo

    Francisco Javier Martín Arista

  2. Control Integrado de ácaros en vid

    Francisco Javier Sáenz de Cabezón Iragaray

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

  4. Mathematics, Algorithms, proofs

    Julio Rubio García

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

    Julio Rubio García

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

    Julio Rubio García

  7. Aportaciones al manejo integrado de tetransychus urticae (Acari: Tetranychidae) en el cultivo de la fresa en el valle de Loukkos: Evaluación de acaricidas de nueva generación y compatibilización de la lucha química con el uso de ácaros fitoseidos (Acari:

    Vicente Santiago Marco Mancebón

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. Topología y Aplicaciones

    Luis Javier Hernández Paricio

  2. 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. Teoría de la forma. Espacios exteriores y categorías de Galois.

    Luis Javier Hernández Paricio

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