BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240905T170000
DTEND;TZID=America/Sao_Paulo:20240905T180000
DTSTAMP:20260514T155521
CREATED:20240830T135708Z
LAST-MODIFIED:20240830T135708Z
UID:9364-1725555600-1725559200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Valeria Wodka
DESCRIPTION:Título: Collares perfectos anidados\nDirectora: Verónica Becher\nJurados: Sergio Abriola y Pablo Terlisky \nResumen: 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-valeria-wodka/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240911T080000
DTEND;TZID=America/Sao_Paulo:20240911T170000
DTSTAMP:20260514T155521
CREATED:20240911T150525Z
LAST-MODIFIED:20240911T150525Z
UID:9403-1726041600-1726074000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Pablo Lebón
DESCRIPTION:Título: Algoritmos basados en programación lineal entera para el Survivable Routing and Spectrum Assignment Problem \nDirector: Javier Marenco \nJurados: Dra. Isabel Méndez Díaz y Dra. Paula Zabala \nResumen: \nLas 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. \nEn 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. \nDada 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. \nEl 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. \nEn 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-pablo-lebon/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240911T160000
DTEND;TZID=America/Sao_Paulo:20240911T170000
DTSTAMP:20260514T155521
CREATED:20240909T143850Z
LAST-MODIFIED:20240909T143850Z
UID:9392-1726070400-1726074000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Cruz Basso
DESCRIPTION:Título: Automatizando tests en Go con EvoMaster\nDirector: Juan P. Galeotti\nJurados: Diego Garbervetsky\, Hernán Melgratti \nResumen:\nEn 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\nla 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.\nAdemá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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-cruz-basso/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240918T163000
DTEND;TZID=America/Sao_Paulo:20240918T173000
DTSTAMP:20260514T155521
CREATED:20240909T131058Z
LAST-MODIFIED:20240909T131058Z
UID:9388-1726677000-1726680600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Luis Brassara
DESCRIPTION:Título: Distancia SQL avanzada para generación de casos de test con EvoMaster\nDirector: Juan P. Galeotti\nJurados: Javier Altauz\, Sergio D’Arrigo\n\n\n\nLink Aula Zoom: https://zoom.us/my/dc.aula03\nNombre Aula Zoom: dc.aula03\nClave del Aula Zoom: D.Knuth\n\n\n\n\nResumen:\nEvoMaster [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.\n\n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-luis-brassara/
LOCATION:https://zoom.us/my/dc.aula03
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240920T110000
DTEND;TZID=America/Sao_Paulo:20240920T120000
DTSTAMP:20260514T155521
CREATED:20240918T150855Z
LAST-MODIFIED:20240918T150855Z
UID:9427-1726830000-1726833600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Pablo Lebón
DESCRIPTION:Título: Algoritmos basados en programación lineal entera para el Survivable Routing and Spectrum Assignment Problem \nDirector: Dr. Javier Marenco \nJurados: Dra. Isabel Méndez Díaz y Dra. Paula Zabala \n\nResumen: \nLas 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. \nEn 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. \nDada 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. \nEl 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. \nEn 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-pablo-lebon-2/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240920T140000
DTEND;TZID=America/Sao_Paulo:20240920T150000
DTSTAMP:20260514T155521
CREATED:20240912T182713Z
LAST-MODIFIED:20240912T182713Z
UID:9405-1726840800-1726844400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Macarena Piaggio
DESCRIPTION:Título: Matchbox: un modelo bayesiano de recomendaciones\nDirectores: Gustavo Landfried y Esteban Mocskos\nJurados: Inés Caridi y Gastón Bujía. \nResumen: \nLos 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-macarena-piaggio/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240923T100000
DTEND;TZID=America/Sao_Paulo:20240923T110000
DTSTAMP:20260514T155521
CREATED:20240920T124600Z
LAST-MODIFIED:20240920T124600Z
UID:9432-1727085600-1727089200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Amalia Sorondo
DESCRIPTION:Título: Técnicas de programación lineal entera para el problema de coloreo de aristas de grafos cúbicos \nDirectores: Brian Curcio\, Isabel Méndez Díaz y Paula Zabala \nJurados: Santiago Figueira y Federico Pousa \nResumen: \nEn 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-amalia-sorondo/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR