Browsing Facultad de Matemática, Astronomía, Física y Computación by Issue Date
Now showing items 81-100 of 1203
-
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 ... -
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 ... -
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 ... -
Verificación en tiempo de ejecución con Streams
(2010)La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. ... -
Generación automática de terapias antivirales para VIH
(2010)Se expone el análisis, diseño y confección de un sistema de ayuda a la toma de decisiones en el tratamiento antirretroviral de pacientes VIH-positivos. El sistema desarrollado es altamente configurable, adaptándose a las ... -
Simulación de incendios forestales
(2010)Los incendios que han acompañado a la provincia de Córdoba desde hace muchos años son un problema cada vez mas difícil de abordar. En parte, por la falta de tecnología que ayude a su prevención y lucha. Proponemos e ... -
Algebras de Hopf punteadas sobre los grupos simétricos S3 y S4
(2010)Esta tesis concierne la clasificación de álgebras de Hopf punteadas de dimensión finita sobre un cuerpo algebraicamente cerrado de característica cero. Consideramos tanto álgebras de Hopf sobre grupos abelianos como no ... -
Grupoides y algebroides dobles de Lie
(2010)En este trabajo demostramos que todo grupoide doble de Lie con acción medular propia esta completamente determinado por una factorización de un cierto grupoide de Lie diagonal canónicamente definido. Tambien, estudiamos ... -
Estudio de la evolución de las coherencias y procesos irreversibles en un sistema observado bajo bajo la influencia de la red, utilizando técnicas de RMN de protones en cristales líquidos nemáticos
(2010)En este trabajo se estudia, bajo un tratamiento cuántico completo, la dinámica de la interacción entre un sistema observado con otro no-observado (y no-controlado), con un enfoque de sistema cuántico abierto. El aporte ... -
Reducción de orden parcial en model checking probabilista simbólico
(2010)El problema fundamental de los model checkers es la explosión exponencial del espacio de estados que se produce al agregar nuevas componentes o variables. El problema se exacerba en los model checkers probabilistas dado ... -
Sistemas de pocos cuerpos en un entorno del umbral del continuo :
(2010)En esta tesis se presenta un estudio de varios sistemas cuánticos cuyo común denominador es que poseen uno o más estados ligados cerca del umbral de energía del continuo. En este aspecto se analizaron los diagramas de ... -
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 ... -
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 ... -
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 ... -
Time-reversal focusing and space-time control of interferences :
(2010-03)La focalización de ondas acústicas que se propagan por un medio inhomogéneo fue lograda con éxito a través del procedimiento conocido como espejo de reversión temporal (TRM). En este experimento, las ondas salientes son ...