HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
  1. Search


...
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-01668125v2  Theses
Geoffroy Couteau. Zero-knowledge proofs for secure computation
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE065⟩
...
tel-03126748v1  Theses
Imane Mahtout. Youla-Kucera based multi-objective controllers : Application to autonomous vehicles
Automatic Control Engineering. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLM044⟩
...
tel-01251721v1  Theses
Imen Fassi. XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop Optimizations
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
...
tel-03150354v1  Theses
Anthony Strock. Working memory in random recurrent neural networks
Numerical Analysis [cs.NA]. Université de Bordeaux, 2020. English. ⟨NNT : 2020BORD0195⟩
...
tel-01748567v2  Theses
Nicolas Padoy. Workflow and Activity Modeling for Monitoring Surgical Procedures
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy 1; Technische Universität München, 2010. English. ⟨NNT : 2010NAN10025⟩
...
tel-00978887v1  Theses
Ridha Soua. Wireless sensor networks in industrial environment : energy efficiency, delay and scalability
Other [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066029⟩
...
tel-02274361v1  Theses
Dinh-Van Nguyen. Wireless sensor networks for indoor mapping and accurate localization for low speed navigation in smart cities
Robotics [cs.RO]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEM029⟩
...
tel-00808651v1  Theses
Ichrak Amdouni. Wireless Self-adaptive Ad hoc and Sensor Networks: Energy Efficiency and Spatial Reuse
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2013. English
...
tel-03555123v1  Theses
Guillaume Le Gall. Wireless network for reliable electric vehicle battery management
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. ⟨NNT : 2021IMTA0258⟩
...
tel-00702798v1  Theses
van Minh Nguyen. Wireless Link Quality Modelling and Mobility Management for Cellular Networks
Probability [math.PR]. Telecom ParisTech, 2011. English
...
tel-03468027v1  Theses
Titouan Carette. Wielding the ZX-calculus, Flexsymmetry, Mixed States, and Scalable Notations
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0200⟩
...
tel-03342197v1  Theses
Ni Luh Dewi Sintiari. Width Parameters on Even-Hole-Free Graphs
Other [cs.OH]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN026⟩
...
tel-01921596v1  Theses
Célestin Matte. Wi-Fi tracking : Fingerprinting attacks and counter-measures
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEI114⟩
...
tel-01309712v2  Theses
Gabriel Scherer. Which types have a unique inhabitant?
Programming Languages [cs.PL]. Université Paris-Diderot, 2016. English
...
tel-00690456v1  Theses
Zyed Bouzarkouna. Well placement optimization
Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : 2012PA112061⟩
...
tel-00178870v1  Theses
Doru Tanasa. Web Usage Mining: Contributions to Intersites Logs Preprocessing and Sequential Pattern Extraction with Low Support
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English
...
tel-00643552v1  Theses
Ehtesham Zahoor. Web services governance : Security and Data handling aspects
Web. Université Nancy II, 2011. English
...
tel-01925851v2  Theses
Dolière Francis Somé. Web applications security and privacy
Cryptography and Security [cs.CR]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4085⟩
...
tel-00136630v1  Theses
Antoine Miné. Weakly Relational Numerical Abstract Domains
Software Engineering [cs.SE]. Ecole Polytechnique X, 2004. English
...
tel-00761919v1  Theses
Pierre Dérian. Wavelets and Fluid Motion Estimation
Computer Vision and Pattern Recognition [cs.CV]. Université Rennes 1, 2012. English
...
tel-01750754v2  Theses
Martin Barrere. Vulnerability Management for Safe Configurations in Autonomic Networks and Systems
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0048⟩
...
tel-00336379v1  Theses
Marie Samozino. Voronoi Centred Radial Basis Functions
Computer Science [cs]. Université Nice Sophia Antipolis, 2007. English
...
tel-00178274v1  Theses
Marie Samozino. Voronoi Centered Radial Basis Functions
Mathematics [math]. Université Nice Sophia Antipolis, 2007. English
...
tel-01681320v2  Theses
Benjamin Allain. Volumetric tracking of 3D deformable shapes
Computational Geometry [cs.CG]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM017⟩
...
tel-01748491v2  Theses
Mohamed Nassar. VoIP Networks Monitoring and Intrusion Detection
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10021⟩
...
tel-01748510v2  Theses
Humberto Abdelnur. Voice over IP Vulnerability Assessment
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10005⟩
...
tel-00347430v1  Theses
Andreas Pusch. Visuo-proprioceptive conflicts of the hand for 3D user interaction in Augmented Reality
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2008. English
...
tel-00498389v1  Theses
Hani Abdeen. Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements
Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2009. English
...
tel-02872028v1  Theses
Damien Crémilleux. Visualization for information system security monitoring
Cryptography and Security [cs.CR]. CentraleSupélec, 2019. English. ⟨NNT : 2019CSUP0013⟩
...
tel-01749330v2  Theses
Srikrishna Bhat. Visual words for pose computation
Signal and Image processing. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0001⟩
...
tel-03210909v3  Theses
Agniva Sengupta. Visual tracking of deformable objects with RGB-D camera
Robotics [cs.RO]. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S069⟩
...
tel-01990867v1  Theses
Zhongkai Zhang. Vision-based calibration, position control and force sensing for soft robots
Robotics [cs.RO]. Université de Lille, 2019. English
...
tel-01251173v1  Theses
Guillermo Polito. Virtualization Support for Application Runtime Specialization and Extension
Programming Languages [cs.PL]. Universit e des Sciences et Technologies de Lille, 2015. English
...
tel-01947560v2  Theses
Gauthier Voron. Virtualisation efficace d'architectures NUMA
Hardware Architecture [cs.AR]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS026⟩
...
tel-00916835v1  Theses
Christophe Lino. Virtual camera control using dynamic spatial partitions
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S072⟩
...
tel-00755328v1  Theses
Konstantinos Karanasos. View-Based techniques for the efficient management of web data
Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : 2012PA112109⟩
...
tel-01247115v2  Theses
Nadime Francis. View-based query determinacy and rewritings over graph databases
Databases [cs.DB]. Université Paris Saclay (COmUE), 2015. English. ⟨NNT : 2015SACLN015⟩
...
tel-01137501v1  Theses
Ratnesh Kumar. Video segmentation and multiple object tracking
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4135⟩
...
tel-01093202v1  Theses
Mounira Ebdelli. Video inpainting techniques : application to object removal and error concealment
Image Processing [eess.IV]. Université de Rennes 1, 2014. English
...
tel-02437183v1  Theses
Tien Duc Cao. Vers une vérification automatique des affirmations statistiques
Programming Languages [cs.PL]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLX051⟩
...
tel-02513105v1  Theses
Julien Lepiller. Verifying Software Fault Isolation
Performance [cs.PF]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S067⟩
...
tel-01944510v3  Theses
Alix Trieu. Verifying constant-time implementations in a verified compilation toolchain
Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S099⟩
...
tel-01285624v1  Theses
Vincent Laporte. Verified static analyzes for low-level languages
Programming Languages [cs.PL]. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S078⟩
...
pastel-00605836v1  Theses
Arnaud Spiwack. Verified Computing in Homological Algebra
Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English
...
tel-00925626v2  Theses
Gideon Smeding. Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems
Embedded Systems. Université de Grenoble, 2013. English. ⟨NNT : 2013GRENM073⟩
...
tel-00647331v1  Theses
Romain Bardou. Verification of Pointer Programs Using Regions and Permissions
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112220⟩
...
tel-01103104v2  Theses
Miriam Paiola. Verification of cryptographic protocols with lists of unbounded lengths
Cryptography and Security [cs.CR]. Université Paris-Diderot (Paris 7), 2014. English
...
tel-01680213v2  Theses
Yannick Zakowski. Verification of a Concurrent Garbage Collector
Data Structures and Algorithms [cs.DS]. École normale supérieure de Rennes, 2017. English. ⟨NNT : 2017ENSR0010⟩
...
tel-03412980v1  Theses
Anirban Majumdar. Vérification et synthèse de systèmes concurrents paramétrés
Other [cs.OH]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG059⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/