Browsing Facultad de Matemática, Astronomía, Física y Computación by Title
Now showing items 41-60 of 1196
-
Algebras de Hopf punteadas sobre los grupos simétricos S3 y S4
(2010)Esta tesis concierne la clasificación de álgebras de Hopf punteadas de dimensión finita sobre un cuerpo algebraicamente cerrado de característica cero. Consideramos tanto álgebras de Hopf sobre grupos abelianos como no ... -
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 modular para el seguimiento de partículas en videos de microscopía
(2016)En el presente trabajo se aborda el problema de seguimiento de una población de partículas (como células, microorganismos o entes autopropulsados en general) en videos de microscopía óptica y la extracción de información ... -
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 procesamiento y reconstrucción tomográfica para imágenes radiológicas
(2016-07-07)El presente trabajo tiene el propósito de implementar dos códigos computacionales: el primero es un simulador de proyecciones radiográficas de haz cónico monocromático aplicadas a una muestra, mientras que el segundo código ... -
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 fragmentos de lógica en primer orden
(2023-06-29)Dada una estructura A, decimos que un conjunto T es definible en primer orden sin cuantificadores si y solo si existe una fórmula sin cuantificadores φ tal queA ⊨φ(x) para todo x∈T, mientras que A ⊭φ(x) para todo x∈A\T. ... -
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 ... -
Almacenamiento de coherencias cuánticas como polarización codificada en resonancia magnética nuclear
(2010-03)El trabajo en esta tesis se basa en el estudio e interpretación de los procesos de decoherencia en sistemas magnéticos utilizando como herramienta principal la Resonancia Magnética Nuclear. Se estudió principalmente el ... -
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 ... -
Analysis of non-Markovian repairable fault trees through rare event simulation
(2022)Dynamic fault trees (DFTs) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, DFTs dependability is often analysed using ... -
Analysis of X-ray absorption spectra of the K and L 2,3 edges of GaN within the FP-LAPW method
(2016)Gallium nitride, GaN, is a semiconductor material with several technological applications and therapeutic potential to inhibits the proliferation of tumor cells. In this work we performed all electron self consistent ... -
Analytical and rheological studies of modified gel dosimeters exposed to X-ray beams
(2016)The need to know the dose of X-rays to be applied to patients suffering diseases such as cancer requires accurate and stable dosimetric devices. Currently, the use of gelatin-based dosimeters has yielded excellent results ... -
El análisis químico de residuos de huellas digitales latentes. Su posible aplicación en el proceso de datación
(2017)El análisis dactiloscópico ejerce un papel clave en las investigaciones criminales, y las huellas dactilares son comúnmente utilizadas para la identificación de personas en todo el mundo. Sin embargo, el interrogante acerca ... -
Análisis ambiental de la cuenca del río Salado de la provincia de Santiago del Estero
(2018-09)La Cuenca del Río Salado tiene importantes funciones tanto ambientales como humanas en la provincia de Santiago del Estero, y abarca gran parte del territorio provincial. En el presente trabajo se integran metodologías ... -
Análisis armónico de funciones matriciales en el plano hiperbólico complejo
(2007)En este trabajo determinamos todas las funciones esféricas irreducibles Φ de cualquier K-tipo asociadas a los pares simétricos duales (G,K) = (SU(3), U(2)) y (SU(2, 1), U(2)). Esto se logra asociando a Φ una función a ...