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:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240920T110000
DTEND;TZID=America/Sao_Paulo:20240920T120000
DTSTAMP:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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:20260403T161013
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
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241205T140000
DTEND;TZID=America/Sao_Paulo:20241205T150000
DTSTAMP:20260403T161013
CREATED:20241203T141233Z
LAST-MODIFIED:20241203T141233Z
UID:9581-1733407200-1733410800@www.dc.uba.ar
SUMMARY:Charla "Teoría de la Prueba para Lógicas Modales con Datos“
DESCRIPTION:Están todos invitados a la charla de Danae Dutto. \n«Teoría de la Prueba para Lógicas Modales con Datos“. \nJueves 5 de diciembre a las 14 hs\, Sala 1604. \nResumen:  Los lenguajes modales con datos han ganado una significativa atención en tiempos recientes.\nEste 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.\nResultados 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.\nConcretamente\, se presentará un cálculo de secuentes al estilo Gentzen para HXPathD el cual es correcto\, completo y cut-free. \nDanae 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.
URL:https://www.dc.uba.ar/event/charla-teoria-de-la-prueba-para-logicas-modales-con-datos/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241210T090000
DTEND;TZID=America/Sao_Paulo:20241210T110000
DTSTAMP:20260403T161013
CREATED:20241206T161028Z
LAST-MODIFIED:20241206T161028Z
UID:9594-1733821200-1733828400@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Federico Albanese
DESCRIPTION:Título: Aprendizaje Automático y Procesamiento del Lenguaje Natural en la Comunicación Política Online y las Redes Sociales.\nDirector: Esteban Feuerstein\nCodirector: Leandro Lombardi\nConsejero de estudios: Matías López y Rosenfeld  \nJurados:\nDr. Ernesto Calvo (Prof.\, Univ. de Maryland\, EE. UU)\nDra. María V. Martínez Posse (Inv. Tit.\, IIA-CSIC\, España)\nDra. María T. Martin Valdivia (Prof.\, Univ. de Jaén\, España) \nResumen: \nEsta 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. \nLos 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. \nLa 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-federico-albanese/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241211T100000
DTEND;TZID=America/Sao_Paulo:20241211T110000
DTSTAMP:20260403T161013
CREATED:20241210T180514Z
LAST-MODIFIED:20241210T180514Z
UID:9624-1733911200-1733914800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Emanuel Ruzak
DESCRIPTION:Titulo: Explorando las dinámicas de AI Safety via Debate\nDirector: Sergio Abriola\nJurados: Esteban Lanzarotti\, Victor Braberman \nResumen:\nEl 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.\nEl 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.\nEste 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.\nEn 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-emanuel-ruzak/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241211T110000
DTEND;TZID=America/Sao_Paulo:20241211T120000
DTSTAMP:20260403T161013
CREATED:20241203T170539Z
LAST-MODIFIED:20241203T170539Z
UID:9585-1733914800-1733918400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Patricio Damian Bruno
DESCRIPTION: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 \nDirector: Gustavo Martin Bosyk \nCo-Director: Guido Bellomo \nJurados: Laura Knoll y Sanitago Cifuentes \nResumen: 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-patricio-damian-bruno/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241211T143000
DTEND;TZID=America/Sao_Paulo:20241211T153000
DTSTAMP:20260403T161013
CREATED:20241206T130850Z
LAST-MODIFIED:20241210T125959Z
UID:9590-1733927400-1733931000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ayelén Dinkel
DESCRIPTION:Título: Thinness condicionada a órdenes canónicos de ciertas clases de grafos\nDirectora: Flavia Bonomo\nCo-director: Eric Brandwein\nJurados: Pablo Terlisky\, Esteban Lanzarotti \nResumen:\nLa 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.\nEse 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.\nEn 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.\nCaracterizamos por patrones prohibidos minimales a la clase de grafos co-bipartitos con thinness condicionada a lo sumo 2.\nTambién mostramos propiedades que cumple esta familia de grafos cuando conocemos un orden y partición consistentes en dos clases.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ayelen-dinkel/
LOCATION:Aula 1301
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241212T130000
DTEND;TZID=America/Sao_Paulo:20241212T140000
DTSTAMP:20260403T161013
CREATED:20241210T130231Z
LAST-MODIFIED:20241210T130231Z
UID:9605-1734008400-1734012000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Belén Páez y Facundo Totaro
DESCRIPTION:Título Páez: Contextualización de palabras ambiguas: comparación del comportamiento humano y de redes basadas en transformers \nTítulo Totaro: Contextualización de palabras ambiguas en modelos de lenguaje: generación de significados \nDirector: Bruno Bianchi \nCo-Director: Juan Kamienkowski \nJurados: Francisco Valentini\, Laura Alonso Alemany \nResumen Conjunto:\nLos 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-belen-paez-y-facundo-totaro/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241212T190000
DTEND;TZID=America/Sao_Paulo:20241212T200000
DTSTAMP:20260403T161013
CREATED:20241206T173627Z
LAST-MODIFIED:20241209T125938Z
UID:9597-1734030000-1734033600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Julián Gutiérrez Ostrovsky
DESCRIPTION:Título: TypeCheckerDragon: Chequeo de Tipos Contextualizados en un Lenguaje de Tipado Dinámico\nDirector: Hernán Wilkinson\nCo-Director: Agustín Martinez\nJurados: Edgardo Zoppi\, Juan Pablo Galeotti \nResumen:\nEste trabajo utiliza la información de tipos recolectada e inferida por LiveTyping en Cuis Smalltalk para realizar un chequeo de tipos que tiene por objetivo ayudar al desarrollador a encontrar posibles errores no detectados durante el proceso de desarrollo.\nA diferencia de un lenguajes estáticamente tipado\, este chequeo de tipos no interviene en la compilación del código fuente\, sino que se realiza luego de dicha etapa y por demanda.\nAdicionalmente implementa un «filtrado de tipos contextual» en base a un análisis de código por bloques\, que provee información de tipos más exacta dependiendo del contexto en el que se realiza el análisis. Esto genera información más concisa que es consumida por herramientas como el auto-complete y la información de tipos\, logrando que estas sean más útiles y confiables.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-julian-gutierrez-ostrovsky/
LOCATION:Aula 1114
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241213T100000
DTEND;TZID=America/Sao_Paulo:20241213T110000
DTSTAMP:20260403T161013
CREATED:20241206T132810Z
LAST-MODIFIED:20241206T132810Z
UID:9592-1734084000-1734087600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ignacio Mariotti
DESCRIPTION:Título: Modelos de programación lineal entera para el problema de enrutamiento y asignación de espectro manycast\nDirector: Javier Marenco\nJurados: Gabriela Di Piazza y Federico Pousa \nResumen:\nLa creciente demanda de servicios de alta velocidad en redes de comunicaciones ha puesto en el centro de atención la optimización del uso de las redes de fibra óptica. Una tecnología prometedora para abordar este desafío es la arquitectura “flexgrid”\, que divide el ancho de banda de la fibra óptica en slots\, los slots consecutivos se pueden unir en lo que se llama “canal” y los canales permiten crear una conexión entre nodos de una red. Si bien flexgrid posibilita una asignación mucho más eficiente de la red\, plantea un problema de optimización conocido como “routing and spectrum allocation” (RSA). En este trabajo se abordará una generalización de este problema llamada “manycast-RSA (MRSA)”\, que surge en escenarios en los que el envío de información es de un origen a muchos destinos. \nAmbos problemas suelen ser modelados sobre grafos dirigidos. Dados un digrafo\, la cantidad de slots en la fibra\, y un conjunto de demandas (donde cada demanda requiere una cantidad de slots contiguos\, tiene un nodo origen y un conjunto de nodos de destino)\, se quiere satisfacer todas las demandas sin ocupar el mismo slot por dos demandas y sin exceder la capacidad de la red. Mientras que en RSA se busca un camino para cada par origen-destino\, en MRSA se busca una arborescencia entre el origen y los destinos. \nRSA fue demostrado NP-hard (Christodoulopoulos et al. 2011) y\, si bien se han propuesto diversas soluciones\, los modelos basados en programación entera demostraron ser particularmente prometedores. El objetivo de este trabajo es encontrar soluciones exactas para el problema MRSA\, tomando modelos planteados para RSA. A partir de ellos\, se propone una serie de formulaciones de programación lineal entera para resolver MRSA y se comparan sobre instancias generadas a partir de diferentes topologías de la literatura.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ignacio-mariotti/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241213T160000
DTEND;TZID=America/Sao_Paulo:20241213T170000
DTSTAMP:20260403T161013
CREATED:20241212T185707Z
LAST-MODIFIED:20241212T185707Z
UID:9631-1734105600-1734109200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Philip Garrett
DESCRIPTION:Título: EvoMaster – Mejoras de Usabilidad\nDirector: Juan P. Galeotti\nJurados: Martín Urtasún\, Hernán Wilkinson \nResumen:\nEn el presente trabajo se introducen dos mejoras de usabilidad a EvoMaster\, una herramienta open-source de generación automática de casos de test para APIs REST\, GraphQL y RPC en base a algoritmos genéticos. El core de la herramienta es el encargado de utilizar algoritmos evolutivos\, en particular el algoritmo de búsqueda MIO para generar los casos de test. Dicha generación abarca la caracterización del objeto de test y a su vez la escritura de los casos de test en el lenguaje elegido. Las mejoras se encuentran orientadas a la escritura de los casos. Por un lado se incorpora Python como una nueva elección de salida para los casos de black-box Fuzzing. Por el otro\, se utiliza la información obtenida por el algoritmo genético para nombrar los casos de test en base a las acciones y objetos de test que el mismo se encuentre evaluando. Dichas mejoras se evaluaron utilizando APIs pertenecientes a un benchmark de EvoMaster.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-philip-garrett/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241217T110000
DTEND;TZID=America/Sao_Paulo:20241217T120000
DTSTAMP:20260403T161013
CREATED:20241211T132949Z
LAST-MODIFIED:20241211T132949Z
UID:9627-1734433200-1734436800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martín Emiliano Lombardo
DESCRIPTION:Título: Feature set analysis for chess NNUE networks\nDirector: Agustín Sansone\nCo-Director: Diego Fernandez Slezak \nJurados: Pablo Riera y Gonzalo Ruarte \nResumen:\nHistóricamente\, los motores de ajedrez han utilizado funciones altamente complejas para evaluar posiciones de ajedrez. Recientemente\, las redes neuronales eficientemente actualizables (NNUE) han desplazado a estas funciones sin necesidad de utilizar conocimiento humano. El input de estas redes se denomina feature sets y se aprovechan del orden en que se evalúan las posiciones en una búsqueda depth-first para ahorrar cómputo.\nEn esta tesis se desarrolla un motor de ajedrez clásico\, en donde la función de evaluación es reemplazada por una red NNUE entrenada con un pipeline creado de cero. Esta tesis busca probar novedosos feature sets que puedan mejorar los que ya existen. Adicionalmente\, se prueba una manera alternativa de entrenar las redes utilizando un método propuesto hace años pero con un volumen y calidad de datos superiores disponibles en la era post-NNUE.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-emiliano-lombardo/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241218T110000
DTEND;TZID=America/Sao_Paulo:20241218T120000
DTSTAMP:20260403T161013
CREATED:20241216T155401Z
LAST-MODIFIED:20241216T155401Z
UID:9641-1734519600-1734523200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Emiliano Höss
DESCRIPTION:Título: SLAM denso\, globalmente consistente y acelerado por GPU\nDirector: Dr. Pablo De Cristóforis\nJurados:\nDr. Daniel Acevedo (Universidad de Buenos Aires)\nDr. Javier Civera (Universidad de Zaragoza) \nResumen: \nUn sistema de SLAM (Simultaneous Localization and Mapping) denso es esencial para los robots móviles\, ya que no sólo proporciona la localización del agente sino que también permite la navegación\, la planificación de trayectorias\, la evasión de obstáculos y la toma de decisiones en entornos no estructurados. A medida que aumentan las demandas computacionales\, crece el uso de GPU en sistemas de SLAM denso. En este trabajo\, presentamos coVoxSLAM\, un novedoso sistema de SLAM volumétrico acelerado por GPU que aprovecha al máximo la potencia del procesamiento paralelo para construir mapas globalmente consistentes incluso en entornos de gran escala. El sistema se evaluó en diferentes plataformas (GPU discreta e integrada) y se comparó con el estado del arte. Los resultados obtenidos utilizando conjuntos de datos públicos muestran que coVoxSLAM ofrece una mejora significativa del rendimiento considerando los tiempos de ejecución manteniendo al mismo tiempo una localización precisa. Como contribución a la comunidad\, el sistema desarrollado se publicó como código abierto en https://github.com/lrse-uba/coVoxSLAM
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-emiliano-hoss/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241220T120000
DTEND;TZID=America/Sao_Paulo:20241220T130000
DTSTAMP:20260403T161013
CREATED:20241216T131139Z
LAST-MODIFIED:20241216T131139Z
UID:9635-1734696000-1734699600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Abi Oppenheim
DESCRIPTION:Título: Cuantificando la Diversidad Cultural en Redes Sociales: Un Enfoque de Embeddings de Comunidades\nDirector: Esteban Feuerstein\nCo-Director: Federico Albanese\nJurados: Leandro Lombardi y Tomás Cicchini \nResumen: Los avances en el análisis de redes sociales y técnicas de procesamiento de lenguaje natural (NLP) han mejorado nuestra comprensión de las dinámicas intercomunitarias y sus impactos. Este trabajo introduce una métrica novedosa que cuantifica la diversidad social y cultural dentro de comunidades online\, con el propósito de examinar su relación con la toxicidad en las interacciones de los usuarios. Nuestro método se diferencia de enfoques previos al emplear embeddings de usuarios y comunidades generados a partir de vastos volúmenes de datos de Reddit\, capturando dimensiones culturales e ideológicas de manera precisa. Asignamos un puntaje de diversidad tanto a nivel individual como comunitario\, y lo comparamos con el puntaje de Generalismo-Especialismo (GS)\, mostrando cómo cada uno aporta información complementaria sobre las interacciones y la diversidad temática en el ecosistema digital. La métrica de diversidad propuesta tiene valor intrínseco\, ya que permite caracterizar y segmentar comunidades según su composición social\, identificando patrones de homogeneidad o heterogeneidad que impactan en la cohesión y resiliencia comunitaria. Este puntaje de diversidad se convierte en una herramienta valiosa para la investigación y la gestión de comunidades\, ya que posibilita la evaluación comparativa de grupos\, incluso en ausencia de indicadores de toxicidad\, y puede informar políticas de moderación y estrategias de diseño de plataformas. Nuestro análisis emplea modelos NLP para evaluar el contenido conversacional y correlacionarlo con los puntajes de diversidad\, aportando un enfoque integral al estudio de las interacciones en entornos digitales. Este trabajo contribuye tanto a la teoría de la interacción online como a la práctica\, proporcionando bases para mejorar la moderación y fomentar espacios digitales más inclusivos y respetuosos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-abi-oppenheim/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241220T134500
DTEND;TZID=America/Sao_Paulo:20241220T144500
DTSTAMP:20260403T161013
CREATED:20241219T133950Z
LAST-MODIFIED:20241219T133950Z
UID:9654-1734702300-1734705900@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Felipe Mateo Curti
DESCRIPTION:Título: Reconocimiento de emociones utilizando modelos de lenguaje de habla\nDirector: Pablo Riera\n\nJurados: Esteban Feuerstein\, María Lara Gauder\n\n\nResumen\n\nEn este trabajo se propone el uso de modelos de lenguaje de habla del proyecto Textless NLP de Meta para la tarea de reconocimiento de emociones a partir de información del habla\, utilizándolos tanto para la generación de features para algoritmos de machine learning clásicos\, como generadores de embeddings para modelos de deep learning.\nEl modelo utilizado\, llamado PGSLM (Prosody-Aware Generative Spoken Language Modeling) consiste de 3 componentes: un encoder que\, basándose en HuBERT\, genera a partir de un audio una secuencia de unidades discretas junto con su información prosódica\, un modelo generativo de lenguaje\, que predice de manera auto-regresiva la próxima unidad y su prosodia y un decoder que genera una waveform desde las unidades de habla.\nSe evalúan los resultados usando la base de datos de emociones IEMOCAP comparándolos con los obtenidos entrenando de manera similar un modelo con HuBERT y WavLM como generadores de features.\nLos resultados obtenidos muestran que si bien PGSLM tiene la capacidad de codificar información emocional de los audios\, en los experimentos realizados se observó una performance menor debido a un mayor sobreajuste comparando con los otros modelos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-felipe-mateo-curti/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241220T140000
DTEND;TZID=America/Sao_Paulo:20241220T150000
DTSTAMP:20260403T161013
CREATED:20241219T133102Z
LAST-MODIFIED:20241219T133102Z
UID:9649-1734703200-1734706800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Agustín Delmagro
DESCRIPTION:Título: Efectos de la categorización de estímulos en la reconstrucción semántica de lenguajes continuos a partir de señales fMRI\nDirector: Juan Kamienkowski\n\nCo-Director: Bruno Bianchi\n\nJurados: Enzo Tagliazucchi\, Rodrigo Etcheveste\nStreaming: https://youtube.com/live/acJV2uo5Op4?feature=share \nResumen\n\nEn los últimos a ̃nos han surgido algunos estudios en los que se analizan im ́agenes de resonancia magnética funcional (fMRI) mientras se efectúan ciertas tareas relacionadas a la comprensión del lenguaje natural. Siguiendo el éxito del estudio de la concordancia del sistema visual y los modelos de redes profundas\, en estos trabajos se preguntan cuán similar es la representación del lenguaje en el cerebro respecto de los nuevos modelos de redes profundas. En particular\, varios trabajos se han basado en el dataset liberado por LeBel\, Huth y colaboradores (“A natural fMRI dataset for encoding models” [LeBel et al.\, 2023])\, donde se capturaron estas respuestas cerebrales mientras los participantes escuchaban relatos autobiográficos de los podcasts The Moth y Modern Love. Haciendo uso de estos datos\, han realizado un mapeo semántico de distintas áreas del cerebro e incluso llegando a la generación de decoders para poder reconstruir semánticamente estas historias a partir de dichas señales cerebrales [Tang et al.\, 2023].\nEn esta línea\, en la presente tesis\, nos preguntamos cuáles pueden ser los efectos de introducir sesgos temáticos en los estímulos utilizados para entrenar los modelos\, y si el desempeño mejora al intentar decodificar un estímulo cuyo tema coincide con el del entrenamiento. Para ello\, consideramos que aquellas historias con temáticas similares deberían tener ciertas similitudes en el vocabulario utilizado. En primer lugar\, buscamos agrupar estas narraciones por el tema principal que tratan\, logrando separarlas en dos grupos. Luego\, estos subconjuntos fueron utilizados como entrenamiento comparando los efectos que tiene en las reconstrucciones semánticas generadas el hecho de entrenar y evaluar con distintos subconjuntos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-agustin-delmagro/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR