Título: Clasificación de especies en bosques utilizando imágenes capturadas con vehículos aéreos no tripulados y aprendizaje profundo Director: Dr. Pablo De Cristóforis Co-Director: Ing. Raverta Capua Jurados: Dra. Victoria Paternostro Dra. María Elena Buemi Resumen: En este trabajo se aborda el desafío de clasificar especies arbóreas a partir de [...]

Título: Modelos de programación lineal entera para problemas de asignación de turnos con condiciones de estabilidad Tesista: Dafne Sol Yudcovsky Jurado: Dr. Federico Pousa Resumen: Dentro del campo de la optimización, la programación lineal entera se destaca por su capacidad para modelar problemas de decisión en los que las [...]

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