Título: Estudio de Complejidad en Secuencias de Aminoácidos de Proteínas Director: Dr. Pablo Turjanski Co-Director: Dr. Ignacio Sánchez Jurados: Dra. Verónica Becher Dr. Diego Ferreiro Resumen: Motivados 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 [...]

Título: Verificación Automática de Smart Contracts Move en Sui Director: Diego Garbervetsky Jurados: Juan Pablo Galeotti, Javier Godoy Resumen En 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 [...]

Título: Deep Learning on Object Oriented Dynamically Typed Languages Director: Hernán Wilkinson Co-Director: Maximiliano Tabacman Jurados: Agustín Martinez, Juan Pablo Galeotti Está tesis fue realizada en el marco del programa +acompañamiento de Exactas (https://exactas.uba.ar/acompanamiento/) Resumen:  En este trabajo desarrollamos un framework para definir y entrenar modelos de aprendizaje automático en Smalltalk, un lenguaje [...]

Título: Analizando la Criptografía en la Práctica: Calendarios Cifrados Director: Fernando Virdia Jurados: Esteban Mocskos, Arantxa Zapico Resumen: 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 [...]

Este Jueves 18/09 tenemos DÁTAME! El encuentro será a las 16 hs. en el aula 1402. La presentación estará a cargo de Ximena Fernandez y el título de la charla es:     ¿Se puede escuchar la forma de una canción? Sobre la charla ¿Alguna vez te preguntaste cómo funcionan las apps de reconocimiento de música como [...]

Título: Técnicas de optimización aplicadas a problemas de distribución bajo condiciones de tráfico variable Director: Juan José Miranda Bront Consejera de estudios: Isabel Méndez-Díaz Jurados: Dra. Flavia Bonomo-Braberman, CONICET - Universidad de Buenos Aires, Instituto de Investigación en Ciencias de la Computación (ICC) / Universidad de Buenos Aires, Buenos [...]

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

Título: Búsqueda visual sobre imágenes naturales: incorporando ruido como modelado de la variabilidad humana. Directores: Juan E Kamienkowski, Gonzalo Ruarte Jurados: Diego Shalom, Rodrigo Laje Resumen: 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, [...]

Título: Un estudio poliedral del routing and spectrum allocation problem Director: Dr. Javier Marenco Jurado: Dr. Cid de Souza (Mercado Libre, Argentina y Brasil) Dr. Enrico Malaguti (Universidad de Bologna, Italia) Dr. Juan José Salazar González (Universidad de la Laguna, España) Transmisión en vivo: https://youtube.com/live/ORVcyv-XAfk?feature=share Resumen: El problema de ruteo [...]