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