Skip to Main content Skip to Navigation


...
tel-01748252v1  Theses
Eun-Young Kang. Abstractions booléennes pour la vérification des systèmes temps-réel
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10089⟩
...
tel-01750793v2  Theses
Jano Yazbeck. Accrochage immatériel sûr et précis de véhicules automatiques
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0070⟩
...
tel-00432124v2  Theses
Michael Aron. Acquisition et modélisation de données articulatoires dans un contexte multimodal
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2009. Français
...
tel-00115770v1  Theses
Georges Schutz. Adaptations et applications de modèles mixtes de réseaux de neurones à un processus industriel
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2006. Français
tel-01746434v1  Theses
Samira Sadaoui-Mouhoub. Aide à la réutilisation de spécifications formelles en LOTOS
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10030⟩
...
tel-01748318v2  Theses
Pierre-Nicolas Clauss. Algorithmes à front d'onde et accès transparent aux données
Modélisation et simulation. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10078⟩
...
tel-02096361v1  Theses
Ameur Douib. Algorithmes bio-inspirés pour la traduction automatique statistique
Informatique et langage [cs.CL]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0005⟩
tel-02331745v1  Theses
Sven Vallée. Algorithmes d’optimisation pour un service de transport partagé à la demande
Recherche opérationnelle [cs.RO]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0063⟩
...
tel-00924743v1  Theses
Nicolas Estibals. Algorithmes et arithmétique pour l'implémentation de couplages cryptographiques
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2013. Français
...
tel-01751648v2  Theses
Cyril Bouvier. Algorithmes pour la factorisation d'entiers et le calcul de logarithme discret
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0053⟩
...
tel-00331935v1  Theses
Luc Buatois. Algorithmes sur GPU de visualisation et de calcul pour des maillages non-structurés
Modélisation et simulation. Institut National Polytechnique de Lorraine - INPL, 2008. Français