Programa
Lunes, 15 abril de 2024
9.00 a 9.30 horas
El programa 782D de la Universidad de La Rioja
María del Pilar Benito Clavijo
Universidad de La Rioja
Descripción:
Tras finalizar un grado universitario hay múltiples opciones, más de las que parecen. Desde iniciar un nuevo grado hasta hacer un viaje en un combinado de trabajo y/o cultural, entrar en el mercado laboral o seguir formándose. Antes de tomar una decisión sobre el futuro que se abre es importante tener claro los objetivos profesionales.
Una de las opciones de formación es realizar un máster oficial o propio. De entre ellos, los que dan acceso a un programa de doctorado son una elección interesante para jóvenes graduados con intereses profesionales en el mundo de la investigación, bien de tipo académico o de empresa. El Programa de Doctorado de Matemáticas y Computación (782D) de la UR abre esta posibilidad a aquellos estudiantes que quieran realizar su tesis doctoral en los ámbitos de las Matemáticas, de la Informática o de la Computación. Esta charla sirve de presentación al programa 782D para estudiantes que apuestan por la formación predoctoral.
9.30 a 9.55 horas
PrevenIA: Un agente conversacional para la información sobre el suicidio
Pablo Ascorbe Fernández
Universidad de La Rioja
Descripción:
La charla está orientada a describir cómo funcionan los modelos de lenguaje grandes (Large Language Model - LLM en inglés) y cómo aplicarlos para construir un robot de cibercharla en un contexto concreto, en nuestro caso, información sobre el suicidio. Estos sistemas de pregunta-respuesta mejorados con la extracción de información a partir de documentos conocidos como RAG serán una pieza clave de la charla, así como los bancos de datos necesarios y la manera de evaluarlos.
9.55 a 10.20 horas
Filtros bayesianos en Grupos de Lie
Irene Sanz Serrano
Universidad de La Rioja
Descripción:
En esta presentación se tratarán algunos resultados interesantes a cerca de los grupos de Lie. En algunos problemas de ingeniería, la dinámica de los sistemas evoluciona en grupos de Lie. Como las mediciones de estos no son exactas, se aplican una serie de filtros para poder predecirlos de la mejor forma. En la presentación se abordará principalmente la forma de aplicar filtros en grupos de Lie.
10.20 a 10.45 horas
Homología efectiva de grupos
Juan Antonio Delgado Tejada
Universidad de La Rioja
Descripción:
La homología de un grupo G se define como la homología del único espacio aesférico, salvo homotopía, que tiene a G por grupo fundamental. En esta charla presentaremos qué papel juega la homología efectiva, un conjunto de técnicas para el cálculo explícito de la homología de espacios topológicos complicados, en el cálculo de la homología de grupos.
10.45 a 11.20 horas
Pausa y café
11.20 a 11.45 horas
Retos de Renderizado en Gemelos Digitales
Alberto Esteban Larreina
Universidad de La Rioja
Descripción:
En una planta de manufactura un gemelo digital permite la simulación de procesos complejos que ayudan en la toma de decisiones. Habiendo superado una primera fase de implementación, presentamos los retos solventados durante el desarrollo de un gemelo digital para un brazo robótico. Nuestra simulación incluye tanto el movimiento de los brazos articulados como el de los cables que conectan diferentes partes mecánicas del robot. El comportamiento de dichos cables es modelizado mediante curvas de interpolación que imitan sus propiedades flexibles cuando se mueve el brazo robótico. Además, exponemos brevemente la arquitectura utilizada para renderizar objetos tridimensionales, centrándonos especialmente en el pipeline que rasteriza el conjunto de vértices que forman la malla del cable.
11.45 a 12.10 horas
La geometría de las raíces: Un problema de clasificación topológica
Víctor Álvarez Aparicio
Universidad de La Rioja
Descripción:
Encontrar raíces de polinomios es un problema que ha preocupado a muchos matemáticos desde hace siglos. Las clásicas fórmulas de Cardano-Ferrari permiten encontrar analíticamente todas las raíces de polinomios de grado bajo, y en la actualidad disponemos de métodos numéricos potentísimos capaces de aproximar las raíces de polinomios de grado millones de veces mayor.
En esta charla, veremos cómo la Topología Algebraica puede ayudarnos no sólo a encontrar raíces, sino a entender la bella geometría que describen. Los prerrequisitos para la charla se mantendrán al mínimo.
12.10 a 12.35 horas
Cronología en Álgebras de Lie Cuadráticas
Jorge Roldán López
Universidad de La Rioja
Descripción:
En esta presentación nos sumergiremos en el mundo de las álgebras de Lie cuadráticas, trazando una línea de tiempo que destaque los hitos más significativos de su historia. A lo largo de la misma, exploraremos no solo la definición inicial de esta clase de álgebras, sino también cómo han ido apareciendo construcciones a lo largo del tiempo que nos han acercado a conocer más de su estructura y clasificación.
Para terminar, se comentarán los resultados y publicaciones derivados de la tesis del ponente, defendida en la Universidad de La Rioja en junio de 2023, y su contribución en el campo de las Álgebras de Lie cuadráticas.
12.35 a 13.00 horas
Mejorando la accesibilidad en portales web de la administración
Miren Mirari San Martín Lacunza
Universidad de La Rioja
Descripción:
La accesibilidad de las páginas web de las instituciones públicas es de gran importancia para garantizar la igualdad de acceso a la información y los servicios a todas las personas, incluidas aquellas con discapacidad. En este proyecto pretendemos mejorar la accesibilidad de la página web de las administraciones públicas.
En concreto, nos centramos en tres aspectos diferentes que implican la aplicación de distintas técnicas de procesamiento del lenguaje natural. En primer lugar, subtitularemos automáticamente todas las imágenes de la página web; en segundo lugar, proporcionaremos transcripciones de todos los vídeos del Gobierno de La Rioja; y, por último, mejoraremos la legibilidad de los contenidos de la página web. En resumen, este proyecto es un primer paso para que las páginas web de las instituciones públicas se adapten a las necesidades de cada usuario que las visita.
Para terminar, se comentarán los resultados y publicaciones derivados de la tesis del ponente, defendida en la Universidad de La Rioja en junio de 2023, y su contribución en el campo de las Álgebras de Lie cuadráticas.
Martes, 16 abril de 2024
9.30 a 9.55 horas
Necesidades docentes para dar clase de matemáticas
Javier Perujo Jiménez
Universidad de La Rioja
Descripción:
Con el aumento del número de docentes, junto al alumnado de los grados o másteres habilitantes, en España, y la necesidad en el perfil de docente de matemáticas, surge la necesidad de comprobar y entender cuál es la percepción y opinión de este alumnado y futuro docente sobre lo que debe tener el perfil del profesorado de matemáticas, así como del conocimiento y didáctica de este. Se plantearán distintas encuestas para posteriormente realizar un análisis de ellas con el fin de sacar las conclusiones correspondientes.
9.55 a 10.20 horas
Álgebras de Lie cuadráticas
Javier Rández Ibáñez
Universidad de La Rioja
Descripción:
Las álgebras de Lie son estructuras matemáticas que estudian las propiedades de simetría y transformaciones continuas en geometría y física. Al combinar un álgebra de Lie con una forma bilineal simétrica no degenerada que es además compatible con el producto dentro del álgebra, obtenemos objetos con mayor estructura y simetría, conocidos como álgebras de Lie cuadráticas. La simetría de estas álgebras aparece reflejada en su retículo de ideales y en la relación presente entre sus cadenas central ascendente y descendente de ideales. En esta ponencia, introduciremos dichos objetos y el lenguaje básico necesario para abordar este tema. Finalmente, exploraremos diversas construcciones para crear nuevas álgebras cuadráticas a partir de otras ya conocidas.
10.20 a 10.45 horas
Procesamiento de imágenes y Deep Learning para la segmentación semántica del blastocisto
María Villota Miranda
Universidad de Zaragoza
Descripción:
En la fecundación in vitro, la selección de embriones es un paso indispensable para garantizar el éxito. La falta de marcadores y la subjetividad en la evaluación de los embriólogos hacen que las tasas de implantación no superen el 65%. La visión por computador y el aprendizaje profundo pueden proporcionar una solución, segmentando estructuras embrionarias para ofrecer información detallada y objetiva. En este trabajo se han desarrollado métodos de segmentación capaces de segmentar el trofectodermo, la masa celular interna y la zona pelúcida con puntuaciones Dice entre 0.85 y 0.89. También proporcionamos el código abierto para su replicación, dando así un paso hacia la objetividad en la evaluación del potencial de implantación de los embriones.
10.45 a 11.20 horas
Pausa y café
11.20 a 11.45 horas
Democratizando los métodos de Deep Learning mediante herramientas de AutoML
Manuel García Domínguez
Universidad de La Rioja
Descripción:
La Inteligencia Artificial y el Deep Learning son tecnologías muy utilizadas en la Visión por Computador. Su éxito se basa en la cantidad de imágenes disponibles, la mejora del hardware y el acceso a herramientas para crear modelos de Deep Learning. Sin embargo, también presenta desafíos, como su complejidad, la necesidad de grandes datasets etiquetados y el problema del cambio de dominio.
Este trabajo propone soluciones a estos desafíos mediante el desarrollo de herramientas accesibles para la creación de modelos de Deep Learning, el aumento de datasets y el cambio de dominio. Las herramientas se han aplicado con éxito a problemas biomédicos, como la segmentación de esferoides, la clasificación de imágenes de motilidad y la predicción de enfermedades de la retina.
11.45 a 12.10 horas
Ensamblajes series-paralelo para clasificadores binarios
Idriss Tyler Sandoval Villamizar
Universidad de La Rioja
Descripción:
En este trabajo consideramos ensembles de clasificadores binarios. A la hora de diseñar estructuras óptimas para estos ensembles usamos conceptos procedentes de la teoría de fiabilidad. Dado un conjunto de n clasificadores, existen 2^{2^n} estructuras diferentes para combinarlos (sin tener en cuenta las diferentes capacidades predictivas de cada uno de los clasificadores). Para reducir el espacio de búsqueda de estructuras eficaces nos restringimos a estructuras series-paralelo, que constituyen un conjunto bien conocido en la teoría de fiabilidad de sistemas.
12.10 a 12.35 horas
Reconocimiento de acciones humanas en tiempo real en entornos abiertos
Mayra Vanessa Alvear Gallón
Universidad de La Rioja
Descripción:
El lenguaje gestual y corporal supone un mecanismo de comunicación fundamental entre seres humanos. Tratar de que las máquinas entiendan este lenguaje es un área activa de investigación en el campo de la visión por computación que tiene su aplicación en campos diversos como la videovigilancia o la sanidad. Sin embargo, la mayoría de estos desarrollos se realizan en entornos cerrados y controlados. El reconocimiento de movimientos y gestos en tiempo real a través de cámaras en un entorno no controlado (como el vestíbulo de una universidad o la sala de un museo) y que permiten la interacción con los transeúntes en estos espacios presenta retos en diversos ámbitos que incluyen, al menos, desafíos tecnológicos, sociales y legales que deben abordarse cuidadosamente. El proyecto de tesis descrito en esta charla se enmarca en esta línea de investigación. Consiste en un Doctorado Industrial fruto de la colaboración entre la empresa IR Soluciones y la Universidad de La Rioja.
Como primer paso, en este trabajo incluimos una prueba de concepto que consiste en el desarrollo de un sistema que permita la identificación en tiempo real de las vocales de la lengua de signos. El desarrollo de este sistema se basa en un estudio de las técnicas contenidas en la literatura, la creación de un dataset que nos permita entrenar modelos de aprendizaje profundo y, finalmente, la integración de dichos modelos en un sistema de reconocimiento de signos.
12.35 a 13.00 horas
Algunas funciones especiales en la teoría de Dunkl
Alejandro Gil Asensi
Universidad de La Rioja
Descripción:
La teoría de Dunkl es empleada en el estudio de funciones especiales y en la matemática física. Uno de los objetivos principales de esta tesis doctoral era obtener generalizaciones, en un sentido de Dunkl, de algunas de las funciones especiales más importantes, como son las funciones zeta de Riemann y las funciones de Hurwitz . Durante esta charla se expondrán los resultados más relevantes de esta tesis doctoral relacionados con la función zeta de Dunkl.
Miércoles, 17 abril de 2024
9.30 a 9.55 horas
BDDs como estructura de cálculo eficiente en álgebra y fiabilidad
Laura Moreno Resa
Universidad de La Rioja
Descripción:
Los Binary Decision Diagrams son una estructura de cálculo potente y eficiente en algunos problemas de lógica y relacionados con ellos. Esta estructura puede aplicarse a problemas algebraicos y de fiabilidad. En esta ponencia, se explicará un enfoque teórico de los BDDs, así como un breve análisis de las librerías existentes. Además, se mostrarán algunos ejemplos de uso y la implementación de transferencia y comunicación de BDDs con librerías especializadas en álgebra y fiabilidad.
Este trabajo está parcialmente financiado por la Universidad de La Rioja, a través de una Beca de Iniciación a la Investigación.
9.55 a 10.20 horas
Aplicaciones del stable rank en el marco del análisis topológico de datos
Daniel Miguel Treviño
Universidad de La Rioja
Descripción:
El análisis topológico de datos consiste en la aplicación de herramientas topológicas en el estudio de conjuntos de datos. En particular, el uso de la homología persistente proporciona una sucesión parametrizada de complejos simpliciales cuyos rasgos homológicos describen, representan y diferencian al conjunto original. En este contexto, el stable rank es una función no creciente y constante a trozos que se calcula a partir de un módulo de persistencia. Presenta tres aspectos fundamentales: es un objeto sencillo y apto para la aplicación de técnicas de machine learning, permite valorar la importancia de los rasgos topológicos de interés en cada problema y está bien definido para el caso de la multipersistencia. En esta charla presentamos sus atributos básicos y mostramos algunas de sus aplicaciones, profundizando en el ámbito del aprendizaje semisupervisado.
10.20 a 10.45 horas
El papel de la gestión de datos en la tecnología de gemelos digitales
Ignacio Marco Pérez
Universidad de La Rioja
Descripción:
La tecnología de gemelos digitales ha tenido un impacto creciente en la industria general. El primer concepto, presentado por Michael Grieves en 2003, consideraba tres partes fundamentales: un producto físico, una réplica virtual y una conexión bidireccional de información entre ambos espacios. Como consecuencia de la mejora en las tecnologías de sensorización, en los últimos años, el aumento en la heterogeneidad y el volumen de datos ha hecho imprescindible considerar la gestión de datos del gemelo digital como un factor clave en el desarrollo de esta tecnología. En este contexto, un primer esfuerzo de la tesis que se está realizando ha consistido en ofrecer una definición y una taxonomía unificadas de los gemelos digitales en base a los componentes principales de la gestión de datos.
10.45 a 11.20 horas
Pausa y café
11.20 a 11.45 horas
El movimiento de satélites y basura espacial: Del problema de Kepler a la Draper Semi-analytical Satellite Theory
Miguel Alonso Angulo
Universidad de La Rioja
Descripción:
En la primera parte de este trabajo se van a presentar las principales técnicas de propagación orbital utilizadas para resolver del problema de Kepler. Este problema permite modelizar tanto el movimiento de los cuerpos celestes como el de los satélites y los restos de basura espacial.
La segunda parte de este trabajo se va a centrar en los avances realizados en la revisión del modelo dinámico que implementa la Draper Semi-analytical Satellite Theory (DSST), el propagador orbital que se empezó a desarrollar a finales de los años 80 en el Charles Stark Draper Laboratory.
11.45 a 12.10 horas
Algunas aplicaciones de las bases involutivas
Rodrigo Iglesias González
Universidad de La Rioja
Descripción:
Las bases involutivas son un tipo de bases de Gröbner con propiedades combinatorias adicionales. Las más conocidas son las de Janet y de Pommaret, ambas tienen ciertas propiedades que las hacen "buenas", entre ellas, dichas comparten la propiedad de continuidad. Lo que implica la existencia de un método algorítmico para su construcción. Existen también otro tipo de bases de Gröbner conocidas como bases involutivas-like, estas son una versión más compacta de las anteriores y presentan ventajas en la implementación y aplicaciones con respecto a las anteriores. Cubriremos algunas de estas aplicaciones en resoluciones libres de Janet, en el área de la fiabilidad algebraica y en el estudio de Algebras de Rees.
12.10 a 12.35 horas
Simplificando el uso y construcción de modelos de aprendizaje profundo para la clasificación de imágenes
Adrián Inés Armas
Universidad de La Rioja
Descripción:
La Inteligencia Artificial, y en concreto el Aprendizaje Profundo, ha cobrado gran importancia en los últimos años. Es por esto por lo que las técnicas de Deep Learning se han convertido en el estado del arte para trabajar en diferentes problemas científicos y, en concreto, en el análisis de imágenes.
Sin embargo, para su uso es necesario contar con una gran cantidad de recursos computacionales, una gran cantidad de datos anotados y un conocimiento experto de estas técnicas.
El objetivo de este trabajo ha sido analizar estos desafíos y crear técnicas y herramientas que ayuden a mitigarlos en el contexto de la clasificación de imágenes. Además, se han probado las técnicas desarrolladas en diferentes problemas reales del ámbito biomédico como son la medición de la propagación de bacterias en imágenes de motilidad y la detección de enfermedades de la membrana epirretiniana a partir de imágenes de fondo de ojo.
12.35 a 13.00 horas
Estudios de Doctorado: Una perspectiva crítica
Jesús Héctor Busto Sancirián
Universidad de La Rioja
Descripción:
Los Estudios de Doctorado constituyen un viaje formativo emocionante, pero muchas veces lleno de dudas e inquietudes. En esta charla impartida por Jesús Héctor Busto Sancirián, catedrático de universidad del Departamento de Química de la Universidad de La Rioja, se tratará de ofrecer una visión general de estos estudios en el contexto social y laboral, así como un breve repaso de las oportunidades que estos pueden ofrecer al estudiante de cara al futuro.
Para quién
Público en general.
Entrada libre hasta completar aforo.
Organiza
Miguel Alonso Angulo
Departamento de Matemáticas y Computación
Universidad de La Rioja
Ignacio Marco Pérez
Departamento de Matemáticas y Computación
Universidad de La Rioja
Miren Mirari San Martín Lacunza
Departamento de Matemáticas y Computación
Universidad de La Rioja
Colabora
© Imagen destacada de Lukas.
Etiquetas
Categorías
Noticias relacionadas
Andrea Zollo participa en el 29th International Symposium on Space Flight Dynamics (ISSFD 2024)
La Conferencia de Decanos de Matemáticas se reúne en la Universidad de La Rioja
Actividades relacionadas
