Título: Verificación de smart contracts en Ethereum: un estudio y un prototipo Director: Diego Garbervetsky Jurados: Juan Pablo Galeotti, Hernan Melgratti Resumen: Los contratos inteligentes, o smart contracts, son programas que pueden ser ejecutados consistentemente por una red de nodos que se desconfían mutuamente, sin el arbitraje de una [...]

Título:  "Buscando un ciclo Euleriano compatible: un algoritmo rápido” Directora: Verónica Becher Jurados: Flavia Bonomo y Min Chih Lin Resumen: Un ciclo Euleriano en un grafo G es un camino cerrado que usa todos los arcos de G exactamente una vez. Dos ciclos Eulerianos son compatibles si no comparten [...]

Título: LigQ 2.0 y ReverseLigQ: dos herramientas de Virtual Screening e Inverse Virtual Screening basadas en aprendizaje automático Directores: Pablo Turjanski y Marcelo Martí Jurados: Esteban Lanzarotti y Darío Fernández Do Porto Resumen En el presente trabajo de tesis se aborda el problema de generación de conjuntos de moléculas [...]

Título: Detección estática de canales no cerrados usando tipos comportamentales Director: Hernan Melgratti Jurados: Carlos Lopez Pombo, Christian Roldán Resumen: Go es un lenguaje de programación tipado estáticamente cuyo diseño presenta primitivas explícitas de intercambio de mensajes a través de canales. Lange, Ng, Toninho y Yoshida proponen un sistema [...]

Título: Bitcoin: Todos se benefician por igual, pero... ¿Hay algunos más iguales que otros? Directores: David Gonzalez Marquez, Maximiliano Geier Jurados: Daniel Foguelman, Gabriel Wainer Resumen: La aparición y el auge de Bitcoin plantean nuevos posibilidades sobre la forma tradicional de hacer transacciones, así como también nuevos desafós a [...]

Título: Algoritmos basados en programación lineal entera para el problema de ruteo de buses escolares Director: Javier Marenco Jurados: Dra. Paula Zabala y Dr. Federico Pousa Resumen: En esta tesis, estudiamos maneras de resolver el problema de ruteo de buses escolares. Este problema consiste en, dado un sector urbano, [...]

Titulo: Compresores de datos como estimadores de diversidad en repertorios de células T Director: Esteban Lanzarotti Jurados: Pablo Turjanski y Diego Ferreiro Resumen: La diversidad de receptores de células T presentes en el cuerpo humano es una forma de saber la eficiencia del mismo, ya que nos permite saber [...]

Título: Adaptación de dominio no supervisada para segmentación de resonancias magneticas cerebrales mediante redes adversarias de consistencia cíclica. Directores: Enzo Ferrante / Diego Fernandez Slezak Jurados: Marcelo Risk / Enzo Tagliazzuchi Resumen: La segmentación automática es uno de los problemas más importantes en el campo de visión por computadora [...]

Título: "Estimación de la veracidad de expresiones faciales utilizando aprendizaje profundo" Director: María Elena Buemi Jurados: Enrique Segura - Daniel Acevedo Resumen: En este trabajo se estudian diferentes enfoques basados en aprendizaje automático (en particular, variantes de redes neuronales artificiales) para clasificar instancias de expresiones faciales en video según [...]

Titulo:  Una extensión polimórfica para los λ-cálculos cuánticos λρ y λρ° Director:  Alejandro Díaz-Caro Jurados:  Hernán Melgratti - Andrés Viso Resumen: En 2017 Díaz-Caro presentó dos extensiones al cálculo lambda simplemente tipado que modelaban el cómputo cuántico, llamadas λρ y λρ°. La novedad de estos cálculos radica en que representan los sistemas [...]