Search
Now showing items 81-90 of 107
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 ...
Simulación de incendios forestales
(2010)
Los incendios que han acompañado a la provincia de Córdoba desde hace muchos años son un problema cada vez mas difícil de abordar. En parte, por la falta de tecnología que ayude a su prevención y lucha. Proponemos e ...
Estudio de semántica categórica para lenguajes Algol-Like
(2013-09)
Este trabajo consiste en la definición y estudio de tres lenguajes de programación. Los dos primeros serán lenguajes funcionales, uno con un sistema de tipos simple y otro con un sistema de tipos que soporta subtipado. El ...
CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
(2014-03-20)
Presentamos una herramienta para analizar propiedades de seguridad en protocolos distribuidos. La herramienta está construida sobre los schedulers llamados fuertemente distribuidos, donde el secreto también es considerado. ...
Lógicas modales con datos infinitos
(2015-03)
En este trabajo de licenciatura, extendemos la lógica dinámica proposicional (PDL, Propositional Dynamic Logic) con variables que toman valores en un dominio infinito. Esta extensión, llamada PDL parametrizada o PPDL es ...
Análisis de diagnosticabilidad en sistemas probabilísticos
(2015-07)
Un aspecto fundamental en sistemas computacionales es poder diseñar mecanismos automáticos de detección de fallas.
Debido al incremento en los requerimientos de confiabilidad (particularmente en sistemas críticos), muchos ...
Desarrollo de una aplicación móvil basada en Android para el combate de incendios forestales y de interfaz
(2016-08)
Gracias al gran avance de la tecnología móvil en la actualidad, se ha dispuesto como propósito del presente trabajo crear una aplicación basada en la plataforma Android para teléfonos inteligentes. La aplicación actuará ...
Análisis de la definibilidad de relaciones en estructuras de primer orden
(2019-03)
En el artículo "Semantical conditions for the definability of functions and relations" [1], se presentan condiciones semánticas que caracterizan cuando una función o una relación es definible por fórmulas de distintos ...
Detección de patrones publicitarios
(2014)
El objetivo principal de este trabajo es estudiar distintos algoritmos de reconocimiento de patrones en imágenes para la detección de logos publicitarios. A lo largo del trabajo se describen dos implementaciones en este ...
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 ...