Search
Now showing items 51-54 of 54
Verificación formal de protocolos distribuidos
(2019)
En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ...
Proceso de modelización matemática aplicado al estudio de la función exponencial
(2019-11-21)
El presente trabajo está enmarcado en la asignatura Metodología y Práctica de la Enseñanza, correspondiente a la carrera de Profesorado en Matemática de la Facultad de Matemática, Astronomía, Física y Computación (FAMAF). ...
De PH a IP : un curso en complejidad computacional
(2019-11)
En este trabajo estudiamos algunas de las clases más importantes de la teoría de Complejidad Computacional. Nos basamos en el programa que propone el libro Computational Complexity a modern approach, del cual vemos la ...
Procesamiento de imágenes médicas para generación automática de reportes
(2019)
En el presente trabajo se plantea el problema de la generación automática de reportes médicos a partir de imágenes. La redacción de informes que interpretan las imágenes médicas consume gran parte del tiempo de los ...