Departament
Matemáticas y Computación
Projectes vigents Projectes en què participa algun/a investigador/a
-
Ultrasonidos, pulsos eléctricos de alto voltaje, enzimas y extracciones combinadas para la recuperación de polisacáridos de orujos tintos varietales. Aplicaciones enológicas
Belén Ayestarán Iturbe
-
Acciones para un espacio sostenible: mejora en las técnicas de mantenimiento de un catálogo de basura espacial
Iván Luis Pérez Barrón, Juan Félix San Juan Díaz
-
Funciones especiales, aproximación y aplicaciones.
Oscar Ciaurri Ramírez
-
Mejora de estrategias de aplicación de ozono para control de oidio en vid (INNOZONE).
María Julia Arbizu Milagro
-
Selección de barricas de roble americano de distinto origen
Zenaida Guadalupe Mínguez
-
Métodos homológicos en Algebra computacional: generalizaciones, nuevos enfoques y aplicaciones
Ana Romero Ibáñez, Eduardo Sáenz de Cabezón Irigaray
-
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
Projectes finalitzats Projectes finalitzats en què ha participat algun/a investigador/a
2024
2023
-
Reaprovechamiento de los contenidos realizados por estudiantes para el aprendizaje
Arturo Jaime Elizondo
-
Resoluciones libres de ideales quasi-estables
Rodrigo Iglesias González
-
Uso de inteligencia artificial para la detección de enfermedades en agricultura
Inés Hernández Casado
-
Sucesiones espectrales generalizadas: estudio computacional y nuevos algoritmos
Daniel Miguel Treviño
-
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
-
Diseño, Análisis y Estabilidad de Procesos Iterativos aplicados a las ecuaciones integrales y matriciales y a la comunicación aeroespacial
Miguel Angel Hernández Verón
-
USO DE DATOS DE LA HERRAMIENTA SISO PARA EL DIAGNÓSTICO SOCIAL Y LA GESTIÓN DE PROYECTOS DE INCLUSIÓN SOCIAL
Esther Raya Díez
-
Ideales monomiales aplicados ala fiabilidad de sistemas
Patricia Pascual Ortigosa
-
álgebras de Lie cuadráticas, algoritmos y clasificación
Jorge Roldán López
-
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
-
Mejora de algoritmos de aprendizaje profundo para la detección de objetosenfisiología vegetal y análisis de documentos
Ángela Casado García
2021
-
Sistemas dinámicos Hamiltonianos: métodos y aplicaciones en física atómica y molecular y otros campos de interés.
Víctor Lanchares Barrasa
-
Acompañamiento para la utilización de datos de la herramienta SISO en los procesos de Inclusión Social
Esther Raya Díez
-
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
-
Ortogonalidad y aproximación: teoría y aplicaciones en física matemática
Oscar Ciaurri Ramírez
-
Ideales monomiales aplicados a la fiabilidad de sistemas
Patricia Pascual Ortigosa
-
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
-
Integración de métodos y herramientas para el análisis de imágenes biomédicas
Adrián Inés Armas
-
Aprendizaje automático y visión por computador para el estudio de la fisiología vegetal
Ángela Casado García
2020
-
Á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
-
Verificación de la Escala SiSo como herramienta de diagnóstico de situaciones de vulnerabilidad y/o exclusión social
Esther Raya Díez
-
Obtención de nuevos productos ricos en polisacáridos y oligosacáridos procedentes de la uva: herramientas para mejorar la calidad de los vinos
Zenaida Guadalupe Mínguez
-
Propagación híbrida y determinación orbital semianalítica: Space Situational Awareness
Juan Félix San Juan Díaz
-
IRIS 4.0: Intelligent Recycling System
Jesús María Aransay Azofra, Emma Juaneda Ayensa
-
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
-
Sistema digital de previsión mejora cultivo champiñón
Eloy Javier Mata Sotés
-
ORTHONET
Oscar Ciaurri Ramírez
-
Mejora de la calidad de los proyectos fin de grado y de su tutorización
Arturo Jaime Elizondo
- Efective computation of invariants of finite topological spaces
-
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
-
Ideales monomiales aplicados al estudio de fiabilidad de sistemas.
Patricia Pascual Ortigosa
-
Álgebras de Lie cuadráticas. Algoritmos y Clasificación
Jorge Roldán López
-
Integración de métodos y herramientas para el análisis de imágenes biomédicas
Adrián Inés Armas
2019
-
Consolidación de la Escala SiSo con herramienta de diagnóstico de situaciones de vulnerabilidad y/o exclusión social
Esther Raya Díez
-
Ortogonalidad, teoría de la aproximación y aplicaciones en física matemática.
Oscar Ciaurri Ramírez
-
Provenance-aware methodology in software enigeering.
Carlos Sáenz Adán
-
Álgebras de Lie cuadráticas
Jorge Roldán López
-
Multiplicadores para la trasnsformada de Hankel en espacios de Morrey.
Edgar Labarga Varona
-
Desigualdades de Lieb-Thirring en la esfera.
Alberto Arenas Gómez
- Effective computation of invariants of finite topological spaces
-
Integración de métodos y herramientas para el análisis de imágenes biomédicas
Adrián Inés Armas
-
ARIADNA Hybrid Propagation
Iván Luis Pérez Barrón, Juan Félix San Juan Díaz
2018
-
Ecuaciones no lineales y métodos iterativos. Aplicaciones a problemas de optimización y ecuaciones matriciales. Nonlinear equations and iterative methods. Applications to optimization problems and matrix equations.
Miguel Angel Hernández Verón
-
EICOD18/08 ESTANCIA UNIVERSIDAD DE TURIN (ITALIA)
Ana Romero Ibáñez
-
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
-
Initial Orbit Determination Based On Propation of Admissible Regions with Differential Algrebra
Roberto Armellin, Juan Félix San Juan Díaz
-
Multiaplicadores para la transformada de Hankel en espacios de Morrey.
Edgar Labarga Varona
-
Provenance-aware methodology in Software Engineering
Carlos Sáenz Adán
-
Desigualdades de Lieb-Thirring en la esfera
Alberto Arenas Gómez
-
Sistemas dinámicos hamiltonianos: métodos y aplicaciones en física atómica y molecular y otros campos de interes. Hamiltonian dynamical systems: methods and applications in atomic and molecular physics and other fields of interest.
Víctor Lanchares Barrasa
2017
-
CONGRESO KePASSA (Internacional)
Juan Félix San Juan Díaz
-
Procesamiento de imágenes biomédicas para el estudio de tratamientos en enfermedades neurodegenerativas.
Gadea Mata Martínez
-
Análisis de la influencia sobre los trabajos fin de grado de asignaturas afines.
Arturo Jaime Elizondo
-
Flujos exteriores
Luis Javier Hernández Paricio
-
Métodos formales y procedencia en el procesamiento de imágenes digitales
Carlos Sáenz Adán
-
HOPT Marie Curie (Roberto Armellin)
Roberto Armellin, Juan Félix San Juan Díaz
2016
-
Elaboración de vinos espumosos de calidad a partir de variedades tintas. Estudio de diferentes técnicas vitivinícolas.
Belén Ayestarán Iturbe
-
Á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
-
Métodos híbridos de propagación de órbitas basados en modelos de series temporales e inteligencia computacional aplicado a Space Situational Awareness. Hybrid methods for orbit propagation based on statistical time series models and computational intelli
Juan Félix San Juan Díaz
-
Álgebra y superálgebras de Lie. Teoría de Lie no asociativa
José María Pérez Izquierdo
-
"SEMI-ANALYTICAL PROPAGATOR OF HEO" R&T ref R-S15/BS-0005-024
Juan Félix San Juan Díaz
-
Ortogonalidad y aproximación: teoría y aplicaciones en ciencia y tecnología
Oscar Ciaurri Ramírez
-
Desarrollo de Métodos Automatizados para el Analísis de Imágenes Digitales de patrones de electroforesis bacterianos
César Domínguez Pérez
-
Smart Data Project - Modelización y Seguridad de Aplicaciones
Jesús María Aransay Azofra
-
Procesamiento de imágenes biomédicas para el estudio de tratamientos en enfermedades neurodegenerativas.
Gadea Mata Martínez
-
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
-
Análisis de los problemas en tutorización de trabajos de fin de grado y asignaturas relacionadas: soluciones telecolaborativas y TIC.
Arturo Jaime Elizondo
-
Formalización de las matemáticas: aplicaciones en cálculo simbólico y álgebra computacional.
Julio Rubio García
-
Analisis y propuesta de mejora en la dirección de Proyectos de Fin de Carrera en Ingeniería Informática.
Juan José Olarte Larrea
-
Desarrollo de métodos híbridos de propagación de órbitas basadas en Teorías Analíticas e Inteligencia Computacional.
Iván Luis Pérez Barrón
-
Métodos híbridos de propagación de órbitas basados en modelos de series temporales e inteligencia computacional aplicado a Space Situational Awareness.
Juan Félix San Juan Díaz
2015
-
RLD del proyecto ADER 2007-I-ID-00038 KNET
Juan Luis Varona Malumbres
-
Formas normales en sistemas dinámicos hamiltonianos: aplicaciones en Física y Química
Manuel Iñarrea Las Heras
-
Procesos iteratios para resolver ecuaciones no lineales: construcción, convergencia, eficacia, análisis dinámico y aplicaciones
Miguel Angel Hernández Verón
2014
-
Álgebras, triples y lazos relacionados con Geometría y Supermetría
José María Pérez Izquierdo
2013
-
HEO Mission
Juan Félix San Juan Díaz
-
Gestión Mecanizada del Conocimiento Matemático. Aplicaciones en Topología Algebraica y en Lógica.
Julio Rubio García
-
Desarrollo de nuevas familias de programas de determinación de órbitas (ODP) híbridos basados en modelos analíticos
Juan Félix San Juan Díaz
-
Formalization of Mathematics (FORMATH)
Julio Rubio García
-
Ortogonalidad, Teoría de la Aproximación y sus aplicaciones en Ciencia y Tecnología
Oscar Ciaurri Ramírez
2012
-
ADER 2007-I-ID-00038 KNET J.L. Varona
Juan Luis Varona Malumbres
-
Potencial de variedades de unva de Castilla y León y obtención de vinos espumosos de calidad y saludables.
Zenaida Guadalupe Mínguez
-
Formalization fo Mathematics (ForMath) FP7 STREP projet, number 243847
Julio Rubio García
-
Ortogonalidad, teoría de la aproximación y sus aplicaciones en ciencia y tecnología.
Oscar Ciaurri Ramírez
2011
-
FORMAS NORMALES EN SISTEMAS DINÁMICOS HAMILTONIANOS: ASPECTOS TEÓRICOS Y APLICACIONES.
José Pablo Salas Ilarraza
-
NERTHUSv2: Base de datos léxica en 3D del inglés antiguo
Francisco Javier Martín Arista
-
Regiones de accesibilidad y optimización de procesos iterativos para resolver ecuaciones no lineales. Aplicaciones
Miguel Angel Hernández Verón
-
Control Integrado de ácaros en vid
Francisco Javier Sáenz de Cabezón Iragaray
-
Regiones de accesibilidad y optimización de procesos iterativos para resolver ecuaciones no lineales aplicaciones. MTM 2008-d1952/MTM
Miguel Angel Hernández Verón
-
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
-
Mathematics, Algorithms, proofs
Julio Rubio García
-
Mateslab: Desarrollo de la capa intermedia y validación de contenido
Julio Rubio García
-
CONVENIO ADDLINK RESEARCH, UR Y U. CANTABRIA (complementa proyecto Mateslab: Desarrollo de la capa intermedia y validación de contenido)
Julio Rubio García
-
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
2010
-
Álgebras, triples y lazos relacionados con Geometría y Supersimetría
María del Pilar Benito Clavijo
-
Regiones de accesibilidad y optimización de procesos iterativos para resolver ecuaciones no lineales aplicaciones. MTM 2008-d1952/MTM
Miguel Angel Hernández Verón
2009
-
Aplicaciones Web 2.0 seguras realizadas con plantillas JST
Francisco José García Izquierdo
-
Sistemas de cálculo simbólico: nuevos desarrollos en topología algebráica y fiabilidad
Julio Rubio García
-
Ortogonalidad y aproximación: teoría y aplciaciones físicas y clínicas
Juan Luis Varona Malumbres
2008
-
Diferentes tipos de condiciones iniciales para la convergencia semilocal en la aproximación de ceros de operadores no lineales. Aplicaciones.
Miguel Angel Hernández Verón
-
Efecto de técnicas de autolisis acelerada en la estabilidad coloidal del vino tinto conservado en barrica o en depósito inerte
Belén Ayestarán Iturbe
-
Topología y Aplicaciones
Luis Javier Hernández Paricio
-
Sistemas de Cálculo Simbólico: nuevos desarrollos en Topología Algebraica y fiabilidad
Julio Rubio García
-
Diferentes tipos de condiciones iniciales para la convergencia semilocal en la aproximación de ceros de operadores no lineales. Aplicaciones
Miguel Angel Hernández Verón
-
Ortogonalidad y aproximación: teoría y aplicaciones físicas y clínicas
Juan Luis Varona Malumbres
2007
-
Teoría de la forma. Espacios exteriores y categorías de Galois.
Luis Javier Hernández Paricio
-
Programación con componentes fiables para el cálculo simbólico.
Julio Rubio García
-
Mathematics, algorithms, proofs (MAP2006)
Julio Rubio García
-
ACCIONES COMPLEMENTARIAS 2006. Organización de Congresos, seminarios y jornadas... SEGUIMIENTO DE PROYECTOS MTM2004
Juan Luis Varona Malumbres
-
Álgebras no asociativas en el contexto de la Física de partículas y la Geometría.
María del Pilar Benito Clavijo
2006
-
Ortogonalidad, teoría de aproximación y aplicaciones.
Juan Luis Varona Malumbres
2005
-
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
-
Construcción de procesos iterativos con bajo coste operacional adaptada a su velocidad de convergencia.
Miguel Angel Hernández Verón
-
ENTORNOS DE ESPECIFICACIÓN Y PROGRAMACIÓN PARA SISTEMAS DE CÁLCULO SIMBÓLICO
Julio Rubio García
-
FORMAS NORMALES EN SISTEMAS DINAMICOS HAMILTONIANOS: NUEVOS ASPECTOS TIORICOS Y APLICACIONES EN FISICA E INGENIERIA
Víctor Lanchares Barrasa
-
CONSTRUCCIÓN DE PROCESOS ITERATIVOS CON BAJO COSTE OPERACIONAL ADAPTADA A SU VELOCIDAD DE CONVERGENCIA
Miguel Angel Hernández Verón
-
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
-
OTEM040210 COMERCIO ELECTRONICO B2B 2000 S.A.
Francisco José García Izquierdo
-
OTEM040210B COMERCIO ELECTRONICO B2VB 2000, S.A.
Francisco José García Izquierdo
-
Estructura de grupos y Álgebras. Aplicaciones a Geometría, codificación y criptografía
José María Pérez Izquierdo
-
Entornos de especificación y programación para sistemas de cálculo simbólico.
Julio Rubio García
-
Fromas normales en sistema dinámicos hamiltonianos:nuevos aspectos teóricos y aplicaciones en Física e Ingeniería.
Víctor Lanchares Barrasa
-
Pautas metodológicas necesarias para la implantación de un sistema estadístico de control de calidad en el suministro de contraetiquetas y precintas por el Consejo Regulador de La Denominación de Origen Calificada Rioja.
Juan Carlos Fillat Ballesteros
2003
-
ORTOGONALIDAD Y TEORIA DE APROXIMACION. TEORIA GENERAL Y APLICACIONES
Juan Luis Varona Malumbres
-
ORTOGONALIDAD Y TEORIA DE LA APROXIMACION. TEORIA GENERAL Y APLICACIONES.
Juan Luis Varona Malumbres
-
CATEGORÍAS HOMOTÓPICAS
Luis Javier Hernández Paricio
-
CATEGORIAS HOMOTOPICAS
Luis Javier Hernández Paricio
-
ESTRUCTURAS DE GRUPOS Y ALGEBRAS. APLICACIONES A GEOMETRIA, CODIFICACION Y CRIPTOGRAFIA.
José María Pérez Izquierdo
-
Curso de Introducción a la Estadística y al SPSS.
Juan Carlos Fillat Ballesteros
2002
-
Colaboración científica en la explotación de la encuessta domiciliaria sobre consumo de drogas en La Rioja y la elaboración de un informe de resultados sobre las misma.
Juan Carlos Fillat Ballesteros
-
CÁLCULO SIMBÓLICO EN TOPOLOGÍA ALGEBRÁICA Y ALGEBRA HOMOLÓGICA: FUNDAMENTOS INFORMÁTICOS
Julio Rubio García
-
UNA ALTERNATIVA A LAS SUCESIONES MAYORIZANTES EN EL ESTUDIO DE PROCESOS ITERATIVOS EN ESPACIOS DE BANACH
Miguel Angel Hernández Verón
2001
-
Una alternativa a las sucesiones mayorizantes en el estuudio de procesos iterativos en espacios de Banach.
Miguel Angel Hernández Verón
-
El problema restringido de Burnside. Desarrollo estructural de modelos algebraicos no asociativos:aplicaciones.
María del Pilar Benito Clavijo
-
EL PROBLEMA RESTRINGIDO DE BURNSIDE. DESARROLLO ESTRUCTURAL DE MODELOS ALGEBRAICOS NO ASOCIATIVOS: APLICACIONES
María del Pilar Benito Clavijo
2000
-
OTEM001017 HURBIL KULTURGAIAK
José Ignacio Extremiana Aldana
-
APLICACIONES DEL PROBLEMA RESTRINGIDO DE BURSIDE Y DESARROLLO ESTRUCTURAL DE MODELOS ALGEBRAICOS NO ASOCIATIVOS
Jesús Antonio Laliena Clemente
-
OTCA000927 GOBIERNO DE LA RIOJA
Juan Carlos Fillat Ballesteros
-
MODELOS HOMOTOPICOS
Luis Javier Hernández Paricio
-
TEORÍA DE OPERADORES Y OPERADORES ORTOGONALES, APLICACIONES.
José Javier Guadalupe Hernández
1997
-
Polinomios ortogonales, series de Fourier. Espacios de Sobolev y operadores. Aplicaciones
José Javier Guadalupe Hernández