Browsing Facultad de Matemática, Astronomía, Física y Computación by Language "spa"
Now showing items 41-60 of 984
-
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 ... -
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 ... -
Análisis armónico en nilvariedades
(2020-07)Esta tesis se encuadra en el estudio del análisis armónico en pares de Gelfand de la forma (K,N), donde N es un grupo de Lie nilpotente y K es un subgrupo de automorfismos de N. En una primera parte trabajamos con una ... -
Análisis cronológico de opinión en diarios utilizando extracción de tópicos y word-embeddings
(2023)Este trabajo tiene como objetivo el análisis del discurso de dos diarios argentinos La Nación y Página 12, intentando capturar el comportamiento de dos editoriales con opiniones políticas antagónicas. Para lograr el análisis ... -
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 delitos contra la integridad sexual
(2020)La investigación criminal contempla al delito contra la integridad sexual (DCIS) contra niñas, adolescentes y mujeres como uno de los crímenes más aberrantes de violencia ejercida contra una persona. Constituye un problema ... -
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 grupos compactos de galaxias mediante lentes gravitacionales débiles
(2020-03)La tesis presenta un análisis sobre Grupos Compactos de galaxias utilizando el fenómeno de lentes gravitacionales débiles como herramienta de estudio. Se determina el centro de potencial gravitacional y se estudia la ... -
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 la influencia de las condiciones climáticas en la detección de buques en Panamá utilizando un modelo de redes neuronales convolucionales
(2023-09)Panamá, clave en las rutas logísticas globales gracias al Canal de Panamá, requiere supervisión precisa de buques para mantener su conectividad. Este estudio usa modelos de aprendizaje profundo con datos de imágenes ópticas ...