Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Title
Now showing items 1-20 of 149
-
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
(2010-12-17)En este trabajo se presenta una adaptación al model checking simbólico de un método de reducción de estados, el cual, tiene como objetivo reducir el costo de los cálculos numéricos involucrados en el model checking ... -
Aceleración de un modelo numérico de predicción del tiempo para aplicaciones en alerta temprana a emergencias ambientales
(2018-12)Esta tesis de licenciatura aborda el problema de implementar el modelo numérico de predicción del tiempo Weather Research and Forecasting (WRF) en uno de los clústeres dedicados a computo intensivo de la UNC, Mendieta, con ... -
Algoritmo de cálculo de cápsulas convexas
(2015-07)El presente trabajo se propone definir algoritmos eficientes implementados sobre placas de video para calcular el conjunto convexo que encierra a un conjunto de puntos dado. Los resultados obtenidos se analizaran mediante ... -
Un algoritmo numérico para localización de tumores
(2016)Desarrollamos un algoritmo numérico para estimar la localización y tamaño de un tumor inmerso en el tejido corporal utilizando como información perfiles de temperatura medidos sobre la superficie. Desde el punto de vista ... -
Algoritmos de tableaux para Xpath con datos
(2018-03-28)En este trabajo se presenta un cálculo correcto y completo para XPath con datos y caminos descendentes, enriquecido con nominales y operadores de satisfacción. Llamaremos HXPath = (↓) al lenguaje híbrido que resulta de ... -
Algoritmos genéticos para análisis sintáctico
(2008)Las técnicas tradicionales de análisis sintáctico definen modelos probabilísticos que permiten recorrer exhaustivamente el espacio de busqueda en tiempos razonables. En lugar de explicitamente definir un modelo y buscar ... -
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, ... -
Algoritmos para la búsqueda eficiente de instancias similares
(2007)En el presente trabajo encaramos el desafío de buscar objetos similares dentro de una colección muy grande de estos objetos. Encontramos dos dificultades en éste problema: en primer lugar definir una medida de similitud ... -
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 ... -
Análisis de binarios usando ejecución simbólica
(2018)En el presente trabajo se estudia, analiza y contribuye en el uso de técnicas y herramientas modernas para el análisis de programas ejecutables binarios. Hacemos énfasis en el uso de ejecución simbólica, mencionando algunas ... -
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 ... -
Análisis de estructuras de sufijos de strings
(2021)El problema de desarrollar algoritmos que decidan si un cierto patrón o palabra aparece o no en un determinado texto es fundamental en ciencias de la computación. Diversos algoritmos se han desarrollado en las últimas ... -
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 ... -
Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
(2009)Desde tiempos previos a la llamada crisis del software se ha reconocido que la complejidad y el tamaño de los sistemas de software demanda metodologías sistemáticas de desarrollo. El objetivo de éstas es permitir crear, ... -
Análisis de sentimiento en tweets de fútbol argentino
(2021)En la actualidad la cantidad de datos que se genera en las redes sociales es gigantesca. Aquı́ es donde los sistemas de Análisis de Sentimiento resultan de gran utilidad, ya que su principal objetivo es identificar opiniones ... -
Análisis de sentimiento en Twitter : el bueno, el malo y el >:(
(2016-06)Los sistemas de análisis de sentimientos y la minería de opiniones han resultado ser de gran utilidad en los últimos años, con la introducción de las redes sociales. Su principal objetivo es identificar opiniones positivas ... -
Análisis del movimiento de escaladores usando sensores móviles mediante técnicas de inteligencia artificial
(2015-03)Se propone utilizar los sensores provistos en la mayoría de los teléfonos inteligentes, como acelerómetro 3D y giróscopo, para estudiar el movimiento de escaladores de palestra indoor. La información de los sensores se ... -
Análisis multiobjetivo sobre DTNs
(2023-06-14)En este trabajo se aborda el desafío de la comunicación espacial e interplanetaria a través del uso de redes tolerantes a demoras (DTNs) con un enfoque basado en procesos de decisión de Markov (MDPs). Se emplea la verificación ... -
Análisis y procesamiento de imágenes de maní para el control del nivel de tostado
(2013)El maní es una planta que produce frutos secos con una o más semillas comestibles. Estas semillas se destinan para la elaboración de aceites o para el consumo ya sea directo o, previa transformación, como pasta de maní. Para ... -
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 ...
