Search
Now showing items 1-10 of 10
Transferencia de estilo en fotografías mediante redes neuronales convolucionales
(2017-07)
Dada la facilidad de tomar fotografias a partir de los dispositivos móviles y el aumento de la capacidad de cómputo de dichos dispositivos se han desarrollado muchas aplicaciones con el objetivo de generar nuevas imágenes ...
Recomendación de información basada en análisis de redes sociales y procesamiento de lenguaje natural
(2017-07-19)
El presente trabajo se origina en el estudio de técnicas de Análisis de Redes Sociales para mejorar la calidad de un recomendador de contenido para entornos corporativos. Estudiamos el problema de recomendación de contenido ...
Comparación de arquitectura AMD e Intel para ejecución de GADGET
(2017)
Realizo una comparación de la ejecución de código de simulaciones cosmológicas Gadget, el cual evoluciona la materia del universo considerando solo la fuerza de gravedad. Estas ejecuciones se realizaron sobre arquitectura ...
Entrenamiento de modelos de aprendizaje profundo mediante autosupervisión
(2017-08)
Dentro del campo del aprendizaje automático, una clase de técnicas conocidas como Deep Learning (DL) han cobrado particular relevancia, ya que mediante su utilización se han conseguido mejoras muy significativas respecto ...
Aplicaciones de álgebra universal al reticulado de Post
(2017)
El reticulado de todos los clones de funciones booleanas ordenados por inclusión, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computación en lo referido al problema de satisfacibilidad ...
Una propuesta de accesibilidad en expresiones matemáticas para la comunidad de ciegos y disminuídos visuales
(2017)
La accesibilidad a la bilbiografía de áreas técnicas como la matemática es un tema importante para que la educación sea cada vez más inclusiva. Aún así, como lo es de importante puede que lo sea de complejo. Uno de los ...
Desarrollo de un algoritmo de compresión de datos optimizado para imágenes satelitales
(2017)
Las imágenes satelitales son cada vez de mayor tamaño, de tal manera que hoy en dı́a hablar en términos de gigabytes ya es normal. A la hora de generar productos que formen un mosaico también nos encontramos con grandes ...
Seguimiento de partículas en videos de microscopía
(2017)
En este trabajo se presenta un algoritmo modular que tiene como objetivo reconstruir trayectorias de partículas a partir de secuencias de imágenes obtenidas con técnicas de microscopía óptica, y extraer información estadística ...
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
(2017-05-31)
Presentamos un shape analysis con garantı́as de terminación para programas que manipulan estructuras de datos no lineales como árboles binarios. El análisis se basa en una ejecución simbólica de los programas sobre estados ...
Simetrías en lógicas de descripción
(2017)
En esta tesis trabajaremos con el concepto de simetría en el contexto del razonamiento automático. Si podemos identificar las simetrías de un problema, podríamos utilizarlas para reducir la dificultad del razonamiento ...