Skip to Main content Skip to Navigation


...
tel-02444980v2  Theses
Sara El Aouad. Personalized, Aspect-based Summarization of Movie Reviews
Artificial Intelligence [cs.AI]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS019⟩
...
tel-01885412v2  Theses
Jean-Baptiste Alayrac. Structured learning from video and natural language
Computer Vision and Pattern Recognition [cs.CV]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE072⟩
...
tel-00323501v1  Theses
Mikael Lucas. Auxin fluxes and root branching in Arabidospsis thaliana: Toward a virtual root
Vegetal Biology. Université Montpellier II - Sciences et Techniques du Languedoc, 2008. English
...
tel-00328179v1  Theses
Pierrick Coupé. Brain shift compensation in image-guided neurosurgery based on 3-D ultrasound
Signal and Image processing. Université Rennes 1, 2008. English
...
tel-02138082v1  Theses
Florian Dold. The GNU Taler system : practical and provably secure electronic payments
Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S008⟩
...
tel-02315651v1  Theses
Paul Chaignon. Software Datapaths for Multi-Tenant Packet Processing
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0062⟩
...
tel-01803967v2  Theses
Maxime Oquab. Convolutional neural networks : towards less supervision for visual recognition
Artificial Intelligence [cs.AI]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE061⟩
...
tel-01984357v2  Theses
Keoma Brun-Laguna. Deterministic Networking for the Industrial IoT
Networking and Internet Architecture [cs.NI]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS157⟩
...
tel-02437532v1  Theses
Armaël Guéneau. Mechanized Verification of the Correctness and Asymptotic Complexity of Programs
Programming Languages [cs.PL]. Université de Paris, 2019. English
...
tel-02414237v2  Theses
Ulysse Gerard. Computing with relations, functions, and bindings
Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩
...
tel-02317224v2  Theses
Abd-El-Karim Kecir. Performance evaluation of urban rail traffic management techniques
Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S026⟩
...
tel-02109693v1  Theses
Hamza Ben Ammar. On models for performance evaluation and cache resources placement in multi-cache networks
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S006⟩
...
tel-02950975v1  Theses
Emilie Buessler. Construction and Validation of a Statistical 3D Atlas of Human Carpal Bones
Geometric Topology [math.GT]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM060⟩
...
tel-02429868v2  Theses
Vivien Londe. Topological Quantum Error-Correcting Codes beyond dimension 2
Information Theory [math.IT]. Université de Bordeaux, 2019. English. ⟨NNT : 2019BORD0304⟩
...
tel-01971371v5  Theses
Thibaud Rahier. Bayesian networks for static and temporal data fusion
Statistics [math.ST]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM083⟩
...
tel-03275208v2  Theses
Andreea Beica. Abstractions of biochemical reaction networks
Bioinformatics [q-bio.QM]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE071⟩
...
tel-02301017v1  Theses
Rabah Guedrez. Enabling traffic engineering over segment routing
Computer science. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0116⟩
...
tel-02095994v1  Theses
François Lemercier. Multiple interface management in smart grid networks
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0100⟩
...
tel-01984703v2  Theses
Mohammed Amer. Centralized Optimization of the Association in IEEE 802.11 Networks
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSE1238⟩
...
tel-02124605v1  Theses
yosra Zguira Bahri. Study and development of wireless sensor network architecture tolerant to delays
Other [cs.OH]. Université de Lyon; Université de Sousse (Tunisie), 2018. English. ⟨NNT : 2018LYSEI121⟩
...
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-02513105v1  Theses
Julien Lepiller. Verifying Software Fault Isolation
Performance [cs.PF]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S067⟩
...
tel-02093561v1  Theses
Saad El Jaouhari. A secure design of WoT services for smart cities
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0120⟩
...
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-00464475v1  Theses
Jorge-Arnulfo Quiane-Ruiz. A SATISFACTION-BASED QUERY ALLOCATION FRAMEWORK FOR DISTRIBUTED INFORMATION SYSTEMS
Networking and Internet Architecture [cs.NI]. Université de Nantes, 2008. English
...
tel-00838246v1  Theses
Julien Tierny. Reeb graph based 3D shape modeling and applications
Computer Vision and Pattern Recognition [cs.CV]. Université des Sciences et Technologie de Lille - Lille I, 2008. English
...
tel-01843558v1  Theses
Bertrand Simon. Scheduling task graphs on modern computing platforms
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN022⟩
...
tel-00330524v1  Theses
Emmanuel Filiot. Logics for n-ary queries in trees.
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English
...
tel-00410850v1  Theses
Camille Wormser. Generalized Voronoi Diagrams and Applications
Computer Science [cs]. Université Nice Sophia Antipolis, 2008. English
...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-00345743v1  Theses
Bastien Boussau. Early Evolution and Phylogeny
Symbiosis. Université Claude Bernard - Lyon I, 2008. English
...
tel-02461448v1  Theses
François Pirot. Colouring sparse graphs
Computer Science [cs]. Université de Lorraine; Radboud universiteit Nijmegen, 2019. English. ⟨NNT : 2019LORR0153⟩
...
tel-02434367v1  Theses
Corentin Tallec. Recurrent Neural Networks and Reinforcement Learning: Dynamic Approaches
Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLS360⟩
...
tel-02435986v1  Theses
Diviyan Kalainathan. Generative Neural networks to infer Causal Mechanisms: Algorithms and applications
Machine Learning [stat.ML]. Université Paris Sud (Paris 11) - Université Paris Saclay, 2019. English
...
tel-02358374v2  Theses
Pawel Mlynarski. Deep learning for segmentation of brain tumors and organs at risk in radiotherapy planning
Artificial Intelligence [cs.AI]. COMUE Université Côte d'Azur (2015 - 2019), 2019. English. ⟨NNT : 2019AZUR4084⟩
...
tel-01947341v2  Theses
Farhood Negin. Toward unsupervised human activity and gesture recognition in videos
Computer Vision and Pattern Recognition [cs.CV]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4246⟩
...
tel-03416070v2  Theses
Romain Gay. Public-key encryption, revisited : tight security and richer functionalities
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE078⟩
...
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-03441023v2  Theses
Kenji Maillard. Principles of program verification for arbitrary monadic effects
Programming Languages [cs.PL]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE081⟩
...
tel-02459572v1  Theses
Oscar Luis Vera-Pérez. Dynamic program analysis for suggesting test improvements to developers
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English
...
tel-02132759v1  Theses
Mourad Leslous. Highlight and execute suspicious paths in Android malware
Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S090⟩
...
tel-02396851v1  Theses
Joseph Lallemand. Electronic Voting: Definitions and Analysis Techniques
Cryptography and Security [cs.CR]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0135⟩
...
tel-02002504v1  Theses
Quentin Denoyelle. Theoretical and Numerical Analysis of Super-Resolution Without Grid
General Mathematics [math.GM]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLED030⟩
...
tel-02061756v1  Theses
yuqi Mo. Ultra narrow band based IoT networks
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEI069⟩
...
tel-02320156v3  Theses
Sébastien Bouchard. On the Deterministic Gathering of Mobile Agents
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS175⟩
...
tel-02280110v1  Theses
Leandro Ishi Soares de Lima. De novo algorithms to identify patterns associated with biological events in de Bruijn graphs built from NGS data
Bioinformatics [q-bio.QM]. Université de Lyon; Università degli studi di Roma "Tor Vergata" (1972-..), 2019. English. ⟨NNT : 2019LYSE1055⟩
...
tel-02096971v1  Theses
Taneli Pusa. Modélisation mathématique des impacts de l'environnement à l'aide de réseaux métaboliques et de la théorie des jeux
Bioinformatics [q-bio.QM]. Université de Lyon; Università degli studi La Sapienza (Rome), 2019. English. ⟨NNT : 2019LYSE1011⟩
...
tel-01961071v1  Theses
Giulia Terenzi. Option prices in stochastic volatility models
Probability [math.PR]. Université Paris Est - Marne-la-Vallée; Università di Roma Tor Vergata, 2018. English
...
tel-02325081v1  Theses
Mathieu Kohli. On the notion of geodesic curvature in sub-Riemannian geometry
Differential Geometry [math.DG]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLX043⟩
...
tel-02096145v1  Theses
Maxime Compastié. Software-defined Security for Distributed Clouds
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0307⟩
...
tel-02408597v2  Theses
Stathis Delivorias. Chase Variants & Boundedness
Data Structures and Algorithms [cs.DS]. Université Montpellier, 2019. English. ⟨NNT : 2019MONTS039⟩
...
tel-02269565v1  Theses
Axel Michel. Personalizing Privacy Constraints in Generalization-based Anonymization Models
Cryptography and Security [cs.CR]. INSA Centre Val de Loire, 2019. English
...
tel-01962957v1  Theses
Ekaterina Arafailova. Functional description of sequence constraints and synthesis of combinatorial objects
Discrete Mathematics [cs.DM]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0089⟩
...
tel-02057332v1  Theses
Julien Cumin. Recognizing and predicting activities in smart homes
Computer Science [cs]. Université Grenoble - Alpes, 2018. English
...
tel-01918263v2  Theses
Michele Minelli. Fully homomorphic encryption for machine learning
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE056⟩
...
tel-02418676v1  Theses
Manuel Leduc. On modularity and performance of External Domain-Specific Language implementations
Software Engineering [cs.SE]. Université de rennes 1, 2019. English
...
tel-01944087v1  Theses
Luciano Porretta. Models and methods in genome wide association studies
Operations Research [cs.RO]. Université libre de Bruxelles, 2018. English
...
tel-01887505v1  Theses
Vitalii Aksenov. Synchronization Costs in Parallel Programs and Concurrent Data Structures
Distributed, Parallel, and Cluster Computing [cs.DC]. ITMO University; Paris Diderot University, 2018. English
...
tel-01946840v1  Theses
Engel Lefaucheux. Controlling information in Probabilistic Systems
Computer Science [cs]. Université Rennes 1, 2018. English
...
tel-01848542v3  Theses
Riccardo Bonalli. Optimal Control of Aerospace Systems with Control-State Constraints and Delays
Optimization and Control [math.OC]. Sorbonne Université, UPMC University of Paris 6, Laboratoire Jacques-Louis Lions; ONERA -- The French Aerospace Lab, Département TIS, Unité NGPA; Inria Paris, Equipe CAGE, 2018. English
...
hal-01673518v2  Theses
Frédéric Gilbert. Extending higher-order logic with predicate subtyping
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité; Université Paris Diderot, 2018. English
...
tel-01883676v1  Theses
Thomas Durieux. From Runtime Failures to Patches: Study of Patch Generation in Production
Software Engineering [cs.SE]. University of Lille, 2018. English