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⟩
...
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-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-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-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
...
tel-02266593v2  Theses
Gül Varol. Learning human body and human action representations from visual data
Computer Vision and Pattern Recognition [cs.CV]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE029⟩
...
tel-00345353v2  Theses
David Vanderhaeghe. Distributions cohérentes de primitives pour le rendu expressif de scènes animées et le rendu en demi-tons
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 2008. Français
...
tel-01748689v2  Theses
Bruno Vallet. Bases de fonctions sur les variétés
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL034N⟩
...
tel-01748429v2  Theses
Szilárd Vajda. Cursive Bengali Script Recognition for Indian Postal Automation
Engineering Sciences [physics]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10083⟩
...
tel-02416418v2  Theses
Ujjwal Ujjwal. Handling the speed-accuracy trade-off in deep-learning based pedestrian detection systems
Artificial Intelligence [cs.AI]. COMUE Université Côte d'Azur (2015 - 2019), 2019. English. ⟨NNT : 2019AZUR4087⟩
...
tel-02420901v2  Theses
Yohann Uguen. High-level synthesis and arithmetic optimizations
Mechanics [physics.med-ph]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEI099⟩
...
tel-02433528v1  Theses
Anastasiia Tsukanova. Articulatory speech synthesis
Computation and Language [cs.CL]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0166⟩
...
tel-00353274v1  Theses
Daouda Traoré. Algorithmes parallèles auto-adaptatifs et applications
Informatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2008. Français
...
tel-02373758v2  Theses
Andrea Tomassilli. Towards next generation networks with SDN and NFV
Networking and Internet Architecture [cs.NI]. Université Côte d'Azur, 2019. English. ⟨NNT : 2019AZUR4044⟩