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

Filtrer vos résultats

695 résultats
Type de document : HDR
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

On some mathematical aspects of sparse modeling

 Rémi Gribonval
Mathematics [math]. Université Rennes 1, 2007
HDR tel-00564045v1
Image document

Codes algébriques et géométriques, applications à la cryptographie et à l'information quantique

 Alain Couvreur
Mathématiques [math]. Université Paris Diderot, 2019
HDR tel-02438668v1
Image document

CONTRIBUTIONS A LA SIMULATION NUMERIQUE EN MECANIQUE DES FLUIDES ET A LA REDUCTION DE MODELE

 Michel Bergmann
Mécanique des fluides [physics.class-ph]. université de Bordeaux, 2014
HDR tel-01113058v1
Image document

Decomposition algorithms for deterministic and uncertain integer programs

 B. Detienne
Optimization and Control [math.OC]. Ecole doctorale EDMI (ED Mathématiques et Informatique) Université de Bordeaux, 2021
HDR tel-03521336v1
Image document

Contrôle et simulations numériques en chimie quantique

 Gabriel Turinici
Mathématiques [math]. Université Pierre et Marie Curie - Paris VI, 2004
HDR tel-00377193v1
Image document

Structural and probabilistic methods for group analysis in functional neuroimaging

 Bertrand Thirion
Life Sciences [q-bio]. École normale supérieure de Cachan - ENS Cachan, 2009
HDR tel-00438202v1
Image document

Contributions en modélisation de la vision algorithmique et bio-inspirée

 Pierre Kornprobst
Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2007
HDR tel-00457491v1
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

Contribution à la notion d'autosimilarité et à l'étude des trajectoires de champs aléatoires.

 Céline Lacaux
Probabilités [math.PR]. Université de Lorraine, 2012
HDR tel-00764398v1
Image document

Étude mathématique de modèles cinétiques, fluides et paraboliques issus de la biologie

 Ayman Moussa
Mathématiques [math]. Sorbonne Université - Laboratoire Jacques-Louis Lions, 2018
HDR tel-02119758v1
Image document

Analyse et géométrie des domaines bornés symétriques

 Khalid Koufany
Mathématiques [math]. Université Henri Poincaré - Nancy I, 2006
HDR tel-00138557v1
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
Page :