Browsing Trabajos Especiales de Licenciaturas by Title
Now showing items 1-20 of 388
-
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 ... -
Acotación de ciertos operadores integrales en espacios de Lebesgue variables
(2016-03)En el presente trabajo estudiamos la acotación de ciertos operadores integrales sobre los espacios de Lebesgue variables. En el capítulo I, damos los preliminares necesarios, en el II, comparamos las distintas técnicas con ... -
Acotación de conmutadores de operadores integrales : dados por un núcleo a valores vectoriales que satisface una condición de tipo Hörmander y aplicaciones
(2015)Se sabe que el todo conmutador de una integral singular esta acotado en normas Lp(w), con w un cierto peso, por un operador maximal apropiado. Para conmutadores de orden k de integrales singulares de Calderón-Zygmund (con ... -
Acotación de operadores integrales, dados por un núcleo a valores vectoriales que satisface una condición de tipo Hörmander y aplicaciones
(2015)El principio de Calderón-Zygmund “asegura” que toda integral singular está acotada en normas Lp(w), con w un cierto peso, por un operador maximal apropiado. Para integrales singulares de Calderón-Zygmund (con núcleo ... -
Algebras de vértices libres y álgebras de Lie conformes no lineales
(2016-12)El presente trabajo constituye una revisión de la construcción del álgebra de vértices universal envolvente de un álgebra de Lie conforme. Comenzamos dando los resultados básicos relacionados con las álgebras conformes y ... -
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 ... -
Algoritmos y análisis de imágenes no convencionales de rayos X
(2011)En este trabajo se estudian diferentes algoritmos de reconstrucción de imágenes basadas en un analizador de rayos X, con el objeto de separar los efectos de absorción, refracción y dispersión a ultra bajo ángulo, como ... -
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 componentes principales aplicado en espectroscopia de emisión K𝛽 de alta resolución
(2019-08)La espectroscopia de emisión de rayos X (XES) es una herramienta muy importante para el análisis elemental de una muestra y para estudiar la estructura atómica de los átomos, actualmente se ha convertido además en una ... -
Análisis de contenido de fósforo en cáncer mamario por microfluorescencia de rayos X
(2022-02)En el presente trabajo, se ha implementado el Microanálisis por Fluorescencia de Rayos X para el estudio de tejidos neoplásicos. Esta técnica permite un análisis multielemental simultáneo no destructivo, simplificando la ... -
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 ...
