Tri :
Date de référencement
Editeur
Auteur
Titre
|
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
Date de publication :
16-12-2013 |
Auteur(s) :
Bettembourg Charles |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
La comparaison inter-espèces de voies métaboliques est une problématique importante en biologie. Actuellement, les connaissances sont générées à partir d'expériences sur un nombre relativement limité d'espèces dites modèles. Mieux connaître une espèce permet de valider ou non une inférence faite à partir de ces données expérimentales et de déterminer si ou dans quelle mesure des résultats obtenus ...
Référencé le :
19-05-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
|
|
Étude théorique et implantation matérielle d'unités de calcul en représentation modulaire des nombres pour la cryptographie sur courbes elliptiques
Date de publication :
03-11-2014 |
Auteur(s) :
Bigou Karim |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Ces travaux de thèse portent sur l'accélération de calculs de la cryptographie sur courbes elliptiques (ECC) grâce à une représentation peu habituelle des nombres, appelée représentation modulaire des nombres (ou RNS pour residue number system). Après un état de l'art de l'utilisation du RNS en cryptographie, plusieurs nouveaux algorithmes RNS, plus rapides que ceux de l'état de l'art, sont présen...
Référencé le :
25-02-2015
|
|
Combining aesthetics and perception for display retargeting
Date de publication :
23-10-2017 |
Auteur(s) :
Bist Cambodge |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Cette thèse présente des contributions sur différents aspects du ''display retargeting'' dans le cadre de l'imagerie HDR (pour High Dynamic Range imaging en anglais). Bien que les contributions soient diverses, elles sont motivées par notre conviction que la préservation de l'intention artistique et la prise en compte de caractéristiques en termes de perception du système visuel humain sont essen...
Référencé le :
26-01-2018
|
|
Indoor navigation of mobile robots based on visual memory and image-based visual servoing
Date de publication :
20-12-2016 |
Auteur(s) :
Bista Suman Raj |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Cette thèse présente une méthode de navigation par asservissement visuel à l'aide d'une mémoire d'images. Le processus de navigation est issu d'informations d'images 2D sans utiliser aucune connaissance 3D. L'environnement est représenté par un ensemble d'images de référence avec chevauchements, qui sont automatiquement sélectionnés au cours d'une phase d'apprentissage préalable. Ces images de réf...
Référencé le :
07-02-2017
|
|
Étude des potentialités offertes par les technologies de transmission optique flexible pour les réseaux métro / coeur
Date de publication :
16-05-2013 |
Auteur(s) :
Blouza Sofiene |
Editeur(s) :
Université de Rennes 1, Université européenne de Bretagne |
Origine de la fiche :
Université de Rennes 1
L'évolution vers de nouveaux services, comme la TV à la demande, nécessitant de grosses bandes passantes remet en question les débits transportés par chaque canal optique d'un réseau WDM. Les débits des canaux ont atteint aujourd'hui les 100 Gbit/s. Cette montée en débit doit être accompagnée par de nouvelles fonctionnalités au sein des réseaux de transport optiques. Améliorer la flexibilité et as...
Référencé le :
31-03-2017
|
|
Certified semantics and analysis of JavaScript
Date de publication :
25-11-2016 |
Auteur(s) :
Bodin Martin |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
JavaScript est un langage de programmation maintenant très utilisé - y compris dans des domaines où la sécurité est importante. Il est donc important de permettre de vérifier la qualité des logiciels écrit en JavaScript. Cette thèse explore l'approche de la preuve formelle, visant à donner une preuve mathématique qu'un programme donné se comporte comme prévu. Pour construire cette preuve, nous uti...
Référencé le :
28-02-2017
|
|
Hypergraphes multimédias dirigés navigables, construction et exploitation
Date de publication :
21-12-2017 |
Auteur(s) :
Bois Rémi |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Cette thèse en informatique s'intéresse à la structuration et à l'exploration de collections journalistiques. Elle fait appel à plusieurs domaines de recherche : sciences sociales, à travers l'étude de la production journalistique ; ergonomie ; traitement des langues et la recherche d'information ; multimédia et notamment la recherche d'information multimédia. Une branche de la recherche d'informa...
Référencé le :
11-04-2018
|
|
Temporal coherency in video tone mapping
Date de publication :
16-10-2014 |
Auteur(s) :
Boitard Ronan |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
L'un des buts principaux de l'imagerie numérique est d'une part la capture et d'autre part la reproduction de scènes réelles ou synthétiques sur des dispositifs d'affichage aux capacités restreintes. Les techniques d'imagerie traditionnelles sont limitées par la gamme de luminance qu'elles peuvent capturer et afficher. L'imagerie à grande gamme de luminance (High Dynamic Range – HDR) vise à dép...
Référencé le :
19-12-2014
|
|
Formal models and verification of memory management in a hypervisor
Date de publication :
24-05-2017 |
Auteur(s) :
Bolignano Pauline |
Editeur(s) :
Universite de Rennes 1, Prove & Run |
Origine de la fiche :
Université de Rennes 1
Un hyperviseur est un logiciel qui virtualise les ressources d'une machine physique pour permettre à plusieurs systèmes d'exploitation invités de s'exécuter simultanément dessus. L'hyperviseur étant le gestionnaire des ressources, un bug peut être critique pour les systèmes invités. Dans cette thèse nous nous intéressons aux propriétés d'isolation de la mémoire d'un hyperviseur de type 1, qui virt...
Référencé le :
18-11-2017
|
|