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


...
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-01749330v2  Theses
Srikrishna Bhat. Visual words for pose computation
Signal and Image processing. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0001⟩
...
tel-00921874v1  Theses
George Afonso. Vers une nouvelle génération de systèmes de test et de simulation avionique dynamiquement reconfigurables
Architectures Matérielles [cs.AR]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00913692v1  Theses
Antoine Morvan. Utilisation du modèle polyédrique pour la synthèse d'architectures pipelinées
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. Français. ⟨NNT : 2013DENS0022⟩
...
tel-00916514v2  Theses
Thibaut Le Naour. Utilisation des relations spatiales pour l'analyse et l'édition de mouvement
Synthèse d'image et réalité virtuelle [cs.GR]. Université de Bretagne Sud, 2013. Français
...
tel-00881242v4  Theses
Yannick Verdie. Urban scene modeling from airborne data
Signal and Image Processing. Université Nice Sophia Antipolis, 2013. English
...
tel-01127206v1  Theses
Sandesh Uppoor. Understanding and exploiting mobility in wireless networks
Networking and Internet Architecture [cs.NI]. INSA de Lyon, 2013. English. ⟨NNT : 2013ISAL0142⟩
...
tel-00912521v1  Theses
Sandesh Uppoor. Understanding and Exploiting Mobility in Wireless Networks
Networking and Internet Architecture [cs.NI]. INSA de Lyon, 2013. English
...
tel-00931811v1  Theses
Rafael Misoczki. Two Approaches for Achieving Efficient Code-Based Cryptosystems
Cryptography and Security [cs.CR]. Université Pierre et Marie Curie - Paris VI, 2013. English
...
pastel-00842327v1  Theses
Mamdouh Abbara. Turbo-codes quantiques
Théorie de l'information [cs.IT]. Ecole Polytechnique X, 2013. Français
...
tel-00808419v1  Theses
Jean-Baptiste Arnaud. Towards First Class References as a Security Infrastructure in Dynamically-Typed Languages
Programming Languages [cs.PL]. Université des Sciences et Technologie de Lille - Lille I, 2013. English
...
tel-00942606v1  Theses
Pejman Attar. Towards a safe and secure synchronous language
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4148⟩
...
pastel-00924232v1  Theses
Emanuele Leoncini. Towards a global and systemic understanding of protein production in prokaryotes
Quantitative Methods [q-bio.QM]. Ecole Polytechnique X, 2013. English
...
tel-00908579v1  Theses
Junjie Lai. Throughput Oriented Analytical Models for Performance Estimation on Programmable Accelerators
Hardware Architecture [cs.AR]. Université de Rennes I, 2013. English
...
tel-00940413v1  Theses
Sophia Knight. The Epistemic View of Concurrency Theory
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-00980715v1  Theses
Isabel Amigo. Technological and Economic Aspects for Quality of Service in Multidomain Alliances
Networking and Internet Architecture [cs.NI]. Télécom Bretagne, Université de Rennes 1, 2013. English
...
tel-00931839v1  Theses
Ndeye Massata Ndiaye. Techniques de gestion des défaillances dans les grilles informatiques tolérantes aux fautes
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2013. Français
...
tel-00918642v1  Theses
Guillaume Munch-Maccagnoni. Syntax and Models of a non-Associative Composition of Programs and Proofs
Logic in Computer Science [cs.LO]. Université Paris-Diderot - Paris VII, 2013. English
...
tel-00823882v1  Theses
Ilya Loshchilov. Surrogate-Assisted Evolutionary Algorithms
Optimization and Control [math.OC]. Université Paris Sud - Paris XI; Institut national de recherche en informatique et en automatique - INRIA, 2013. English
...
tel-01749421v1  Theses
Imen Jemâa. Suivi de formants par analyse en multirésolution
Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0026⟩
...
tel-00836717v1  Theses
Imen Jemaa. Suivi de Formants par analyse en Multirésolution
Interface homme-machine [cs.HC]. Université de Lorraine; Faculté des Sciences de Tunis, 2013. Français
...
tel-00936953v1  Theses
Antoine Bautin. Stratégie d'exploration multirobot fondées sur le calcul de champs de potentiels
Intelligence artificielle [cs.AI]. Université de Lorraine, 2013. Français
...
tel-00997773v1  Theses
Amine El Kouhen. Spécification d'un Métamodèle pour l'adaptation des outils UML
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00935602v1  Theses
Jérémy Laviole. Spatial Augmented Reality for Physical Drawing
Human-Computer Interaction [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2013. English
...
tel-01110887v1  Theses
Chenqi Mou. Solving Polynomial Systems over Finite Fields: Algorithms, Implementation and Applications
Symbolic Computation [cs.SC]. Université Pierre et Marie Curie, 2013. English
...
tel-00940140v1  Theses
Samira Saggadi. Simulation d'événements rares par Monte Carlo dans les réseaux hautement fiables
Modélisation et simulation. Université Rennes 1, 2013. Français
...
tel-00933072v1  Theses
Quentin Sabah. SIAAM: Simple Isolation for an Abstract Actor Machine
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English
...
tel-01560981v1  Theses
Quentin Sabah. Siaam : Simple Isolation for an Actor-based Abstract Machine
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English. ⟨NNT : 2013GRENM082⟩
...
tel-00910927v1  Theses
Michal Szczerbak. Sensibilité aux situations de façon collaborative
Networking and Internet Architecture [cs.NI]. Télécom Bretagne, Université de Rennes 1, 2013. English
...
tel-00910929v1  Theses
Elena Tushkanova. Schematic calculi for the analysis of decision procedures
Other [cs.OH]. Université de Franche-Comté, 2013. English
...
tel-00920432v1  Theses
Viet-Trung Tran. Scalable data-management systems for Big Data
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0001⟩
...
tel-00915851v1  Theses
Nicolas Gouvy. Routage g éographique dans les r éseaux de capteurs et actionneurs
Réseaux et télécommunications [cs.NI]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00912491v1  Theses
Laurentiu Trifan. Resiliency in Distributed Workflow Systems for Numerical Applications
Performance [cs.PF]. Université de Grenoble, 2013. English
...
tel-00862710v1  Theses
Ochirkhand Erdene-Ochir. Résilience et application aux protocoles de routage dans les réseaux de capteurs
Réseaux et télécommunications [cs.NI]. INSA de Lyon, 2013. Français
...
tel-00932796v1  Theses
Nikolaos Papoulias. Remote Debugging and Reflection in Resource Constrained Devices
Programming Languages [cs.PL]. Université des Sciences et Technologie de Lille - Lille I, 2013. English
...
tel-00945453v1  Theses
Adnan Bouakaz. Real-time scheduling of dataflow graphs
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S103⟩
...
tel-00850778v1  Theses
Jannis Uhlendorf. Real-time feedback control of gene expression
Bioinformatics [q-bio.QM]. Université Paris-Diderot - Paris VII, 2013. English
...
tel-00934919v1  Theses
Cédric Pasteur. Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel
Langage de programmation [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2013. Français
...
tel-00908227v2  Theses
Ronan Pardo Soares. Pursuit-evasion, decompositions and convexity on graphs
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4083⟩
...
tel-01112630v1  Theses
David Cadé. Proved Implementations of Cryptographic Protocols in the Computational Model
Cryptography and Security [cs.CR]. Paris 7, 2013. English
...
tel-01127033v1  Theses
Ahmad Ahmad Kassem. Programming networks with intensional destinations
Computation and Language [cs.CL]. INSA de Lyon, 2013. English. ⟨NNT : 2013ISAL0113⟩
...
tel-00948309v1  Theses
Sylvain Henry. Programming Models and Runtime Systems for Heterogeneous Architectures
Other [cs.OH]. Université Sciences et Technologies - Bordeaux I, 2013. English. ⟨NNT : 2013BOR14899⟩
...
tel-00925941v1  Theses
Hung Tran-The. Problème du Consensus dans le Modèle Homonyme
Calcul parallèle, distribué et partagé [cs.DC]. Université Paris-Diderot - Paris VII, 2013. Français
...
tel-01750613v3  Theses
Dorin Maxim. Probabilistic analysis of real-time systems
Embedded Systems. Université de Lorraine, 2013. English
...
tel-00874679v1  Theses
Asma Tafat. Preuves par raffinement de programmes avec pointeurs
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112141⟩
...
tel-00931860v1  Theses
Muhammad Mahtab Alam. Power-Aware Adaptive Techniques for Wireless Sensor Networks
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2013. English
...
tel-00925271v1  Theses
Louise Huot. Polynomial systems solving and elliptic curve cryptography
Symbolic Computation [cs.SC]. Université Pierre et Marie Curie - Paris VI, 2013. English
...
tel-00937020v2  Theses
Pablo Salas. Physical and numerical aspects of thermoacoustic instabilities in annular combustion chambers
Numerical Analysis [math.NA]. Université Sciences et Technologies - Bordeaux I, 2013. English
...
tel-00932215v1  Theses
Arnaud Letort. Passage à l'échelle pour les contraintes d'ordonnancement multi-ressources
Algorithme et structure de données [cs.DS]. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0113⟩
...
tel-01023039v1  Theses
Miguel Liroz-Gistau. Partitionnement dans les systèmes de gestion de données parallèles
Base de données [cs.DB]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. Français. ⟨NNT : 2013MON20117⟩
...
tel-00834359v2  Theses
Rachid El Khoury. Partial 3D-shape indexing and retrieval
Other [cs.OH]. Institut National des Télécommunications, 2013. English. ⟨NNT : 2013TELE0009⟩
...
tel-00841965v1  Theses
Imen Chakroun. Parallel heterogeneous Branch and Bound algorithms for multi-core and multi-GPU environments
Distributed, Parallel, and Cluster Computing [cs.DC]. Université des Sciences et Technologie de Lille - Lille I, 2013. English
...
tel-00959995v1  Theses
Marie Durand. Pa Vo Un tri parallèle adaptatif
Algorithme et structure de données [cs.DS]. Université de Grenoble, 2013. Français
...
tel-00922805v1  Theses
Aurélien Greuet. Optimisation polynomiale et variétés polaires : théorie, algorithmes, et implantations
Optimisation et contrôle [math.OC]. Université de Versailles-Saint Quentin en Yvelines, 2013. Français
...
tel-00959467v1  Theses
Luis Alberto Suarez Rivera. Optimisation of Radio Techniques and Deployments for Energy Efficient Networks
Networking and Internet Architecture [cs.NI]. Télécom Bretagne, Université de Rennes 1, 2013. English
...
tel-00920205v1  Theses
Julie Hamon. Optimisation combinatoire pour la sélection de variables en régression en grande dimension : Application en génétique animale
Applications [stat.AP]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00958663v1  Theses
Tien Viet Nguyen. On the modelling of wireless communication networks using non-poisson point processes
Networking and Internet Architecture [cs.NI]. Université Paris-Diderot - Paris VII, 2013. English
...
tel-00920184v1  Theses
Azadeh Khaleghi. On Some Unsupervised Learning Problems for Highly Dependent Time Series
Statistics [math.ST]. Institut national de recherche en informatique et en automatique (INRIA), 2013. English
...
tel-00919185v2  Theses
Evguenia Kopylova. New algorithmic and bioinformatic approaches for the analysis of data from high throughput sequencing
Bioinformatics [q-bio.QM]. Université des Sciences et Technologie de Lille - Lille I, 2013. English
...
pastel-00929908v1  Theses
Nicolas Guenot. Nested Deduction in Logical Foundations for Computation
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-01749799v2  Theses
Laura Haide Perez. Natural Language Generation for Language Learning
Artificial Intelligence [cs.AI]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0062⟩
...
tel-00909085v1  Theses
Suman Kumar Maji. Multiscale Methods in Signal Processing for Adaptive Optics
Image Processing [eess.IV]. Université Sciences et Technologies - Bordeaux I, 2013. English
...
tel-00915043v1  Theses
Yacine Kessaci. Multi-criteria Scheduling on Clouds
Operations Research [cs.RO]. Université des Sciences et Technologie de Lille - Lille I, 2013. English. ⟨NNT : 41245⟩
...
tel-00927252v1  Theses
Adrien Couetoux. Monte Carlo Tree Search for Continuous and Stochastic Sequential Decision Making Problems
Data Structures and Algorithms [cs.DS]. Université Paris Sud - Paris XI, 2013. English