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:20240531T110000
DTEND;TZID=America/Sao_Paulo:20240531T120000
DTSTAMP:20260403T200748
CREATED:20240527T124316Z
LAST-MODIFIED:20240527T124316Z
UID:9133-1717153200-1717156800@www.dc.uba.ar
SUMMARY:Defenda Tesis Licenciatura Julian Braier
DESCRIPTION:Título: Reducción de Simetrías para la versión modular de Non-blocking\nDirector: Sebastián Uchitel\nJurados: Victor Braberman y Hernán Gagliardi \nResumen:\nEn 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 representada con varios autómatas\, y se quiere resolver el problema de control en la composición paralela de estos. En la composición\, se genera una explosión exponencial de la cantidad de estados. Observamos que\, en algunas especificaciones\, hay autómatas que son isomorfos entre sí\, lo cual puede causar que la planta compuesta presente simetrías. Se decide explorar si hay alguna posibilidad de mejora\, sacando provecho de estas simetrías para atenuar la explosión de estados. Siguiendo este enfoque\, se propone e implementa un nuevo algoritmo. En los casos en los que estas simetrías se presentan\, este logra una mejor performance que los algoritmos preexistentes.
URL:https://www.dc.uba.ar/event/defenda-tesis-licenciatura-julian-braier/
LOCATION:Aula 1206
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240607T100000
DTEND;TZID=America/Sao_Paulo:20240607T120000
DTSTAMP:20260403T200748
CREATED:20240604T153213Z
LAST-MODIFIED:20240604T153213Z
UID:9157-1717754400-1717761600@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Mauro Lucci
DESCRIPTION:Título: Métodos para el problema de ruteo de vehículos y planificación de tripulaciones simultáneos\nDirectores: Daniel Severín y Paula Zabala\nJurados: Dra. Gabriela Corsano\, Dr. Celso Ribeiro\, Dr. Andrés Weintraub\n\nLink al evento: https://youtube.com/live/SO-pd8s0AKw?feature=share\n\n\n\nResumen: En las últimas décadas\, los problemas de ruteo de vehículos y de asignación de tripulaciones han sido ampliamente estudiados por separado. Recientemente\, ha habido un creciente interés por combinarlos en un único problema simultáneo\, abandonando la simplificación de que una misma tripulación debía ejecutar la totalidad de una ruta sin posibilidad de ser relevada. El resultado es un problema difícil desde la optimización combinatoria\, que involucra complejas restricciones operativas\, laborales y de sincronización. En esta tesis se estudian métodos para la resolución heurística y exacta de este problema\, siguiendo el caso de estudio de una empresa real que debe cumplir con pedidos de recolección y entrega de mercadería con ventanas de tiempo en larga distancia\, minimizando distancias recorridas y demoras en las entregas. Por un lado\, se analiza una descomposición secuencial en dos etapas\, realizando primero el ruteo de los vehículos y posteriormente la asignación de las tripulaciones sobre segmentos de rutas. Para cada etapa\, se desarrollan algoritmos basados en metaheurísticas híbridas. Por otro lado\, se proponen modelos de Programación Lineal Entera que resuelven el problema en una única etapa y se estudian familias de desigualdades válidas. Todos estos desarrollos se incorporan luego en un algoritmo de branch-and-cut.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-mauro-lucci/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240613T183000
DTEND;TZID=America/Sao_Paulo:20240613T193000
DTSTAMP:20260403T200748
CREATED:20240611T121550Z
LAST-MODIFIED:20240611T121550Z
UID:9162-1718303400-1718307000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Hernán Ghianni
DESCRIPTION:Título: «Generación de datos en bases Mongo para mejorar el testing automático»\nDirector: Dr. Juan P. Galeotti\nJurados: Lic. Javier Altauz. Lic. Sergio D’Arrigo \nResumen:\nEs 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 cuenta el estado de la base de datos para lograr una cobertura más amplia y descubrir nuevas fallas. En este trabajo\, se presentan técnicas para mejorar el testing de software basadas en búsqueda para microservicios que utilizan bases de datos MongoDB\, considerando su estado. Además\, se permite la inserción de datos directamente desde los tests. Esto resulta particularmente útil cuando es difícil o lleva mucho tiempo generar la secuencia correcta de eventos para poner la base de datos en el estado interesante para ser ejercitado. También es beneficioso cuando se trata de microservicios de «solo lectura». Esta técnica está implementada como una extensión de EvoMaster\, una herramienta de código abierto para generar tests automáticos para API REST. Los experimentos realizados en 5 APIs REST mostraron mejoras significativas en el cubrimiento de líneas de código (hasta +30 %).
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-hernan-ghianni/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240618T100000
DTEND;TZID=America/Sao_Paulo:20240618T110000
DTSTAMP:20260403T200748
CREATED:20240614T125943Z
LAST-MODIFIED:20240614T131330Z
UID:9167-1718704800-1718708400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Darío Reyes
DESCRIPTION:Título: Un algoritmo exacto para TDTSPD-D\, el problema del viajante de comercio con dron dependiente del tiempo\nDirector: Francisco Soulignac\nJurados: Isabel Méndez Díaz y Federico Pousa \nRESUMEN\nEl rápido crecimiento de las plataformas de e-commerce motiva a resolver eficientemente la etapa final de la logística\, conocida como\núltima milla. Estos problemas pueden modelarse como problemas de ruteo de vehículos (VRP) que consisten en atender de manera óptima un\nconjunto de clientes utilizando una flota de camiones. Una estrategia interesante para resolver este problema dentro de ciudades es\nconsiderar utilizar drones para distribuir paquetes\, dado que no están limitados a la red vial. En este trabajo proponemos un algoritmo\nexacto para el problema de viajante de comercio con dron dependiente del tiempo (TDTSP-D)\, una variante de VRP donde\, en vez de una flota\nde camiones contamos con un dron y un camión para atender a los clientes\, y donde el tiempo de viaje del camión en vez de ser una\nconstante\, es una función que depende del momento de partida.\nDescribimos dicho algoritmo\, que está basado en un branch-and-price para TSP-D\, y explicamos los cambios que fueron necesarios aplicar\npara poder lidiar con dependencia en el tiempo. Contamos diversas mejoras que realizamos sobre nuestro algoritmo inicial\, aprovechando\nlas particularidades del nuevo problema. Realizamos también una comparativa de la solución TDTSP-D contrastándola con la solución\nTSP-D\, notando qué propiedades dejan de valer y provocan que el problema se torne más complejo\, y midiendo el impacto que tiene la\ndependencia en el tiempo sobre la calidad de las soluciones y la cantidad de instancias que son capaces de resolver los algoritmos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-dario-reyes/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240715T140000
DTEND;TZID=America/Sao_Paulo:20240715T150000
DTSTAMP:20260403T200748
CREATED:20240712T130643Z
LAST-MODIFIED:20240712T130643Z
UID:9231-1721052000-1721055600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniel Wappner
DESCRIPTION:Título: Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica\nDirectores: Javier Godoy\, Diego Garbervetsky\nJurados: Dr. Ariel Waissbein\, Dr. Sebastián Uchitel\n\nResumen:\nLos smart contracts son programas inmutables que se despliegan en una blockchain. Dado que a menudo manejan activos de alto valor real\, su verificación y validación antes de desplegarlos es de gran importancia. Por esta razón\, es una práctica común contratar empresas de seguridad especializadas para auditar el código de los smart contracts. Sin embargo\, se han explotado numerosas vulnerabilidades en los últimos años provocando pérdidas a miles de personas. Las Enabledness Preserving Abstractions (EPAs)\, son máquinas de estado finitas que abstraen el comportamiento de artefactos de código\, basándose en predicados sobre la habilitación de los métodos disponibles. En general\, han resultado útiles como herramienta para la validación de código tanto contra especificaciones formales como contra modelos informales o “mentales” del comportamiento esperado. Presentamos un prototipo que genera EPAs de contratos inteligentes a partir de código fuente\, haciendo uso y extensión de una herramienta open source de ejecución simbólica dinámica: “Manticore”. Discutimos las optimizaciones implementadas y comparamos el prototipo desarrollado con otras estrategias alternativas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniel-wappner/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240723T160000
DTEND;TZID=America/Sao_Paulo:20240723T170000
DTSTAMP:20260403T200748
CREATED:20240716T125607Z
LAST-MODIFIED:20240716T125607Z
UID:9243-1721750400-1721754000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura  Mauro Schiavinato
DESCRIPTION:Título: Fragmentos de CPDL+ mediante propiedades de pathwidth\nDirector: Santiago Figueira\nCo-director: Edwin Pin\nJurados: Ricardo Rodríguez y Sergio Abriola \nResumen: 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 nueva lógica estudiamos una jerarquización del lenguaje basado en propiedades de pathwidth asociados a los grafos subyacentes de ciertas expresiones que este lenguaje posee. Esta jerarquización es comparable y análoga a la jerarquización de CPDL+ basada en propiedades de treewidth con la que se definió originalmente. \nEn un principio\, nuestro problema se basaba en hacer una comparación de expresividad de varios fragmentos de CPDL+\, pero varias propiedades relacionadas con teoría de modelos y juegos de simulación fueron surgiendo a medida que este estudio se fue desarrollando. Finalmente\, demostramos que el criterio de simulación estudiado para la jerarquía treewidth también sirve para pathwidth\, con algunas modificaciones semánticas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-mauro-schiavinato/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240802T090000
DTEND;TZID=America/Sao_Paulo:20240802T100000
DTSTAMP:20260403T200748
CREATED:20240729T145807Z
LAST-MODIFIED:20240729T145807Z
UID:9286-1722589200-1722592800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Jonathan Scherman
DESCRIPTION:Título: Inclusión léxica y sintáctica en modelos de etiquetado offline de transiciones de turno\nDirector: Pablo Brusco\nJurados: Pablo Turjanski\, Lautaro Estienne \nResumen\nEn 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. \nEn 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. \nPalabras claves: Manejo de Turnos\, Diálogo Hablado\, Inglés\, Español\, Aprendizaje Automático\, Redes Neuronales\, BERT\, Atributos Léxicos\, Atributos Sintácticos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-jonathan-scherman/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240802T110000
DTEND;TZID=America/Sao_Paulo:20240802T120000
DTSTAMP:20260403T200748
CREATED:20240731T122914Z
LAST-MODIFIED:20240731T122914Z
UID:9289-1722596400-1722600000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Darío Turco
DESCRIPTION:Título: Agregando información específica de dominio para escalar la síntesis de controladores de tipo GR(1)\nDirectores: Sebastián Uchitel\nJurados: Victor Braberman\, Florencia Zanollo \nResumen:\nEl á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).
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-dario-turco/
LOCATION:Aula 1114
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240809T150000
DTEND;TZID=America/Sao_Paulo:20240809T170000
DTSTAMP:20260403T200748
CREATED:20240805T125930Z
LAST-MODIFIED:20240805T125930Z
UID:9299-1723215600-1723222800@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Juan Manuel Ortiz de Zarate
DESCRIPTION:Título: Modelos para el análisis de la polarización a través de PLN.\nDirector: Esteban Feuerstein\nConsejero de estudios: Diego Fernandez Slezak\nJurados:\nDr. Carlos Diuk (Facebook INC).\nDr. Ana Gabriela Maguitman (Universidad Nacional del Sur).\nDr. Germán Rosatti (Universidad Nacional de San Martín). \nTransmisión: https://youtube.com/live/Hhcp9jP9c1o?feature=share \nResumen: \nLa 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. \nPor 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. \nLos 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. \nEn 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-juan-manuel-ortiz-de-zarate/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240816T120000
DTEND;TZID=America/Sao_Paulo:20240816T130000
DTSTAMP:20260403T200748
CREATED:20240813T130815Z
LAST-MODIFIED:20240813T130815Z
UID:9337-1723809600-1723813200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Victoria Zolezzi
DESCRIPTION:Título: Análisis de debates partidarios en redes sociales con Procesamiento de Lenguaje Natural\nDirector: Esteban Feuerstein\nCo-director: Federico Albanese\nJurados:\nDr. Pablo Balenzuela\nDra. Viviana Cotik \nResumen:\nEn 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. \nPalabras claves: detección de comunidades\, análisis de sentimiento\, inferencia causal\, toxicidad\, redes sociales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-victoria-zolezzi/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240905T170000
DTEND;TZID=America/Sao_Paulo:20240905T180000
DTSTAMP:20260403T200748
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:20260403T200748
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:20260403T200748
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:20260403T200748
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:20260403T200748
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:20260403T200748
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:20260403T200748
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
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241001T140000
DTEND;TZID=America/Sao_Paulo:20241001T160000
DTSTAMP:20260403T200748
CREATED:20240923T172823Z
LAST-MODIFIED:20240923T172823Z
UID:9437-1727791200-1727798400@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Pablo Terlisky
DESCRIPTION:Título: Representación numérica de modelos arco-circulares propios\nDirector: Dr. Francisco Soulignac\nJurados: Dr. Luerbio Faria\, Dra. Ana Ferreira Da Silva\, Dr. Luciano Grippo \nLink al evento: https://youtube.com/live/H4bl664rR_I?feature=share \nResumen: Un modelo arco-circular propio (PCA) es un par M=(C\,A) donde\nC es un círculo con un punto 0 y A es un conjunto de arcos de C donde\nningún arco contiene a otro. El modelo M es equivalente a otro modelo\nPCA M’ cuando los extremos de los arcos de M aparecen en el mismo\norden que aquellos de los arcos de M’ si se recorren sus círculos en\nsentido horario desde el 0. Si todos los arcos de M tienen longitud l\ny sus extremos están a distancia al menos 1\, entonces M es un modelo\n(|C|\,l)-CA. El problema de representación unitaria (Rep) pregunta si\nexiste un modelo (c\,l)-CA equivalente a un modelo PCA M dado\, para\nalgún c y l. \nEn esta Tesis abordamos Rep modelando cada instancia como un sistema\nde inecuaciones lineales R que tiene un digrafo toroidal S asociado.\nAsí\, derivamos un algoritmo certificante para resolver Rep más simple\nque los conocidos en la literatura. Además\, analizando la\nrepresentación toroidal de S\, demostramos que los vértices de la\nregión factible de R son enteros. Este resultado implica la\ntratabilidad computacional del problema de representación minimal\n(MinUCA)\, donde buscamos un modelo (c\,l)-CA equivalente a un modelo de\nentrada M que minimice c y l. Diseñamos un algoritmo que resuelve\nMinUCA en tiempo O(n^3) y espacio O(n^2). \nMás allá de MinUCA\, definimos el problema de representación mínima\n(IsoMinUCA)\, donde\, dado un modelo PCA M\, buscamos un modelo (c\,l)-CA\ncuyo grafo de intersección sea isomorfo al de M\, minimizando c y l.\nDemostramos que IsoMinUCA está bien definido y que es NP-Completo. \nFinalmente\, estudiamos k-Mult\, una generalización de Rep que consiste\nen determinar si un modelo PCA M es k-multiplicativo. Intuitivamente\,\ntenemos que encontrar un modelo (c\,l)-CA tal que al extender q veces\nla longitud de sus arcos se obtenga un modelo de la q-ésima potencia\nde M\, para todo q <= k.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-pablo-terlisky/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241004T180000
DTEND;TZID=America/Sao_Paulo:20241004T190000
DTSTAMP:20260403T200748
CREATED:20241004T123157Z
LAST-MODIFIED:20241004T123157Z
UID:9459-1728064800-1728068400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura  Matías Sandacz
DESCRIPTION:Título: Generación de locomoción para un robot hexápodo usando Aprendizaje Por Refuerzo Profundo.\nDirector: Dr. Pablo De Cristóforis.\nCo-director: Lic. Nicolás Romero.\nJurados: Dr. Gustavo Landfried\, Dr. Gastón Castro. \nResumen: \nLos 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. \nEn 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\npueda 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/
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-matias-sandacz/
LOCATION:Aula 1303
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241010T140000
DTEND;TZID=America/Sao_Paulo:20241010T150000
DTSTAMP:20260403T200748
CREATED:20241004T122728Z
LAST-MODIFIED:20241004T122728Z
UID:9457-1728568800-1728572400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniel Salvia
DESCRIPTION:Título: Complejidad computacional en distintas formulaciones de ajedrez para un jugador\nDirector: Dr. Ariel Arbiser\nJurados: Dr. Javier Marenco\, Dr. Francisco Soulignac \nResumen:\nEl 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.\n\n\n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniel-salvia/
LOCATION:Aula 1203
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241015T090000
DTEND;TZID=America/Sao_Paulo:20241015T100000
DTSTAMP:20260403T200748
CREATED:20241008T153211Z
LAST-MODIFIED:20241008T153211Z
UID:9464-1728982800-1728986400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Victor Deutsch
DESCRIPTION:Título: Concientización en ciberseguridad: su influencia en la reducción del riesgo para organizaciones e individuos\nDirector: Martín Urtasun\nJurados:  Rodolfo Baader y  Pablo Turjanski \nResumen: \nEl error humano es uno de los factores más frecuentes que aparece en el análisis forense\nde los incidentes de ciberseguridad. Según un estudio conjunto del profesor Jeff Hancock de la\nUniversidad 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]. \nBasado en esta evidencia\, el objetivo de este trabajo es determinar cuáles son las mejores\nestrategias\, 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. \nPalabras clave: concientización\, ciberseguridad\, error humano
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-victor-deutsch/
LOCATION:Youtube
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241021T100000
DTEND;TZID=America/Sao_Paulo:20241021T110000
DTSTAMP:20260403T200748
CREATED:20241018T141408Z
LAST-MODIFIED:20241018T141408Z
UID:9469-1729504800-1729508400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniel Salvia
DESCRIPTION:Título: Complejidad computacional en distintas formulaciones de ajedrez para un jugador\nDirector: Dr. Ariel Arbiser\nJurados: Dr. Javier Marenco\, Dr. Francisco Soulignac \nResumen:\nEl 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.\n\n\n\n\n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniel-salvia-2/
LOCATION:Aula 1207
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241029T090000
DTEND;TZID=America/Sao_Paulo:20241029T100000
DTSTAMP:20260403T200748
CREATED:20241023T133533Z
LAST-MODIFIED:20241023T133533Z
UID:9473-1730192400-1730196000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Patricio Sagobal
DESCRIPTION:Título: Verificación de contratos en Algorand\nDirector: Diego Garbervetsky\nJurados: Javier Godoy\, Esteban Mocskos\n\nResumen: 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.\nLa 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.\nEl 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-patricio-sagobal/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241029T140000
DTEND;TZID=America/Sao_Paulo:20241029T150000
DTSTAMP:20260403T200748
CREATED:20241023T163049Z
LAST-MODIFIED:20241023T163049Z
UID:9478-1730210400-1730214000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Miguel Fainstein
DESCRIPTION:Título: Campos diferenciables de distancias sin signo para representaciones implícitas neuronales\nDirector: Dr. Emmanuel Iarussi\nCo-director: Dr. Diego Fernandez Slezak\nJurados: Dra. Maria Elena Buemi y Dr. Rodrigo Castro \nResumen:\nEn 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. \nEsta 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-miguel-fainstein/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241104T190000
DTEND;TZID=America/Sao_Paulo:20241104T200000
DTSTAMP:20260403T200748
CREATED:20241029T133458Z
LAST-MODIFIED:20241031T130602Z
UID:9485-1730746800-1730750400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Maximiliano Joel Cabezon Alvarez
DESCRIPTION:Título: Implementación de Refactorings move y extract usando LiveTyping\nDirector: Hernán Wilkinson\nJurados: Agustín Martinez\, Edgardo Zoppi\nResumen:\nEl 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.\nLa 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.\nEste 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-maximiliano-joel-cabezon-alvarez/
LOCATION:Aula 1114
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241115T140000
DTEND;TZID=America/Sao_Paulo:20241115T150000
DTSTAMP:20260403T200748
CREATED:20241114T175646Z
LAST-MODIFIED:20241114T175646Z
UID:9512-1731679200-1731682800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura León Herrera
DESCRIPTION:Título: Actualización integral de un manipulador robótico Scorbot ER-VII basada en Arduino y ROS\nDirector: Dr. Pablo De Cristóforis\nJurados: Dr. Christian Cossio Mercado\, Dr. Ezequiel Pecker Marcosig \nLa tesis será transmitida en vivo en el canal de YouTube:\nhttps://www.youtube.com/live/5UKKEESjMm4 \nResumen: \nLos 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-leon-herrera/
LOCATION:Aula 1302
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241128T140000
DTEND;TZID=America/Sao_Paulo:20241128T150000
DTSTAMP:20260403T200748
CREATED:20241127T131937Z
LAST-MODIFIED:20241127T132016Z
UID:9556-1732802400-1732806000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Gonzalo Raposo
DESCRIPTION:Título: Optimización de la selección de horneado de discos de zirconia para la manufactura de piezas dentales\nDirectores: Dr Pablo Factorovich y Dr Brian Curcio\nJurado: Dra Isabel Méndez Diaz y Dra Paula Zabala \nResumen:\nLa 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-gonzalo-raposo/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241129T143000
DTEND;TZID=America/Sao_Paulo:20241129T153000
DTSTAMP:20260403T200748
CREATED:20241125T151413Z
LAST-MODIFIED:20241125T151413Z
UID:9538-1732890600-1732894200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Valentín Paz Marcolla
DESCRIPTION:Título: DEVS Copilot: cooperación humano-IA para la generación de modelos de simulación\n\n\n\n\nDirector: Dr. Rodrigo Castro (DC-ICC)\n\nCo Director: Lic. Tobías Carreira Munich (DC-ICC) \n\nJurado:\n– Dr. Esteban Lanzarotti (DC-ICC)\n– Ing. Lautaro Estienne (ICC Exactas-UBA y FIUBA)\n\n\n\nResumen del trabajo: \nEn 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.\nEl 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.\nPresentamos 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.\nAdoptamos 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.\nEl 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.\nFinalmente\, 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-valentin-paz-marcolla/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241203T093000
DTEND;TZID=America/Sao_Paulo:20241203T100000
DTSTAMP:20260403T200748
CREATED:20241126T141606Z
LAST-MODIFIED:20241126T141606Z
UID:9550-1733218200-1733220000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Manuel Baldonado
DESCRIPTION:Título: Análisis semántico de performance para auto-formalizaciones generadas por LLMs\nDirector: Víctor Braberman\nCo-directora: Flavia Bonomo\nJurados: Sergio Abriola\, Sebastián Uchitel \nResumen:\nEn 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.\nEn 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.\nNos 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-manuel-baldonado/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241203T190000
DTEND;TZID=America/Sao_Paulo:20241203T200000
DTSTAMP:20260403T200748
CREATED:20241126T135239Z
LAST-MODIFIED:20241127T124640Z
UID:9548-1733252400-1733256000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Simón Lew Deveali
DESCRIPTION:Título: Clausura conmutativa de lenguajes regulares\nDirectora: Verónica Becher\nCodirector: Ignacio Mollo Cunningham\nJurados: Sergio Abriola y Víctor Braberman \nResumen: 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-simon-lew-deveali/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR