Facultad de Matemática, Astronomía, Física y Computación: Recent submissions
Now showing items 961-980 of 1232
-
Delimitación de áreas de riesgo ambiental para la salud en la Cuenca Matanza Riachuelo, a partir de técnicas de análisis espacial e inteligencia artificial
(2014-09-23)La Cuenca Matanza - Riachuelo se desarrolló en un contexto histórico de ocupación territorial con escasa planificación, en correspondencia con alta densidad poblacional y diferentes actividades productivas dañinas para el ... -
Modelización y simulación numérica de un destilador solar
(2015)En esta tesis se desarrolla un modelo termohidrodinámico de un destilador solar de batea. Inicialmente, mediante descomposición en modos empíricos y transformada de Hilbert-Huang, se realiza un reanálisis de resultados ... -
Categorías tensoriales : representaciones y extensiones
(2014-07)En el presente trabajo se busca dar ejemplos explícitos de categorías tensoriales, usando la maquinaria de las representaciones de tales categorías y las bicategorías; ambos conceptos recientemente introducidos en el ámbito ... -
Ejemplos de álgebras de Hopf semisimples y de álgebras de Hopf con la propiedad de Chevalley dual
(2016-02)En la primera parte de esta tesis, damos ejemplos, y planteamos algunas preguntas, sobre extensiones de álgebras de Hopf semisimples. Para esto, definimos la noción de longitud de un álgebra de Hopf, por ejemplo, que un ... -
Abriendo los cuellos de botella de la economía del hidrógeno : estudios de almacenamiento y factibilidad
(2015-05)Esta tesis aborda, por un lado, desde un enfoque interdisciplinario, análisis de factibilidad técnica, económica y ambiental ligados a la producción de hidrógeno a partir de recursos renovables, así como también vinculados ... -
Decoherencia y transiciones de fase en la dinámica cuántica en sistemas de espines
(2016-06)Tal como establece la Segunda Ley de la Termodinámica, los eventos que ocurren en la Naturaleza son esencialmente irreversibles. Mediante técnicas de Resonancia Magnética Nuclear, es posible revertir una dinámica cuántica ... -
Combinador de información primaria y secundaria para extractor digital de datos de radar en sistemas de vigilancia
(2015-05)Un extractor digital de datos de radar (E.D.D.R.) es un subsistema -de hardware y software- del Sistema de Radar, que permite la representación visual de las aero-naves detectadas. A nivel de software, puede considerarse ... -
Funciones zeta y series armónicas alternantes
(2016)Es este trabajo nos sumergimos en el estudio de la teoría de números. Introduciremos el concepto de la función zeta de Riemann, con propiedades como el producto de Euler. Nos familiarizaramos con los cuerpos de números, y ... -
Movimiento de maclas inducido por un campo magnético y el efecto memoria de forma ferromagnética en policristales masivos de NiMnGa
(2016-03)Las aleaciones de Ni2MnGa se caracterizan por poseer memoria de forma magnética (FSMA). La clave de este comportamiento es la transformación martensítica que experimentan cuando son enfriadas por debajo de una temperatura ... -
La divulgación científica en la Universidad Nacional de Villa María : políticas y acciones
(2015-07)Este trabajo presenta un estudio sobre las políticas y acciones de divulgación científica y tecnológica, generadas en la Universidad Nacional de Villa María, UNVM. En una primera etapa, se presenta un recorrido histórico ... -
Una metodología dirigida por modelos para desarrollo de aplicaciones de Internet ricas basada en UML
(2016)En general se ha estudiado muy poco la transición de requisitos a diseño para las aplicaciones RIA; solo encontramos 4 enfoques. De estos enfoques solo la metodología UWE automatiza (solo parcialmente) la transformación ... -
Propuesta de formulación para la estructura espacial del Ecuador y aplicación de la misma a la evaluación de la vulnerabilidad en la infraestructura de la comunicación vial, usando tecnología geoespacial
(2015-06-17)La creación de una ESTRUCTURA ESPACIAL DEL ECUADOR (EEE), constituye en nuestro país, una herramienta muy poderosa en apoyo al proceso de toma de decisiones en los ámbitos geo_aeroespaciales, con especial atención a las ... -
Optimización de dominios de Planning
(2016)En este trabajo se describe una técnica de optimización de dominios de Planning. Primero se presenta una introducción cerca de la inteligencia artificial en general. Luego se aborda el problema de planning revisando los ... -
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 ... -
G2-estructuras solitones en algebras de Lie nilpotentes
(2015-12)Una forma natural de evolucionar una estructura G2 en una variedad diferenciable de dimensión 7, con el objeto de estudiar la existencia de métricas con holonomía G2, es el flujo laplaciano, introducido por Bryant. En este ... -
Factibilidad de aplicación del test cosmológico de Alcock-Paczyński utilizando vacíos cósmicos
(2016-03)Se diseñó e implementó una versión del test cosmológico de Alcock-Paczyński utilizando la función de correlación cruzada void-galaxia en términos de distancias angulares en el plano del cielo y extensiones en redshift en ... -
Construcción de programas que manejan dinámicamente la memoria
(2015-08-06)En este trabajo abordamos diferentes aspectos de la verificación de programas que manejan dinámicamente la memoria, y más en general, al razonamiento formal sobre ellos. Por un lado, proponemos un marco conceptual para ... -
Sobre la existencia de clases fantasma en la cohomología de ciertas variedades de Shimura
(2014-10-10)En este trabajo, estudiamos la existencia de clases fantasma en la cohomología de ciertas variedades de Shimura asociadas a grupos algebráicos de rango racional 2. Utilizamos ciertos argumentos sobre los pesos de las ... -
Mejoras al testing exhaustivo acotado
(2015-03)El Testing consiste en ejecutar una pieza de software con diferentes entradas para luego chequear si el resultado obtenido se corresponde con el resultado esperado. Se estima que esta actividad ocupa más de la mitad del ... -
Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
(2015-05)Es ampliamente aceptado que los errores son más fáciles (y menos costosos) de corregir si se capturan lo más temprano posible en el proceso de desarrollo. Luego, obtener una especificación de requisitos de buena calidad, ...