Título: "Análisis de estabilidad y seguridad en una red de Proof of Stake: el ejemplo de Algorand" Director: Esteban Mocskos Jurados: Gustavo Sadovoy, Ariel Waissbein Transmite por: https://youtube.com/live/hVe3CpH6LYg?feature=share Resumen ======= En este trabajo de tesis estudiamos Algorand, una red de blockchain basada en Proof of Stake, analizando la estabilidad [...]

Título: Problemas localmente verificables parametrizados por treewidth, clique-width y mim-width Directora: Flavia Bonomo Consejero de estudios: Javier Marenco Jurados: Dr. Sergio Cabello Justo - Prof. Full, DMAT, Univ. de Liubliana Dra. Paloma T. De Lima - Prof. Asis., Univ. de Copenhagen Dr. Dimítrios Thilikós Touloupas - Dir. de Inv., [...]

Título: El algoritmo de Huang Directora: Verónica Becher Jurados: Nicolás Álvarez y Martín Mereb Resumen: Fijemos un alfabeto. Una secuencia de De Bruijn de orden n es una secuencia de símbolos del alfabeto que contiene todas las palabras de longitud n exactamente una vez. Estas secuencias fueron descubiertas y [...]

Este viernes 19/4 hay Dátame! El encuentro es a las 16hs. en el aula 1402 del Edificio 0+Infinito. Esta vez, la charla estará a cargo de Ana Amador (Dpto de Física, Exactas-UBA e INFINA-CONICET). El título de la charla es Neurociencias y reducción de dimensionalidad: de millones de neuronas al comportamiento Sobre la charla [...]

Título: Aplicaciones de SLAM: mapeo de ambientes naturales, localizacion consistente en tiempo real y exploración autónoma multi-robot. Director: Pablo De Cristóforis Consejero de estudios: Julio Jacobo Jurados: Dr. Manuel Jesús Marín Jiménez (Universidad de Córdoba, España). Dr. Gonzalo Daniel Tejera López (Universidad de la República, Uruguay). Dr. Matias A. [...]

Título: "EPAs para REST APIs con EvoMaster" Director: Dr. Juan P. Galeotti Jurados: Dr. Guido De Caso y Dr. Sebastian Uchitel Resumen: La validación y verificación de las REST APIs pueden resultar altamente complejas debido a la gran cantidad de endpoints que pueden contener. Cada combinación de llamadas HTTP [...]

Título: Reducción de Simetrías para la versión modular de Non-blocking Director: Sebastián Uchitel Jurados: Victor Braberman y Hernán Gagliardi Resumen: En esta tesis tratamos con el problema de control dirigido con objetivos Safe y Non-blocking, más precisamente, con su versión modular. En esta versión, el input es una especificación [...]

Título: Métodos para el problema de ruteo de vehículos y planificación de tripulaciones simultáneos Directores: Daniel Severín y Paula Zabala Jurados: Dra. Gabriela Corsano, Dr. Celso Ribeiro, Dr. Andrés Weintraub Link al evento: https://youtube.com/live/SO-pd8s0AKw?feature=share Resumen: En las últimas décadas, los problemas de ruteo de vehículos y de asignación de tripulaciones [...]

Título: "Generación de datos en bases Mongo para mejorar el testing automático" Director: Dr. Juan P. Galeotti Jurados: Lic. Javier Altauz. Lic. Sergio D'Arrigo Resumen: Es común que los microservicios interactúen con una base de datos. A la hora de generar tests de caja blanca, es necesario tener en [...]

Título: Un algoritmo exacto para TDTSPD-D, el problema del viajante de comercio con dron dependiente del tiempo Director: Francisco Soulignac Jurados: Isabel Méndez Díaz y Federico Pousa RESUMEN El rápido crecimiento de las plataformas de e-commerce motiva a resolver eficientemente la etapa final de la logística, conocida como última [...]