Search
Now showing items 51-60 of 164
Aplicaciones analíticas y numéricas de la teoría de ecuaciones en derivadas parciales a ciertos problemas de evolución sobre espacios curvos
(2016-04)
Esta tesis se constituye en base al abordaje de cuatro problemas físicos, cuyo eje común es la relatividad y la teoría de ecuaciones en derivadas parciales. El primer proyecto corresponde a una exploración numérica de una ...
Compilación Certificada sobre Máquinas Abstractas de evaluación normal
(2017-03)
En esta tesis se analiza cómo demostrar la corrección de compiladores de lenguajes con evaluación normal, utilizando máquinas abstractas como entornos de ejecución. En particular se presenta una prueba de corrección de un ...
Distribución de autovalores de Hecke en cuerpos totalmente reales
(2018-03)
Sea F un cuerpo de números totalmente real de dimensión d sobre los racionales Q, O_F el anillo de enteros y Gamma(I) un subgrupo de congruencia de Hecke de GL_2(R). Para cada ideal primo p en O_F, p no divida a I, p un ...
Caracterización de la dinámica molecular en nanoestructuras supramoleculares globulares mediante relaxometría magnética nuclear
(2016-03)
Utilizando diferentes técnicas de resonancia magnética nuclear, principalmente la relaxometría con ciclado rápido de campo magnético, se llevaron a cabo estudios de dinámica molecular, los que permitieron analizar propiedades ...
Sobre la estabilidad de Kerr extremo ante perturbaciones gravitacionales lineales
(2016-03)
En esta tesis se aborda uno de los problemas abiertos más clásicos de la relatividad general, la estabilidad de la métrica de Kerr. Nos enfocamos puntualmente a la estabilidad a orden lineal ante perturbaciones gravitacionales ...
Generación de expresiones referenciales bajo incertidumbre con teoría de modelos
(2016)
En esta tesis investigamos la generación automática de rankings de expresiones referenciales en contextos con incertidumbre. Las posibles aplicaciones de la generación de expresiones referenciales que deben referirse al ...
Dinámica rotacional y orden orientacional en compuestos formadores de fases vítreas
(2016-03)
El estado vítreo es conocido y utilizado por el hombre desde tiempos ancestrales, contando en la actualidad con infinidad de aplicaciones tecnológicas. Sin embargo, desde el punto de vista físico, la fenomenología vítrea ...
Grafos de Frobenius-Perron para categorías de fusión
(2015-03)
Sea C una categoría de fusión íntegra, en este trabajo se estudian algunos grafos, llamados el grafo primo y el grafo común divisor, relacionados con las dimensiones de Frobenius-Perron de los objetos simples de C. Estos ...
Dinámica de relajación del modelo de Potts de q estados bidimensional: una contribución a la descripción de propiedades de no-equilibrio en transiciones de fase de primer orden
(2011-03)
Estudiamos el modelo de Potts de q estados bidimensional, que presenta transiciones de fase magnéticas con temperatura de primer (q > 4) y segundo orden (q = 4). Trabajamos con simulaciones tipo Monte Carlo para las cuales ...
Automatización de técnicas de división por importancia para la simulación de eventos raros
(2017-05)
Existen muchas técnicas para estudiar y verificar descripciones formales de sistemas probabilistas. La simulación de Monte Carlo por eventos discretos ofrece una alternativa para la generalidad de procesos estocásticos ...