45615 20170831220518.0 GDOC-2010-1023 spa (orcid)0000-0003-4810-0062 Campos Laclaustra, Francisco Javier 62637 Modelos formales en bioinformática Zaragoza Universidad de Zaragoza 2010-2011 La 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/ 630 Máster Universitario en Ingeniería de Sistemas e Informática by-nc-sa Creative Commons 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ (orcid)0000-0002-7093-228X Júlvez Bueno, Jorge Emilio 345 95220 http://zaguan.unizar.es/record/45615/files/guia.pdf Guía (idioma español) GDOC Ingeniería y Arquitectura 106