BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20240101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20251006T140000
DTEND;TZID=America/Sao_Paulo:20251006T150000
DTSTAMP:20260407T100118
CREATED:20251006T143458Z
LAST-MODIFIED:20251006T143458Z
UID:10207-1759759200-1759762800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Mateo Feldman
DESCRIPTION:Título: Búsqueda visual sobre imágenes naturales: incorporando ruido como modelado de la variabilidad humana.\nDirectores: Juan E Kamienkowski\, Gonzalo Ruarte\nJurados: Diego Shalom\, Rodrigo Laje \nResumen: La búsqueda visual es el mecanismo por el cual analizamos el entorno con un determinado objetivo. Este análisis se realiza de forma secuencial\, involucrando sacadas (saltos de posición durante los cuales no se incorpora información) y fijaciones (detenciones en las cuales se incorpora información de una región pequeña de la imagen). Es decir que la búsqueda visual es un proceso discreto tanto en el tiempo como en el espacio. Existen varios algoritmos y modelos computacionales que tratan de cumplir el mismo objetivo de la búsqueda visual\, simulando los procesos cognitivos que realizamos sobre imágenes naturales. Este trabajo tiene 2 objetivos: evaluar los diferentes modelos desarrollados durante estos últimos años\, e intentar incorporar ruido en los mismos con el objetivo de modelar la variabilidad que existe entre los humanos a la hora de emplear búsqueda visual. \nPalabras claves: Búsqueda visual\, Modelos computacionales\, Imágenes naturales\, Movimientos oculares\, Variabilidad
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-mateo-feldman/
LOCATION:Aula 1205
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20251015T093000
DTEND;TZID=America/Sao_Paulo:20251015T113000
DTSTAMP:20260407T100118
CREATED:20251013T131336Z
LAST-MODIFIED:20251013T131336Z
UID:10221-1760520600-1760527800@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Federico Bertero
DESCRIPTION:Título: Un estudio poliedral del routing and spectrum allocation problem\nDirector: Dr. Javier Marenco\nJurado: Dr. Cid de Souza (Mercado Libre\, Argentina y Brasil)\nDr. Enrico Malaguti (Universidad de Bologna\, Italia)\nDr. Juan José Salazar González (Universidad de la Laguna\, España) \nTransmisión en vivo: https://youtube.com/live/ORVcyv-XAfk?feature=share \nResumen: \nEl problema de ruteo y asignación de espectro (RSA) surge en el contexto de las redes de fibra óptica flexible y consiste en determinar rutas óptimas para un conjunto de demandas a través de una red\, mientras de manera simultánea se asigna un intervalo del espectro electromagnético a cada demanda\, sujeto a restricciones de no superposición. Como solución clave para gestionar el tráfico de datos a gran escala en dichas redes\, el RSA ha ganado atención significativa\, a pesar de ser un problema NP-difícil. Dado que la aplicación de técnicas de programación entera ha demostrado ser exitosa para varios problemas de optimización combinatoria\, el objetivo principal de esta tesis es utilizarlas en el contexto del RSA. Comenzamos presentando varios modelos de programación entera para el problema y analizamos su efectividad. Basándonos en los resultados\, definimos el politopo asociado a la formulación con mejor desempeño sobre instancias conocidas y presentamos un estudio poliedral del mismo\, incluyendo su dimensión y familias de desigualdades que definen facetas. Luego de este estudio y dada la complejidad del problema\, definimos una relajación de la formulación dada por un subconjunto de variables de la formulación original\, con el fin de identificar desigualdades válidas que puedan ser útiles dentro de un entorno de métodos de planos de corte. Presentamos propiedades básicas de esta formulación relajada\, identificamos varias familias de desigualdades que inducen facetas y mostramos que algunas de ellas pueden separarse en tiempo polinomial. Finalmente\, incluimos experimentos computacionales que ofrecen indicios sobre la contribución de estas desigualdades en la práctica.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-federico-bertero/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20251017T100000
DTEND;TZID=America/Sao_Paulo:20251017T110000
DTSTAMP:20260407T100118
CREATED:20251015T120334Z
LAST-MODIFIED:20251015T120334Z
UID:10235-1760695200-1760698800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Sebastián Felgueras
DESCRIPTION:Título: Mejoras al algoritmo composicional de síntesis de controladores para problemas GR(1)\nDirectores: Hernán Gagliardi\, Sebastián Uchitel\nJurados: Victor Braberman\, Dario Turco\n\nResumen\n\nEn este trabajo se estudian mejoras de varios tipos al algoritmo composicional de síntesis de controladores para problemas GR(1).\nPrincipalmente se analizará el impacto de diversas heurísticas y mejoras para aumentar el rendimiento del enfoque. También se presentará una herramienta que permite estudiar los aspectos estructurales de un problema y analizar el desempeño de MTSA al resolverlo.\nPor último\, se presentarán dos benchmarks\, uno utilizado en la literatura y otro construido para este trabajo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-sebastian-felgueras/
LOCATION:Aula 1307
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20251024T100000
DTEND;TZID=America/Sao_Paulo:20251024T110000
DTSTAMP:20260407T100118
CREATED:20251023T133039Z
LAST-MODIFIED:20251023T133039Z
UID:10247-1761300000-1761303600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Emiliano Cairo
DESCRIPTION:Título: Traducción automática de especificaciones Spectra a Modelos FSP\nDirectores: Hernán Gagliardi\, Sebastián Uchitel\nJurados: Victor Braberman\, Florencia Zanollo \nResumen\nEl problema de la síntesis de controladores consiste en construir automáticamente un sistema correcto por construcción que satisfaga un conjunto de objetivos\, dadas ciertas suposiciones sobre su entorno. Para evaluar un nuevo algoritmo de síntesis composicional implementado en la herramienta desarrollada in-house MTSA\, se necesitaban benchmarks.\nLa colección de especificaciones de Spectra (SYNTECH) era ideal\, pero su modelo de juego era incompatible con el formalismo asincrónico y basado en eventos de MTSA.\nEsta tesis presenta una traducción formal y automatizada. Se propuso un esquema de traducción que mapea de Spectra a un modelo MTSA que preserva la semántica original y se evaluó experimentalmente el rendimiento de la síntesis composicional sobre el benchmark traducido.\nLos resultados fueron mixtos: si bien el enfoque composicional demuestra ser capaz de resolver ciertas clases de problemas que son intratables para el algoritmo monolítico\, su efectividad depende críticamente de la heurística y la arquitectura del problema\, siendo a veces superado por este.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-emiliano-cairo/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20251030T110000
DTEND;TZID=America/Sao_Paulo:20251030T120000
DTSTAMP:20260407T100118
CREATED:20251024T130338Z
LAST-MODIFIED:20251024T130338Z
UID:10250-1761822000-1761825600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Alan Solowieiczyk
DESCRIPTION:Título: Collares Aritméticos\nDirectora: Verónica Becher\nJurados: Nicolás Álvarez y Paula Zabala \nResumen: Fijemos un alfabeto. Un collar (n\,k)-perfecto es una secuencia circular de símbolos del alfabeto donde cada bloque de longitud n ocurre k veces\, pero en posiciones con distinta congruencia modulo k\, para cualquier convención de la posición inicial. Una clase particular de collares perfectos es la de los collares aritméticos. Son collares (n\,n)-perfectos generados a partir de una progresión aritmética. En esta tesis nos concentramos en collares aritméticos en el alfabeto de dos símbolos e investigamos cuán balanceados están los dos símbolos en distintas partes del collar. Identificamos un collar aritmético al que llamamos mágico porque admite una partición en segmentos totalmente balanceados. Damos una cota superior del máximo desbalance que pueden tener los collares aritméticos dando una fórmula para el máximo desbalance en el collar aritmético ordenado. Además damos propiedades que cumplen todos los collares aritméticos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-alan-solowieiczyk/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR