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

Título: Inclusión léxica y sintáctica en modelos de etiquetado offline de transiciones de turno Director: Pablo Brusco Jurados: Pablo Turjanski, Lautaro Estienne Resumen En una conversación hablada entre dos personas, existe una noción implícita de manejo de turnos que permite un intercambio fluido de mensajes. Esto sucede a través [...]

Título: Modelos para el análisis de la polarización a través de PLN. Director: Esteban Feuerstein Consejero de estudios: Diego Fernandez Slezak Jurados: Dr. Carlos Diuk (Facebook INC). Dr. Ana Gabriela Maguitman (Universidad Nacional del Sur). Dr. Germán Rosatti (Universidad Nacional de San Martín). Transmisión: https://youtube.com/live/Hhcp9jP9c1o?feature=share Resumen: La polarización, entendida como [...]

Título: Análisis de debates partidarios en redes sociales con Procesamiento de Lenguaje Natural Director: Esteban Feuerstein Co-director: Federico Albanese Jurados: Dr. Pablo Balenzuela Dra. Viviana Cotik Resumen: En este trabajo nos dedicamos a analizar distintos aspectos sobre debates partidarios de Estados Unidos en redes sociales. En particular, en Twitter examinamos la [...]