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