Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

693 résultats
Type de document : HDR
Type de dépôt : Document
Page :
triés par
Image document

Algorithmes pour l'étude des solutions réelles des systèmes polynomiaux

 Fabrice Rouillier
Calcul formel [cs.SC]. Université Pierre & Marie Curie - Paris 6, 2007
HDR tel-01435142v1
Image document

Sur les traces du futur : entre comprendre et predire

 Armelle Brun
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018
HDR tel-01832540v1
Image document

Contributions à la modélisation du sens par approches formelles, linguistiques et statistiques

 Jeanne Villaneau
Informatique et langage [cs.CL]. Université Bretagne Loire, 2016
HDR tel-01448487v1
Image document

Learning and Optimization for Shape-based Representations

 Iasonas Kokkinos
Computer Vision and Pattern Recognition [cs.CV]. Université Paris-Est, 2013
HDR tel-00857643v1
Image document

New Representations toward more User-Friendly 3D Synthesis

 Xavier Granier
Human-Computer Interaction [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2009
HDR tel-00434045v1
Image document

Génération de code réparti par distribution de données

 Jean-Louis Pazat
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 1997
HDR tel-00170867v1
Image document

Scheduling Pipelined Applications: Models, Algorithms and Complexity

 Anne Benoit
Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2009
HDR tel-00404147v2
Image document

Modèles Continus. Calculs. Algorithmique Distribuée.

 Olivier Bournez
Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006
HDR tel-00123104v1
Image document

Accès transparent et sécurisé à des données largement distribuées

 Béatrice Finance
Informatique [cs]. Université de Versailles-Saint Quentin en Yvelines, 2006
HDR tel-00340601v1
Image document

Graph Based Knowledge Representation and Reasoning: Practical AI Applications

 Madalina Croitoru
Artificial Intelligence [cs.AI]. Université Montpellier 2, 2014
HDR tel-01110342v1
Image document

Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip

 Abdoulaye Gamatié
Embedded Systems. Université des Sciences et Technologie de Lille - Lille I, 2012
HDR tel-00756967v2
Image document

Putting data delivery into context: Design and evaluation of adaptive networking support for successful communication in wireless self-organizing networks

 Aline Carneiro Viana
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2011
HDR tel-00653813v1
Image document

When Cardiac Biophysics Meets Groupwise Statistics: Complementary Modelling Approaches for Patient-Specific Medicine

 Maxime Sermesant
Signal and Image processing. Université de Nice - Sophia Antipolis, 2016
HDR tel-01337145v1
Image document

Modelling and analyzing security protocols in cryptographic process calculi

 Steve Kremer
Computer Science [cs]. École normale supérieure de Cachan - ENS Cachan, 2011
HDR tel-00636769v1
Image document

Euclidean lattices: algorithms and cryptography

 Damien Stehlé
Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2011
HDR tel-00645387v1
Image document

Contributions and perspectives to computer vision, image processing and EEG/MEG data analysis

 Théodore Papadopoulo
Computer Vision and Pattern Recognition [cs.CV]. Université Nice Sophia Antipolis, 2011
HDR tel-00847782v1
Image document

Weakly Supervised Learning for Structured Output Prediction

 M. Pawan Kumar
Machine Learning [cs.LG]. École normale supérieure de Cachan - ENS Cachan, 2013
HDR tel-00943602v2
Image document

Efficient verification of sequential and concurrent systems

 Stefan Schwoon
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2013
HDR tel-00927066v1
Image document

Les communications multi-* : contribution au développement d'architectures radio flexibles pour les réseaux sans fil hétérogènes

 Guillaume Villemaud
Electronique. INSA de Lyon, 2013
HDR tel-01018472v1
Image document

Contribution to the management of large scale platforms: the Diet experience

 Eddy Caron
Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2010
HDR tel-00629060v1
Image document

Le calcul de réécriture

 Horatiu Cirstea
Génie logiciel [cs.SE]. Université Nancy II, 2010
HDR tel-00546917v1
Image document

Documents structurés multimédia

 Cécile Roisin
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1999
HDR tel-00004847v1
Image document

Contributions aux schémas d'Analyse/Synthèse en Animation par ordinateur

 Nicolas Courty
Synthèse d'image et réalité virtuelle [cs.GR]. Université de Bretagne Sud, 2013
HDR tel-00861836v1
Image document

Algorithmes et architectures adaptatifs pour les systèmes de communication sans fil efficaces en énergie

 Matthieu Gautier
Architectures Matérielles [cs.AR]. Université de Rennes 1, 2019
HDR tel-02136001v1
Image document

Quality Management of Information Systems - A Human-Centric Point of View

 Virginie Thion
Databases [cs.DB]. Université Rennes 1, 2019
HDR tel-02407434v1
Image document

Biomécanique du mouvement et interactions sportives

 Benoit Bideau
Autre [q-bio.OT]. Université Rennes 2, 2012
HDR tel-01059095v1
Image document

Simulation Photoréaliste de l'éclairage en Synthèse d'Images

 Nicolas Holzschuch
Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2007
HDR tel-00379199v1
Image document

The Landau-Lifshitz equation and related models

 André de Laire
Analysis of PDEs [math.AP]. Université de Lille, 2020
HDR tel-02985356v1
Image document

Modelling and advanced simulation of wave propagation phenomena in 3D geophysical media.

 Julien Diaz
Analysis of PDEs [math.AP]. Université de Pau et des Pays de l'Adour, 2016
HDR tel-01304349v1
Image document

Problèmes aux limites et problèmes asymptotiques dans l'étude des systèmes hyperboliques

 Jean-François Coulombel
Mathématiques [math]. Université des Sciences et Technologie de Lille - Lille I, 2008
HDR tel-00362284v1
Page :