Office national d'études et recherches aérospatiales (Toulouse, Haute-Garonne). Département Traitement de l’Information et Modélisation (DTIM)

AFDX  Actionneurs  Agents  Algorithmes  Algorithmique  Analyse compositionnelle  Analyse de l’ordonnançabilité  Analyse de performances  Analyse de scènes  Analyse du mouvement  Avionique  Avions -- Conception et construction  Avions -- Pilotage  Aéronautique  CUDA  Calcul intensif  Calcul réseau  Cfd  Changement de mode  Choix social  Combustion  Commande automatique  Commande prédictive  Communication -- Analyse de réseau  Communications par satellite  Conception avion  Contrôle  Contrôle adaptatif  Contrôle d'écoulement  Contrôle tolérant aux pannes  Dbd  Décharges micro-Ondes  Décision collective  Déclenchement temporel  Détection d’objets mobiles  Edf  Ellipsoïdes  Enumération symbolique  Estimation de paramètres  Estimation en ligne  Exigences  Fdtd  Flot de scène  Flot optique  Fluides, Dynamique des  Fonction de demande  Formulation intégrale  GPU  Hpc  Incertitudes  Ingénierie Dirigée par le Modèles  Intelligence artificielle  Interprétation abstraite  Invariants  Invariants quadratiques  Itération sur les stratégies  Jsp  K-induction  Krigeage  LTR  Langage de programmation  Langages de programmation  Logiciels -- Vérification  Logiciels  Logiciels embarqués  Logique de Hoare  Lois de pilotage  Mathématiques  Microprocesseurs multi-coeurs  Minerais -- Échantillonnage et estimation  Model checking  Modèle de référence  Modèle de substitution spatio-Temporel  Modèles de substitution  Modèles mathématiques  Modélisation de système temps réel  Modélisation numérique  Monte Carlo  Monte-Carlo, Méthode de  Multi-Stratégies  Multicoeur  Multiprocesseurs  Méthode de Monte-Carlo  Méthode formelle  Méthodes formelles  Méthodes formelles  Ondes -- Propagation  Optimisation  Optimisation mathématique  Optimisation multi-Objectif  Optimisation multidisciplinaire  Optimisation multiobjectifs  Optimisation robuste  Optimisation sous incertitudes  Ordonnancement  Ordonnancement  Ordonnancement temps réel  Partage équitable  Perception de la profondeur  Placement  Plan d'expériences  Plasma  Pluri-Coeurs  Prelude  Processeur  Programmation par contraintes  Programmation semi-définie  Propagation d’incertitudes  Prédictibilité  QoS  Rafales de faute  Raffinement de stratégies  Risque  Robotique  Réseaux de neurones récurrents  Réseaux embarqués  Réseaux temps réel embarqués  Rôles  Sat  Smt  Sparkjet  Systèmes de commande  Systèmes de contrôle-commande  Systèmes embarqués  Systèmes embarqués  Temps réel  Temps réel  Temps-Réel  Temps-réel  Timing effect  Tolérance aux fautes  Tolérance aux fautes  UML  Vision artificielle  Vision stéréoscopique  Vérification  Vérification et validation  Vérification formelle  Élimination de quantificateurs  Équation d'onde  

18 thèses soutenues ayant pour partenaire de recherche Office national d'études et recherches aérospatiales (Toulouse, Haute-Garonne). Département Traitement de l’Information et Modélisation (DTIM)
Extrait des plus récentes :

Réseaux, télécom, système et architecture
Soutenue le 25-04-2017
thèse
Réseaux, télécommunications, système et architecture
Soutenue le 29-09-2015
thèse
Sureté de logiciel et calcul de haute performance
Soutenue le 20-06-2014
thèse
Sureté de logiciel et calcul de haute performance
Soutenue le 18-12-2013
thèse

Réseaux, télécom, système et architecture
Soutenue le 13-06-2013
thèse
Mathématiques appliquées et énergétique et transferts
Soutenue le 07-03-2012
thèse