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-00940100v1  Theses
Radhouane Fekih-Salem. Modèles Mathématiques pour la compétition et la coexistence des espèces microbiennes dans un chémostat
Systèmes dynamiques [math.DS]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. Français
...
tel-00527894v2  Theses
Mouna Baklouti. Méthode de conception rapide d'architecture massivement parallèle sur puce : de la modélisation à l'expérimentation sur FPGA
Informatique [cs]. Université Lille 1 Sciences et Technologies; École Nationale d'Ingénieurs de Sfax, 2010. Français
...
tel-01656474v1  Theses
Julie Laniau. Structure de réseaux biologiques : rôle des nœuds internes vis-à-vis de la production de composés
Recherche opérationnelle [cs.RO]. Inria Rennes - Bretagne Atlantique, 2017. Français
...
tel-01358477v1  Theses
Matthieu Dreher. Méthodes In-Situ et In-Transit : vers un continuum entre les applications interactives et offline à grande échelle.
Calcul parallèle, distribué et partagé [cs.DC]. Collège des Ecoles Doctorales de l'Université Grenoble Alpes, 2015. Français
...
tel-00004905v1  Theses
Cyril Soler. Représentations hiérarchiques de la visibilité pour le contrôle de l'erreur en simulation de l'éclairage
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1998. Français
...
tel-00937615v2  Theses
Thomas Cederborg. A Formal Approach to Social Learning: Exploring Language Acquisition Through Imitation
Interface homme-machine [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2013. Français
...
pastel-00001914v1  Theses
Xavier Rival. Abstraction de traces en analyse statique et transformation de programmes.
Informatique [cs]. Ecole Polytechnique X, 2005. Français
...
tel-01748252v1  Theses
Eun-Young Kang. Abstractions booléennes pour la vérification des systèmes temps-réel
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10089⟩
...
tel-02399767v2  Theses
Hugo Illous. Abstractions relationnelles de la mémoire pour une analyse compositionnelle de structures de données
Langage de programmation [cs.PL]. Université Paris sciences et lettres, 2019. Français. ⟨NNT : 2019PSLEE015⟩
...
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-01959136v2  Theses
Simon Rokicki. Accélération matérielle pour la traduction dynamique de programmes binaires
Architectures Matérielles [cs.AR]. Université Rennes 1, 2018. Français. ⟨NNT : 2018REN1S086⟩
...
tel-01236109v1  Theses
Emilie Soret. Accélération stochastique dans un gaz de Lorentz inélastique
Probabilités [math.PR]. Université Lille 1, 2015. Français
...
tel-01750793v2  Theses
Jano Yazbeck. Accrochage immatériel sûr et précis de véhicules automatiques
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0070⟩
...
tel-00524646v1  Theses
Vincent Claveau. Acquisition automatique de lexiques sémantiques pour la recherche d'information
Interface homme-machine [cs.HC]. Université Rennes 1, 2003. Français
...
tel-00432124v2  Theses
Michael Aron. Acquisition et modélisation de données articulatoires dans un contexte multimodal
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2009. Français
...
tel-03202022v1  Theses
Antoine Lucat. Acquisition opto-numérique de vêtements asiatiques anciens
Traitement des images [eess.IV]. Université de Bordeaux, 2020. Français. ⟨NNT : 2020BORD0012⟩
...
tel-00524299v1  Theses
Mathias Rossignol. Acquisition sur corpus d'informations lexicales fondées sur la sémantique différentielle
Interface homme-machine [cs.HC]. Université Rennes 1, 2005. Français
...
tel-00940287v1  Theses
Wael Cherif. Adaptation de contexte basée sur la Qualité d'Expérience dans les réseaux Internet du Futur
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2013. Français
...
tel-00284531v1  Theses
Sébastien Laborie. Adaptation sémantique de documents multimédia
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 2008. Français
...
tel-00115770v1  Theses
Georges Schutz. Adaptations et applications de modèles mixtes de réseaux de neurones à un processus industriel
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2006. Français
...
tel-00445752v1  Theses
Arnaud Tisserand. Adéquation arithmétique architecture, problèmes et étude de cas
Informatique [cs]. Ecole normale supérieure de lyon - ENS LYON, 1997. Français
...
tel-03152166v1  Theses
Neil Ayeb. Administration autonomique et décentralisée de flottes d'équipements de l'Internet des Objets
Calcul parallèle, distribué et partagé [cs.DC]. Université Grenoble Alpes [2020-..], 2020. Français. ⟨NNT : 2020GRALM054⟩
...
tel-00207934v1  Theses
Emmanuel Reuter. Agents Mobiles : itinéraires pour l'administration système et réseau
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2004. Français
...
tel-00580962v1  Theses
Hubert Larchevêque. Agrégation de ressources avec contrainte de distance : applications aux plateformes de grande échelle.
Autre [cs.OH]. Université Sciences et Technologies - Bordeaux I, 2010. Français
tel-01746434v1  Theses
Samira Sadaoui-Mouhoub. Aide à la réutilisation de spécifications formelles en LOTOS
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10030⟩
...
tel-00832496v1  Theses
Eelco de Lange. Aide géométrique à l'aménagement de satellites
Géométrie algorithmique [cs.CG]. Ecole Nationale Supérieure des Mines de Paris, 1998. Français
...
tel-00128538v1  Theses
Adrien Lebre. aIOLi : Contrôle, Ordonnancement et Régulation des Accès aux Données Persistantes dans les Environnements Multi-applicatifs Haute Performance
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. Français
...
tel-01748632v1  Theses
Michel Vergult. Algèbres de Jordan et représentations unitaires à plus haut poids
Mathématiques générales [math.GM]. Université Henri Poincaré - Nancy 1, 1997. Français. ⟨NNT : 1997NAN10296⟩
...
tel-01748318v2  Theses
Pierre-Nicolas Clauss. Algorithmes à front d'onde et accès transparent aux données
Modélisation et simulation. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10078⟩
...
tel-01975275v1  Theses
Nicolas Bouzat. Algorithmes à grain fin et schémas numériques pour des simulations exascales de plasmas turbulents
Calcul parallèle, distribué et partagé [cs.DC]. Université de strasbourg, 2018. Français
...
tel-02096361v1  Theses
Ameur Douib. Algorithmes bio-inspirés pour la traduction automatique statistique
Informatique et langage [cs.CL]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0005⟩
...
tel-00841704v1  Theses
Mathieu Djamai. Algorithmes Branch&Bound Pair-à-Pair pour Grilles de Calcul
Calcul parallèle, distribué et partagé [cs.DC]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00345988v1  Theses
Erik Saule. Algorithmes d'approximation pour l'ordonnancement multi-objectif. Application aux systèmes parallèles et embarqués
Informatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2008. Français
...
tel-00011516v1  Theses
Pierre-François Dutot. Algorithmes d'ordonnancement pour les nouveaux supports d'exécution
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
tel-02331745v1  Theses
Sven Vallée. Algorithmes d’optimisation pour un service de transport partagé à la demande
Recherche opérationnelle [cs.RO]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0063⟩
...
tel-00181462v1  Theses
Julien Coudon. Algorithmes de Commande Pour Le Pilotage d'Une Direction Découplée
Automatique / Robotique. Institut National Polytechnique de Grenoble - INPG, 2007. Français
...
tel-01838480v1  Theses
Kersane Zoubert-Ousseni. Algorithmes de géolocalisation à l’intérieur d’un bâtiment en temps différé
Traitement du signal et de l'image [eess.SP]. Université Rennes 1, 2018. Français. ⟨NNT : 2018REN1S015⟩
...
tel-00785953v1  Theses
Mahassine Djelloul. Algorithmes de graphes pour la recherche de motifs récurrents dans les structures tertiaires d'ARN
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2009. Français
...
tel-00011646v1  Theses
Emmanuelle Lebhar. Algorithmes de routage et modèles aléatoires pour les graphes petits mondes
Réseaux et télécommunications [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français
...
tel-00343501v1  Theses
Florian Lemarié. Algorithmes de Schwarz et couplage océan-atmosphère
Mathématiques [math]. Université Joseph-Fourier - Grenoble I, 2008. Français
...
tel-00003580v1  Theses
Stéphane Redon. Algorithmes de simulation dynamique interactive d'objets rigides
Modélisation et simulation. Université d'Evry-Val d'Essonne, 2002. Français
...
tel-00924743v1  Theses
Nicolas Estibals. Algorithmes et arithmétique pour l'implémentation de couplages cryptographiques
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2013. Français
...
tel-00010950v1  Theses
Pascal Rebreyend. Algorithmes génétiques hybrides en optimisation combinatoire
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 1999. Français
...
tel-00832414v1  Theses
Frank Nielsen. Algorithmes géométriques adaptatifs
Géométrie algorithmique [cs.CG]. Université Nice Sophia Antipolis, 1996. Français
...
tel-01256185v2  Theses
Gautier Brèthes. Algorithmes multigrilles adaptatifs et scalables
Mathématiques générales [math.GM]. Université Nice Sophia Antipolis, 2015. Français. ⟨NNT : 2015NICE4103⟩
...
tel-00353274v1  Theses
Daouda Traoré. Algorithmes parallèles auto-adaptatifs et applications
Informatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2008. Français
...
tel-00005117v2  Theses
Florence Zara. Algorithmes parallèles de simulation physique pour la synthèse d'images : application à l'animation de textiles
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2003. Français
...
tel-00002742v2  Theses
Jean-Guillaume Dumas. Algorithmes parallèles efficaces pour le calcul formel : algèbre linéaire creuse et extensions algébriques
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2000. Français
...
tel-00781416v1  Theses
Lou Feng. Algorithmes pour l' étude de la structure secondaire des ARN et l'alignement de séquences
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2012. Français
...
tel-00124471v1  Theses
Matthieu Defrance. Algorithmes pour l'analyse de régions régulatrices dans le génome d'eucaryotes supérieurs
Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français
...
tel-01751648v2  Theses
Cyril Bouvier. Algorithmes pour la factorisation d'entiers et le calcul de logarithme discret
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0053⟩