Acquisition comprimée  Algorithme  Algorithme parallèle  Algorithmes  Algorithmes exacts exponentiels  Algorithmes parallèles  Algorithmes paramétrés  Analyse d'images  Analyse de covariance  Analyse de regroupements  Analyse discriminante  Analyse discriminante linéaire  Applications ponctuelles  Apprentissage  Apprentissage automatique  Apprentissage de dictionnaire  Apprentissage du dictionnaire  Apprentissage en ligne  Apprentissage par renforcement  Apprentissage stochastique  Approximation, Théorie de l'  Authentification  Branch-and-bound  Branchement  Calcul des constructions  Calcul des propositions  Calcul des prédicats  Calculs pédagogiques  Certification  Classification automatique  Classification de données  Clustering  Colorations  Communication  Complexité de calcul  Contrainte de cardinalité  Contraintes  Coq  Coût de transaction  Cryptographie  Cryptologie  Csp  DCA  Data mining  Ddcsp  Dissertations universitaires  Données massives  Données évolutives  Démonstrateur Spike  Enseignement  Estimation de matrice de covariance  Exploration de données  Exponentiel  Factorisation en matrices non-Négatives  Filigranes numériques  Fonctions booléennes  Fouille de données  Gestion de portefeuille  Gestion de production  Graphes  Graphes, Théorie des  Géolocalisation  Handicapés visuels  Haptique  Hypergraphes  Inclusion-Exclusion  Intelligence artificielle  Isomorphisme de Curry-Howard  Lambda-calcul  Lambda-calcul typé  Logiciels  Logique  Logique mathématique  Logique mathématique non classique  Mathématiques -- Philosophie  Matrices nonnégatives  Mesurer et conquérir  Mobilité  Modèles mathématiques  Multimodalité  Métaheuristique  Méthode d'approximation  Méthodes formelles  NP-Difficiles  NP-complet  Optimisation  Optimisation combinatoire  Optimisation convexe  Optimisation globale  Optimisation mathématique  Optimisation non convexe  Optimisation non-convexe  Optimisation robuste  Parcimonie  Pondération de variables  Preuve électronique  Preuves par récurrence  Problèmes NP-complets  Processus stochastiques  Production -- Gestion  Programmation  Programmation DC  Programmation DCA  Programmation convexe  Programmation dynamique  Programmation linéaire  Programmation non convexe  Programmations DC et DCA  Protection de l'information  Racines de graphes  Récurrence implicite  Segmentation d'images  Smartphones  Systèmes d'aide à la décision  Systèmes de communication  Systèmes de communication sans fil  Systèmes experts  Systèmes fonctionnels  Systèmes formels  Sécurité de l'information  Séparation et évaluation  Tatouage d'image  Thermoluminescence  Théorèmes -- Démonstration automatique  Toucher  Traitement d'images -- Techniques numériques  Traitement du signal -- Techniques numériques  Transport multimodal  Transversaux  

21 thèses soutenues ayant pour partenaire de recherche LITA - Laboratoire d'Informatique Théorique et Appliquée - EA 3097
Extrait des plus récentes :

Informatique
Soutenue le 24-10-2008
thèse