Psycotrip
Grupo de Informática de la Universidad de La Rioja
Indarrean dauden proiektuak Ikertzaileren baten partaidetza duten proiektuak
-
Mejora de estrategias de aplicación de ozono para control de oidio en vid (INNOZONE).
María Julia Arbizu Milagro
-
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
-
Métodos homológicos en Algebra computacional: generalizaciones, nuevos enfoques y aplicaciones
Ana Romero Ibáñez, Eduardo Sáenz de Cabezón Irigaray
Bukatutako proiektuak Ikertzaileren baten partaidetza izan duten bukatutako proiektuak
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
-
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
-
Ideales monomiales aplicados ala fiabilidad de sistemas
Patricia Pascual Ortigosa
-
Mejora de algoritmos de aprendizaje profundo para la detección de objetosenfisiología vegetal y análisis de documentos
Ángela Casado García
-
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
-
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
-
Aprendizaje automático y visión por computador para el estudio de la fisiología vegetal
Ángela Casado García
-
Ideales monomiales aplicados a la fiabilidad de sistemas
Patricia Pascual Ortigosa
-
Integración de métodos y herramientas para el análisis de imágenes biomédicas
Adrián Inés Armas
-
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
-
Á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
-
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
-
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
-
Integración de métodos y herramientas para el análisis de imágenes biomédicas
Adrián Inés Armas
-
Ideales monomiales aplicados al estudio de fiabilidad de sistemas.
Patricia Pascual Ortigosa
2019
2018
-
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
-
Provenance-aware methodology in Software Engineering
Carlos Sáenz Adán
2017
-
Análisis de la influencia sobre los trabajos fin de grado de asignaturas afines.
Arturo Jaime Elizondo
-
Procesamiento de imágenes biomédicas para el estudio de tratamientos en enfermedades neurodegenerativas.
Gadea Mata Martínez
-
Métodos formales y procedencia en el procesamiento de imágenes digitales
Carlos Sáenz Adán
2016
-
Á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
-
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
-
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
-
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
-
Procesamiento de imágenes biomédicas para el estudio de tratamientos en enfermedades neurodegenerativas.
Gadea Mata Martínez
-
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
-
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
2012
-
Formalization fo Mathematics (ForMath) FP7 STREP projet, number 243847
Julio Rubio García
2011
-
NERTHUSv2: Base de datos léxica en 3D del inglés antiguo
Francisco Javier Martín Arista
-
Control Integrado de ácaros en vid
Francisco Javier Sáenz de Cabezón Iragaray
-
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
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
2008
-
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
2007
-
Programación con componentes fiables para el cálculo simbólico.
Julio Rubio García
-
Teoría de la forma. Espacios exteriores y categorías de Galois.
Luis Javier Hernández Paricio
-
Mathematics, algorithms, proofs (MAP2006)
Julio Rubio García
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
-
ENTORNOS DE ESPECIFICACIÓN Y PROGRAMACIÓN PARA SISTEMAS DE CÁLCULO SIMBÓLICO
Julio Rubio García
-
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
-
OTEM040210B COMERCIO ELECTRONICO B2VB 2000, S.A.
Francisco José García Izquierdo
-
OTEM040210 COMERCIO ELECTRONICO B2B 2000 S.A.
Francisco José García Izquierdo
-
Entornos de especificación y programación para sistemas de cálculo simbólico.
Julio Rubio García