Título: Impacto de la red FIBRE en Bitcoin: ¿Los mineros crearon un sistema casi centralizado? Director: Esteban Mocskos Jurados: Agustín Martínez Suñé y Esteban Lanzarotti Resumen: ======== En 2008, alguien bajo el pseudónimo de Satoshi Nakamoto propuso una solución computacional al problema de intercambiar valor entre participantes desconocidos sin la necesidad de un tercero de [...]

Título: Análisis de la evolución del aprendizaje y uso de TDD Director: Hernán Wilkinson Jurados: Juan Pablo Galeotti y Sebastían Uchitel Resumen: Actualmente si bien hay estudios sobre la aplicación de la técnica de Test Driven Development (de ahora en adelante TDD), ninguno se enfoca en la evolución de [...]

Título: Optimización de reglas de asociación generalizadas y jerárquico-temporales Director: Cecilia Ruz Jurados: Vanina Martinez y Pablo Turjansky Resumen: ======== Reglas de asociación es una técnica de minería de datos no supervisada que permite generar hipótesis a partir de los datos. Esta técnica consiste en encontrar todos los subconjuntos de items que [...]

Título: Aplicación de Redes Neuronales de Impulsos para el reconocimiento no supervisado de patrones secuenciales Director: Dr. Pablo Negri (ICC) Jurado: Dra. Teresa Serrano-Gotarredona (Instituto de Microelectrónica de Sevilla), Dr. Rodrigo Castro (ICC) Resumen: La llamada tercer generación de redes neuronales artificiales, las redes neuronales de impulsos, resultan ser [...]

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 [...]