Skip to Main content Skip to Navigation


...
tel-03572299v1  Theses
Théo Docquier. Méthodologies pour l'évaluation de performances d'architectures réseaux smart grids
Réseaux et télécommunications [cs.NI]. Université de Lorraine, 2021. Français
...
tel-03598259v1  Theses
Anis Ahmed Nacer. Composition sure d’API fondée sur des contrats
Informatique [cs]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0265⟩
...
tel-03530955v1  Theses
David Lopez. Diagrammes de Voronoï et surfaces évolutives
Géométrie algorithmique [cs.CG]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0247⟩
...
tel-03283203v1  Theses
Norhane Benkahla. Gestion de la qualité de service (QoS) dans un réseau LoRaWAN avec mobilité
Réseaux et télécommunications [cs.NI]. Ecole Supérieure des Communications de Tunis, 2021. Français
...
tel-03203922v1  Theses
Daniel El Ouraoui. Méthodes pour le raisonnement d'ordre supérieur dans SMT
Logique en informatique [cs.LO]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0023⟩
...
tel-01751160v2  Theses
Hugo Férée. Complexité d'ordre supérieur et analyse récursive
Complexité [cs.CC]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0173⟩
...
tel-01070972v1  Theses
Amandine Dubois. Mesure de la fragilité et détection de chutes pour le maintien à domicile des personnes âgées
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français
...
tel-01081055v1  Theses
Jean-Christophe Bach. Un îlot formel pour les transformations de modèles qualifiables
Langage de programmation [cs.PL]. Université de Lorraine, 2014. Français
...
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⟩