Agenda

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