Search
Now showing items 1-10 of 17
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
(2010-12-17)
En este trabajo se presenta una adaptación al model checking simbólico de un método de reducción de estados, el cual, tiene como objetivo reducir el costo de los cálculos numéricos involucrados en el model checking ...
Caracterización de mezclas de distintos compuestos de azufre mediante espectroscopía de emisión de rayos x /
(2010)
Se idearon métodos que permiten, mediante EPMA, diferenciar y cuantificar los compuestos presentes en una muestra (especiación). Para ello, se tomaron los espectros de rayos x emitidos por muestras preparadas con diferentes ...
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
(2010)
En las pruebas de sistemas de tiempo real, y en particular los que tienen comportamiento estocástico, es muy importante que éstas se ejecuten con la mayor probabilidad posible. El
objetivo de este trabajo final es implementar ...
Interpolación de operadores en espacios Lp
(2010-03)
En el capítulo I presentamos el 'Teorema de convexidad de Riesz-Thorin' y diferentes aplicaciones. Y concluimos con el 'Teorema de interpolación de Riesz-Stein'.
En el capítulo II, hacemos un breve estudio de 'operadores ...
Estudio de procesos (1s, 2p3/2) y (1s 2p1/2) en el espectro Raman resonante de rayos x de alta resolución en Titanio
(2010-03)
En este trabajo se estudiaron los procesos de dispersión inelástica resonante de rayos x (RIXS) (1s,2p3/2) y (1s,2p1/2) en Ti. Este estudio se realizó con datos experimentales obtenidos con alta resolución en el Laboratorio ...
Perturbación escalar en Reissner-Nordström
(2010)
Este trabajo trata sobre perturbaciones alrededor de Reissner-Nordström. La perturbación genérica de este sistema, admite un desacoplamiento en armónicos esféricos, y a su vez, en dos modos: escalar y vectorial. El modo ...
Determinación experimental del tiempo de evolución de procesos de cambios conformacionales en Hemoglobina humana mediante técnicas de Resonancia Magnética Nuclear
(2010)
Este trabajo se orienta al estudio de procesos de cambios conformacionales de la molécula de hemoglobina A al ser extraída de su ambiente natural (eritrocitos). Para ello se realizaron mediciones del tiempo de relajación ...
Modelado de la evolución del sistema olfativo
(2010)
A partir de un modelo evolutivo para el sistema visual desarrollado por Geisler y un modelo de repertorios de receptores biológicos desarrollado por Lancet , desarrollamos un modelo evolutivo para el sistema olfativo, ...
Gramáticas mínimas y descubrimiento de patrones
(2010)
En este trabajo nos concentramos en dos problemas íntimamente relacionados, por un lado atacamos el problema de la inferencia de gramáticas libres de contexto de tamaño mínimo y por otro, analizamos cómo es que estas pueden ...
Superficies maximales con momento lineal en Schwarzschild
(2010-12-10)
Las superficies maximales son muy importantes a la hora de resolver las ecuaciones de vínculo de Einstein. Estas superficies facilitan la evolución de los datos iniciales mediante los métodos numéricos más utilizados. Con ...