Search
Now showing items 31-40 of 85
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 ...
Estudio experimental de propiedades viscoelásticas en membranas de liposomas mediante relaxometría magnética nuclear con ciclado rápido de campo magnético
(2011)
La técnica de relaxometría magnética nuclear (NMR-FFC) es una herramienta útil para el estudio y la caracterización de la dinámica molecular en liposomas formulados con diferentes lípidos, diferentes tamaños, diferentes ...
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 ...
Estimación en parámetros en problemas inversos
(2014-05)
En esta tesis se estudian problemas de optimización cuyas restricciones son ecuaciones en derivadas parciales parabólicas. En el primer caso se estima el coeficiente de difusión, correspondiente a un problema de difusión ...
Dinámica de fluidos en sistemas complejos mediante estudios de Resonancia Magnética
(2015-12)
Una herramienta de caracterización indirecta para estudiar sistemas porosos, que es muy utilizada tanto en medicina como en la industria del petróleo, es la Resonancia Magnética Nuclear (RMN). En esta tesis se estudiaron ...
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 ...
Envolventes y discos protoplanetarios
(2010-03)
En esta Tesis se presentan los resultados del modelado de diversos tipos de observaciones de dos grupos de estrellas en formación, con edades de aproximadamente 105 - 106 años. El primer grupo corresponde a las etapas de ...
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial
(2010-03)
En esta tesis desarrollamos algoritmos y técnicas de análisis basadas en model checking para analizar la corrección de sistemas distribuidos con características aleatorias y no deterministas. Una contribución importante ...
Medidas de complejidad y de información como herramientas para el análisis de series temporales : aplicaciones al estudio de señales de origen electrofisiológicos
(2016)
El estudio estadístico de las series temporales ha sido abordado desde la matemática pura y en el contexto de diversas aplicaciones (metereología, finanzas, etc.). En los últimos años los métodos de estudio de las series ...