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-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-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
...
tel-01308731v1  Theses
Jamila Ben Slimane. ALLOCATION CONJOINTE DES CANAUX DE FREQUENCE ET DES CRENEAUX DE TEMPS ET ROUTAGE AVEC QdS DANS LES RESEAUX DE CAPTEURS SANS FIL DENSES ET ETENDUS
Réseaux et télécommunications [cs.NI]. Université de lorraine; Ecole Supérieure des Communications de Tunis, 2013. Français
...
tel-01748918v1  Theses
Daniel Reynaud. Analyse de codes auto-modifiants pour la sécurité logicielle
Autre. Institut National Polytechnique de Lorraine, 2010. Français. ⟨NNT : 2010INPL049N⟩
...
tel-01752904v2  Theses
Romain Pechoux. Analyse de la complexité des programmes par interprétation sémantique
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2007. Français. ⟨NNT : 2007INPL084N⟩
...
tel-01751072v1  Theses
Philippe Beaucamps. Analyse de programmes malveillants par abstraction de comportements
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL092N⟩
...
tel-00646395v1  Theses
Philippe Beaucamps. Analyse de Programmes Malveillants par Abstraction de Comportements
Logique en informatique [cs.LO]. Institut National Polytechnique de Lorraine - INPL, 2011. Français
...
tel-03184002v1  Theses
Pierre-Olivier Brissaud. Analyse de trafic HTTPS pour la supervision d'activités utilisateurs
Réseaux et télécommunications [cs.NI]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0255⟩
...
tel-01750369v2  Theses
Joan Calvet. Analyse Dynamique de Logiciels Malveillants
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0083⟩
...
tel-00646841v2  Theses
Julien Cojan. Application de la théorie de la révision des connaissances au raisonnement à partir de cas
Intelligence artificielle [cs.AI]. Université Henri Poincaré - Nancy I, 2011. Français
...
tel-00605791v1  Theses
Octave Boussaton. Application de la théorie des jeux à l'optimisation du routage réseau - solutions algorithmiques
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-00586317v1  Theses
Hatem Hamza. Application du raisonnement à partir de cas à l'analyse de documents administratifs
Génie logiciel [cs.SE]. Université Nancy II, 2008. Français
...
tel-00642951v1  Theses
Romain Cosset. Applications des fonctions thêta à la cryptographie sur courbes hyperelliptiques.
Cryptographie et sécurité [cs.CR]. Université Henri Poincaré - Nancy I, 2011. Français