Skip to Main content Skip to Navigation
New interface


...
tel-01124288v1  Theses
Francial Giscard Baudin Libengué Dobélé-Kpoka Libengue Dobele-Kpoka. Méthode non-paramétrique des noyaux associés mixtes et applications
Mathématiques générales [math.GM]. Université de Franche-Comté; Université Ouaga 1 Professeur Joseph Ki-Zerbo (Ouagadougou, Burkina Faso), 2013. Français. ⟨NNT : 2013BESA2007⟩
...
pastel-00001850v1  Theses
Ivan Kogevnikov. Modélisation des systèmes de dimension infinie - Application à la dynamique des pneumatiques
Mathématiques [math]. Ecole des Ponts ParisTech; Université d'Etat de Moscou Lomonossov, 2006. Français. ⟨NNT : 2006ENPC0003⟩
...
tel-00597031v1  Theses
Adolf Samir Abdallah. Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2011. Français. ⟨NNT : ⟩
...
tel-00953368v1  Theses
Truong Giang Le. Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications
Automatic Control Engineering. Conservatoire national des arts et metiers - CNAM, 2013. English. ⟨NNT : 2013CNAM0883⟩
...
tel-00353654v1  Theses
Pascale Marangé. Synthèse et filtrage robuste de la commande pour des système manufacturiers sûrs de fonctionnement
Automatique / Robotique. Université de Reims - Champagne Ardenne, 2008. Français. ⟨NNT : ⟩
...
tel-03012187v2  Theses
Ronan Baduel. An integrated model-based early validation approach for railway systems
Other [cs.OH]. Université Toulouse le Mirail - Toulouse II, 2019. English. ⟨NNT : 2019TOU20083⟩
...
tel-00836872v1  Theses
Mircea Fratila. CONTRIBUTION A LA PRISE EN COMPTE DES PERTES FER DANS LA MODELISATION DES MACHINES ELECTRIQUES PAR ELEMENTS FINIS
Ingénierie assistée par ordinateur. Université des Sciences et Technologie de Lille - Lille I, 2012. Français. ⟨NNT : ⟩
...
tel-01238817v1  Habilitation à diriger des recherches
Benoit Combemale. Towards Language-Oriented Modeling
Software Engineering [cs.SE]. Université de Rennes 1, 2015
...
tel-00010016v1  Habilitation à diriger des recherches
Khalil Drira. Contribution à la conception des architectures logicielles et des protocoles de coordination pour les systèmes distribués coopératifs
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2005
...
tel-00011597v1  Theses
Omar Mouhib. (In-)validation de modèles de systèmes incertains
Automatique / Robotique. Université Paris Sud - Paris XI, 2004. Français. ⟨NNT : ⟩
...
tel-02050179v1  Habilitation à diriger des recherches
Alain Celisse. Contributions à la calibration d'algorithmes d'apprentissage : Validation-croisée et détection de ruptures
Statistics [math.ST]. Université de Lille, 2018
...
tel-02024804v1  Theses
Pierre-Marie Damon. Estimation pour le développement de systèmes d'aide à la conduite des véhicules à deux-roues motorisés
Automatique / Robotique. Université Paris-Saclay; Université d'Evry-Val-d'Essonne, 2018. Français. ⟨NNT : 2018SACLE034⟩
...
tel-00011514v1  Theses
Frédéric Py. Contrôle d'exécution dans une architecture hiérarchisée pour systèmes autonomes
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2005. Français. ⟨NNT : ⟩
...
tel-00329891v1  Theses
Frédéric Dadeau. Evaluation Symbolique à Contraintes pour la Validation - Application à Java/JML
Génie logiciel [cs.SE]. Université de Franche-Comté, 2006. Français. ⟨NNT : ⟩