Séminaires RALI-OLST

Représentation, simulation et inférence de modèles multivalués asynchrones pour les réseaux de régulation génétique à l'aide de la Programmation Logique avec Contraintes

Laurent Trilling

Laboratoire LSR, Équipe PLIAGE - Université Joseph Fourier, Grenoble

Le mercredi 20 décembre 2006 à 15 h 30


On présentera les réseaux de Thomas qui sont une approximation discrète (basée sur des seuils) des équations différentielles linéaires par morceaux et une extension admettant des états dits "singuliers" (tels qu'une de leur composante soit précisément un seuil). On montrera ensuite comment ils peuvent être mis en oeuvre sous la forme de contraintes et qu'une telle représentation peut permettre à la fois de procéder à des simulations (si le réseau est complètement déterminé) ou au contraire d'inférer les paramètres du réseau à partir de comportements, avec tous les intermédiaires envisageables. On appliquera cette approche sur des réseaux classiques tels que le contrôle de l'immunité chez le phage lambda.
On évoquera aussi une étude poursuivie par Nicolas Thierry-Mieg, qui fait partie de notre groupe, sur le thème: "Constitution de 'mélanges intéressants' (smart pooling) pour le criblage haut débit". Il s'agit d'une part de minimiser le nombre de mélanges à cribler, d'autre part de construire un ensemble de mélanges robuste et propre à la correction d'erreurs.
(Collaboration avec Fabien Corblin et Eric Fanchon)


Pour recevoir les annonces hebdomadaires par courriel, envoyez un message à l'adresse majordomo@iro.umontreal.ca. Il suffit d'envoyer un message ne contenant que la ligne 'subscribe ralli' (sans les apostrophes).

Liste de tous les séminaires pour l'année :

1991 1992 1993 1994 1995 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020