Skip to Main content Skip to Navigation
Help


...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-01748341v1  Theses
Daniele Zucchelli. Combination methods for software verification
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10006⟩
...
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-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-01953619v2  Theses
Mehdi Zitouni. Parallel Itemset Mining in Massively Distributed Environments
Information Theory [cs.IT]. Université de Tunis El Manar; Inria, 2018. English
...
tel-01981380v1  Theses
Jean-Karim Zinzindohoué. Secure, fast and verified cryptographic applications: a scalable approach
Cryptography and Security [cs.CR]. Université de recherche Paris Sciences Lettres – PSL Research University, 2018. English
...
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-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-01735202v1  Theses
Matthieu Zimmer. Apprentissage par renforcement développemental
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0008⟩
...
tel-02083415v2  Theses
Qiao Zheng. Deep learning for robust segmentation and explainable analysis of 3d and dynamic cardiac images
Artificial Intelligence [cs.AI]. COMUE Université Côte d'Azur (2015 - 2019), 2019. English. ⟨NNT : 2019AZUR4013⟩
...
tel-01988073v1  Theses
Jie Zhao. A Combined Language and Polyhedral Approach for Heterogeneous Parallelism
Distributed, Parallel, and Cluster Computing [cs.DC]. PSL Research University, 2018. English
...
tel-02492209v1  Theses
Jie Zhao. A combined language and polyhedral approach to heterogeneous parallelism
Distributed, Parallel, and Cluster Computing [cs.DC]. PSL Research University, 2018. English. ⟨NNT : 2018PSLEE062⟩
...
tel-02124605v1  Theses
Yosra Zguira Bahri. Study and development of wireless sensor network architecture tolerant to delays
Other [cs.OH]. Université de Lyon; Université du Centre (Sousse, Tunisie), 2018. English. ⟨NNT : 2018LYSEI121⟩
...
tel-02278616v1  Theses
Neil Zeghidour. Learning representations of speech from the raw waveform
Machine Learning [cs.LG]. PSL Research University, 2019. English. ⟨NNT : 2019PSLEE004⟩
...
tel-00379394v1  Theses
Andrei Zaharescu. Contributions to Spatial and Temporal 3-D Reconstruction from Multiple Cameras
Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG, 2008. English
...
tel-02197405v2  Theses
Bruno Yun. Argumentation techniques for existential rules
Other [cs.OH]. Université Montpellier, 2019. English. ⟨NNT : 2019MONTS011⟩
...
tel-00528781v1  Theses
Qizhi Yu. Models of animated rivers for the interactive exploration of landscapes
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2008. English
...
tel-00437469v1  Theses
Ustun Yildiz. Decentralisation des procédés métiers : qualité de services et confidentialité
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2008. Français
...
tel-02091727v2  Theses
Jinlong Yang. Learning shape spaces of dressed 3D human models in motion
Modeling and Simulation. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM008⟩
...
tel-02385204v1  Theses
Louiza Yala. Content Delivery Networks as a Service (CDNaaS)
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S097⟩
...
tel-00357708v1  Theses
Boris Yakobowski. Graphical types and constraints - second-order polymorphism and inference
Software Engineering [cs.SE]. Université Paris-Diderot - Paris VII, 2008. English
...
tel-01945348v1  Theses
Djamel-Edine Yagoubi. Massive distribution for indexing and mining time series
Numerical Analysis [cs.NA]. Université de Montpellier, 2018. English
...
tel-02446813v1  Theses
Xinzhe Wu. Contribution to the Emergence of New Intelligent Parallel and Distributed Methods Using a Multi-level Programming Paradigm for Extreme Computing
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lille 1, Sciences et Technologies; CRIStAL UMR 9189, 2019. English
tel-02446814v1  Theses
Xinzhe Wu. Contribution to the Emergence of New Intelligent Parallel and Distributed Methods Using a Multi-level Programming Paradigm for Extreme Computing
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lille 1, Sciences et Technologies; CRIStAL UMR 9189, 2019. English
...
tel-00410850v1  Theses
Camille Wormser. Generalized Voronoi Diagrams and Applications
Computer Science [cs]. Université Nice Sophia Antipolis, 2008. English
...
tel-02570591v1  Theses
Amir Teshome Wonjiga. User-centric security monitoring in cloud environments
Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S080⟩
...
tel-00379546v1  Theses
Jamie Wither. Sketching and annotation for the procedural modelling of complex phenomena
Computer Science [cs]. Institut National Polytechnique de Grenoble - INPG, 2008. English
...
tel-00347162v1  Theses
Julien Wintz. Algebraic Methods for Geometric Modeling
Mathematics [math]. Université Nice Sophia Antipolis, 2008. English
...
tel-01988897v1  Theses
Michael Wessely. Fabricating Malleable Interaction-Aware Materials
Human-Computer Interaction [cs.HC]. Université Paris Saclay (COmUE), 2018. English. ⟨NNT : 2018SACLS542⟩
...
tel-01949339v2  Theses
Weiqiang Wen. Contributions to the hardness foundations of lattice-based cryptography
Computational Complexity [cs.CC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN070⟩
...
tel-02425625v1  Theses
Junhao Wen​. Structural and microstructural neuroimaging for diagnosis and tracking of neurodegenerative diseases
Artificial Intelligence [cs.AI]. Sorbonne Universites, UPMC University of Paris 6, 2019. English
...
tel-00379318v1  Theses
Daniel Weinland. Action Representation and Recognition
Other [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2008. English
...
tel-02007675v1  Theses
Jérémy Wambecke. Visualisation de données temporelles personnelles
Technologies Émergeantes [cs.ET]. Université Grenoble Alpes, 2018. Français. ⟨NNT : 2018GREAM051⟩
...
tel-01861455v1  Theses
Tuan-Hung Vu. Learning visual models for person detection and action prediction
Computer Vision and Pattern Recognition [cs.CV]. Ecole Normale Superieure de Paris - ENS Paris, 2018. English
...
tel-02136801v1  Theses
Gauthier Voron. Virtualisation efficace d'architectures NUMA
Hardware Architecture [cs.AR]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS026⟩
...
tel-01947560v1  Theses
Gauthier Voron. Efficient Virtualization of NUMA Architectures
Operating Systems [cs.OS]. Sorbonne Université, Faculté des Sciences et Ingénierie, 2018. English
...
tel-02406821v1  Theses
Marco Voigt. Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates
Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English