Skip to Main content Skip to Navigation


...
tel-01752768v1  Theses
Daniel Zuwala. Reconnaissance de symboles sans connaissance a priori
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2006. Français. ⟨NNT : 2006INPL071N⟩
...
tel-00265549v1  Theses
Dragisa Zunic. Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2007. English
...
tel-01748341v1  Theses
Daniele Zucchelli. Combination methods for software verification
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10006⟩
...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-00695402v1  Theses
Spyros Zoupanos. Gestion des données efficace en pair-à-pair
Databases [cs.DB]. Université Paris Sud - Paris XI, 2009. English
...
tel-01231838v2  Theses
Mawussi Zounon. On numerical resilience in linear algebra
Numerical Analysis [cs.NA]. Université de Bordeaux, 2015. English. ⟨NNT : 2015BORD0038⟩
...
tel-01838480v1  Theses
Kersane Zoubert-Ousseni. Algorithmes de géolocalisation à l’intérieur d’un bâtiment en temps différé
Traitement du signal et de l'image [eess.SP]. Université Rennes 1, 2018. Français. ⟨NNT : 2018REN1S015⟩
...
tel-00453021v1  Theses
Nadia Zouba Ep Valentin. Multisensor Fusion for Monitoring Elderly Activities at Home
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2010. English
...
tel-02436610v1  Theses
Mengchuan Zou. Aspects de l’efficacité dans des problèmes sélectionnés pour des calculs sur les graphes de grande taille
Algorithme et structure de données [cs.DS]. Université de Paris, 2019. Français
...
tel-03178310v1  Theses
Ziqiang Zou. A sharp interface method for low Mach two-phase flows with phase change
Mechanics of the fluids [physics.class-ph]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPAST057⟩
...
tel-00419519v1  Theses
Pascal Zongo. Modélisation mathématique de la dynamique de la transmission du paludisme
Mathématiques [math]. université de Ouagadougou, 2009. Français
...
tel-01953619v2  Theses
Mehdi Zitouni. Parallel Itemset Mining in Massively Distributed Environments
Information Theory [cs.IT]. Université de Tunis El Manar; Inria, 2018. English
...
tel-03131655v1  Theses
Irene Ziska. Models and algorithms for investigating and exploiting the metabolism of microorganisms
Bioinformatics [q-bio.QM]. Université Claude Bernard Lyon 1 (UCBL), 2020. English
...
tel-01981380v2  Theses
Jean-Karim Zinzindohoué-Marsaudon. Secure, fast and verified cryptographic applications : a scalable approach
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE052⟩
...
tel-00341525v3  Theses
Antoine Zimmermann. Sémantique des réseaux de connaissances : gestion de l'hétérogénéité fondée sur le principe de médiation
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 2008. Français
...
tel-02451322v1  Theses
Théo Zimmermann. Challenges in the collaborative evolution of a proof language and its ecosystem
Software Engineering [cs.SE]. Université de Paris, 2019. English
...
tel-01735202v1  Theses
Matthieu Zimmer. Apprentissage par renforcement développemental
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0008⟩
...
tel-00006314v1  Theses
Pascal Zimmer. Récursion généralisée et inférence de types avec intersection
Autre [cs.OH]. Université Nice Sophia Antipolis, 2004. Français
...
tel-00526164v1  Theses
Meriem Zidouni. Modélisation et analyse des performances de la bibliothèque MPI en tenant compte de l'architecture matérielle
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 2010. Français
...
tel-01123711v2  Theses
Anna Zhukova. Knowledge-based scaling for biological models
Computer science. Université de Bordeaux, 2014. English. ⟨NNT : 2014BORD0427⟩