Search
Now showing items 151-159 of 159
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 ...
Una herramienta para chequeo de tipos en Assembly X86
(2023-10-15)
Esta tesis aborda el desarrollo de una herramienta diseñada para realizar el chequeo de tipos en programas escritos en el lenguaje de ensamblaje x86. El principal desafío abordado en esta investigación es superar la falta ...
Detección de diferentes aspectos de discurso de odio en redes sociales
(2022)
En este trabajo, buscamos detectar de forma automática las diferentes y diversas unidades argumentativas que se presentan en el discurso de odio, empleando arquitecturas de aprendizaje profundo, con el objetivo de que ...
Verificación de lógicas modales dinámicas en Coq
(2019-03)
Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...
Verificación formal de código binario
(2015)
Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene ...
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 ...
Desarrollo de herramientas de simulación basadas en imágenes satelitales con aplicaciones en salud, formativas y recreativas
(2009)
El presente trabajo de grado tiene por objetivo la creación de una herramienta de software que a través de un adecuado procesamiento de la información extraída de imágenes satelitales nos permita estudiar la distribución ...
Enrutamiento multiobjetivo en redes tolerantes a demoras
(2024-04-26)
Las redes tolerantes a demoras (DTN) han sido propuestas y estudiadas como un protocolo
acorde al problema de la comunicación en redes que cambian a lo largo del tiempo. Un plan de
contacto se construye a partir de la ...