Eventos

Título: Generador de Abstracciones de Comportamiento para Contratos Inteligentes mediante Fuzzing Directores: Javier Godoy, Diego Garbervetsky Jurados: Dr. Gustavo Grieco, Dr. Juan Pablo Galeotti Resumen: Los contratos inteligentes son programas inmutables desplegados en la blockchain, utilizados para gestionar activos digitales y automatizar acuerdos sin intermediarios. Dada la inmutabilidad de [...]

El encuentro será a las 16 hs. en el aula 1402 del Edificio 0+Infinito. La presentación estará a cargo de Constanza Sanchez F. de la Vega y el título de la charla es: ¿Pueden las ecuaciones diferenciales y las libélulas trabajar en equipo para controlar una epidemia? Sobre la charla En esta charla veremos cómo las [...]

Título: Lógicas para razonar sobre grafos con datos Director: Santiago Figueira Director adjunto: Diego Figueira Consejera de estudios: Teresa Krick Jurados: Dra. Flavia Bonomo, UBA & CONICET Dra. Magdalena Ortiz, TUW, Austria Dr. Domagoj Vrgoc, PUC, Chile Link Youtube: https://youtube.com/live/6e82iE8-hco Resumen: En esta tesis analizamos una serie de problemas relevantes [...]

Título: On the Completeness of a Syntactically Linear Logic Director: Alejandro Díaz-Caro Jurados: Pablo Barenbaum (Universidad de Buenos Aires) Octavio Malherbe (Universidad de la República) Benoît Valiron (Université Paris-Saclay) Resumen: El cálculo L-S, una extensión del lenguaje de pruebas de la lógica lineal relacionado con la computación cuántica, ha [...]

Título: Aplicación de embeddings de BERT para detección automática de Alzheimer Cuándo: Lunes 19 de Mayo, 12:30 hs. Dónde: Aula 1308, Edificio 0+infinito, Ciudad Universitaria, UBA. Directores: Pablo Brusco, Lara Gauder Jurados: Viviana Cotik, Gustavo Juantorena Resumen La detección temprana del Alzheimer representa un desafío clave en el ámbito [...]

Título: Word-embeddings contextualizados para detección de entidades nombradas en textos de radiología en español Directora: Viviana Cotik Jurados: María Teresa Martín Valdivia, Pablo Brusco Resumen: La 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 [...]

Este Viernes 30/05 tenemos DÁTAME! de Mayo, con presentación a cargo de Victoria Peterson. El encuentro será a las 16 hs. en el aula 1402 del Edificio 0+Infinito. Sobre la charla ¿Alguna vez escuchaste hablar de chips implantados para decodificar el habla? o ¿sobre la capacidad de comandar dispositivos [...]

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 Director: Santiago Cifuentes Jurados: Santiago Figueira, Sergio Abriola Resumen: Esta tesis propone una exploración sobre el campo de la explicabilidad en modelos de [...]

Título: Generación automática de contra-narrativas utilizando información argumentativa para combatir mensajes de odio. Directoras: M. Vanina Martinez, Laura Alonso Alemany Director adjunto: Ricardo O. Rodriguez Consejero de estudios: Fernando Schapachnik Jurados: Dr. Ing. Luis Chiruzzo, Universidad de la Republica, Montevideo, Uruguay Dra. Diana I. Perez, Universidad de Buenos Aires, [...]

Título: Pure Pattern Calculus à la de Bruijn Director: Andrés Ezequiel Viso Co-director: Alejandro Ríos Jurados:    Pablo Barenbaum (Universidad de Buenos Aires)    Hernán Melgratti (Universidad de Buenos Aires) Resumen: Es bien conocido en el estudio de lenguajes de programación que lidiar con ligadores y nombres de variables puede ocasionar conflictos como ser [...]