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:20250519T123000
DTEND;TZID=America/Sao_Paulo:20250519T133000
DTSTAMP:20260404T132646
CREATED:20250515T174039Z
LAST-MODIFIED:20250515T174039Z
UID:9908-1747657800-1747661400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Sofía Goldberg
DESCRIPTION:Título: Aplicación de embeddings de BERT para detección automática de Alzheimer\nCuándo: Lunes 19 de Mayo\, 12:30 hs.\nDónde: Aula 1308\, Edificio 0+infinito\, Ciudad Universitaria\, UBA.\nDirectores: Pablo Brusco\, Lara Gauder\nJurados: Viviana Cotik\, Gustavo Juantorena \nResumen\nLa detección temprana del Alzheimer representa un desafío clave en el ámbito médico\, ya que un diagnóstico preciso en las primeras etapas de la enfermedad puede facilitar intervenciones más efectivas y mejorar la calidad de vida de los pacientes. En este contexto\, el análisis del habla y el lenguaje ha surgido como una herramienta prometedora para identificar patrones lingüísticos asociados con el deterioro cognitivo. En este estudio\, investigamos la efectividad de los embeddings generados con BERT para la clasificación de transcripciones de habla\, con el propósito de distinguir entre individuos con Alzheimer y controles sanos\, en inglés y en español. Además de replicar un trabajo previo\, ampliamos el análisis comparando el desempeño de distintas representaciones de los textos\, agregando métricas de evaluación y observando el impacto de utilizar modelos entrenados con texto capitalizado (cased) y modelos entrenados únicamente con texto en minúsculas (uncased). \nTanto en inglés como en español\, nuestros resultados superaron a los reportados en el trabajo replicado. En inglés\, el mejor F1-score obtenido fue de 0.76 con Random Forest\, superando el 0.69 reportado en el trabajo original con XGBoost. En español\, SVM alcanzó un F1-score de 0.70\, mejorando significativamente el 0.53 reportado. \nNuestros experimentos revelaron que el F1-score no es una métrica adecuada para evaluar el desempeño de los clasificadores\, especialmente en conjuntos de datos desbalanceados. Por ello\, analizamos métricas adicionales como precision\, recall\, accuracy\, specificity\, ROC AUC y PR AUC\, que permitieron una evaluación más detallada del rendimiento de los clasificadores. \nLos hallazgos obtenidos evidencian que las representaciones contextuales derivadas de la última capa de BERT superan a los embeddings extraídos de la primera capa\, gracias a su capacidad de capturar información semántica más rica y dependiente del contexto. En el Pitt Corpus (inglés)\, los embeddings de la última capa lograron un ROC AUC de hasta 0.89\, mientras que los embeddings de la primera capa alcanzaron un máximo de 0.84. En Chile AD (español)\, aunque el rendimiento general fue inferior\, los embeddings de la última capa de BERT obtuvieron un ROC AUC de 0.72\, superando ampliamente a los embeddings provenientes de la primera capa\, cuyo mejor desempeño fue 0.54. \nAsimismo\, observamos que en español\, los modelos cased mejoran el rendimiento de los clasificadores\, mientras que en inglés\, los modelos uncased resultan más eficaces. En el Pitt Corpus\, SVM con embeddings de la última capa logró un ROC AUC de 0.90 con el modelo uncased\, mientras que con el modelo cased obtuvo 0.87. En contraste\, en Chile AD\, el uso de la versión uncased redujo significativamente el desempeño\, con una caída en ROC AUC de 0.72 a 0.41 en Random Forest con los embeddings de la primera capa. \nNuestros resultados indican que\, en general\, el desempeño en inglés fue superior al obtenido en español\, lo que podría atribuirse a la menor cantidad de datos disponibles\, el desbalance entre las clases en el conjunto en español o a las diferencias entre los modelos de BERT empleados en cada idioma. \nPalabras claves: Alzheimer\, Embeddings\, BERT\, Clasificación\, Análisis Cruzado entre Lenguajes.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-sofia-goldberg/
LOCATION:Aula 1308
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250522T103000
DTEND;TZID=America/Sao_Paulo:20250522T113000
DTSTAMP:20260404T132646
CREATED:20250519T131349Z
LAST-MODIFIED:20250519T131349Z
UID:9920-1747909800-1747913400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Manuel Costa
DESCRIPTION:Título: Word-embeddings contextualizados para detección de entidades nombradas en textos de radiología en español\nDirectora: Viviana Cotik\nJurados: María Teresa Martín Valdivia\, Pablo Brusco \nResumen:\nLa creciente digitalización de los procesos médicos ha generado una gran cantidad de datos textuales\, como informes de estudios clínicos\, que permiten mejorar procesos a través de la automatización de la extracción de información. Sin embargo\, esta última presenta desafíos significativos\, especialmente en español\, debido a la escasez de recursos en este idioma y al uso de vocabulario especializado. Además\, algunos de estos textos suelen contener abreviaturas\, errores ortográficos y de tipeo\, lo que agrega una complejidad adicional. Este trabajo busca contribuir al campo del Procesamiento del Lenguaje Natural Biomédico (BioNLP\, por sus siglas en inglés) mediante el desarrollo de mejores representaciones de textos que optimicen la extracción de información en informes clínicos escritos en español. \nEn esta tesis se desarrolla un estudio sobre el uso de word embeddings y modelos de lenguaje para informes de ecografía escritos en español. Se proponen y evalúan diferentes modelos de embeddings\, incluyendo técnicas estáticas como FastText y modelos basados en arquitecturas contextuales como Transformers y BiLSTM. Los embeddings se entrenaron utilizando un corpus anonimizado de más de 80 mil informes de ecografías. Se realizaron dos tipos de evaluaciones sobre los embeddings: una extrínseca y una intrínseca. Para la evaluación extrínseca se utilizó la tarea de reconocimiento de entidades nombradas con el conjunto de datos de la competencia SpRadIE. Además\, se realiza un estudio de ablación para intentar establecer un vínculo más directo entre el uso de las representaciones y el rendimiento obtenido por los modelos. Para la evaluación intrínseca\, se presenta un marco basado en análisis cualitativo para medir la calidad de los embeddings en dominios donde no existen benchmarks estandarizados. \nLos resultados obtenidos muestran mejoras sobre el estado del arte para la tarea de reconocimiento de entidades nombradas de SpRadIE\, destacando el impacto de usar representaciones contextuales adaptadas al subdominio específico de la tarea. Observamos que los mejores resultados del reconocimiento de entidades nombradas se obtienen con modelos basados en Transformers; sin embargo\, las representaciones generadas a partir de BiLSTM parecen capturar información semántica más rica\, como evidencian los estudios de ablación y el análisis cualitativo. \nPalabras clave: embeddings\, reconocimiento de entidades nombradas\, BioNLP en español\, informes clínicos\, ecografías\, transformers\, BiLSTM\, FastText
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-manuel-costa/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250530T160000
DTEND;TZID=America/Sao_Paulo:20250530T170000
DTSTAMP:20260404T132646
CREATED:20250526T155757Z
LAST-MODIFIED:20250526T155757Z
UID:9943-1748620800-1748624400@www.dc.uba.ar
SUMMARY:DÁTAME: Un link digital: cerebros\, computadoras y datos
DESCRIPTION:Este Viernes 30/05 tenemos DÁTAME! de Mayo\, con presentación a cargo de Victoria Peterson.\nEl encuentro será a las 16 hs. en el aula 1402 del Edificio 0+Infinito. \nSobre la charla \n¿Alguna vez escuchaste hablar de chips implantados para decodificar el habla? o ¿sobre la capacidad de comandar dispositivos externos sólo con tus pensamientos? y\, ¿sobre terapias basadas en la estimulación cerebral? No\, no es ciencia ficción. Estas son algunas de las investigaciones actuales que pasan dentro del gran mundo de las interfaces cerebro-computadora. En esta charla vamos a entender cómo es que nuestros cerebros se pueden «conectar» a una computadora y cómo es que la inteligencia artificial y la Cs. de Datos se involucran en todo esto. \nSobre la oradora \nVictoria Peterson es Investigadora del CONICET en el IMAL\, Santa Fe y Profesora Asociada en la FIQ-UNL\, Santa Fe. Sus investigaciones unen la bioingeniería con la inteligencia artificial para mejorar la decodificación de la actividad cerebral en neurotecnologías. Fue visitante doctoral del ETH Zurich y becaria postdoctoral de Harvard en el MGH\, Boston\, USA. Hoy lidera el grupo de Neuroingeniería Computacional Aplicada (NiCALab) dentro del IMAL\, CONICET-UNL. \nConsultas: info.lcd@exactas.uba.ar \nSobre ¡DÁTAME! \nEste ciclo de charlas busca simultáneamente \n– Ser un lugar de encuentro entre todos/as los/as que nos sentimos cercanos a LCD ya sea por ser estudiantes de la carrera o carrera cercanas\, docentes\, investigadores/as interesados/as o simplemente amigos/as de LCD. \n– Ofrecer a estudiantes de la carrera un panorama amplio de posibles caminos que puede recorrer un/a especialista en ciencias de datos. \n– Exponer a estudiantes de LCD a importantes referentes de la disciplina que trabajan en diversos ámbitos (investigación científica\, empresas\, organismos estatales\, ONGs\, etc. ) \n– Aprender un montón de cosas sobre datos. Qué tipo de problemas se pueden resolver con ellos y cuáles no\, qué precauciones debemos tener\, qué desafíos afronta la disciplina y mucho más. \n– Evidenciar la diversidad de disciplinas que confluyen en esta carrera y experimentar cómo interactúan. \n– Compartir un buen rato\, una vez por mes. \nEstá destinado principalmente a estudiantes de la carrera\, pero todas/os somos bienvenidas/os. \nHabitualmente\, nos juntamos el 3er. viernes de cada mes a las 16hs. excepto en ocasiones especiales. \n¡Las y los esperamos!
URL:https://www.dc.uba.ar/event/datame-un-link-digital-cerebros-computadoras-y-datos/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250603T100000
DTEND;TZID=America/Sao_Paulo:20250603T110000
DTSTAMP:20260404T132646
CREATED:20250528T125558Z
LAST-MODIFIED:20250528T125754Z
UID:9949-1748944800-1748948400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Tomás Capdevielle
DESCRIPTION:Título: Explicabilidad basada en lógica para modelos simples de Inteligencia Artificial: Sobre la complejidad y los algoritmos para el cálculo de features relevantes\, necesarias y útiles en clasificadores booleanos\nDirector: Santiago Cifuentes\nJurados: Santiago Figueira\, Sergio Abriola\n\nResumen:\nEsta tesis propone una exploración sobre el campo de la explicabilidad en modelos de inteligencia artificial\, comúnmente conocido como XAI. En concreto\, el enfoque de este trabajo está puesto en la explicabilidad basada en lógica; esto es\, dado un modelo de clasificación y una entrada para el mismo\, seleccionar aquellas features o atributos que cumplan con ciertas propiedades lógicas. Esto da lugar a las nociones de features relevantes y necesarias\, en cuyo cálculo se profundiza aquí. Se aportan resultados formales que sustenten algoritmos existentes en la literatura\, así como también se proponen algoritmos eficientes para detectar la necesidad de features en modelos tanto simples (e.g. árboles de decisión) como complejos (e.g. redes neuronales). A su vez\, se exploran generalizaciones para la noción de relevancia\, con el objetivo de capturar una visión más detallada del comportamiento de un modelo para una predicción dada. Por último\, se introduce una nueva noción global de utilidad\, que apunta a explicar si una feature es importante para el comportamiento de un modelo a nivel general\, sin considerar una entrada en particular. De aquí surge también una propuesta para un sistema de feature ranking basado en utilidad\, para cuyo cálculo se presentan algoritmos eficientes para ciertos modelos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tomas-capdevielle/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250604T100000
DTEND;TZID=America/Sao_Paulo:20250604T120000
DTSTAMP:20260404T132646
CREATED:20250602T131302Z
LAST-MODIFIED:20250602T131302Z
UID:9967-1749031200-1749038400@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Damina Furman
DESCRIPTION:Título: Generación automática de contra-narrativas utilizando información argumentativa para combatir mensajes de odio.\nDirectoras: M. Vanina Martinez\, Laura Alonso Alemany\nDirector adjunto: Ricardo O. Rodriguez\nConsejero de estudios: Fernando Schapachnik \nJurados:\nDr. Ing. Luis Chiruzzo\, Universidad de la Republica\, Montevideo\, Uruguay\nDra. Diana I. Perez\, Universidad de Buenos Aires\, Argentina\nDr. Axel Soto\, Universidad del Sur & Conicet\, Argentina \nLink Youtube: https://youtube.com/live/dT73wB4Ao5g?feature=share \nResumen: \nEn el siguiente trabajo elaboramos un dataset de tweets de odio anotados con componentes argumentativos generales y específicos del dominio y con tipos distintos de contranarrativas definidas según estrategias basadas en estos componentes\, con el objetivo de utilizarlos para mejorar el rendimiento de distintos modelos de lenguaje en la tarea de generación automática de contra-narrativas para combatir la xenofobia. \nMostramos que se puede obtener un nivel aceptable de acuerdo entre anotadores\, a pesar de la naturaleza subjetiva de la tarea\, al utilizar un manual de anotación definido a través de un proceso iterativo que involucra a los anotadores y que los componentes argumentativos propuestos pueden ser identificados\, luego\, de manera automática con un rendimiento satisfactorio. \nEstudiamos y desarrollamos las falencias que tienen las métricas utilizadas para realizar evaluaciones automáticas de generación de texto en la tarea de generación de contra-narrativas\, tanto aquellas basadas en superposición de n-gramas como aquellas basadas en comparación de embeddings y proponemos categorías de evaluación que permiten definir una metodología para asignar puntajes numéricos a las contranarrativas a la vez que se explicitan las características deseables que deben tener y definen qué significa que una contra-narrativa sea aceptable o buena. \nCon esta herramienta realizamos una evaluación con anotadores humanos a través de la cual concluimos que para la familia de modelos Flan-T5 el factor que aumenta en mayor medida el rendimiento de los modelos es el ajuste fino a un conjunto de datos de calidad\, en comparación a aumentar el tamaño del modelo o incluso a utilizar la información argumentativa. La información argumentativa no mejora el rendimiento de los modelos de manera significativa con la excepción de aquellos que se ajustan utilizando un solo tipo de contranarrativa y la información argumentativa en la que basan su estrategia. \nFinalmente\, utilizamos la evaluación humana para entrenar modelos para realizar evaluaciones automáticas y evaluamos así la generación realizada por distintos Grandes Modelos de Lenguaje con múltiples configuraciones de generación.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-damina-furman/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250605T200000
DTEND;TZID=America/Sao_Paulo:20250605T210000
DTSTAMP:20260404T132646
CREATED:20250528T125354Z
LAST-MODIFIED:20250528T125405Z
UID:9946-1749153600-1749157200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Alexis Martín Abad
DESCRIPTION:Título: Pure Pattern Calculus à la de Bruijn\nDirector: Andrés Ezequiel Viso\nCo-director: Alejandro Ríos\nJurados:\n   Pablo Barenbaum (Universidad de Buenos Aires)\n   Hernán Melgratti (Universidad de Buenos Aires)\n\nResumen:\nEs bien conocido en el estudio de lenguajes de programación que lidiar con ligadores y\nnombres de variables puede ocasionar conflictos como ser capturas indeseadas de variable\nal implementar intérpretes o compiladores. Este problema puede resolverse recurriendo a\níndices de de Bruijn en cálculos cuyos ligadores capturen un único nombre de variable\,\ncomo el Cálculo λ. Otra ventaja del enfoque con índices es que la α-equivalencia se\ntransforma en igualdad sintáctica.\nPor otra parte\, en estos últimos años los cálculos de patrones ganaron considerable atención\npor su expresividad. Resultan ser notablemente convenientes al estudiar los fundamentos de\nlenguajes de programación funcional que modelen pattern matching\, path polymorphism\,\npattern polymorphism\, entre otros. Sin embargo la literatura no aborda la cuestión de cómo\nlidiar con α-conversión y ligadores que capturen múltiples nombres de variable\nsimultáneamente. Tal es el caso del Pure Pattern Calculus (PPC): una extensión natural del\nCálculo λ que permite abstraer prácticamente cualquier término. Este trabajo extiende las\nideas de de Bruijn para abordar el problema de ligadura múltiple mediante la introducción de\nuna novedosa presentación de PPC con índices bidimensionales\, parte de un proyecto de\nimplementación de un prototipo de un lenguaje de programación funcional tipado basado en\nPPC que captura path polymorphism.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-alexis-martin-abad/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250606T080000
DTEND;TZID=America/Sao_Paulo:20250606T100000
DTSTAMP:20260404T132646
CREATED:20250602T130751Z
LAST-MODIFIED:20250602T130751Z
UID:9965-1749196800-1749204000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Daniel Grimaldi
DESCRIPTION:Título: Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento\nDirectora: M. Vanina Martinez\nDirector adjunto: Ricardo O. Rodriguez\nConsejero de estudios: Daniel Acevedo \nJurados:\nDr. Eduardo Barrio UBA & CONICET\, Buenos Aires\, Argentina\nDr. Ramón Pino Perez\, Université Artois\, Lens\, Francia\nDra. Renata Wassermann\, USP\, São Paulo\, Brasil \nLink Youtube: https://youtube.com/live/k1Omx6jME9s \nResumen: \nDesde la década de 1980\, el modelo AGM de operadores revision y contraction en la teoría del cambio de creencias ha sido adoptado en inteligencia artificial para enfrentar el problema de actualizar bases de conocimiento con información potencialmente inconsistente. Este modelo ofrece tanto un enfoque formal\, como también una perspectiva computacional realista y una claridad semántica. Con el tiempo\, el modelo AGM se ha generalizado para aplicarse en diversos contextos\, desarrollando operadores priorizados para entornos dinámicos\, como update y erase; operadores de cambios múltiples priorizados\, como package y choice; operadores no priorizados\, como credibility-limited revision\, shielded contraction o filtered revision; e incluso variantes aplicables a lógicas no clásicas. \nEn esta tesis\, proponemos un enfoque homogéneo para analizar esta diversidad bajo un mismo marco teórico. Presentaremos una semántica basada en mundos posibles\, desvinculada de cualquier lógica subyacente\, donde las creencias se representan únicamente como un conjunto de mundos\, sin depender de una sintaxis específica. A continuación\, adaptaremos varios de los modelos conocidos a este marco\, y propondremos una familia de operadores no priorizados que engloba las propuestas anteriores. Finalmente\, demostraremos que nuestro marco teórico efectivamente homogeneiza y generaliza las propuestas clásicas\, finitas y múltiples que se conocen para la lógica proposicional clásica.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-daniel-grimaldi/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250623T110000
DTEND;TZID=America/Sao_Paulo:20250623T120000
DTSTAMP:20260404T132646
CREATED:20250618T125540Z
LAST-MODIFIED:20250618T131932Z
UID:9972-1750676400-1750680000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Tobías Valdés Castro
DESCRIPTION:Título: ¿Cómo ordenamos?\nDirector: Matías Lopez-Rosenfeld\nCo-Director: Pablo Turjanski\nJurados: Gabriela di Piazza\, Ariel Salgado y Rodrigo Laje \nResumen:\nEntre los temas iniciales que se suelen incluir en la currícula de las carreras de Ciencias de la Computación se encuentra el ordenamiento. Una de las estrategias didácticas para abordarlo es la problematización del tema con diferentes escenarios\, como pueden ser las secuencias de números\, naipes\, etc. Desarrollamos un videojuego para poder estudiar el comportamiento de estudiantes frente a distintos escenarios\, y de esta manera analizar ventajas y desventajas de cada propuesta. En la caracterización de escenarios\, se destaca que en algunos de ellos la información disponible y operaciones mínimas necesarias para resolver no son equivalentes a las usadas por los algoritmos que se presentan en los cursos\, parte de la tarea es computada sin la necesidad de realizar explícitamente una de sus operaciones. Finalmente\, se concluye que se debe prestar atención al momento de seleccionar un escenario\, de manera tal que las operaciones e información disponibles sean similares a las que tienen y utilizan luego los algoritmos que se enseñarán al resolverlo. Esto es\, que incluya los comandos básicos a utilizar por el algoritmo a introducir en clase.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tobias-valdes-castro/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250623T170000
DTEND;TZID=America/Sao_Paulo:20250623T180000
DTSTAMP:20260404T132646
CREATED:20250619T163749Z
LAST-MODIFIED:20250619T163749Z
UID:9975-1750698000-1750701600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ezequiel Companeetz
DESCRIPTION:Título: Optimización de ASV para árboles de decisión\nDirectores: Santiago Cifuentes\, Sergio Abriola\nJurados: Eric Brandwein\, Pablo Riera \nResumen:\nEn esta tesis se aborda el problema de la explicabilidad en modelos de aprendizaje automático mediante métodos de feature attribution. En particular\, se estudia una variante de los Shapley values conocida como Asymmetric Shapley Values (ASV)\, que permite incorporar conocimiento causal en la explicación de modelos de forma model agnostic. A partir del análisis de su complejidad\, se demuestra que el cálculo exacto de ASV es polinomial en modelos cuya distribución de entrada está representada por una red bayesiana del tipo Naive Bayes\, en contraste con SHAP\, que es #P-hard aún en este caso restringido. Con el objetivo de extender estos resultados a clases más generales de redes bayesianas\, se introduce una noción de clases de equivalencia sobre los órdenes topológicos del grafo causal subyacente\, lo cual permite reducir drásticamente el número de permutaciones necesarias para computar ASV. Se presenta un algoritmo polinomial en el número de clases para identificarlas\, y se implementa un esquema de cómputo exacto de ASV basado en estas clases. Además\, se propone un nuevo método para computar en tiempo polinomial la predicción esperada de un árbol de decisión\, sobre una distribución dada por una red bayesiana arbitraria\, permitiendo así evaluar el algoritmo desarrollado para el cómputo de ASV en estos modelos. Por último\, se propone un algoritmo aproximado para calcular el ASV en familias de DAG’s causales del tipo polytree. Para ello\, se desarrolla un algoritmo de muestreo aleatorio de órdenes topológicos de polytrees. Estos resultados respaldan la viabilidad del enfoque propuesto en estructuras causales realistas\, y se contrastan empíricamente con SHAP tanto en precisión como en eficiencia computacional.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ezequiel-companeetz/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250626T140000
DTEND;TZID=America/Sao_Paulo:20250626T150000
DTSTAMP:20260404T132646
CREATED:20250623T132624Z
LAST-MODIFIED:20250623T132907Z
UID:9977-1750946400-1750950000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Diego Tubello
DESCRIPTION:Título: Evaluación de la métrica CK como predictor de indicadores de desempeño en arquitecturas de microservicios\nDirectores: Santiago Figueira\, Pablo Rubinstein\nJurados: Juan Pablo Galeotti\, Diego Garbervetsky \nResumen: Este trabajo analiza la validez de las métricas CK\, un conjunto de métricas orientadas a objetos propuestas por Chidamber y Kemerer\, como predictores tempranos de fallos en producción en arquitecturas basadas en microservicios. Se utilizó una muestra de 30 repositorios Java pertenecientes a una plataforma de e-commerce en producción\, con más de 25 millones de transacciones diarias. Se calcularon las métricas CK para todas las versiones productivas generadas a lo largo de un período de dos años\, y se compararon con indicadores empíricos de desempeño\, particularmente la tasa de rollbacks mensuales. Para evaluar la correlación\, se aplicaron distintos métodos estadísticos (Pearson\, Spearman y Kendall) y funciones de agregación (media\, mediana y promedio ponderado). Si bien se observaron algunas correlaciones débiles en ciertos contextos\, no se halló evidencia significativa que respalde la hipótesis de que las métricas CK sean buenos predictores de problemas en producción. Estos resultados sugieren que\, en el contexto de los repositorios analizados\, podrían requerirse métricas adaptadas o complementarias que reflejen con mayor fidelidad la complejidad y el riesgo de generar defectos que lleguen a producción. \nEsta tesis se fue realizada en el marco del programa +Acompañamiento: https://exactas.uba.ar/acompanamiento/
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-diego-tubello/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250627T100000
DTEND;TZID=America/Sao_Paulo:20250627T110000
DTSTAMP:20260404T132646
CREATED:20250624T130133Z
LAST-MODIFIED:20250624T130133Z
UID:9982-1751018400-1751022000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Gianfranco Bogetti
DESCRIPTION:Título: Predicción de movimientos humanos en ajedrez adaptable al ELO\nDirectores: Diego Fernandez Slezak\, Agustín Sansone\nJurados: Juan Pablo Pinasco\, Santiago Laplagne. \nResumen:\nCon el rápido avance de la inteligencia artificial (IA)\, que alcanza en ocasiones niveles de rendimiento sobrehumano\, surge una valiosa oportunidad para que los humanos aprendan de los algoritmos y colaboren con ellos. Sin embargo\, las diferencias en los enfoques de resolución de problemas entre humanos y máquinas a menudo dificultan la comprensión e integración de los sistemas de IA en el aprendizaje humano.\nEste trabajo presenta el desarrollo de un modelo de inteligencia artificial adaptable al nivel de habilidad humana\, medido a través del ELO\, que predice movimientos en ajedrez. Para lograrlo\, se modificó la arquitectura de redes neuronales de Leela Chess Zero para integrar el ELO como un parámetro de entrada. El modelo fue entrenado y evaluado utilizando más de 10 millones de partidas de ajedrez de la base de datos de Lichess. Los resultados muestran que el modelo es capaz de alcanzar niveles de exactitud incluso mayores a los de trabajos relacionados como Maia Chess\, además de aportar la adaptabilidad del ELO.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-gianfranco-bogetti/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250627T170000
DTEND;TZID=America/Sao_Paulo:20250627T180000
DTSTAMP:20260404T132646
CREATED:20250624T125808Z
LAST-MODIFIED:20250624T125808Z
UID:9980-1751043600-1751047200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Matías Grynberg Portnoy
DESCRIPTION:Título: Nuevas variantes y optimización de métodos QSS para Geant4: simulación por cuantificación de estados para física de altas energías\nDirector: Dr. Rodrigo Castro (DC/ICC)\nJurado:\n– Dr. Edgardo Marchi (DC-FCEyN-UBA\, INTI)\n– Dr. Lucio Santi (MercadoLibre) \nResumen del trabajo:\nLa simulación del movimiento de partículas en campos magnéticos es una tarea fundamental en física\, que se aborda típicamente con métodos numéricos clásicos de tiempo discreto\, como los algoritmos de la familia Runge-Kutta. Sin embargo\, estos métodos tienen algunas limitaciones importantes\, particularmente en presencia de discontinuidades geométricas muy frecuentes\, donde su coste computacional aumenta significativamente. En contraste\, los métodos Quantized State System (QSS) ofrecen una alternativa eficiente que discretiza el espacio de estados mientras mantiene el tiempo continuo\, lo que permite una mayor eficiencia en ciertos escenarios específicos.\nEn esta tesis se proponen optimizaciones para la familia de métodos QSS con el objetivo de hacerlos más competitivos en el contexto de la biblioteca Geant4\, el estándar de simulación de trayectorias de partículas. Las contribuciones incluyen una reimplementación más eficiente (newQSS) del código preexistente de QSS para Geant4\, una nueva variante HelixQSS (que combina trayectorias helicoidales con QSS) y otra nueva variante RotationQSS (que incorpora cambios en el sistema de coordenadas para mejorar la precisión en ciertos casos). Además\, se realiza un análisis exhaustivo de la eficiencia de estas variantes en términos de su rendimiento y precisión.\nLos resultados presentados revelan que\, en situaciones de alta proporción de interpolaciones (requeridas por el tratamiento de discontinuidades)\, los nuevos steppers resultan competitivos en comparación con los métodos tradicionales. En contraste\, para bajas cantidades de interpolaciones\, como es de esperar\, las estrategias derivadas de la integración por cuantificación de estados no ofrecen ventajas en términos de rendimiento respecto a los métodos clásicos de orden superior.\nEn síntesis\, se obtuvieron avances relevantes en la eficiencia y la calidad aportadas por newQSS\, HelixQSS y RotateQSS respecto a la implementación previa de QSS\, siendo en algunos casos más eficientes que los métodos clásicos.\nLos nuevos métodos presentados abren la puerta a nuevas líneas de trabajo para ampliar y mejorar las variantes presentadas\, sentando nuevas bases para la evolución de los métodos QSS aplicados a simulaciones de física de altas energías.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-matias-grynberg-portnoy/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250714T123000
DTEND;TZID=America/Sao_Paulo:20250714T133000
DTSTAMP:20260404T132646
CREATED:20250707T134155Z
LAST-MODIFIED:20250707T134155Z
UID:10030-1752496200-1752499800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Malka Safadie
DESCRIPTION:Título: Framework de Detección de Anomalías en Mesas Electorales\nDirector: Cecilia Ruz\nJurados:  Juan Pablo Ruiz Nicolini\, Pablo Turjanski \nResumen: \nEn el marco de garantizar la transparencia y confiabilidad de los procesos electorales\, la presente investigación propone abordar la temática crucial de la calidad de datos en las elecciones en Argentina. El objetivo principal de este trabajo es desarrollar un framework que permita la detección de anomalías en los resultados de las elecciones.Este framework será implementado en una herramienta desarrollada en Python y se aplicará sobre los resultados de las Elecciones GENERALES 2023. Este trabajo cobra especial relevancia desde la publicación del informe Preservación de Resultados Electorales\, emitido por la Dirección Nacional Electoral el 11 de abril de 2022\, que estandarizó la forma de publicación de los resultados electorales.\nEste estudio se centrará en la detección y comprensión de posibles errores de carga en los resultados electorales\, abordando tanto la consistencia\, como la identificación de casos anómalos que podrían comprometer la integridad de la información.\nEl propósito fundamental de esta investigación es la identificación de mesas anómalas: aquellas en las cuales se observen inconsistencias o indicios de cargas de datos sospechosos. El análisis de estas mesas específicas representa un componente esencial de nuestro estudio\, dirigido a garantizar la integridad y fiabilidad de la información electoral.\nAdemás\, la identificación de las mesas con mayor probabilidad de contener anomalías permitirá\, tanto a la autoridad electoral como a los partidos políticos\, controlar los telegramas y verificarlas en primer lugar.\nEl análisis detallado de los datos se llevará a cabo empleando herramientas avanzadas de análisis de bases de datos en Python. La elección de estas herramientas responde a la necesidad de realizar un examen minucioso de los resultados electorales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-malka-safadie/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250730T140000
DTEND;TZID=America/Sao_Paulo:20250730T150000
DTSTAMP:20260404T132646
CREATED:20250723T164310Z
LAST-MODIFIED:20250723T164525Z
UID:10071-1753884000-1753887600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Felicitas García
DESCRIPTION:Título: «MimicryMonitors: Verificación de programas con fragmentos comunes».\nDirectores: Javier Godoy\, Diego Garbervetsky\nJurados: Dra. Flavia Bonomo\, Dr. Juan Pablo Galeotti \nResumen: \nEn el desarrollo de software moderno\, es común que los sistemas evolucionen mediante pequeños cambios incrementales. Esta característica se puede explotar en diversos escenarios\, especialmente en el testing de regresión\, donde surge una pregunta fundamental: cuando se modifica una parte de un programa previamente verificado\, ¿es necesario re-evaluar todo el sistema o se puede aprovechar el trabajo de verificación ya realizado? En particular\, ¿se puede utilizar la noción de que dos versiones comparten gran parte de su código para reducir el esfuerzo de testeo? En este contexto\, esta tesis explora e implementa los Mimicry Monitors (MM)\, una técnica que justamente capitaliza los fragmentos comunes entre dos versiones de un programa. La técnica permite verificar en tiempo de ejecución si el comportamiento de un programa bajo análisis (PUA) puede ser imitado por un programa de referencia u oráculo (OP)\, sin necesidad de ejecutar este último. Para validar la técnica\, se realizó una evaluación experimental sobre cinco herramientas de GNU Core Utilities\, seleccionando dos versiones de cada una y utilizando sus conjuntos de pruebas existentes para simular escenarios reales de testing de regresión. Se define la efectividad de los Mimicry Monitors como su capacidad de emitir veredictos anticipados sobre la existencia de una contraparte del OP para la ejecución actual del PUA. Los resultados revelan entonces que la efectividad de los MMs está intrínsecamente ligada a la naturaleza de las modificaciones entre versiones. Para programas con modificaciones localizadas como cat\, se obtuvo hasta un 60.87 % de casos verificados\, permitiendo terminación temprana. En contraste\, programas con modificaciones estructurales fundamentales como ls no mostraron resultados igualmente favorables. Los resultados demuestran que los Mimicry Monitors constituyen una herramienta valiosa para la optimización de testing de regresíón\, validando parcialmente la hipótesis de que es posible evitar ejecuciones redundantes mediante el análisis de fragmentos comunes.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-felicitas-garcia/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250801T160000
DTEND;TZID=America/Sao_Paulo:20250801T170000
DTSTAMP:20260404T132646
CREATED:20250729T133458Z
LAST-MODIFIED:20250801T121324Z
UID:10077-1754064000-1754067600@www.dc.uba.ar
SUMMARY:DÁTAME! las charlas de LCD - Manuel Duran - Viernes 01/08 16hs.
DESCRIPTION:Este Viernes 01/08 tenemos DÁTAME!\nEl encuentro será a las 16 hs. en el aula 1114. \nLa presentación estará a cargo de Manuel Durán y el título de la charla es: \n  \nFútbol y Datos: La experiencia del Racing de Santander \nSobre la charla \nEn esta charla exploraremos cómo el machine learning está transformando el análisis y la toma de decisiones en el fútbol. Comenzaremos con una introducción a los modelos de inteligencia artificial\, como el Expected Goals (xG)\, aplicados al fútbol actual\, explicando sus fundamentos y ventajas. A continuación\, veremos casos reales de aplicación en el Racing de Santander\, equipo de la Segunda División española\, mostrando cómo los datos y la IA contribuyen a optimizar el rendimiento y la estrategia del equipo. Además\, presentaremos ejemplos prácticos del día a día y discutiremos las líneas de investigación en desarrollo. \nSobre el orador \nManuel Durán es ingeniero industrial (UBA) y un apasionado por los datos\, el machine learning y la optimización. Se desempeñó como Data Science Specialist en Accenture\, desarrollando soluciones para forecasting\, usando Machine Learning y técnicas avanzadas de analítica. Es docente en la materia Industrias Digitales y Ciencia de datos en la facultad de ingeniería de la UBA y trabaja como director del Departamento de Data del Real Racing Club de Santander (equipo de la 2da división de La Liga española). \nConsultas: info.lcd@exactas.uba.ar \nSobre ¡DÁTAME! \nEste ciclo de charlas busca simultáneamente \n– Ser un lugar de encuentro entre todos/as los/as que nos sentimos cercanos a LCD ya sea por ser estudiantes de la carrera o carrera cercanas\, docentes\, investigadores/as interesados/as o simplemente amigos/as de LCD. \n– Ofrecer a estudiantes de la carrera un panorama amplio de posibles caminos que puede recorrer un/a especialista en ciencias de datos. \n– Exponer a estudiantes de LCD a importantes referentes de la disciplina que trabajan en diversos ámbitos (investigación científica\, empresas\, organismos estatales\, ONGs\, etc. ) \n– Aprender un montón de cosas sobre datos. Qué tipo de problemas se pueden resolver con ellos y cuáles no\, qué precauciones debemos tener\, qué desafíos afronta la disciplina y mucho más. \n– Evidenciar la diversidad de disciplinas que confluyen en esta carrera y experimentar cómo interactúan. \n– Compartir un buen rato\, una vez por mes. \nEstá destinado principalmente a estudiantes de la carrera\, pero todas/os somos bienvenidas/os. \nHabitualmente\, nos juntamos el 3er. viernes de cada mes a las 16hs.\, excepto en ocasiones especiales. \n¡Las y los esperamos!
URL:https://www.dc.uba.ar/event/datame-las-charlas-de-lcd-manuel-duran-viernes-01-08-16hs/
LOCATION:Aula 1114
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250821T110000
DTEND;TZID=America/Sao_Paulo:20250821T120000
DTSTAMP:20260404T132646
CREATED:20250820T144215Z
LAST-MODIFIED:20250820T144215Z
UID:10126-1755774000-1755777600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Santiago Corley
DESCRIPTION:Título: Generación de modelos CAD 3D con grandes modelos de lenguaje\nDirectores: Emmanuel Iarussi y Rodrigo Castro\nJurados: Gisela Confalonieri y Manuel Dubinsky \nResumen: \nEn los últimos años han surgido numerosas aplicaciones de los grandes modelos de lenguaje (LLMs). Sus casos de uso no se restringen únicamente al procesamiento de lenguaje natural\, sino que también abarcan tareas como la generación de código\, la interpretación de imágenes y\, más recientemente\, la creación de objetos 3D. Diversos trabajos han abordado la generación de formas 3D mediante LLMs\, aunque muchas de sus representaciones se alejan de la práctica habitual de los modeladores humanos. \nEn esta tesis se propone un camino alternativo: tratar la generación de objetos 3D como un problema de programación\, explorando las capacidades de distintos LLMs para producir código en OpenSCAD\, un software ampliamente utilizado para modelar geometría en 3D a partir de descripciones textuales. El trabajo incluye la evaluación de modelos existentes en la tarea de generar código OpenSCAD\, el diseño de conjuntos de datos adecuados para entrenar LLMs en este dominio\, y finalmente el entrenamiento de distintos modelos para la programación de OpenSCAD\, comparando su desempeño sobre los datos creados.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-corley/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250822T140000
DTEND;TZID=America/Sao_Paulo:20250822T150000
DTSTAMP:20260404T132646
CREATED:20250821T145048Z
LAST-MODIFIED:20250821T145048Z
UID:10128-1755871200-1755874800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Catherine Sophie Louys Sanso
DESCRIPTION:Título: Clasificación de especies en bosques utilizando imágenes capturadas con vehículos aéreos no tripulados y aprendizaje profundo\nDirector: Dr. Pablo De Cristóforis\nCo-Director: Ing. Raverta Capua\nJurados:\nDra. Victoria Paternostro\nDra. María Elena Buemi \nResumen: \nEn este trabajo se aborda el desafío de clasificar especies arbóreas a partir de imágenes aéreas RGB mediante técnicas de segmentación semántica basadas en aprendizaje profundo. Para la recolección de datos se consideró una tecnología accesible y de bajo costo\, como son los drones equipados con cámaras RGB\, enfrentando las limitaciones propias de este tipo de datos\, como la variabilidad en la iluminación\, la oclusión parcial de copas y la similitud fenotípica entre especies. Como parte de esta tesis se replicó el trabajo de Cloutier et al (2024)\, donde se utilizó un modelo basado en la red convolucional U-Net. A partir de dicho modelo\, se implementaron modificaciones sobre la arquitectura propuesta. Para esto\, se evaluaron 3 tipos de schedulers distintos\, los cuales permitieron mejorar el desempeño de la red. Con estas mejoras se alcanzó un F1 socre de 0.7392\, superando el valor reportado en el trabajo original. Como alternativa a la U-Net\, también se entrenó una red DeepLabV3 con ResNet-50 de backbone. Con este modelo se probaron distintas configuraciones\, empleando los mismos schedulers que se utilizaron para la U-Net. Con la red DeepLabV3 se alcanzó un F1 score de 0.7515 en promedio entre las especies\, superando el desempeño del modelo propuesto en el trabajo de Cloutier et al (2024)\, lo cual representa un avance en el estado del arte. \n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-catherine-sophie-louys-sanso/
LOCATION:Aula 1307
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250822T170000
DTEND;TZID=America/Sao_Paulo:20250822T180000
DTSTAMP:20260404T132646
CREATED:20250820T141517Z
LAST-MODIFIED:20250820T141517Z
UID:10124-1755882000-1755885600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Dafne Yudcovsky
DESCRIPTION:Título: Modelos de programación lineal entera para problemas de asignación de turnos con condiciones de estabilidad \nTesista: Dafne Sol Yudcovsky \nJurado: Dr. Federico Pousa \nResumen: \nDentro del campo de la optimización\, la programación lineal entera se destaca por su capacidad para modelar problemas de decisión en los que las variables deben asumir valores enteros\, cuya flexibilidad expresiva puede reflejar restricciones inherentes a muchos sistemas de la vida real. Esta rama de la programación matemática permite abordar una amplia variedad de aplicaciones\, como por ejemplo la planificación de turnos y horarios. Como caso de estudio se tiene una estación de servicio que busca mejorar su atención al cliente priorizando la rentabilidad y la estabilidad en el inicio de los turnos de los empleados. En esta tesis de licenciatura se buscará encontrar un cronograma de empleados que permita satisfacer estas cuestiones. A partir de este objetivo\, se presentan distintas variaciones de un modelo matemático cuya formulación cubre las necesidades del problema a resolver y se procede con una experimentación computacional para evaluar la performance de cada variación. Estas variaciones se corresponden con activar o desactivar una restricción elástica dentro del modelo de programación lineal entera. Por último\, se realiza un análisis de resultados a partir de distintos parámetros comparativos entre los modelos de cada variación.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-dafne-yudcovsky/
LOCATION:Aula 1307
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250828T140000
DTEND;TZID=America/Sao_Paulo:20250828T150000
DTSTAMP:20260404T132646
CREATED:20250821T153240Z
LAST-MODIFIED:20250821T153240Z
UID:10130-1756389600-1756393200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Mariano Oca
DESCRIPTION:Título: Estudio de Complejidad en Secuencias de Aminoácidos de Proteínas\nDirector: Dr. Pablo Turjanski\nCo-Director: Dr. Ignacio Sánchez\nJurados:\nDra. Verónica Becher\nDr. Diego Ferreiro \nResumen:\nMotivados por la necesidad de explorar patrones estructurales y niveles de aleatoriedad en secuencias biológicas\, este trabajo presenta el diseño e implementación de una herramienta para analizar la complejidad algorítmica de secuencias de aminoácidos en proteínas. La herramienta integra diversas medidas de complejidad: Icalc\, discrepancia\, discrepancia en bloque\, entropía de Shannon\, entropía de segundo orden\, compresión basada en gzip y aproximaciones de Kolmogorov y Bennett.\nEstas métricas se aplicaron a datos en formato FASTA de proteínas naturales obtenidas de UniProt\, así como a variantes sintéticas generadas a partir de la modificación de dichas secuencias. Entre las variantes consideradas se incluyeron: shuffled (reordenamiento aleatorio de aminoácidos)\, random (generación aleatoria uniforme sobre el alfabeto de aminoácidos)\, sorted (orden alfabético) y single character (reemplazo por un único carácter repetido).\nLa herramienta permite cargar conjuntos de secuencias\, aplicar funciones de complejidad y comparar resultados entre métodos\, ofreciendo un marco flexible para futuros análisis. Los resultados obtenidos refuerzan la hipótesis de que las secuencias de aminoácidos de proteínas naturales son\, en su mayoría\, indistinguibles de secuencias sintéticas generadas al azar\, siempre que se preserve la misma distribución de aminoácidos que en las proteínas reales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-mariano-oca/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250909T140000
DTEND;TZID=America/Sao_Paulo:20250909T150000
DTSTAMP:20260404T132646
CREATED:20250903T132513Z
LAST-MODIFIED:20250903T132513Z
UID:10163-1757426400-1757430000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Leo Mansini
DESCRIPTION:Título: Verificación Automática de Smart Contracts Move en Sui\nDirector: Diego Garbervetsky\nJurados: Juan Pablo Galeotti\, Javier Godoy \nResumen\nEn el ecosistema de las blockchains\, la verificación formal de contratos inteligentes es fundamental para garantizar su seguridad y confiabilidad\, evitando vulnerabilidades que podrían resultar en pérdidas económicas o fallas de funcionamiento. Sui\, una blockchain que utiliza el lenguaje Move\, presenta un enfoque innovador para la gestión de objetos y transacciones\, pero aún cuenta con un ecosistema de herramientas de verificación en desarrollo.\nEste trabajo tiene como objetivo explorar métodos para la verificación automática de contratos en Sui. Se realiza un estudio del estado actual de la verificación en Move\, evaluando la herramienta Move Prover en su capacidad para comprobar propiedades de seguridad en módulos escritos para Sui. Además\, se propone un flujo de trabajo alternativo que traduce código Move a Rust de manera controlada\, con el fin de habilitar el uso del verificador Kani\, herramienta enfocada en análisis exhaustivo de propiedades y detección de errores en tiempo de compilación.\nLos resultados muestran que Move Prover no es capaz de interpretar el modelo actual de objetos de Move\, mientras que la traducción a Rust permitió aprovechar verificadores externos con mucha mejor capacidad de verificación\, aunque requirió ajustes manuales y simplificaciones del código para poder representar el funcionamiento de Move en Rust.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-leo-mansini/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250916T150000
DTEND;TZID=America/Sao_Paulo:20250916T160000
DTSTAMP:20260404T132646
CREATED:20250909T132001Z
LAST-MODIFIED:20250909T132001Z
UID:10169-1758034800-1758038400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Vanecek
DESCRIPTION:Título: Deep Learning on Object Oriented Dynamically Typed Languages\n\nDirector: Hernán Wilkinson\nCo-Director: Maximiliano Tabacman\n\nJurados: Agustín Martinez\, Juan Pablo Galeotti \nEstá tesis fue realizada en el marco del programa +acompañamiento de Exactas (https://exactas.uba.ar/acompanamiento/)\n\nResumen: \nEn este trabajo desarrollamos un framework para definir y entrenar modelos de aprendizaje automático en Smalltalk\, un lenguaje orientado a objetos reflexivo y dinámicamente tipado. Este framework busca proporcionar una solución intuitiva y escalable para la construcción de modelos de IA\, aprovechando las mejores prácticas de diseño a lo largo de su desarrollo.\nUtilizamos la librería open-source TensorFlow\, especializada en resolver expresiones matemáticas complejas y ampliamente utilizada en soluciones de IA. Esto nos permite enfocarnos en el diseño y desarrollo de nuestra herramienta sin la necesidad de abordar directamente los desafíos numéricos de bajo nivel. Nuestro objetivo es ofrecer una base de código clara y autoexplicativa que pueda ser fácilmente entendida y ampliada en futuros desarrolladores.\nFinalmente\, comparamos los resultados y el rendimiento de nuestra solución con herramientas similares en otros lenguajes\, como Keras en Python\, así como en dos dialectos de Smalltalk\, destacando tanto las fortalezas como las limitaciones de nuestro enfoque.\n\n\n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-vanecek/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250916T150000
DTEND;TZID=America/Sao_Paulo:20250916T160000
DTSTAMP:20260404T132646
CREATED:20250916T125737Z
LAST-MODIFIED:20250916T125737Z
UID:10173-1758034800-1758038400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Tomas Bertoli
DESCRIPTION:Título: Analizando la Criptografía en la Práctica: Calendarios Cifrados\nDirector: Fernando Virdia\nJurados: Esteban Mocskos\, Arantxa Zapico\n\nResumen: Cada vez más\, los servicios en la nube están priorizando la privacidad. Proveedores como Signal\, MEGA y Nextcloud son ejemplos destacados en el ámbito de la mensajería y el almacenamiento de archivos\, donde la seguridad se logra mediante «cifrado de extremo a extremo»\, una técnica que cifra los datos de usuario de forma que solo sus dueños puedan acceder a ellos\, escondiendo los contenidos del proveedor de servicio.\nEsta tesis analiza el cifrado de extremo a extremo en el ámbito de los «calendarios privados» en la nube. Elegimos analizar un proveedor llamado Tuta\, que cuenta con más de 10 millones de usuarios. Luego de realizar un trabajo de ingeniería inversa sobre su cliente web\, formalizamos los protocolos de autenticación de usuarios y cifrado de eventos\, intentando demostrar su seguridad. Como resultado\, descubrimos un ataque de integridad en el esquema de cifrado de objetos JavaScript\, y un ataque de recuperación de contraseñas con pre cómputo en el protocolo de autenticación de usuarios\, bajo el modelo del servidor malicioso.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tomas-bertoli/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250918T160000
DTEND;TZID=America/Sao_Paulo:20250918T170000
DTSTAMP:20260404T132646
CREATED:20250916T130259Z
LAST-MODIFIED:20250916T130259Z
UID:10175-1758211200-1758214800@www.dc.uba.ar
SUMMARY:DÁTAME! las charlas de LCD - Ximena Fernandez
DESCRIPTION:Este Jueves 18/09 tenemos DÁTAME!\nEl encuentro será a las 16 hs. en el aula 1402. \nLa presentación estará a cargo de Ximena Fernandez y el título de la charla es: \n  \n  \n¿Se puede escuchar la forma de una canción? \nSobre la charla \n¿Alguna vez te preguntaste cómo funcionan las apps de reconocimiento de música como Shazam\, o por qué a veces fallan? ¿Pueden la geometría y la topología algebraica mejorar los algoritmos actuales de identificación de audio? En esta charla voy a contar una colaboración reciente con Spotify\, donde aplicamos técnicas de análisis topológico de datos a señales de audio para identificar canciones con distorsiones\, superando las limitaciones de Shazam. \nSobre la oradora \nXimena es matemática e investiga fundamentos y aplicaciones de la topología algebraica al análisis de datos\, en áreas que van desde neurociencia a sistemas dinámicos. Sus artículos aparecieron en revistas como Transactions of the AMS\, Journal of Machine Learning Research y SIAM Journal on Mathematics of Data Science. Se doctoró en la UBA\, fue investigadora en las universidades de Swansea\, Durham y Oxford (Reino Unido)\, y también trabajó en la industria como data scientist en CAMMESA y OLX. Actualmente es profesora en City University of London. Cuando no hace matemáticas\, le gusta bailar swing y correr. \nConsultas: info.lcd@exactas.uba.ar \nSobre ¡DÁTAME! \nEste ciclo de charlas busca simultáneamente \n– Ser un lugar de encuentro entre todos/as los/as que nos sentimos cercanos a LCD ya sea por ser estudiantes de la carrera o carrera cercanas\, docentes\, investigadores/as interesados/as o simplemente amigos/as de LCD. \n– Ofrecer a estudiantes de la carrera un panorama amplio de posibles caminos que puede recorrer un/a especialista en ciencias de datos. \n– Exponer a estudiantes de LCD a importantes referentes de la disciplina que trabajan en diversos ámbitos (investigación científica\, empresas\, organismos estatales\, ONGs\, etc. ) \n– Aprender un montón de cosas sobre datos. Qué tipo de problemas se pueden resolver con ellos y cuáles no\, qué precauciones debemos tener\, qué desafíos afronta la disciplina y mucho más. \n– Evidenciar la diversidad de disciplinas que confluyen en esta carrera y experimentar cómo interactúan. \n– Compartir un buen rato\, una vez por mes. \nEstá destinado principalmente a estudiantes de la carrera\, pero todas/os somos bienvenidas/os. \nHabitualmente\, nos juntamos el 3er. viernes de cada mes a las 16hs.\, excepto en ocasiones especiales. \n¡Las y los esperamos!
URL:https://www.dc.uba.ar/event/datame-las-charlas-de-lcd-ximena-fernandez/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250919T100000
DTEND;TZID=America/Sao_Paulo:20250919T120000
DTSTAMP:20260404T132646
CREATED:20250916T124400Z
LAST-MODIFIED:20250918T142417Z
UID:10171-1758276000-1758283200@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Gonzalo Lera-Romero
DESCRIPTION:Título: Técnicas de optimización aplicadas a problemas de distribución bajo condiciones de tráfico variable\nDirector: Juan José Miranda Bront\nConsejera de estudios: Isabel Méndez-Díaz \nJurados:\nDra. Flavia Bonomo-Braberman\, CONICET – Universidad de Buenos Aires\, Instituto de Investigación en Ciencias de la Computación (ICC) / Universidad de Buenos Aires\, Buenos Aires\, Argentina\nDr. Stefano Novellani\, Universitá di Pisa\, Pisa\, Italia.\nDr. Eduardo Alvarez-Miranda\, Universidad de Talca\, Talca\, Chile. \nLink Youtube: https://youtube.com/live/9Rvz9Qp3jiU?feature=share \nResumen: \nLas entregas de última milla representan la etapa final del proceso de distribución\, que suele tener lugar cerca de las ubicaciones de los clientes\, dentro de ciudades grandes o pobladas. Tradicionalmente\, estos problemas de distribución se han abordado en algunas variantes del conocido Problema de Ruteo de Vehículos (VRP)\, que consiste en visitar un conjunto de clientes con una flota de vehículos minimizando el costo operativo total. Desarrollar algoritmos efectivos para el VRP representa un desafío desde una perspectiva computacional\, ya que pertenece a la clase de complejidad NP-Hard. Frecuentemente\, las condiciones de la red de transporte en estos tipos de escenarios varían a lo largo del día\, ya que se acumula más congestión en ciertas horas. El Problema de Ruteo de Vehículos con Tiempos de Viaje Variables (TDVRP) es una generalización del VRP clásico\, donde la velocidad de viaje no se asume constante a lo largo del horizonte de planificación y\, como consecuencia\, los tiempos de viaje varían en función del tiempo. En este sentido\, se espera que el resultado de estos tipos de modelos sea más preciso\, con soluciones más cercanas a las restricciones de la vida real\, pero a expensas de algoritmos más complejos. En esta tesis\, analizamos el impacto de incluir explícitamente la dependencia temporal en una amplia gama de variantes del TDVRP. La primera contribución aborda el Problema del Viajante de Comercio con Tiempos de Viaje Variables (TDTSP)\, una generalización del clásico Problema del Viajante de Comercio (TSP). Proponemos una formulación de Programación Lineal Entera Mixta (MILP)\, reforzada con nuevas familias de desigualdades válidas que capturan eficazmente los aspectos temporales del problema\, y que es posible de ser adaptada a diferentes variantes. \nLa segunda contribución presenta un método de solución alternativo para el TDTSP basado en programación dinámica. Este enfoque logra mejoras significativas en el tiempo de ejecución y resuelve con éxito varias instancias que permanecían abiertas en la literatura. \nLa tercera contribución\, en contraste\, se centra en una variante multi-vehículo\, el Problema de Ruteo de Vehículos con Tiempos de Viaje Variables y Vehículos Eléctricos (TDEVRP)\, que combina el ruteo dependiente del tiempo con restricciones operativas específicas de vehículos eléctricos\, como el alcance de conducción limitado y el consumo de batería dependiente de la velocidad. Desarrollamos un algoritmo de branch-cut-and-price (BCP) que incorpora varios componentes de última generación. Experimentos computacionales extensos demuestran su efectividad y competitividad.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-gonzalo-lera-romero/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250924T090000
DTEND;TZID=America/Sao_Paulo:20250924T110000
DTSTAMP:20260404T132646
CREATED:20250919T151449Z
LAST-MODIFIED:20250919T151449Z
UID:10184-1758704400-1758711600@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Carlos Ismael Orozco
DESCRIPTION:Título: Reconocimiento de Acciones Humanas en Videos Utilizando Redes Neuronales Profundas\n\n\nDirector: Dr. Julio César A. Jacobo Berlles\n\nDirectora adjunta: Dra. María Elena Buemi \nConsejera de estudios: Dra. Marta E. Mejail \n \nJurados: \nDra. Maria Juliana Gambini \nDr. Pau Climent Perez \nDr. Sergio Nesmachnow\n\nLink Youtube: https://youtube.com/live/vKJQfCNF-Nw?feature=share\n \nResumen: \nEl Reconocimiento de Acciones Humanas en videos (HAR) consiste en identificar y clasificar diferentes acciones que involucran una o más personas. Este campo continúa en desarrollo ya que los resultados aún no alcanzan niveles satisfactorios para muchas de sus aplicaciones tales como vigilancia\, interacción hombre-máquina\, asistencia sanitaria\, indexación de videos\, entre otras. La importancia de HAR radica en su aplicabilidad a diversos entornos donde la interpretación del comportamiento humano a partir de videos es clave. El objetivo de esta tesis fue desarrollar enfoques de aprendizaje profundo aplicados a HAR. La propuesta integró el uso de Redes Convolucionales (CNN) para extraer características espaciales y de Redes Recurrentes (LSTM) para modelar la dinámica temporal de las acciones. Se incorporó un mecanismo de atención que enfocó las regiones más relevantes de cada fotograma\, mejorando el rendimiento al destacar características esenciales y reducir la influencia de los fotogramas poco representativos. La combinación de CNN\, LSTM y atención ofreció una solución robusta para los desafíos de variabilidad en contextos y entornos. Además\, se implementó un módulo de selección de fotogramas que optimizó el proceso de reconocimiento al identificar y utilizar los fotogramas más representativos. Este no solo mejoró la precisión del modelo\, sino que también redujo los tiempos de entrenamiento al procesar menos fotogramas sin comprometer la calidad del reconocimiento. Para evaluar el rendimiento de las propuestas\, se utilizaron bases de datos públicas especializadas en este tipo de problemas. Los resultados obtenidos fueron competitivos en comparación con modelos más complejos reportados en la literatura. \n \nPalabras Clave: Reconocimiento de Acciones Humanas\, Redes Neuron
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-carlos-ismael-orozco/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250924T150000
DTEND;TZID=America/Sao_Paulo:20250924T160000
DTSTAMP:20260404T132646
CREATED:20250919T124344Z
LAST-MODIFIED:20250919T124344Z
UID:10181-1758726000-1758729600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Gonzalo Consoli
DESCRIPTION:Título: Liquid Types para la verificación de smart contracts\nDirector: Hernán Melgratti\nJurados: Diego Garbervetsky\, Javier Godoy. \nResumen:\nEn este trabajo se desarrolló una herramienta para la verificación de smart contracts escritos en Solidity. La estrategia empleada consiste en traducir el código fuente de Solidity a Haskell\, utilizando las instrucciones require y assert como base para generar refinement types\, los cuales se interpretan como precondiciones y postcondiciones. Estos tipos refinados se utilizan posteriormente en el proceso de verificación mediante Liquid Haskell.\nAdemás\, se presentan ejemplos de uso con contratos de Azure y Rosetta\, así como\nadaptaciones específicas para esta herramienta. Finalmente\, se incluye una comparación con otras herramientas de verificación existentes\, como SMTChecker y Slither.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-gonzalo-consoli/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20251006T140000
DTEND;TZID=America/Sao_Paulo:20251006T150000
DTSTAMP:20260404T132646
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:20260404T132646
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:20260404T132646
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:20260404T132646
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
END:VCALENDAR