Eventos

Título: Búsqueda visual sobre imágenes naturales: incorporando ruido como modelado de la variabilidad humana. Directores: Juan E Kamienkowski, Gonzalo Ruarte Jurados: Diego Shalom, Rodrigo Laje Resumen: La búsqueda visual es el mecanismo por el cual analizamos el entorno con un determinado objetivo. Este análisis se realiza de forma secuencial, […]

Título: Un estudio poliedral del routing and spectrum allocation problem Director: Dr. Javier Marenco Jurado: Dr. Cid de Souza (Mercado Libre, Argentina y Brasil) Dr. Enrico Malaguti (Universidad de Bologna, Italia) Dr. Juan José Salazar González (Universidad de la Laguna, España) Transmisión en vivo: https://youtube.com/live/ORVcyv-XAfk?feature=share Resumen: El problema de ruteo […]

Título: Mejoras al algoritmo composicional de síntesis de controladores para problemas GR(1) Directores: Hernán Gagliardi, Sebastián Uchitel Jurados: Victor Braberman, Dario Turco Resumen En este trabajo se estudian mejoras de varios tipos al algoritmo composicional de síntesis de controladores para problemas GR(1). Principalmente se analizará el impacto de diversas heurísticas y mejoras para aumentar el […]

Título: Traducción automática de especificaciones Spectra a Modelos FSP Directores: Hernán Gagliardi, Sebastián Uchitel Jurados: Victor Braberman, Florencia Zanollo Resumen El problema de la síntesis de controladores consiste en construir automáticamente un sistema correcto por construcción que satisfaga un conjunto de objetivos, dadas ciertas suposiciones sobre su entorno. Para […]

Título: Collares Aritméticos Directora: Verónica Becher Jurados: Nicolás Álvarez y Paula Zabala Resumen: Fijemos un alfabeto. Un collar (n,k)-perfecto es una secuencia circular de símbolos del alfabeto donde cada bloque de longitud n ocurre k veces, pero en posiciones con distinta congruencia modulo k, para cualquier convención de la […]