Tri :
Date de référencement
Editeur
Auteur
Titre
|
Polarimetric multi-incidence angle analysis over the archaeological site of Samarra by means of RADARSAT-2 and ALOS PALSAR satellites datasets
Date de publication :
10-04-2014 |
Auteur(s) :
Dore Nicole |
Editeur(s) :
Universite de Rennes 1, Università degli studi La Sapienza (Roma) |
Origine de la fiche :
Université de Rennes 1
Cette recherche a pour objectif d'étudier l'impact des micro-ondes sur des structures archéologiques toujours visibles de l'ancienne cité de Samarra, la capitale de l'ancien Abbasside Califat situé en Iraq. Trois zones ont été sélectionnées pour cette recherche Doctorale : une cité octogonale, trois champs de courses et la cité de al-Mutawakkiliyya. Les menaces à lesquelles le site est exposé et s...
Référencé le :
04-09-2014
|
|
Compressed sensing and dimensionality reduction for unsupervised learning
Date de publication :
13-05-2014 |
Auteur(s) :
Bourrier Anthony |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Cette thèse est motivée par la perspective de rapprochement entre traitement du signal et apprentissage statistique, et plus particulièrement par l'exploitation de techniques d'échantillonnage compressé afin de réduire le coût de tâches d'apprentissage. Après avoir rappelé les bases de l'échantillonnage compressé et mentionné quelques techniques d'analyse de données s'appuyant sur des idées simila...
Référencé le :
05-09-2014
|
|
Gestion de la variabilité et automatisation des processus de développement logiciel
Date de publication :
01-04-2014 |
Auteur(s) :
Rouillé Emmanuelle |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
De nombreux outils existent afin de faire face à la complexité des logiciels et des projets de développement logiciel. Leur utilisation est cependant à l'origine de tâches manuelles répétitives, sources d'erreurs et coûteuses en temps. L'automatisation de ces tâches permet de gagner en productivité. Mais la difficulté est de déterminer quand une automatisation de tâche manuelle répétitive doit êtr...
Référencé le :
05-09-2014
|
|
Self-describing objects with tangible data structures
Date de publication :
28-05-2014 |
Auteur(s) :
Sinha Arnab |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
En informatique ubiquitaire, l'observation du monde physique et de son "contexte" (une représentation haut niveau de la situation physique) est essentielle. Il existe de nombreux moyens pour observer le contexte. Typiquement, cela consiste en un traitement en plusieurs étapes commençant par la récupération de données brutes issues de capteurs. Diverses technologies de capteurs sont utilisées pour ...
Référencé le :
10-09-2014
|
|
Enhanced image and video representation for visual recognition
Date de publication :
09-04-2014 |
Auteur(s) :
Jain Mihir |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
L'objectif de cette thèse est d'améliorer les représentations des images et des vidéos dans le but d'obtenir une reconnaissance visuelle accrue, tant pour des entités spécifiques que pour des catégories plus génériques. Les contributions de cette thèse portent, pour l'essentiel, sur des méthodes de description du contenu visuel. Nous proposons des méthodes pour la recherche d'image par le contenu ...
Référencé le :
11-09-2014
|
|
Algorithms for super-resolution of images and videos based on learning methods
Date de publication :
04-06-2014 |
Auteur(s) :
Bevilacqua Marco |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Par le terme ''super-résolution'' (SR), nous faisons référence à une classe de techniques qui améliorent la résolution spatiale d'images et de vidéos. Les algorithmes de SR peuvent être de deux types : les méthodes ''multi-frame'', où plusieurs images en basse résolution sont agrégées pour former une image unique en haute résolution, et les méthodes ''single-image'', qui visent à élargir une seule...
Référencé le :
12-09-2014
|
|
L'évolution tectonique des chaînes du Tian Shan et Kunlun Shan occidentale contrainte par analyses magnétostratigraphiques et thermochronologiques
Date de publication :
02-06-2014 |
Auteur(s) :
Yang Wei |
Editeur(s) :
Université de Rennes 1, Université de Pékin |
Origine de la fiche :
Université de Rennes 1
Deux questions scientifiques critiques sont adressées dans cette thèse présentées comme suit. ( 1 ) L’évolution mésozoïque du bassin d’avant-pays dans les piémonts nord et sud du Tian Shan. ( 2 ) L’évolution au Cénozoïque précoce du soulèvement du Tian Shan. Dans le chapitre 1, l'évolution du nord Tian Shan est étudiée par datation U/Pb (LA- ICP-MS) de zircons détritiques sur 14 échantillons de gr...
Référencé le :
17-09-2014
|
|
Source independence in the theory of belief functions
Date de publication :
25-06-2014 |
Auteur(s) :
Chebbah Mouna |
Editeur(s) :
Université de Rennes 1, Université de Carthage (Tunisie) |
Origine de la fiche :
Université de Rennes 1
La fusion d'informations issues de plusieurs sources cherche à améliorer la prise de décision. Pour réaliser cette fusion, la théorie des fonctions de croyance utilise des règles de combinaison faisant bien souvent l'hypothèse de l'indépendance des sources. Cette forte hypothèse n'est, cependant, ni formalisée ni vérifiée. Elle est supposée pour justifier le choix du type de règles à utiliser san...
Référencé le :
18-09-2014
|
|
Théorie spectrale inverse pour les opérateurs de Toeplitz 1D
Date de publication :
19-06-2014 |
Auteur(s) :
Le Floch Yohann |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Dans cette thèse, nous prouvons des résultats de théorie spectrale, directe et inverse, dans la limite semi-classique, pour les opérateurs de Toeplitz autoadjoints sur les surfaces. Pour les opérateurs pseudo-différentiels, les résultats en question sont déjà connus, et il est naturel de vouloir les étendre aux opérateurs de Toeplitz. Les conditions de Bohr-Sommerfeld usuelles, qui caractérisent l...
Référencé le :
18-09-2014
|
|
Extensions des automates d'arbres pour la vérification de systèmes à états infinis
Date de publication :
26-06-2014 |
Auteur(s) :
Murat Valérie |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Les systèmes informatiques jouent un rôle essentiel dans la vie actuelle, et leurs erreurs peuvent avoir des conséquences dramatiques. Il existe des méthodes formelles permettant d'assurer qu'un système informatique est fiable. La méthode formelle utilisée dans cette thèse est appelée complétion d'automates d'arbres et permet d'analyser les systèmes à nombre d'états infini. Dans cette représentati...
Référencé le :
18-09-2014
|
|