Este Jueves 18/09 tenemos DÁTAME! El encuentro será a las 16 hs. en el aula 1402. La presentación estará a cargo de Ximena Fernandez y el título de la charla es:     ¿Se puede escuchar la forma de una canción? Sobre la charla ¿Alguna vez te preguntaste cómo funcionan las apps de reconocimiento de música como [...]

Título: Técnicas de optimización aplicadas a problemas de distribución bajo condiciones de tráfico variable Director: Juan José Miranda Bront Consejera de estudios: Isabel Méndez-Díaz Jurados: Dra. Flavia Bonomo-Braberman, CONICET - Universidad de Buenos Aires, Instituto de Investigación en Ciencias de la Computación (ICC) / Universidad de Buenos Aires, Buenos [...]

Título: Reconocimiento de Acciones Humanas en Videos Utilizando Redes Neuronales Profundas Director: Dr. Julio César A. Jacobo Berlles Directora adjunta: Dra. María Elena Buemi  Consejera de estudios: Dra. Marta E. Mejail    Jurados:  Dra. Maria Juliana Gambini  Dr. Pau Climent Perez  Dr. Sergio Nesmachnow Link Youtube: https://youtube.com/live/vKJQfCNF-Nw?feature=share   Resumen: El [...]

Título: Liquid Types para la verificación de smart contracts Director: Hernán Melgratti Jurados: Diego Garbervetsky, Javier Godoy. Resumen: En este trabajo se desarrolló una herramienta para la verificación de smart contracts escritos en Solidity. La estrategia empleada consiste en traducir el código fuente de Solidity a Haskell, utilizando las [...]

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 [...]