Trabajos Especiales de Licenciatura en Ciencias de la Computación: Recent submissions
Now showing items 81-100 of 158
-
Simulación de eventos raros con Importance Splitting, extendiendo FIG con Fixed Effort y Fixed Sucess
(2018-12-03)Un problema que surge al hacer simulación para validar sistemas críticos es cuando el evento a analizar exhibe una probabilidad muy baja. En este trabajo nos enfocamos en la técnica de Importance splitting (división por ... -
Evaluación comparativa de modelos de traducción estadística y neuronal
(2018)En este trabajo evaluaremos la implementación de un sistema de traducción automática en un una empresa privada con necesidades particulares: el Correo Suizo, cuyo departamento de servicios lingüísticos está interesado en ... -
Recomendación de música basada en contenido con deep learning
(2018)La música es parte de nuestras vidas. Cada vez consumimos más contenido digital, queremos todo al instante y acorde a nuestros gustos. Dado el gigantesco catálogo musical que existe, resulta indispensable contar con un ... -
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 ... -
Desarrollo e implementación de algoritmos para QGIS en análisis de series de tiempo
(2018)Los sensores remotos han sido valiosos auxiliares de los ecólogos en las últimas décadas. El uso más frecuente de estas herramientas se ha enfocado a la caracterización estructural del paisaje. Si bien se han logrado avances ... -
Estudio comparativo de simulaciones físicas en GPU y FPGA
(2018-03)El problema que se propone resolver es la ecuación de calor de Laplace, un problema paralelizable. Este problema cuenta con operaciones entre números reales que le dan a sus algoritmos un tinte interesante para su estudio ... -
Predicción de tendencias en redes sociales basada en características sociales y contenido
(2018-04-30)En el marco del análisis de redes sociales éste trabajo busca capturar el comportamiento de los usuarios influyentes sobre una publicación determinada. Con esta información, la intención es generar un modelo de aprendizaje ... -
Optimización del cómputo para la resolución del problema de una y dos partículas en un pozo de potencial usando B-splines
(2018)En este trabajo se optimizó una implementación del método variacional de Rayleigh-Ritz para la resolucion de la ecuación de Schrödinger independiente del tiempo, usando un conjunto de funciones conocido como B-splines. ... -
Mapeos de lenguaje de consulta a esquemas XML
(2018-04)Recientemente se ha estudiado cómo transicionar o mapear modelos de requisitos junto con esquemas de datos a diagramas de interfaz de usuario (UI). Pero no se encontraron trabajos que partan de una etapa previa, o sea desde ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
Aprendizaje activo para mejorar el arranque en frío de sistemas de recomendación
(2016)Cuando un nuevo usuario hace uso de un sistema de recomendación, no se tiene suficiente información sobre sus preferencias para producir recomendaciones precisas. Este problema es conocido como "arranque en frío". Para ... -
Corrección automática de errores de OCR en documentos semi-estructurados
(2016-12-07)En este trabajo se presenta la tarea realizada para corregir automáticamente texto generado por un OCR desde un archivo digital realizado para preservar documentos creados durante la dictadura militar en Argentina entre ... -
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 ... -
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden
(2016-03)En este trabajo desarrollamos algoritmos para decidir definibilidad de relaciones sobre familias finitas de estructuras finitas de primer orden. Presentamos algoritmos para los siguientes tipos de fórmulas: abiertas, ...