Acides aminés  Algorithme hybride  Algorithme mémétique  Algorithmes  Algorithmes exacts  Algorithmes génétiques  Algorithmes mémétiques  Algorithmes évolutionnaires  Analyse différentielle  Answer Set Programming  Approche guidée par les règles  Backjumping  Base de connaissances communautaires  Bioinformatique  Calcul des propositions  Caractérisation  Caractérisation de données  Caractérisation logique de données  Chaîne d’approvisionnement  Coloration de bande passante  Coloriage de graphes  Complexité de calcul  Contraint de voisinage  Dissertation universitaire  Diversification  Dominance de Lorenz  Données biologiques  Données séquentielles  Décidabilité  Détection de communautés  Exploration de données  Expérimentations  Extraction de motifs  Fonctions booléennes  Graphes de terrain  Génie Logiciel basé sur la Recherche  Génie logiciel  Heuristique  Heuristiques et métaheuristiques  Inconsistance  Indicateurs de qualité  Informatique  Intelligence artificielle  Intensification  Interrogation  Interrogation distribuée  Justifications  Langages d'interrogation  Limite de résolution  Logique du premier ordre  Logistique  Lorenz, Courbe de  Modularité  Multi-agents  Métaheuristiques  Ontologies  Optimisation combinatoire  Optimisation multi-Objectif  Parcimonie maximum  Partitionnement de graphes  Path relinking  Peptide signal  Planification tactique  Problème d'assignement quadratique  Problème de coloration de graphe  Problème de flow shop  Problème de la clique maximum  Problème de somme coloration  Problème du sac à dos  Problèmes de clique  Problèmes de coloration de graphes  Problèmes de partitionnement de graphe  Programmation par contraintes  Programmation quadratique  Protéines -- Synthèse  Qualité -- Contrôle  Qualité des données  Recherche Autonome  Recherche coopérative  Recherche locale  Recherche mixte réalisable et irréalisable  Recherche tabou  Reconstruction phylogénétique  Recuit Simulé  Recuit simulé  Représentation parcimonieuse  Règles existentielles  Réglage des Paramètres  Réseaux complexes  Réseaux complexes  Réseaux complexes réels  Réseaux de régulation génique  SPARQL  Satisfiabilité  Satisfiabilité Modulo des Théories  Sciences et technologies de l'information et de la communication  Service social  Solveurs  Somme coloration de graphe  Stable maximum  Stratégies de recherche à opérateur multiple  Structures cellulaires  Systèmes d'aide à la décision  Systèmes experts  Thèses et écrits académiques  Théorèmes -- Démonstration automatique  Traitement réparti  Transcription anti-Sens  Web sémantique  

21 thèses soutenues ayant pour partenaire de recherche Laboratoire d'Etudes et de Recherche en Informatique d'Angers
Extrait des plus récentes :

Informatique
Soutenue le 29-11-2018
thèse
Informatique
Soutenue le 29-06-2017
thèse
Informatique
Soutenue le 28-06-2016
thèse
Informatique et applications
Soutenue le 14-06-2016
thèse
Informatique et applications
Soutenue le 29-04-2016
thèse
Informatique et applications
Soutenue le 29-05-2015
thèse

Sciences biologiques et fondamentales appliquées. Psychologie
Soutenue en 1999
thèse