000044759 001__ 44759 000044759 005__ 20170831220506.0 000044759 037__ $$aGDOC-2011-1549 000044759 041__ $$aspa 000044759 100__ $$0(orcid)0000-0003-4810-0062$$aCampos Laclaustra, Francisco Javier 000044759 24500 $$962637$$aModelos formales en bioinformática 000044759 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2011-2012 000044759 520__ $$aLa asignatura consta de 4 créditos ECTS o 100 horas de trabajo del alumno. El Máster en Ingeniería de Sistemas e Informática tiene un bloque de asignaturas que forma al alumno en ingeniería de sistemas de eventos discretos. Dentro de ese bloque, esta asignatura se centra en aspectos de análisis cuantitativo de propiedades temporales con modelos estocásticos. Como dominio de aplicación se elige el de la bioinformática. Así, los modelos estocásticos introducidos se aplicarán al estudio de problemas de dinámica de poblaciones, redes bioquímicas o alineamiento de secuencias en bioinformática. Su sitio web es: http://webdiis.unizar.es/asignaturas/SPN/ 000044759 521__ $$9630$$aMáster Universitario en Ingeniería de Sistemas e Informática 000044759 540__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000044759 700__ $$0(orcid)0000-0002-7093-228X$$aJúlvez Bueno, Jorge Emilio 000044759 830__ $$9345 000044759 8564_ $$s94995$$uhttps://zaguan.unizar.es/record/44759/files/guia.pdf$$yGuía (idioma español) 000044759 980__ $$aGDOC$$bIngeniería y Arquitectura$$c110