La próxima charla será el 13 de diciembre a las 18:30 hs. Aula a confirmar

Título: Evaluación Estática de Calidad de los Tests Automatizados Director: Hernán Wilkinson Jurados: Maximiliano Contieri, Agustin Martinez Resumen: El Testing es una actividad importante en el desarrollo de proyectos de software. Los tests automáticos aseguran que el sistema se comporta como lo esperado y sirven como documentación para entender [...]

Título: Variational Autoencoders para el modelado de estilos de música Directores: Dr. Martin Miguel y Dr. Diego Fernández Slezak Jurados: Dr. Pablo Riera, Dr. Gabriel Mindlin RESUMEN En el presente trabajo se abordó el problema de transferencia de estilo en música, es decir, intentar cambiar un fragmento musical de [...]

Título: Caracterización estructural de los árboles de thinness propia 2 Director: Dra. Flavia Bonomo Jurados: Dra. Verónica Becher, Dr. Min Chih Lin Resumen: La thinness propia de un grafo es un invariante que generaliza a los grafos de intervalos propios. Todo grafo tiene un valor numérico de thinness propia [...]

Título: Mercados de predicción y profecías autocumplidas. Director: Sergio Abriola Jurados: Dra. Inés Caridi y Dr. Esteban Mocskos Resumen: En el ámbito del análisis de desempeño de pronosticadores (quienes realizan predicciones sobre la probabilidad de que diversos eventos ocurran), las llamadas proper scoring rules son una clase de regla [...]

Título: Estructura de datos para acelerar la búsqueda de subconjuntos en el labeling para TSP Time-Dependent Director: Francisco Soulignac Jurados: Min Chih Lin y Gonzalo Lera Romero RESUMEN El problema del viajante de comercio con ventanas de tiempo y dependencia temporal (TDTSPTW) es una versión del TSP donde los [...]

Título: Fuzzing In-Vivo Mediante Amplificación de Ejecuciones Directores: Juan P. Galeotti y Marcel Böhme Jurados: Agustin Martinez Suñé y Sergio D'Arrigo Lugar:  https://youtube.com/live/fdEUj4bgX-Q?feature=share Resumen Uno de los mayores cuellos de botella al aplicar fuzz testing sobre librerías es la necesidad de contar con fuzz drivers. Estos son programas que [...]

Título: Un algoritmo basado en generación de columnas para Star Routing Director: Dr Javier Marenco Jurados: Dr Brian Curcio y Dr Pablo Factorovich Resumen: Dados un grafo G = (N, E) y una flota de vehículos capacitados inicialmente ubicada sobre el vértice depósito, el problema de Star Routing pide [...]

El miércoles 14, a las 14hs va a dar una charla Joost Peter Katoen, (https://en.wikipedia.org/wiki/Joost-Pieter_Katoen) y va a dar una charla que tal vez sea de su interés. Sala 2103 a las 14 horas. Facing Uncertainty in AI - From Verification to Synthesis Uncertainties occur in different forms: data [...]

Título: Un cálculo-lambda cronometrado Director: Pablo Barenbaum Jurado: Sergio Abriola y Rafael Romero Resumen: El cálculo-lambda permite estudiar la noción de función computable desde un punto de vista matemático, modelando la abstracción y la aplicación de una función a un argumento. El mecanismo de cómputo por el cual se [...]