#P complet  #csp  ...  ARN messagers  ARN non-codants  Affinité de liaison  Algorithmes  Algorithmes parallèles  Analyse de séquence  Apprentissage Automatique  Apprentissage Supervisée  Apprentissage automatique  Arbres de décision  Architecture de calcul  Arn  Attracteur complexe  Attracteurs  Bio-informatique  Bioinformatique  Bioinformatique structurale  Biologie des systèmes  Biologie systémique  CSP pondéré  Champ de Markov  Classes traitables  Cohérence  Cohérence d'arc dynamique  Cohérence d'arc virtuelle  Cohérences locales fortes  Contraintes  Csp  Intelligence artificielle  Markov, Processus de  Modèles mathématiques  Optimisation combinatoire  Programmation dynamique  

Thomas Schiex a rédigé la thèse suivante :

Conception et implementation d'un dialecte lisp paresseux : help

par Thomas Schiex sous la direction de Michel Cayrol - Toulouse 3

Sciences appliquées

Soutenue en 1991

Thomas Schiex a dirigé les 8 thèses suivantes :

Molecular Modeling and Artificial Intelligence for Computational Protein Design : conception of optimized enzymes and nanobodies

par Jelena Vucinic sous la direction de Sophie Barbe et de Thomas Schiex . - Toulouse, INSA

Ingénieries microbienne et enzymatique

Soutenue le 05-03-2021

Contributions au développement d'outils computationnels de design de protéine : méthodes et algorithmes de comptage avec garantie

par Clement Viricel sous la direction de Thomas Schiex et de Sophie Barbe . - Toulouse, INSA

Mathématiques Appliquées

Soutenue le 18-12-2017

Strong consistencies for weighted constraint satisfaction problems

par Thi Hong Hiep Nguyen sous la direction de Thomas Schiex et de Christian Bessière . - Toulouse 3

Intelligence artificielle

Soutenue le 15-01-2015

Détection des duplications en tandem au niveau nucléique à l'aide de la théorie des flots

par Eric Audemard sous la direction de Thomas Faraut et de Thomas Schiex . - Toulouse 3

Informatique

Soutenue en 2011

Localisation d'ARN non-codants par réseaux de contraintes pondérées

par Matthias Zytnicki sous la direction de Thomas Schiex et de Christine Gaspin . - Toulouse 3

Informatique

Soutenue en 2007

Un cadre algébrique général pour représenter et résoudre des problèmes de décision séquentielle avec incertitudes, faisabilités et utilités

par Cédric Pralet sous la direction de Thomas Schiex et de Gérard Verfaillie . - École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007)

Informatique

Soutenue en 2006

Formalisme CSP et localisation de motifs structurés dans les textes génomiques

par Patricia Thérault sous la direction de Christine Gaspin et de Thomas Schiex . - Toulouse 3

Biologie-santé-biotechnologies. Bio-informatique

Soutenue en 2004

Localisation de gènes et variants par intégration d'informations

par Sylvain Foissac sous la direction de Thomas Schiex - Toulouse 3

Bio-informatique

Soutenue en 2004

Thomas Schiex a été président de jury des 2 thèses suivantes :

Résolution des problèmes (W)CSP et #CSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes

par Hélène Kanso sous la direction de Philippe Jégou et de Cyril Terrioux . - Aix-Marseille

Mathématique et informatique. Informatique

Soutenue le 20-12-2017

Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances

par Belaïd Saad sous la direction de Dieter Kratsch - Metz

Informatique

Soutenue le 10-12-2010

Thomas Schiex a été rapporteur des 2 thèses suivantes :

Apprentissage et vérification statistique pour la sécurité

par Dimitri Antakly sous la direction de Philippe Leray et de Benoît Delahaye . - Nantes

Informatique

Soutenue le 02-07-2020

Behavior recognition on noisy data-streams constrained by complex prior knowledge

par Romain Rincé sous la direction de Philippe Leray et de Romain Kervarc . - Nantes

Informatique

Soutenue le 07-11-2018

Thomas Schiex a été membre de jury des 3 thèses suivantes :

Analyse mathématique de la dynamique de réseaux de régulation biologique

par Ousmane Diop sous la direction de Vincent Fromion - université Paris-Saclay

Automatique

Soutenue le 08-12-2020

Advanced methods to solve the maximum parsimony problem

par Karla Esmeralda Vazquez Ortiz sous la direction de David Lesaint - Angers

Informatique et applications

Soutenue le 14-06-2016

Learning during search

par Alejandro Arbelaez Rodriguez sous la direction de Youssef Hamadi et de Michèle Sebag . - Paris 11

Informatique

Soutenue le 31-05-2011