Skip to Main content Skip to Navigation


...
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-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-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-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⟩
...
pastel-00866134v1  Theses
Alexander Zeh. Algebraic Soft- and Hard-Decision Decoding of Generalized Reed--Solomon and Cyclic Codes
Computational Complexity [cs.CC]. Ecole Polytechnique X, 2013. English
...
tel-00922201v1  Theses
Cédric Zanni. Modélisation implicite par squelette et Applications
Synthèse d'image et réalité virtuelle [cs.GR]. Université Joseph-Fourier - Grenoble I, 2013. Français
...
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-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-01750224v2  Theses
Faqing Yang. A Simulation Framework for the Validation of Event-B Specifications
Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0158⟩
...
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-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-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-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-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-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
...
tel-00348112v1  Theses
Gilles Vilmart. Study of geometric integrators for differential equations
Mathematics [math]. Université Rennes 1; University of Geneva, 2008. English
...
tel-02395443v1  Theses
Renaud Vilmart. ZX-Calculi for Quantum Computing and their Completeness
Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
...
tel-02510647v1  Theses
Nahuel Villa. Managing Uncertainties in Legged Robots
Automatic Control Engineering. Universite Grenoble Alpes; Inria Grenoble Rhônes-Alpes, 2019. English
...
tel-00352802v1  Theses
Nicolas Verzelen. Gaussian Graphical Models and Model Selection
Mathematics [math]. Université Paris Sud - Paris XI, 2008. English
...
tel-02307683v1  Theses
Lucas Verney. Strongly driven quantum Josephson circuits
Physics [physics]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE008⟩
...
tel-00881242v4  Theses
Yannick Verdie. Urban scene modeling from airborne data
Signal and Image Processing. Université Nice Sophia Antipolis, 2013. English
...
tel-00221481v2  Theses
Tom Vercauteren. Image registration and mosaicing for dynamic In vivo fibered confocal microscopy
Human-Computer Interaction [cs.HC]. École Nationale Supérieure des Mines de Paris, 2008. English. ⟨NNT : 2008ENMP1521⟩
...
tel-02459572v1  Theses
Oscar Vera-Pérez. Dynamic program analysis for suggesting test improvements to developers
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English
...
tel-00908544v1  Theses
Ricardo Andrés Velásquez Vélez. Behavioral Application-dependent Superscalar Core Modeling
Hardware Architecture [cs.AR]. Université Rennes 1, 2013. English
...
tel-02343930v1  Theses
Antoine Vastel. Tracking Versus Security: Investigating the Two Facets of Browser Fingerprinting
Computer Science [cs]. Université de Lille Nord de France, 2019. English