TESIS DE GRADO
Browse by
Recent Submissions
-
Formación de estrellas de alta masa /
(2011)En este trabajo se presenta un estudio en el infrarrojo cercano de las regiones de formación estelar asociadas con las fuentes IRAS 12272-6240 y IRAS 17149−3916. En un análisis fotométrico sobre las imágenes de las regiones ... -
Teoría de control aplicada a tratamientos de quimioterapia /
(2011)En este trabajo se da una breve introducción y algunas primeras herramientas para la teoría de control y los sistemas de ecuaciones diferenciales con delay. Se utilizan estas herramientas para analizar dos modelos, con ... -
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
(2011)El model checking es un método de verificación formal que permite verificar automáticamente si un modelo cumple una especificación. PRISM constituye una herramienta para realizar model checking de tipo probabilista. En ...
RSS 1.0