Agenda

Título: Semántica denotacional para un cálculo-λ relacional Director: Pablo Barenbaum Jurado: Alejandro Díaz-Caro y Hernán Melgratti Resumen: En esta tesis trabajamos con el cálculo-λU, una extensión del cálculo-λ que incorpora las características fundamentales de la programación relacional: alternativa no determinística, secuenciación explícita, unificación de primer orden e introducción de [...]

Título: Desarrollo y evaluación de sistemas de calificación de la pronunciación basados en redes neuronales profundas Directora: Luciana Ferrer Co-directora: Jazmín Vidal Jurados: Claudio Estienne y Diego Fernandez Slezak Resumen: Los sistemas de calificación de la pronunciación son una herramienta importante para el aprendizaje de idiomas. Evalúan la manera [...]

Título: Verificación estática de contratos para tipos de sesión en Haskell Director: Hernán Melgratti Jurados: Fernando Asteasuain, Carlos Gustavo Lopez Pombo. Resumen: El lenguaje de programación Haskell cuenta con diversas implementaciones de tipos de sesiones binarias. En este trabajo estudiamos la viabilidad de integrarlas con LiquidHaskell, una herramienta de [...]

Título: Inferencia de estructuras y patrones temporales para el modelado de la expectativa, certeza y ambigüedad en el pulso musical Director: D. Fernández Slezak Consejero: A. Gravano Jurados: Ignacio Spiousas, Ramon López de Mántaras Badia, Maria Vanina Martinez Link fijo para la defensa: https://youtu.be/wx7_kuTMKDc Resumen: Este trabajo presenta modelos computacionales [...]

Título: "Un modelo de estimación de habilidad para la Asociación Argentina de Go con perspectiva internacional" Director: Esteban Mocskos Director adjunto: Gustavo Landfried Jurados: Agustín Gutierrez y Matías López-Rosenfeld Transmision en vivo: https://youtu.be/IAFimyMvBpg Resumen ======= El Go es un juego de mesa milenario creado en Asia que, a pesar de tener reglas relativamente sencillas, presenta una enorme complejidad combinatoria [...]

Título: Un algoritmo branch-and-cut para el routing and spectrum allocation problem Director: Dr. Javier Marenco Jurados: Dr. Hervé Kerivin (University Clermont Auvergne, Francia) Dr. Juan José Miranda Bront (Universidad Torcuato Di Tella) Dra. Paula Zabala (Universidad de Buenos Aires) Transmisión en vivo: https://youtu.be/wlXcvVFDMM0 Resumen: La fibra óptica flexible y en particular la tecnología llamada grilla flexible (flexgrid), especificada en el estándar ITU-T G.694.1, es una de las soluciones más [...]

Título: "Identificación de comunidades en intervalos de tiempo a través del lenguaje" Director: Esteban Feuerstein Director adjunto: Juan Manuel Ortiz de Zarate Jurados: Carlos Sarraute, Maria Vanina Martinez Resumen ======= La identificación de comunidades es una tarea ampliamente estudiada desde diversas disciplinas hace ya largos años; con la aparición [...]

Título: Detección de comportamiento malicioso en la Blockchain de Ethereum Directora: Maria Vanina Martinez Jurados: Esteban Mocskos  y Diego Garbervetsky Resumen: Con el objetivo de eliminar un tercero de confianza en las transacciones monetarias entre dos partes, se crea el concepto de criptomoneda con Bitcoin y Ethereum dos de los [...]

Los y las invitamos a la charla de LCD Dátame! del mes Septiembre. La charla será el viernes 16 de Septiembre en su NUEVO HORARIO: 16 hs!! En el aula 1402 del Edificio 0+Infinito, esta vez a cargo de Germán Dima.

Título: "Aplicabilidad de eye tracking web remoto al diagnóstico de condiciones neuropsicológicas" Director: Juan E Kamienkowski Director adjunto: Gustavo Juantorena Juradxs: Dra. Andrea Goldin y Dr. Marcelo Risk Resumen: Partiendo de una implementación existente de modelado de la mirada se construyó un prototipo de eye tracker web orientado a [...]