Collections in this community

Recent Submissions

  • Formación de estrellas de alta masa / 

    Saldaño, Hugo Pablo. (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 / 

    Delgadino, Matías Gonzalo. (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 

    Marenchino, Matías L. (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 ...

DSpace software copyright © 2002-2015  DuraSpace