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

Título: Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica Directores: Javier Godoy, Diego Garbervetsky Jurados: Dr. Ariel Waissbein, Dr. Sebastián Uchitel Resumen: Los smart contracts son programas inmutables que se despliegan en una blockchain. Dado que a menudo manejan activos de alto valor real, su verificación [...]

Título: Fragmentos de CPDL+ mediante propiedades de pathwidth Director: Santiago Figueira Co-director: Edwin Pin Jurados: Ricardo Rodríguez y Sergio Abriola Resumen: En este trabajo nos centramos en CPDL+, un lenguaje recientemente definido que extiende a PDL (Propositional Dynamic Logic), una lógica modal ya conocida y ampliamente estudiada. Sobre esta [...]