Departamento de Computación

Defensa Tesis Licenciatura Jonathan Scherman
2024-08-02 09:00 - 10:00 (America/Sao_Paulo) | Sala 1604
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 de distintos tipos de señales (acústicas, prosódicas, léxicas e incluso gestuales) que los hablantes producen y que, de manera combinada, afectan la manera en la que se desarrollarán los turnos de la conversación. Por ejemplo, se ha estudiado cómo el uso de palabras de relleno (tales como «em…» o «este…») suele indicar que el hablante tiene la intención de mantener el turno. Entender cuál es la dinámica del manejo de turnos y construir sistemas que puedan identificar y clasificar distintas transiciones de manera automática ha ganado mucha relevancia en las últimas décadas debido a las múltiples aplicaciones prácticas en el mundo real, siendo los sistemas de diálogo hablado (como Alexa o Siri) y el análisis de grandes volúmenes de datos sus principales aplicaciones. En particular, varios estudios han mostrado que, en adición a las características acústico-prosódicas, las características léxicas y sintácticas de la conversación contienen información relevante para entender la mecánica del manejo de turnos.
En esta tesis, nos enfocamos en el desarrollo de una herramienta de etiquetado offline de transiciones de turno en conversaciones completas de tipo humano-humano, para lo cual construimos distintas variantes de modelos multimodales sobre un corpus compuesto por conversaciones diádicas orientadas a tareas, en inglés y español. Partimos de un modelo preexistente basado en redes neuronales recurrentes bidireccionales, que extendemos con atributos léxicos y sintácticos. Además, consideramos modelos alternativos basados en arquitecturas multiescala. Para cada uno de los modelos desarrollados, evaluamos la capacidad de generalización en conversaciones tanto en el mismo idioma en el que fueron entrenados como en otros. Los resultados obtenidos muestran que la inclusión de estos atributos otorgó mejoras para algunas de las variantes propuestas de hasta un 15% relativo en el subconjunto de desarrollo y un 9% relativo en el subconjunto de control al ser evaluados en conversaciones nuevas del mismo idioma, mientras que observamos disminuciones en el rendimiento al variar entre idiomas. Por su parte, no pudimos evidenciar mejoras en la propuesta multiescala, aunque creemos que tiene potencial para hacerlo.
Palabras claves: Manejo de Turnos, Diálogo Hablado, Inglés, Español, Aprendizaje Automático, Redes Neuronales, BERT, Atributos Léxicos, Atributos Sintácticos.

Defensa Tesis Licenciatura Darío Turco
2024-08-02 11:00 - 12:00 | Aula 1114
Título: Agregando información específica de dominio para escalar la síntesis de controladores de tipo GR(1)
Directores: Sebastián Uchitel
Jurados: Victor Braberman, Florencia Zanollo
Resumen:
El área de síntesis de controladores busca construir automáticamente estrategias para resolver problemas bajo ciertas garantías. El algoritmo On-The-Fly Directed Controller Synthesis (OTF-DCS), propuesto por Daniel Ciolek en su trabajo de tesis doctoral, resuelve este problema, pero depende de una heurística auxiliar. Además de proponer el algoritmo OTF-DCS, Ciolek también propuso una heurística llamada Ready Abstraction(RA), la cual es la que mejores resultados logra. Luego, Tomas Delgado propuso una heurística basada en aprendizaje por refuerzos, la cual, requiere una función de abstracción que captura las features más importantes de un estado. Exploraremos el impacto de agregar features con información específica del dominio del problema a resolver a la función de abstracción que usa la heurística basada en aprendizaje por refuerzos. Para esto, ofrecemos una metodología para abstraer información referente a las entidades del problema de control. Esto con el objetivo de mejorar el rendimiento de dicha heurística y por lo tanto, el rendimiento del algoritmo OTF-DCS en su versión para restricciones de tipo GR(1).

Defensa Tesis Doctorado Juan Manuel Ortiz de Zarate
2024-08-09 15:00 - 17:00 | Sala 2103
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 la intensificación de contrastes ideológicos y sociales, ha emergido con fuerza como un tema central de preocupación en el ámbito político y académico desde el comienzo del siglo XXI. Varios países han evidenciado este fenómeno, especialmente con el ascenso de regímenes post neoliberales. Estas divisiones, en algunos casos, han despertado inquietudes sobre una posible erosión de la democracia, ya que se teme que algunas facciones puedan optar por estructuras no democráticas en lugar de ceder el poder a un grupo rival. En otros trabajos incluso, se ha señalado que la polarización provoca una reducción en el crecimiento económico debido a la incertidumbre sobre las condiciones sociales y económicas que genera.
Por otro lado, diversos trabajos de la literatura señalan una posible influencia de las redes sociales en la polarización. Estas plataformas, mediante su diseño y algoritmos de recomendación, podrían crear «cámaras de eco», donde las opiniones se refuerzan mutuamente, lo que podría potenciar la división y el aislamiento ideológico. Resultando en un potencial aumento de conflictos y malentendidos entre diferentes grupos sociales y políticos. A su vez, otros estudios indican la dificultad de poder hacer este análisis causal al mismo tiempo que sugieren que los motivos de la polarización podrían ser multicausales o incluso ajenos a las redes sociales. Por ello, es necesario contar con nuevas herramientas para analizar mejor este complejo fenómeno y aprovechar la masividad de datos digitales que estas plataformas nos brindan.
Los avances recientes en el procesamiento del lenguaje natural , combinados con la digitalización de las discusiones a través de redes sociales, ofrecen un panorama prometedor para comprender y abordar la polarización desde una perspectiva computacional. Estas nuevas herramientas y técnicas permiten un análisis más profundo de las conversaciones y discusiones, además nos brindan la oportunidad de diseñar intervenciones más informadas y efectivas, con el objetivo final de promover un mayor entendimiento y diálogo en nuestra sociedad contemporánea.
En esta tesis, presento técnicas computacionales innovadoras para analizar la polarización, colaborando estrechamente con expertos en ciencias sociales para validar nuestras herramientas. Detecto que la polarización está fuertemente ligada al lenguaje, permitiéndonos cuantificarla y tomar medidas para abordarla. Hallo que mientras que algunos actores mantienen posturas ambivalentes, otros, como los políticos, adaptan sus estrategias según el público. También destaco que las inteligencias artificiales, como los chatbots, presentan inclinaciones en debates contemporáneos, lo que subraya la necesidad de estar informados sobre sus posiciones.

Defensa Tesis Licenciatura Victoria Zolezzi
2024-08-16 12:00 - 13:00 | Sala 1604
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 evolución temporal del flujo de los usuarios en comunidades políticas. Estas últimas son halladas mediante la aplicación de algoritmos de detección de comunidades en grafos. Por otro lado, en Reddit analizamos el debate del aborto y el debate del control de armas. Clasificando posteos y comentarios por sentimiento, estudiamos diferencias entre las distintas clasificaciones, como ser el sentimiento de sus respuestas, su toxicidad, su engagement, entre otras. Además, analizamos la evolución temporal del sentimiento y del engagement de los debates, prestando especial atención a aquellos momentos en donde el interés por los mismos crece como consecuencia de algún hecho de la realidad. Para intentar determinar qué fenómenos dentro del debate podemos atribuir a estos eventos (por ejemplo un aumento de posteos, de comentarios, de score, etcétera), acudimos a métodos de inferencia causal.
Palabras claves: detección de comunidades, análisis de sentimiento, inferencia causal, toxicidad, redes sociales.

Defensa Tesis Licenciatura Valeria Wodka
2024-09-05 17:00 - 18:00 | Aula 1402
Título: Collares perfectos anidados
Directora: Verónica Becher
Jurados: Sergio Abriola y Pablo Terlisky
Resumen: Fijemos un alfabeto A. Un collar es una palabra circular. Un collar es (n,k)-perfecto si todas las palabras de longitud n aparecen k veces en el collar, pero en posiciones con distinta congruencia modulo k, para cualquier convención de la posición inicial. Un collar (n,k)-perfecto es anidado si n=1, o si el collar es la concatenación de |A| collares (n-1,k)-perfectos. Los collares (n,k)-perfectos están caracterizados por los ciclos hamiltonianos en el grafo G(n,k), que es el producto del grafo de Bruijn de orden n y un ciclo simple de longitud k. En 2019 Becher y Carton dieron un método para construir todos los collares (n,n)-perfectos anidados en el alfabeto de dos símbolos, para n potencia de dos. En esta tesis mostramos que, para alfabetos de más de 2 símbolos, el método de Becher y Carton no produce todos los collares (n,n)-perfectos anidados y, basándonos en la caracterización en grafos, damos un método de para construir nuevos.

Defensa Tesis Licenciatura Juan Pablo Lebón
2024-09-11 08:00 - 17:00
Título: Algoritmos basados en programación lineal entera para el Survivable Routing and Spectrum Assignment Problem
Director: Javier Marenco
Jurados: Dra. Isabel Méndez Díaz y Dra. Paula Zabala
Resumen:
Las redes de fibra óptica utilizan la luz, transportada por un cable, como un medio de comunicación entre dos nodos de la red. En respuesta al crecimiento sostenido del tráfico en este tipo de redes, en los últimos años se ha propuesto una nueva generación de redes de fibra óptica, llamada flexgrid elastic optical networks (EONs) con el objetivo de mejorar la eficiencia en el uso del espectro electromagnético y aumentar así la capacidad de las redes.
En las EONs, el espectro de frecuencias de una fibra óptica se divide en slots de frecuencias relativamente pequeños, cada uno con un ancho de banda fijo. Se puede utilizar cualquier secuencia de slots consecutivos para formar un canal, que a su vez puede ser ruteado por la red para crear lo que se conoce como un lightpath.
Dada la estructura de una red y un conjunto de demandas, el routing and spectrum assignment (RSA) problem consiste en establecer los lightpaths para un conjunto de demandas de tráfico, cada una de las cuales está expresada en términos de un nodo de origen, un nodo de destino y una cantidad de slots. Dado que cada lightpath está determinado por una ruta y un canal, el RSA consiste en encontrar una ruta y asignar un intervalo de slots para cada demanda.
El survivable RSA with path protection es una variante de RSA, que corresponde a solicitar dos lightpaths para cada demanda: un camino titular y un camino de backup, y ambos deben respetar las restricciones de RSA. Este problema es NP-hard y ha recibido atención por parte de la comunidad especializada en los últimos años.
En este trabajo se proponen distintos modelos de programación lineal entera para este problema, y se estudia su performance en la práctica sobre topologías reales. Se presentan además heurísticas para optimizar los modelos, buscando acelerar la obtención de soluciones factibles iniciales. Notando que el problema se puede descomponer en una fase de ruteo y una fase de asignación, se estudian esquemas de descomposición basados en la descomposición combinatoria de Benders para obtener soluciones a estos modelos mucho más rápidamente.

Defensa Tesis Licenciatura Juan Cruz Basso
2024-09-11 16:00 - 17:00 | Sala 1604
Título: Automatizando tests en Go con EvoMaster
Director: Juan P. Galeotti
Jurados: Diego Garbervetsky, Hernán Melgratti
Resumen:
En este trabajo se introduce un nuevo Driver de EvoMaster, una herramienta open source para generación automática de testeos impulsada por un algoritmo evolutivo, para aplicaciones web REST implementadas en el lenguaje de programación Go. Esta herramienta cuenta con dos componentes principales: un Core, encargado de llevar a cabo el algoritmo de búsqueda denominado MIO que aplica heurísticas para la optimización de testeos maximizando
la cobertura de líneas y branches sobre el código de la aplicación a testear; y un Driver o controlador, encargado de alimentar al Core con las métricas necesarias para la evolución del algoritmo. Se describe el diseño e implementación de un controlador exclusivo para Go encargado de la comunicación con el Core bajo un protocolo ya establecido y la instrumentación de código mediante la aplicación de transformaciones sobre el árbol AST del código fuente original y la inyección del mismo al binario final en compilación.
Además, como parte de este trabajo se extiende el core para soportar la escritura de los tests en lenguaje Go y se provee un paquete de Go para la distribución y testeo del nuevo controlador. Por último, se reportan y analizan métricas de cobertura de líneas obtenidas a partir de tests generados automáticamente para casos de prueba diferentes, tanto artificiales y como originales de terceros, disponibles públicamente en GitHub.

Defensa Tesis Licenciatura Luis Brassara
2024-09-18 16:30 - 17:30 | https://zoom.us/my/dc.aula03
Título: Distancia SQL avanzada para generación de casos de test con EvoMaster
Director: Juan P. Galeotti
Jurados: Javier Altauz, Sergio D’Arrigo

Link Aula Zoom: https://zoom.us/my/dc.aula03
Nombre Aula Zoom: dc.aula03
Clave del Aula Zoom: D.Knuth

Resumen:
EvoMaster [7] es una herramienta de generación automática de casos de test para una API REST. Para que la suite generada consiga el mayor coverage posible, EvoMaster intenta generar tests que visiten todas las ramas de los condicionales. Esto lo consigue usando algoritmos evolutivos, cuya población de individuos serán test con llamadas REST y cuya función de fitness será lo que se conoce como branch distance [13]. Como algunas guardas de los condicionales no dependen solo de los parámetros REST sino también del estado de la base de datos, se extendió EvoMaster para tener en cuenta este comportamiento [1]. La heurística planteada en ese trabajo supone que algunas ramas de los condicionales no se visitan cuando la base de datos devuelve una query sin resultados. Luego, identifica esas queries y determina cuán lejos o cerca están de devolver algún resultado mediante la definición de una SQL distance. Esa definición de distancia es usada en la fitness function para guiar al algoritmo evolutivo hacia soluciones que visiten más ramas y en consecuencia ofrezcan mayor coverage. Actualmente, la implementación de la SQL distance cubre sólo un subconjunto de todas las posibles queries SQL ya que no tiene soporte para operadores que involucran subqueries tales como IN, EXISTS, SOME/ALL o UNION. Además, la SQL distance actual no da ningún gradiente intermedio cuando la cláusula FROM no trae resultados. El objetivo de la tesis será entonces definir, implementar y probar una extensión de la SQL distancia actual, que llamaremos distancia SQL avanzada, de manera que cubra esos nuevos casos y funcionalidades.

Defensa Tesis Licenciatura Juan Pablo Lebón
2024-09-20 11:00 - 12:00 | Aula 1113
Título: Algoritmos basados en programación lineal entera para el Survivable Routing and Spectrum Assignment Problem
Director: Dr. Javier Marenco
Jurados: Dra. Isabel Méndez Díaz y Dra. Paula Zabala

Resumen:
Las redes de fibra óptica utilizan la luz, transportada por un cable, como un medio de comunicación entre dos nodos de la red. En respuesta al crecimiento sostenido del tráfico en este tipo de redes, en los últimos años se ha propuesto una nueva generación de redes de fibra óptica, llamada flexgrid elastic optical networks (EONs) con el objetivo de mejorar la eficiencia en el uso del espectro electromagnético y aumentar así la capacidad de las redes.
En las EONs, el espectro de frecuencias de una fibra óptica se divide en slots de frecuencias relativamente pequeños, cada uno con un ancho de banda fijo. Se puede utilizar cualquier secuencia de slots consecutivos para formar un canal, que a su vez puede ser ruteado por la red para crear lo que se conoce como un lightpath.
Dada la estructura de una red y un conjunto de demandas, el routing and spectrum assignment (RSA) problem consiste en establecer los lightpaths para un conjunto de demandas de tráfico, cada una de las cuales está expresada en términos de un nodo de origen, un nodo de destino y una cantidad de slots. Dado que cada lightpath está determinado por una ruta y un canal, el RSA consiste en encontrar una ruta y asignar un intervalo de slots para cada demanda.
El survivable RSA with path protection es una variante de RSA, que corresponde a solicitar dos lightpaths para cada demanda: un camino titular y un camino de backup, y ambos deben respetar las restricciones de RSA. Este problema es NP-hard y ha recibido atención por parte de la comunidad especializada en los últimos años.
En este trabajo se proponen distintos modelos de programación lineal entera para este problema, y se estudia su performance en la práctica sobre topologías reales. Se presentan además heurísticas para optimizar los modelos, buscando acelerar la obtención de soluciones factibles iniciales. Notando que el problema se puede descomponer en una fase de ruteo y una fase de asignación, se estudian esquemas de descomposición basados en la descomposición combinatoria de Benders para obtener soluciones a estos modelos mucho más rápidamente.

Defensa Tesis Licenciatura Macarena Piaggio
2024-09-20 14:00 - 15:00 | Sala 1604
Título: Matchbox: un modelo bayesiano de recomendaciones
Directores: Gustavo Landfried y Esteban Mocskos
Jurados: Inés Caridi y Gastón Bujía.
Resumen:
Los sistemas de recomendación son modelos probabilísticos que ordenan un conjunto de acciones en función de su impacto sobre un determinado objetivo. Para ello es necesario hacer inferencia sobre las variables ocultas del modelo. Una de las clases de modelos de recomendación de ítems están basados en la descomposición en valores singulares de la matriz de puntajes que los usuarios asignan a los ítems. Sin embargo, en este caso la inferencia no puede realizarse de forma exacta. En el año 2009 Microsoft desarrolló una aproximación eficiente para realizar inferencia en sistema de recomendación por factorización de matrices mediante pasaje de mensajes entre los nodos de la red bayesiana (variables y funciones), garantizando que la distribución conjunta aproximada (q) minimice la divergencia Kullback-Leibler respecto a la solución por inferencia exacta (p). En este trabajo: documentamos de forma completa la matemática del algoritmo desarrollado por Microsoft; realizamos nuestra propia implementación del algoritmo de inferencia por pasaje de mensajes; y evaluamos nuestra implementación respecto de la versión oficial de Microsoft y de otros modelos de aprendizaje automático de propósito general.

Defensa Tesis Licenciatura Amalia Sorondo
2024-09-23 10:00 - 11:00 | Sala 2103
Título: Técnicas de programación lineal entera para el problema de coloreo de aristas de grafos cúbicos
Directores: Brian Curcio, Isabel Méndez Díaz y Paula Zabala
Jurados: Santiago Figueira y Federico Pousa
Resumen:
En este trabajo de tesis se estudia en detalle un esquema de programación lineal entera para resolver el problema del coloreo propio de aristas de grafos 3-regulares. La técnica fue introducida por G. L. Nemhauser y S. Park, y consiste en una estrategia de generación de columnas integrada a un algoritmo de planos de corte. Se implementa el esquema presentado por los autores, proponiendo variaciones propias a la técnica. Luego, se generan conjuntos de instancias con los cuales se lleva a cabo una experimentación con el objetivo de evaluar el desempeño del método. De esta forma, se obtiene la combinación óptima de sus parámetros y estrategias para luego compararla con otras formulaciones del problema existentes en la literatura. Por último, se presentan resultados y observaciones sobre extensiones teóricas y prácticas del esquema propuesto.

Defensa Tesis Doctorado Pablo Terlisky
2024-10-01 14:00 - 16:00 | Sala 1604
Título: Representación numérica de modelos arco-circulares propios
Director: Dr. Francisco Soulignac
Jurados: Dr. Luerbio Faria, Dra. Ana Ferreira Da Silva, Dr. Luciano Grippo
Link al evento: https://youtube.com/live/H4bl664rR_I?feature=share
Resumen: Un modelo arco-circular propio (PCA) es un par M=(C,A) donde
C es un círculo con un punto 0 y A es un conjunto de arcos de C donde
ningún arco contiene a otro. El modelo M es equivalente a otro modelo
PCA M’ cuando los extremos de los arcos de M aparecen en el mismo
orden que aquellos de los arcos de M’ si se recorren sus círculos en
sentido horario desde el 0. Si todos los arcos de M tienen longitud l
y sus extremos están a distancia al menos 1, entonces M es un modelo
(|C|,l)-CA. El problema de representación unitaria (Rep) pregunta si
existe un modelo (c,l)-CA equivalente a un modelo PCA M dado, para
algún c y l.
En esta Tesis abordamos Rep modelando cada instancia como un sistema
de inecuaciones lineales R que tiene un digrafo toroidal S asociado.
Así, derivamos un algoritmo certificante para resolver Rep más simple
que los conocidos en la literatura. Además, analizando la
representación toroidal de S, demostramos que los vértices de la
región factible de R son enteros. Este resultado implica la
tratabilidad computacional del problema de representación minimal
(MinUCA), donde buscamos un modelo (c,l)-CA equivalente a un modelo de
entrada M que minimice c y l. Diseñamos un algoritmo que resuelve
MinUCA en tiempo O(n^3) y espacio O(n^2).
Más allá de MinUCA, definimos el problema de representación mínima
(IsoMinUCA), donde, dado un modelo PCA M, buscamos un modelo (c,l)-CA
cuyo grafo de intersección sea isomorfo al de M, minimizando c y l.
Demostramos que IsoMinUCA está bien definido y que es NP-Completo.
Finalmente, estudiamos k-Mult, una generalización de Rep que consiste
en determinar si un modelo PCA M es k-multiplicativo. Intuitivamente,
tenemos que encontrar un modelo (c,l)-CA tal que al extender q veces
la longitud de sus arcos se obtenga un modelo de la q-ésima potencia
de M, para todo q <= k.

Defensa Tesis Licenciatura Matías Sandacz
2024-10-04 18:00 - 19:00 | Aula 1303
Título: Generación de locomoción para un robot hexápodo usando Aprendizaje Por Refuerzo Profundo.
Director: Dr. Pablo De Cristóforis.
Co-director: Lic. Nicolás Romero.
Jurados: Dr. Gustavo Landfried, Dr. Gastón Castro.
Resumen:
Los robots con patas articuladas se destacan por su capacidad para realizar tareas en entornos no estructurados, hostiles o incluso inaccesibles para otros robots terrestres con sistemas de locomoción basado en ruedas u orugas. Al mismo tiempo pueden transportar más carga y operar durante más tiempo que los vehículos aéreos no tripulados. Sus habilidades para realizar movimientos omnidireccionales y atravesar terrenos irregulares los convierten en una excelente opción para diversas aplicaciones, tales como: misiones de Búsqueda y Rescate Urbano (USAR por sus siglas en inglés) en situaciones de catástrofe, operar en ambientes subterráneos como minas e inclusive para la exploración extra planetaria. Sin embargo, es sabido que el control de movimiento de este tipo de robots es sumamente desafiante debido a la cantidad de grados de libertad involucrados. Por otro lado, el control clásico requiere conocer en detalle la física del robot lo cual agrega una dificultad extra y limita su portabilidad a otros sistemas.
En este trabajo adoptamos un enfoque alternativo a las estrategias de control tradicional, empleando Aprendizaje por Refuerzo Profundo (DRL del inglés Deep Reinforcement Learning). Presentamos un controlador para la locomoción para un robot hexápodo que se adapta a distintos tipos de terrenos. Durante el entrenamiento hacemos uso de un curriculum de terrenos, es decir, que a medida que el robot va experimentando, incrementamos progresivamente la dificultad, con terrenos cada vez más desafiantes. La hipótesis central de este trabajo es que, posteriormente a la etapa de aprendizaje, el robot
pueda adaptarse a terrenos no explorados durante su entrenamiento. Los experimentos realizados en simulación utilizando Gazebo muetras la factibilidad del enfoque propuesto. El sistema fue desarrollado bajo ROS (Robot Operating System) y se encuentra disponible para la comunidad en: https://github.com/lrse/hexapod-locomotion/

Defensa Tesis Licenciatura Daniel Salvia
2024-10-10 14:00 - 15:00 | Aula 1203
Título: Complejidad computacional en distintas formulaciones de ajedrez para un jugador
Director: Dr. Ariel Arbiser
Jurados: Dr. Javier Marenco, Dr. Francisco Soulignac
Resumen:
El objetivo de esta tesis es estudiar la complejidad computacional correspondiente al problema del ajedrez solitario, en que dada una posición el jugador sólo puede hacer jugadas de captura con el objetivo de dejar una sola pieza en el tablero. Demostramos que este problema pertenece a la clase de complejidad de los problemas NP-Completos. Mediante problemas de ciclos hamiltonianos en grafos no dirigidos, se investiga la NP-Completitud del juego restringiendo el conjunto de piezas a diferentes posibilidades utilizando peones, alfiles y torres. Para esto se presentan cuatro formas de generar las posiciones con diferentes propiedades como las piezas usadas o las maneras de representar las aristas del grafo. Se compara un método con otro para analizar ventajas de cada uno, tales como tamaño del tablero y cantidad de piezas necesarias. También se estudia la NP-Completitud de distintas variantes en que se modifican algunas reglas, así como los efectos de utilizar piezas del ajedrez antiguo. Se investiga asimismo la frontera P de este problema cuando se usa esencialmente un solo tipo de pieza.

Defensa Tesis Licenciatura Victor Deutsch
2024-10-15 09:00 - 10:00 | Youtube
Título: Concientización en ciberseguridad: su influencia en la reducción del riesgo para organizaciones e individuos
Director: Martín Urtasun
Jurados: Rodolfo Baader y Pablo Turjanski
Resumen:
El error humano es uno de los factores más frecuentes que aparece en el análisis forense
de los incidentes de ciberseguridad. Según un estudio conjunto del profesor Jeff Hancock de la
Universidad de Stanford y la empresa [1], un 88% de los incidentes de fugas de información en las empresas son provocados por errores de los empleados. Un informe de alcance similar de la firma de telecomunicaciones Verizon fija este indicador en un 82% [2]. Finalmente, un estudio global realizado por la compañía IBM, elaborado a partir de datos de miles de sus clientes en 130 países, concluyó que «el error humano fue una causa importante en el 95% de todos los incidentes» [3].
Basado en esta evidencia, el objetivo de este trabajo es determinar cuáles son las mejores
estrategias, técnicas y herramientas que las organizaciones pueden utilizar para reducir el número de errores humanos capaces de provocar incidentes de ciberseguridad. Estas mejores prácticas se organizan en forma estructurada en una metodología innovadora que denominaremos MECEC.
Palabras clave: concientización, ciberseguridad, error humano

Defensa Tesis Licenciatura Daniel Salvia
2024-10-21 10:00 - 11:00 | Aula 1207

Defensa Tesis Licenciatura Patricio Sagobal
2024-10-29 09:00 - 10:00 | Sala 1606
Título: Verificación de contratos en Algorand
Director: Diego Garbervetsky
Jurados: Javier Godoy, Esteban Mocskos

Resumen: La creciente adopción de tecnologías blockchain ha generado un interés significativo en la seguridad y confiabilidad de los contratos inteligentes. Algorand, una plataforma blockchain de código abierto, utiliza el lenguaje de script TEAL (Transaction Execution Approval Language) para escribir contratos inteligentes.
La verificación formal de estos contratos es esencial para garantizar su correctitud y prevenir vulnerabilidades. La presente tesis tiene como objetivo desarrollar un enfoque de verificación de TEAL utilizando un acercamiento de traducción a un lenguaje intermedio llamado Boogie, que ha sido utilizado exitosamente para la traducción de varios lenguajes.
El enfoque aplicado se basa en traducir de TEAL a Boogie y la de utilizar la herramienta Corral como verificador, idea similar utilizada en VeriSol para la verificación de contratos inteligentes en Ethereum. Al traducir TEAL a Boogie se podrá utilizar Corral para realizar la verificación formal del código resultante.

Defensa Tesis Licenciatura Miguel Fainstein
2024-10-29 14:00 - 15:00 | Aula a confirmar
Título: Campos diferenciables de distancias sin signo para representaciones implícitas neuronales
Director: Dr. Emmanuel Iarussi
Co-director: Dr. Diego Fernandez Slezak
Jurados: Dra. Maria Elena Buemi y Dr. Rodrigo Castro
Resumen:
En los últimos años, ha crecido el interés por el entrenamiento de redes neuronales para aproximar campos de distancia sin signo (UDF) con el fin de representar superficies abiertas en el contexto de la reconstrucción 3D. Sin embargo, los UDFs no son diferenciables en la isosuperficie de nivel cero, lo que conduce a errores significativos en distancias y gradientes, dando lugar a superficies fragmentadas y discontinuas. En este trabajo, proponemos aprender un escalado hiperbólico del campo de distancias sin signo, que define un nuevo problema de Eikonal con condiciones de frontera distintas. Esto permite que nuestra formulación se integre perfectamente con las redes neuronales diferenciables más avanzadas, ampliamente aplicadas en la literatura para representar campos de distancia con signo.
Esta tesis no sólo aborda el desafío de la representación de superficies abiertas, sino que también demuestra una mejora significativa en la calidad de la reconstrucción y la eficiencia del entrenamiento. Además, la diferenciabilidad del campo abierto permite el cálculo preciso de propiedades topológicas esenciales como las direcciones normales y las curvaturas, omnipresentes en tareas de post-procesamiento como el renderizado. Mediante una serie de experimentos exhaustivos, validamos el método en varios conjuntos de datos y frente al estado del arte en el área. Los resultados muestran una mayor precisión y un aumento de la eficiencia de cómputo de hasta un orden de magnitud en comparación con los métodos anteriores.

Defensa Tesis Licenciatura Maximiliano Joel Cabezon Alvarez
2024-11-04 19:00 - 20:00 | Aula 1114
Título: Implementación de Refactorings move y extract usando LiveTyping
Director: Hernán Wilkinson
Jurados: Agustín Martinez, Edgardo Zoppi
Resumen:
El uso de refactorings automatizados es fundamental para el mantenimiento de sistemas. Su aplicación y uso permite que el diseño de los mismos no se degrade con el tiempo, ya que aseguran el mismo resultado de ejecución luego de ser aplicados.
La implementación y uso de refactorings automatizados en lenguajes dinámicamente tipados representan un desafío interesante al buscar el contexto de aplicación, es por eso que LiveTyping juega un rol especial al proveer información de tipos.
Este trabajo muestra la implementación de tres refactorings automatizados: Move Instance Variable, Move Method y Extract Class para los entornos de programación Cuis-Smalltalk y Cuis-University. Los mismos fueron desarrollados de manera iterativa e incremental usando la técnica de TDD. Se muestra también el impacto de LiveTyping en las mejoras a los refactorings mencionados.

Defensa Tesis Licenciatura León Herrera
2024-11-15 14:00 - 15:00 | Aula 1302
Título: Actualización integral de un manipulador robótico Scorbot ER-VII basada en Arduino y ROS
Director: Dr. Pablo De Cristóforis
Jurados: Dr. Christian Cossio Mercado, Dr. Ezequiel Pecker Marcosig
La tesis será transmitida en vivo en el canal de YouTube:
https://www.youtube.com/live/5UKKEESjMm4
Resumen:
Los manipuladores robóticos Scorbot fueron lanzados al mercado durante la década ’90 por la empresa Eshed Robotec. Estos robots fueron adquiridos en la Argentina por varias universidades nacionales para tareas de docencia e investigación. Hoy en día tanto el hardware como el software de control de estos manipuladores se encuentran obsoletos, y distan mucho respecto de las prestaciones que ofrecen los sistemas actuales. Sin embargo, las partes mecánicas y electromecánicas siguen funcionando correctamente en la mayoría de los casos. Por lo tanto, tiene sentido proponer la re-ingeniería de estos robots para volver a ponerlos operativos a bajo costo. En este trabajo presentamos el conjunto de acciones llevadas a cabo en el manipulador robótico Scorbot ER-VII del Departamento de Computación para reemplazar tanto el hardware como el software de fábrica del mismo. Esta actualización integral está basada en microcontroladores Arduino y ROS (Robot Operating System). Como parte de este trabajo se presenta un modelo cinemático para el control del brazo y un modelo en formato URDF obtenido a partir de Xacro que permiten la visualización del estado del robot en Rviz y la simulación en Gazebo. El código del proyecto fue publicado en https://github.com/lrse/scorbot-vii para beneficio de la comunidad científica y universitaria.

Defensa Tesis Licenciatura Gonzalo Raposo
2024-11-28 14:00 - 15:00 | Aula 1115
Título: Optimización de la selección de horneado de discos de zirconia para la manufactura de piezas dentales
Directores: Dr Pablo Factorovich y Dr Brian Curcio
Jurado: Dra Isabel Méndez Diaz y Dra Paula Zabala
Resumen:
La manufactura de discos de zirconia involucra un proceso de calentamiento y enfriado que dura entre 3 y 5 días hábiles. La cantidad de hornos disponibles en una fábrica estándar, y consecuentemente la capacidad para hornear/producir discos, puede ser considerablemente menor que la cantidad de discos necesarios para suplir la demanda de órdenes de compra si no se la gestiona adecuadamente. En esta tesis estudiamos el uso de una metaheurística como solución a la toma de decisión: qué discos deberían ser seleccionados para el siguiente horneado.

Defensa Tesis Licenciatura Valentín Paz Marcolla
2024-11-29 14:30 - 15:30 | Sala 1606
Título: DEVS Copilot: cooperación humano-IA para la generación de modelos de simulación

Director: Dr. Rodrigo Castro (DC-ICC)

Co Director: Lic. Tobías Carreira Munich (DC-ICC)

Jurado:
– Dr. Esteban Lanzarotti (DC-ICC)
– Ing. Lautaro Estienne (ICC Exactas-UBA y FIUBA)

Resumen del trabajo:
En esta tesis exploramos hasta qué punto la IA generativa, en forma de grandes modelos de lenguaje (LLM) como GPT-4, LLaMA 3 y Mixtral, puede ayudar a obtener un modelo de simulación ejecutable correcto.
El punto de partida es una descripción de alto nivel de un sistema expresada en lenguaje natural, que evoluciona a través de un proceso conversacional basado en interacciones con un/a modelista.
Presentamos una metodología y una herramienta inspiradas en la metáfora del copiloto, una estrategia de trabajo en equipo entre humanos e IA bien conocida por su éxito en tareas de programación.
Adoptamos el formalismo de modelado y simulación Discrete Event System Specification (DEVS), un candidato adecuado ya que permite especificar modelos de propósito general de forma modular, jerárquica, sencilla y rigurosa.
El resultado es DEVS Copilot, un prototipo basado en IA cuyo desempeño caracterizamos sistemáticamente al aplicarlo en la construcción de distintos ejemplos: sistemas de control de luces con complejidad creciente, un cluster de còmputo simple con balanceo de carga y el modelo de autómata celular tipo Juego de la VIda de Conway. En todos los casos DEVS Copilot logró producir simulaciones DEVS correctas.
Finalmente, se identificaron los mejores parámetros de ejecución (e.g. temperatura), proponiendo una metodología extrapolable para comparación de resultados, y se compararon los efectos de adoptar GPT-4, LLaMA 3 y Mixtral como LLMs soporte de la herramienta.

Defensa Tesis Licenciatura Juan Manuel Baldonado
2024-12-03 09:30 - 10:00 | Sala 1604
Título: Análisis semántico de performance para auto-formalizaciones generadas por LLMs
Director: Víctor Braberman
Co-directora: Flavia Bonomo
Jurados: Sergio Abriola, Sebastián Uchitel
Resumen:
En los últimos años, los LLMs (Large Language Models) han experimentado un enorme crecimiento en popularidad, en parte debido a su versatilidad para abordar una gran variedad de tareas “downstream” sin necesidad de reentrenamiento. Esto se logra con el uso de distintas técnicas de «prompt engineering», que permiten condicionar las respuestas del modelo en función de la tarea que se desea resolver. Consecuentemente, se ha iniciado una revolución en términos de desarrollo de un tipo de software (el «promptware») que utiliza LLMs para resolver las más variadas funcionalidades. Sin embargo y a pesar de los constantes avances, desarrollar software basado en interactuar con LLMs carece de teoría y métodos que soporten enfoques disciplinados. De hecho, un área con carencias significativas es la evaluación (y mejora) de performance de un LLM para una tarea dada. Muchas veces no se tiene en cuenta la naturaleza estocástica del proceso generativo subyacente y la competencia de formas superficiales en las que se pueden presentar los resultados a una pregunta.
En este trabajo analizamos la distribución de las respuestas generadas por LLMs en función de su contenido semántico. Estudiamos la performance de una tarea desde la perspectiva de la propiedades de la distribución “clusterizada” resultante, el vínculo con los resultados esperados y los tipos de errores de alineamiento. Usamos esas observaciones para ejemplificar mecanismos más disciplinados de mejoras basadas en la descomposición de tareas.
Nos centramos en la tarea de auto-formalización, que consiste en generar una representación formal de una descripción en lenguaje natural. En particular, el problema a analizar será el de generar especificaciones de programas a partir de su documentación.

Defensa Tesis Licenciatura Simón Lew Deveali
2024-12-03 19:00 - 20:00 | Aula 1102
Título: Clausura conmutativa de lenguajes regulares
Directora: Verónica Becher
Codirector: Ignacio Mollo Cunningham
Jurados: Sergio Abriola y Víctor Braberman
Resumen: Consideremos un alfabeto finito. Dos palabras comparten su imagen conmutativa cuando una es permutación de los símbolos de la otra. La clausura conmutativa de un lenguaje S es el conjunto c(S) de palabras cuya imagen conmutativa es la de alguna palabra de S. Damos un algoritmo que, dado un lenguaje regular S, produce el autómata finito que acepta la clausura conmutativa c(S), siempre que ésta sea regular.

Charla "Teoría de la Prueba para Lógicas Modales con Datos“
2024-12-05 14:00 - 15:00 | Sala 1604
Están todos invitados a la charla de Danae Dutto.
«Teoría de la Prueba para Lógicas Modales con Datos“.
Jueves 5 de diciembre a las 14 hs, Sala 1604.
Resumen: Los lenguajes modales con datos han ganado una significativa atención en tiempos recientes.
Este interés proviene del estudio formal de lenguajes de bases de datos orientados, como DataGL, XPath y GQL. Estos lenguajes, ademas de expresar caracteristicas topológicas tienen la capacidad de expresar propiedades relacionadas con datos. HXPathD es un lenguaje modal híbrido que formaliza el fragmento navegacional de XPath enriquecido con nominales, operador de satisfacción @ y comparación de datos por igualdad y desigualdad.
Resultados de completitud para axiomatizaciones de HXPathD, así como también para extensiones que caracterizan diversas clases de modelos, han sido presentados en trabajos anteriores. En esta charla, además de esos resultados, se hablará sobre los primeros avances hacia una teoría de la prueba para HXPathD y, más en general, para lógicas modales con datos.
Concretamente, se presentará un cálculo de secuentes al estilo Gentzen para HXPathD el cual es correcto, completo y cut-free.
Danae Dutto está haciendo el Doctorado en Ciencias de la Computación en FaMAF, Universidad Nacional de Córdoba, y está de visita en el DC.

Defensa Tesis Doctorado Federico Albanese
2024-12-10 09:00 - 11:00 | Sala 1606
Título: Aprendizaje Automático y Procesamiento del Lenguaje Natural en la Comunicación Política Online y las Redes Sociales.
Director: Esteban Feuerstein
Codirector: Leandro Lombardi
Consejero de estudios: Matías López y Rosenfeld
Jurados:
Dr. Ernesto Calvo (Prof., Univ. de Maryland, EE. UU)
Dra. María V. Martínez Posse (Inv. Tit., IIA-CSIC, España)
Dra. María T. Martin Valdivia (Prof., Univ. de Jaén, España)
Resumen:
Esta tesis doctoral explora las dinámicas de interacción en redes sociales y el impacto de los medios de comunicación en la formación de opiniones políticas, utilizando técnicas de machine learning, deep learning, análisis de grafos y procesamiento del lenguaje natural. A partir de datos masivos de las plataformas Twitter, Facebook, Instagram y Reddit, se analizan fenómenos como la polarización política, las cámaras de eco y la confirmación de sesgos. Además, se propone una metodología innovadora para detectar tópicos en textos cortos, superando las técnicas tradicionales en eficiencia y utilidad en sistemas de recomendación.
Los resultados revelan una relación causal entre la cobertura mediática de ciertos temas y las fluctuaciones en las encuestas de opinión pública, especialmente en contextos electorales. En términos del comportamiento de los usuarios, observamos diferencias significativas en cómo se reciben los mensajes de los políticos dependiendo de la plataforma, y cómo los usuarios cambian de comunidades políticas y de ideología cuando son ignorados dentro de una comunidad online.
La presente tesis también analiza cómo la difusión de noticias con distintos sesgos políticos en comunidades cerradas refuerza la confirmación de sesgos, limita el debate de ideas diferentes y favorece la propagación de información falsa. Finalmente, se realiza un análisis adversarial de los sistemas de recomendación en redes sociales que utilizan Graph Neural Networks, destacando cómo algoritmos maliciosos pueden manipular contenido en contextos políticos. Este estudio no solo busca ofrecer una visión clara de las interacciones en redes sociales y el impacto de los medios de comunicación en el debate político, sino que también sugiere enfoques para un análisis más efectivo y ético en la era digital.

Defensa Tesis Licenciatura Emanuel Ruzak
2024-12-11 10:00 - 11:00 | Aula 1102
Titulo: Explorando las dinámicas de AI Safety via Debate
Director: Sergio Abriola
Jurados: Esteban Lanzarotti, Victor Braberman
Resumen:
El desarrollo de sistemas de inteligencia artificial (IA) capaces de comprender y ejecutar tareas complejas requiere que estos sistemas aprendan objetivos y preferencias humanas sofisticadas que no sabemos especificar formalmente. Además, fenómenos como reward hacking o malgeneralización son el resultado esperable de los métodos de entrenamiento actuales, incluso ante la presencia de buenas especificaciones.
El debate, como se propone en el artículo AI safety via debate, es una técnica prometedora de alineamiento que intenta entrenar sistemas de IA honestos, haciendo que produzcan argumentos a través de un juego de suma cero donde dos agentes argumentan sobre una pregunta o acción propuesta, y un juez humano evalúa la veracidad y utilidad de la información proporcionada.
Este trabajo se centra en explorar empíricamente las dinámicas argumentativas entre agentes de IA y un juez (también implementado como otro sistema de IA). Para esto se llevaron a cabo experimentos donde se analiza la factibilidad de que agentes débiles den señales de supervisión para el entrenamiento de agentes más fuertes utilizando el método del debate.
En uno de los experimentos se utilizó un clasificador de imágenes, en el que dos agentes, modelados utilizando MCTS (Monte-Carlo Tree Search), seleccionaron píxeles en cada turno con el objetivo de obtener una clasificación como número impar o par respectivamente. En otro experimento se utilizaron modelos de lenguaje grandes (LLMs) donde el debate consistió en que dos agentes proporcionen argumentos en turnos utilizando pasajes de texto. Un agente intenta convencer al juez, que consiste en otro LLM, de una respuesta correcta y el otro de una respuesta incorrecta a una pregunta de opción múltiple, utilizando una versión modificada del dataset QuALITY.

Defensa Tesis Licenciatura Patricio Damian Bruno
2024-12-11 11:00 - 12:00 | Sala 1604
Título: Certificación de Teleportación Cuántica en Escenarios con Ruido: Desarrollo de una Herramienta de Qiskit para Estimar la Distancia Media de Teleportación en Simuladores y Computadoras Cuánticas
Director: Gustavo Martin Bosyk
Co-Director: Guido Bellomo
Jurados: Laura Knoll y Sanitago Cifuentes
Resumen: La teleportación cuántica es un protocolo fundamental en la computación cuántica, el cual permite la transferencia de estados cuánticos entre sistemas distantes. En condiciones ideales, el estado transferido permanece inalterado, pero en aplicaciones prácticas, el ruido ambiental afecta el proceso, alterando el estado recibido. En este trabajo se estudia el desempeño de la teleportación cuántica en escenarios con diferentes tipos y niveles de ruido. Se evalúan la certificación cuántica y el rendimiento del protocolo mediante distintas métricas. Asimismo, se presenta una herramienta basada en Qiskit para estimar experimentalmente la distancia media de teleportación en entornos ruidosos. Los resultados obtenidos en simuladores y computadoras cuánticas reales confirman su correcto funcionamiento.

Defensa Tesis Licenciatura Ayelén Dinkel
2024-12-11 14:30 - 15:30 | Aula 1301
Título: Thinness condicionada a órdenes canónicos de ciertas clases de grafos
Directora: Flavia Bonomo
Co-director: Eric Brandwein
Jurados: Pablo Terlisky, Esteban Lanzarotti
Resumen:
La teoría estructural de grafos consiste en la caracterización de distintas clases de grafos por medio de subgrafos inducidos prohibidos, propiedades de descomposición o de orden de vértices, patrones prohibidos, comportamiento de ciertos parámetros, como por ejemplo los parámetros de ancho.
Ese tipo de caracterizaciones o propiedades son las que habitualmente se utilizan para el desarrollo de algoritmos eficientes dentro de la clase para problemas de optimización combinatoria que son NP-completos.
En este trabajo nos enfocamos en la caracterización por patrones prohibidos de las clases de grafos definidas por su thinness, uno de los parámetros de ancho en grafos definidos en la literatura.
Caracterizamos por patrones prohibidos minimales a la clase de grafos co-bipartitos con thinness condicionada a lo sumo 2.
También mostramos propiedades que cumple esta familia de grafos cuando conocemos un orden y partición consistentes en dos clases.

Defensa Tesis Licenciatura Belén Páez y Facundo Totaro
2024-12-12 13:00 - 14:00 | Aula 1115
Título Páez: Contextualización de palabras ambiguas: comparación del comportamiento humano y de redes basadas en transformers
Título Totaro: Contextualización de palabras ambiguas en modelos de lenguaje: generación de significados
Director: Bruno Bianchi
Co-Director: Juan Kamienkowski
Jurados: Francisco Valentini, Laura Alonso Alemany
Resumen Conjunto:
Los modelos de lenguaje del estado del arte, basados en transformers, son capaces de interpretar texto de forma muy similar al humano. En estos modelos las palabras son representadas como vectores, llamados embeddings. Previo a ser procesadas por el modelo de lenguaje, estos vectores tienen una representación estática y descontextualizada. Al ser procesados por el modelo, las componentes del vector cambian, siendo afectadas por el contexto en el que se encuentran. Es decir se contextualizan. Este proceso, que ocurre sucesivamente en cada capa de los modelos, resulta particularmente interesante para el estudio de la desambiguación semántica. En esta tesis se estudió el sesgo semántico en estos modelos y su similitud con los humanos. Este tipo de sesgo es aquel que está relacionado con qué interpretación se tiene de una palabra ambigua bajo un contexto en el cual no es claro el significado de la misma. Utilicemos como ejemplo la oración “Él estaba parado al lado del banco”. Una posible interpretación que se le puede dar a la palabra banco es la del mobiliario que se puede encontrar en una plaza para sentarse. Otra es la entidad bancaria. Si ahora sumamos la oración “Estaba por ingresar a retirar dinero cuando de repente escuchó un ruido fuerte. Él estaba parado al lado del banco.”. Al procesar esta oración se esperaría observar que el embedding de la palabra banco se encuentre más cerca de palabras relacionadas a un contexto financiero que a palabras relacionadas a un mueble. La presente tesis surge como continuación de un trabajo preliminar realizado en el grupo de trabajo. En el mismo se estudió la relación entre el sesgo semántico en humanos y en GPT-2. En dicho trabajo se llegó a la conclusión de que para analizar con precisión el sesgo semántico a nivel de los embeddings de un modelo de lenguaje es necesario definir el significado de cada una de las palabras ambiguas utilizadas en base a listas de palabras relacionadas, en lugar de utilizar solo una palabra. Por otro lado, también se propuso analizar el sesgo semántico a nivel de cada una de las capas del modelo. Los resultados de la presente tesis muestran una mejoría en la medición del sesgo semántico generado en los modelos de lenguaje al utilizar los significados definidos con las listas de palabras, en relación a los significados usados en el trabajo preliminar. Además, al comparar la similitud del sesgo computacional en cada capa de GPT-2 con el sesgo generado en humanos, vemos que las capas intermedias guardan una mejor relación con el comportamiento humano.
