El miercoles 11 de diciembre a las 18:30 hs nos encontraremos para nuestra clásica charla de la carrera de Computación, junto con graduados y graduadas, docentes y estudiantes de la carrera. Nos vemos unos minutos antes de la hora de comienzo en el Hall del Pabellón I de Ciudad [...]

Título: Verficación de invariantes en tipos de datos replicados con consistencia mixta Directores: Christian Roldán y Hernán Melgratti Jurados: Juan Pablo Galeotti y Agustín Martinez Suñé Resumen:  Los sistemas geográficamente distribuidos replican su estado sobre diferentes nodos (llamados también réplicas) con el fin de satisfacer requerimientos no-funcionales como la alta [...]

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