Eventos

Tìtulo: “Un estudio experimental de la discrepancia mínima de secuencias de de Bruijn” Directores: Nicolás Álvarez y Verónica Becher Jurados:Martín Mereb y Pablo Turjanski Resumen: Una secuencia de de Bruijn de orden n con dos símbolos es una secuencia circular de longitud 2^n en la que cada bloque de [...]

Título: De procesos a agentes: modelos textuales para convertir logs de procesos en sistemas agénticos Director : Claudio Righetti Co-Director : Paulo Veiga Jurado . Esteban Lanzarotti , Marcelo Risk y Claudio Righetti Aula Virtual: https://meet.google.com/hys-hqwa-jsi?hs=224 Resumen: La Minería de Procesos (Process Mining) permite descubrir automáticamente modelos formales de [...]

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