Search
Now showing items 1-10 of 29
Cinemática y Dinámica de Galaxias Espirales
(2010-03)
Esta tesis estudia la relación entre la cinemática y el brillo superficial en una muestra de galaxias espirales, poniendo especial atención en las incertezas involucradas para poder interpretar las observaciones en términos ...
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 ...
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 ...
Interpreting natural language instructions using language, vision and behavior
(2010)
We define the problem of automatic instruction interpretation as follows. Given a natural language instruc-
tion, can we automatically predict what an instruction follower, such as a robot, should do in the environment
to ...
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 ...
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 ...
Los pársecs más internos de las galaxias activas
(2010-12)
Los núcleos activos de galaxias o AGNs son considerados los objetos más luminosos del Universo. Estos emiten cantidades importantes de energía a lo largo de todo el espectro electromagnético, la cual es capaz de superar ...