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-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-00916835v1  Theses
Christophe Lino. Virtual camera control using dynamic spatial partitions
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S072⟩
...
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-00821103v1  Theses
Flavien Quesnel. Vers une gestion coopérative des infrastructures virtualisées à large échelle : le cas de l'ordonnancement
Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2013. Français. ⟨NNT : 2013EMNA0046⟩
...
tel-00925626v2  Theses
Gideon Smeding. Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems
Embedded Systems. Université de Grenoble, 2013. English. ⟨NNT : 2013GRENM073⟩
...
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-01573561v1  Theses
Pierre Magistry. Unsupervised Word Segmentation and Wordhood Assessment
Linguistics. Paris Diderot; Inria, 2013. English. ⟨NNT : 2013PA070077⟩
...
tel-00926119v2  Theses
Stephen Creff. Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits
Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S142⟩
...
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-01749847v1  Theses
Thomas Meilender. Un wiki sémantique pour la gestion des connaissances décisionnelles : application à la cancérologie
Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0073⟩
...
tel-00919997v1  Theses
Thomas Meilender. Un wiki sémantique pour la gestion des connaissances décisionnelles - Application à la cancérologie
Intelligence artificielle [cs.AI]. Université de Lorraine, 2013. Français
...
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-00854019v1  Theses
Junjie Lai. Throughput-oriented analytical models for performance estimation on programmable hardware accelerators
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S014⟩
...
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-00946583v1  Theses
Ghislain Landry Tsafack Chetsa. System Profiling and Green Capabilities for Large Scale and Distributed Infrastructures
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2013. English. ⟨NNT : 2013ENSL0861⟩
...
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-00818764v1  Theses
Ramakrishna Upadrasta. Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112039⟩
...
tel-00842555v1  Theses
Mohamed Iguernelala. Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112080⟩
...
tel-01094360v1  Theses
Jérome Cantenot. Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes
Génie logiciel [cs.SE]. Université de Franche-Comté, 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-01750542v1  Theses
Antoine Bautin. Stratégie d'exploration multirobot fondée sur le calcul de champs de potentiels
Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0261⟩
...
tel-00918593v1  Theses
Zhoulai Fu. Static analysis of numerical properties in the presence of pointers
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S060⟩
...
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-01264027v2  Theses
Rémi Bonidal. Sélection de modèle par chemin de régularisation pour les machines à vecteurs support à coût quadratique
Apprentissage [cs.LG]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0066⟩
...
tel-00910929v1  Theses
Elena Tushkanova. Schematic calculi for the analysis of decision procedures
Other [cs.OH]. Université de Franche-Comté, 2013. English
...
tel-01089811v1  Theses
Asterios Katsifodimos. Scalable view-based techniques for web data : algorithms and systems
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112117⟩
...
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-00845148v1  Theses
Hélène Langet. Sampling and Motion Reconstruction in Three-dimensional X-ray Interventional Imaging
Medical Imaging. Ecole Centrale Paris, 2013. English
...
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-00931604v2  Theses
Antoine Petit. Robust visual detection and tracking of complex objects : applications to space autonomous rendez-vous and proximity operations
Computer Vision and Pattern Recognition [cs.CV]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S190⟩
...
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-00873816v1  Theses
Sébastien Fourestier. Redistribution dynamique parallèle efficace de la charge pour les problèmes numériques de très grande taille
Autre [cs.OH]. Université Sciences et Technologies - Bordeaux I, 2013. Français. ⟨NNT : 2013BOR14803⟩
...
tel-01749418v1  Theses
Ameni Boumaiza. Reconnaissance et localisation de symboles dans les documents graphiques : approches basées sur le treillis de concepts
Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0028⟩
...
tel-00917776v2  Theses
Paoli Pietropaoli. Reconnaissance de contexte stable pour l'habitat intelligent
Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S148⟩
...
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-00910394v2  Theses
Alexandre Mouradian. Proposition et vérification formelle de protocoles de communications temps-réel pour les réseaux de capteurs sans fil
Réseaux et télécommunications [cs.NI]. INSA de Lyon, 2013. Français. ⟨NNT : 2013ISAL0121⟩
...
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-00929932v1  Theses
Léonard Gérard. Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112202⟩
...
pastel-00913469v1  Theses
Ivan Gazeau. Programmation sûre en précision finie : Contrôler les erreurs et les fuites d'informations
Analyse numérique [cs.NA]. Ecole Polytechnique X, 2013. Français
...
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-00988255v1  Theses
Andrés Octavio Aravena Duarte. Probabilistic and constraint based modelling to determine regulation events from heterogeneous biological data
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S151⟩
...
tel-01750613v3  Theses
Dorin Maxim. Probabilistic analysis of real-time systems
Embedded Systems. Université de Lorraine, 2013. English
...
tel-00989164v1  Theses
Mohammad Alaggan. Private Peer-to-peer similarity computation in personalized collaborative platforms
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S154⟩
...
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-00959447v1  Theses
Thomas Demongeot. Politique de contrôle de flux d'information définie par les utilisateurs pour les orchestrations de services. Mise en oeuvre dans un orchestrateur BPEL
Web. Télécom Bretagne, Université de Rennes 1, 2013. Français
...
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-00913072v2  Theses
Malik Souded. People detection, tracking and re-identification through a video camera network
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4152⟩
...
tel-00869819v1  Theses
Nanxing Chen. Passive interoperability testing for communication protocols
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S046⟩
...
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-00926069v1  Theses
Gylfi Thor Gudmunsson. Parallelism and distribution for very large scale content-based image retrieval
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S082⟩
...
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-01750114v2  Theses
Emmanuel Bresso. Organisation et exploitation des connaissances sur les réseaux d'interactions biomoléculaires pour l'étude de l'étiologie des maladies génétiques et la caractérisation des effets secondaires de principes actifs
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0122⟩
...
tel-00862845v1  Theses
Alexandre van Kempen. Optimizing the bandwidth utilization in distributed storage systems
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S024⟩
...
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-00921216v1  Theses
Anis Ouni. Optimisation de la capacité et de la consommation énergétique dans les réseaux maillés sans fil
Réseaux et télécommunications [cs.NI]. INSA de Lyon, 2013. Français
...
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-00861274v1  Theses
Tyler Crain. On improving the ease of use of the software transactional memory abstraction
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S022⟩
...
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-01749452v2  Theses
Mauricio Araya-López. Near-Optimal Algorithms for Sequential Information-Gathering Decision Problems
Artificial Intelligence [cs.AI]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0002⟩
...
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-00853575v1  Theses
Frederico Alvares de Oliveira Junior. Multi Autonomic Management for Optimizing Energy Consumption in Cloud Infrastructures
Software Engineering [cs.SE]. Université de Nantes, 2013. English. ⟨NNT : ED 503-186⟩
...
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
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/