000045615 001__ 45615 000045615 005__ 20170831220518.0 000045615 037__ $$aGDOC-2010-1023 000045615 041__ $$aspa 000045615 100__ $$0(orcid)0000-0003-4810-0062$$aCampos Laclaustra, Francisco Javier 000045615 24500 $$962637$$aModelos formales en bioinformática 000045615 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2010-2011 000045615 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/ 000045615 521__ $$9630$$aMáster Universitario en Ingeniería de Sistemas e Informática 000045615 540__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000045615 700__ $$0(orcid)0000-0002-7093-228X$$aJúlvez Bueno, Jorge Emilio 000045615 830__ $$9345 000045615 8564_ $$s95220$$uhttps://zaguan.unizar.es/record/45615/files/guia.pdf$$yGuía (idioma español) 000045615 980__ $$aGDOC$$bIngeniería y Arquitectura$$c106