Eventos

Título: Discrepancia de Collares Aritméticos Directores: Nicolás Álvarez y Verónica Becher Jurados: Martin Mereb y Paula Zabala Resumen: La discrepancia de una cadena mide el desbalance de símbolos de sus subcadenas. Existen pocas familias de cadenas para las que se conoce el comportamiento de su discrepancia. En esta tesis [...]

Título: Abstracciones mediante predicados para la validación de contratos inteligentes Director: Dr. Juan Pablo Galeotti Consejero de estudios: Dr. Ricardo O. Rodriguez Jurados: Dra. Alessandra Gorla , Associate Research Professor, IMDEA Software Institute. Dr. German E. Regis, Profesor Adjunto, Universidad Nacional de Río Cuarto Dr. Renzo Degiovanni, Senior Research [...]

Título: Caracterización de fallas en el sistema Apollo para vehículos autónomos Director: Víctor Braberman Jurado: Juan Pablo Galeotti y Sebastián Uchitel Resumen La tesis analiza los issues reportados en el repositorio público de Apollo Auto, un framework open-source para vehículos autónomos, con el objetivo de identificar y caracterizar aquellos [...]

Título: Compilación de PICs en Smalltalk a partir de LiveTyping Director: Hernán Wilkinson Jurados: Hernán Gagliardi, Javier Pimás Resumen: Los lenguajes orientados a objetos dinámicamente tipados, como Smalltalk resuelven los envíos de mensajes en tiempo de ejecución a partir de la clase concreta del receptor. Este modelo favorece la flexibilidad y la [...]

Título: Mejoras algorítmicas al problema de minimización de la duración de rutas Director: Francisco Soulignac Jurados: Gonzalo Lera Romero y Agustín Pecorari RESUMEN En este trabajo estudiamos el problema de minimización de duración de rutas (MTDP), una variante del problema del viajante de comercio en la que un vehículo [...]

Título: Simulación eficiente del modelo de fuerzas sociales para dinámica peatonal de Helbing-Molnár mediante ambientes reticulados con retQSS Director : Esteban Lanzarotti, Co-Director: Rodrigo Castro Jurado: Joaquín Fernandez (FCEIA-UNR/CIFASIS-CONICET), Pablo Jacovkis (DC-FCEyN-UBA, CIEA-UNTREF) Meet: https://meet.google.com/bri-jaqs-msw Resumen: La simulación de dinámica peatonal mediante el modelo de fuerzas sociales de Helbing [...]

Título: Abstraktor: Generación automática de abstracciones de protocolo mediante instrumentación de código para fuzzing de sistemas distribuidos Directores: Sebastián Uchitel y Víctor Braberman Jurados: Prof. Diego Garbervetsky, Prof. Hernan Melgratti Resumen: El testing de sistemas distribuidos es un problema de alta complejidad, donde los bugs más críticos emergen únicamente [...]

Título: Acerca de cuestiones de distribución uniforme. Traducción del trabajo de N. M. Korobov de 1950 Directora: Verónica Becher Jurados: Nicolás Álvarez y Pablo Amster Resumen: Esta tesis traduce al inglés el artículo del matemático ruso Nikolai Korobov (1917–2004) publicado en 1950: 'Concerning some questions on Uniform distribution' (Bulletin [...]

Título: Condiciones de borde inevitables Director: Sebastián Uchitel Jurados: Prof. Santiago Cifuentes (UBA), Prof. Nazareno Aguirre (UNRC) Resumen: La ingeniería de requerimientos debe lidiar frecuentemente con metas conflictivas resultantes de múltiples partes interesadas o errores de especificación. Un concepto extensamente estudiado para identificar estos conflictos es el de las [...]

Título: Desarrollo de un framework para la segmentación auto-supervisada de series temporales de imágenes mediante Flujo Óptico y Filtros de Frangi Director: Dr. Rafael Nicolás Gaggion Zulpo Jurados: Prof. Maria Elena Buemi, Prof. Daniel Acevedo Resumen: En el campo de la biología vegetal, comprender la dinámica de crecimiento radicular [...]