Chargement...
 

Databases-Web-Information Retrieval-Reasoning

Domaine
Databases-Web-Information Retrieval-Reasoning
Domain - extra
Raisonnement symbolique - Biologie des systèmes
Année
2013
Starting
October 2013
État
Open
Sujet
Méthodes symboliques pour la biologie des systèmes
Thesis advisor
DAGUE Philippe
Co-advisors
PERES Sabine
SIMON Laurent

Laboratory
Collaborations
Abstract
Cette thèse propose d'étendre les meilleures méthodes actuelles de raisonnement symbolique en calcul propositionnel (SAT, BDD, etc.), telles que mises en œuvre en particulier dans les tâches de diagnostic et d'explication, afin de les appliquer à la biologie des systèmes, plus précisément l'étude des réseaux métaboliques.
Context
Coopération entre les équipes IASI et BioInfo du LRI et l'équipe Méthodes Formelles du LaBRI
Objectives
Work program
Extra information
Prerequisite
Détails
Télécharger Thèse-raist-symbolique.pdf
Expected funding
Institutional funding
Status of funding
Expected
Candidates
MORTEROL Martin
M2R IAC
Stage avec Laurent Simon
Utilisateur
philippe.dague
Créé
Vendredi 14 juin 2013 12:32:10 CEST
dernière modif.
Vendredi 14 juin 2013 12:32:10 CEST

Fichiers joints

 filenamecrééhitsfilesize 
Thèse-raist-symbolique.pdf 14 Jun 2013 12:32102255.78 Kb


Ecole Doctorale Informatique Paris-Sud


Directrice
Nicole Bidoit
Assistante
Stéphanie Druetta
Conseiller aux thèses
Dominique Gouyou-Beauchamps

ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr