Utilisation de modèles formels pour la reconstruction de pathways en bioinformatique

Après une présentation d'un système biologique sous forme de "pathways", nous aborderons différentes méthodes les plus utilisées en informatique pour étudier un tel système (équations différentielles, algorithme de Gillepsie, flux élémentaires, language Kappa ...).

Nous terminerons par une méthode basée sur la construction d'un modèle bayesien dévelopée à NUS, et ce qu'apporte d'avoir un tel modèle comparé aux méthodes de simulations standard.