Skip to Main content Skip to Navigation
  1. Search


...
tel-00936989v1  Theses
Rached Abdelkhalek. Accélération matérielle pour l'imagerie sismique : modélisation, migration et interprétation
Algorithme et structure de données [cs.DS]. Université Sciences et Technologies - Bordeaux I, 2013. Français
...
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-00921940v1  Theses
Aurore Guillevic. Arithmetic of pairings on algebraic curves for cryptography
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2013. English
...
tel-00990849v1  Theses
Amine Abdelmoula. Résolution de problèmes inverses en géodésie physique
Mathématiques générales [math.GM]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S155⟩
...
tel-00935324v1  Theses
Amen Souissi. Modélisation centrée sur les processus métier pour la génération complète de portails collaboratifs
Ingénierie assistée par ordinateur. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00923773v2  Theses
Estelle Mbinky. Adaptation de maillages pour des schémas numériques d'ordre très élevé
Modélisation et simulation. Université Pierre et Marie Curie - Paris VI, 2013. Français. ⟨NNT : http://www.rocq.inria.fr/gamma/gamma/Membres/CIPD/⟩
...
tel-00931001v2  Theses
Carlos Ernesto Gómez Cárdenas. Modeling functional and non-functional properties of systems based on a multi-view approach
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4153⟩
...
tel-00977866v1  Theses
Christelle Lusso. Modélisation numérique des écoulements gravitaires viscoplastiques avec transition fluide/solide
Mécanique des fluides [physics.class-ph]. Ecole Nationale des Ponts et Chaussées, 2013. Français
...
tel-00998248v1  Theses
Sana Cherif. Approche basée sur les modèles pour la conception des systèmes dynamiquement reconfigurables : de MARTE vers RecoMARTE
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00939159v2  Theses
Anne-Charlotte Philippe. Régularisation du problème inverse MEG par IRM de diffusion
Autre. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4135⟩
...
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-01573561v1  Theses
Pierre Magistry. Unsupervised Word Segmentation and Wordhood Assessment
Linguistics. Paris Diderot; Inria, 2013. English. ⟨NNT : 2013PA070077⟩
...
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-00979604v1  Theses
Yingchong Ma. Planification de trajectoire et commande pour les robots mobiles non-holonomes
Autre. Ecole Centrale de Lille, 2013. Français. ⟨NNT : 2013ECLI0025⟩
...
pastel-00961344v1  Theses
Mahfuza Farooque. Automated Reasoning Techniques as Proof-search in Sequent Calculus
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
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-00937380v2  Theses
Ashwin Rao. Improving transparency and end-user control in mobile
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4154⟩
...
tel-00941922v1  Theses
Nicolas Maillet. Comparaison de novo de données de séquençage issues de très grands échantillons métagénomiques : application sur le projet Tara Oceans
Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S097⟩
...
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-00938469v1  Theses
Jonathan Perrinet. Évaluation de l'impact des facteurs émotionnels lors d'interactions physiques entre humains réels et virtuels
Modélisation et simulation. Université Rennes 1, 2013. Français
...
tel-00925626v2  Theses
Gideon Smeding. Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems
Embedded Systems. Université de Grenoble, 2013. English. ⟨NNT : 2013GRENM073⟩
...
tel-01913661v1  Theses
Hatice Calik, Hatice Çalık. EXACT SOLUTION METHODOLOGIES FOR THE P-CENTER PROBLEM UNDER SINGLE AND MULTIPLE ALLOCATION STRATEGIES
Operations Research [cs.RO]. Bilkent University, 2013. English
...
tel-00933645v1  Theses
Mathieu Leconte. Load-balancing and resource-provisioning in large distributed systems
Data Structures and Algorithms [cs.DS]. Telecom ParisTech, 2013. English
...
tel-00945265v1  Theses
Pablo Enrique Sartor del Giudice. Diameter-constrained network reliability : properties and computation
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S102⟩
...
tel-00934695v1  Theses
Virgile Fritsch. High-dimensional statistical methods for inter-subject studies in neuroimaging
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112351⟩
...
tel-00939266v1  Theses
Jonas Dias. Exécution interactive pour expériences computationnelles à grande échelle
Distributed, Parallel, and Cluster Computing [cs.DC]. Universidade Federal de Rio de Janeiro, 2013. Portuguese
...
tel-01012222v1  Theses
Guillaume Chapuis. Exploiting parallel features of modern computer architectures in bioinformatics : applications to genetics, structure comparison and large graph analysis
Bioinformatics [q-bio.QM]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0068⟩
...
tel-00920530v1  Theses
Prashant Arvind Pala. Approche écologique de la mémoire épisodique dans le vieillissement normal et les neuropathologies
Psychologie. Université Victor Segalen - Bordeaux II, 2013. Français
...
tel-00984763v1  Theses
Valerio Cosentino. A model-based approach for extracting business rules out of legacy information systems
Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2013. English. ⟨NNT : 2013EMNA0138⟩
...
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-00960163v2  Theses
Aikaterini Gkirtzou. Sparsity regularization and graph-based representation in medical imaging
Signal and Image processing. Ecole Centrale Paris, 2013. English. ⟨NNT : 2013ECAP0074⟩
...
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-00921313v1  Theses
François Goichon. Equité d'accès aux ressources dans les systèmes partagés best-effort
Système d'exploitation [cs.OS]. INSA de Lyon, 2013. Français. ⟨NNT : 2013-ISAL-0162⟩
...
tel-01112630v1  Theses
David Cadé. Proved Implementations of Cryptographic Protocols in the Computational Model
Cryptography and Security [cs.CR]. Paris 7, 2013. English
...
tel-01077961v1  Theses
François Goichon. Equité d'accès aux ressources dans les systèmes partagés best-effort
Performance et fiabilité [cs.PF]. INSA de Lyon, 2013. Français. ⟨NNT : 2013ISAL0162⟩
...
tel-00917416v2  Theses
Franck Berthelon. Modélisation et détection des émotions à partir de données expressives et contextuelles
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4151⟩
...
tel-00937695v1  Theses
Hoang Giang Ngo. From inter-connecting P2P overlays to co-operating P2P systems
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4144⟩
...
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-00950386v1  Theses
Ludovic Moya. Locally implicit discontinuous Galerkin time-domain methods for electromagnetic wave propagation in biological tissues
General Mathematics [math.GM]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4146⟩
...
tel-01011210v1  Theses
Aurore Junier. Analyses de performance et de stabilité des réseaux de télécommunication
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. Français. ⟨NNT : 2013DENS0066⟩
...
tel-00926498v1  Theses
Charles Bettembourg. Méthodes sémantiques pour la comparaison inter-espèces de voies métaboliques : application au métabolisme des lipides chez l'humain, la souris et la poule
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Rennes 1, 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-00932602v4  Theses
Cédric Lachat. Conception et validation d'algorithmes de remaillage parallèles à mémoire distribuée basés sur un remailleur séquentiel
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4142⟩
...
tel-00925253v1  Theses
Simon Labarthe. Modélisation de l'activité électrique des oreillettes et des veines pulmonaires
Modélisation et simulation. Université Victor Segalen - Bordeaux II, 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-01885509v1  Theses
Mohamed Reda Bouadjenek. Infrastructure and Algorithms for Information Retrieval Based On Social Network Analysis/Mining
Information Retrieval [cs.IR]. University of Paris-Saclay, Versailles, 2013. English
...
tel-00941881v1  Theses
Nicolas Sannier. INCREMENT une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté
Génie logiciel [cs.SE]. Université Rennes 1, 2013. Français
...
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
...
pastel-00927358v1  Theses
Zhiping Rao. Hamilton-Jacobi-Bellman approach for optimal control problems with discontinuous coefficients
Optimization and Control [math.OC]. Ecole Polytechnique X, 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
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/