Título: Reconocimiento de Acciones Humanas en Videos Utilizando Redes Neuronales Profundas Director: Dr. Julio César A. Jacobo Berlles Directora adjunta: Dra. María Elena Buemi  Consejera de estudios: Dra. Marta E. Mejail    Jurados:  Dra. Maria Juliana Gambini  Dr. Pau Climent Perez  Dr. Sergio Nesmachnow Link Youtube: https://youtube.com/live/vKJQfCNF-Nw?feature=share   Resumen: El [...]

Título: Liquid Types para la verificación de smart contracts Director: Hernán Melgratti Jurados: Diego Garbervetsky, Javier Godoy. Resumen: En 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 [...]