Tri :
Date de référencement
Editeur
Auteur
Titre
|
Quantization and adversarial robustness of embedded deep neural networks
Date de publication :
24-03-2023 |
Auteur(s) :
Allenet Thibault |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les réseaux de neurones convolutifs et les réseaux neurones récurrents (RNN) ont été largement utilisés dans de nombreux domaines tels que la vision par ordinateur, le traitement naturel du langage et le traitement du signal. Néanmoins, la charge de calcul et le besoin en bande passante mémoire impliqués dans l'inférence des réseaux de neurones profonds empêchent souvent leur déploiement sur des c...
Référencé le :
12-05-2023
|
|
Hardware accelerated simulation and automatic design of heterogeneous architecture
Date de publication :
15-03-2023 |
Auteur(s) :
Cong Minh Thanh |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
La conception de plates-formes de système sur puce hétérogènes est complexe avec de nombreuses combinaisons possibles. La simulation détaillée de différentes solutions est nécessaire pour déterminer le meilleur design. Les environnements de simulation existants (tels que gem5) sont limités car purement logiciels et ne prennent pas en compte les architectures hétérogènes. Pour pallier ces limitatio...
Référencé le :
12-05-2023
|
|
Learning on graphs and hierarchies
Date de publication :
24-02-2023 |
Auteur(s) :
Pereira de Almeida Raquel |
Editeur(s) :
Université de Rennes, Pontifícia universidade católica de Minas Gerais (Brésil) |
Origine de la fiche :
Université de Rennes 1
Les hiérarchies, telles que décrites dans la morphologie mathématique, représentent des régions d'intérêt imbriquées et fournissent des mécanismes pour créer des concepts et une organisation cohérente des données. Elles facilitent l'analyse de haut niveau et la gestion de grandes quantités de données. Représentées sous forme d'arbres hiérarchiques, elles ont des formalismes croisés avec la théorie...
Référencé le :
11-07-2023
|
|
Contributions to the scalability of automatic precision tuning
Date de publication :
10-03-2023 |
Auteur(s) :
Ha Van-Phu |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
La consommation d'énergie est l'un des problèmes majeurs de l'informatique aujourd'hui, du calcul haute performance aux systèmes embarqués. Ces dernières années, l'approximation des calculs a reçu un regain d'intérêt pour améliorer l'efficacité énergétique. De nombreuses applications n'exigent pas une précision élevée, et les techniques de calcul approximatif augmentent l'espace de conception en f...
Référencé le :
25-08-2023
|
|
Modélisation de mouvements réactifs et comportements non verbaux pour la création d'acteurs digitaux pour la réalité virtuelle
Date de publication :
27-02-2023 |
Auteur(s) :
Jovane Alberto |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Cette thèse explore des solutions pour enrichir les interactions des utilisateurs avec les humains virtuels. Nous nous concentrons sur les caractéristiques non-verbales du mouvement, sur la façon dont elles sont représentées par les agents virtuels, et sur la façon d'adapter ces éléments pour doter les humains virtuels de capacités expressives dynamiques. Dans ce contexte, nous proposons un systèm...
Référencé le :
28-08-2023
|
|
Deep software variability for resilient performance models of configurable systems
Date de publication :
17-04-2023 |
Auteur(s) :
Lesoil Luc |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les systèmes logiciels sont fortement configurables, au sens où les utilisateurs peuvent adapter leur compilation et leur exécution grâce à des configurations. Mais toutes ces configurations ne se valent pas, et certaines d'entre elles seront nettement plus efficaces que d'autres en terme de performance. Pour l'être humain, il est complexe d'appréhender et de comparer les les différentes possibili...
Référencé le :
28-08-2023
|
|
On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic
Date de publication :
05-05-2023 |
Auteur(s) :
Kastenbaum Stéphane |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
L'augmentation de la complexité et de l'hétérogénéité des systèmes critiques pose un défi dans leur conception et leur assurance de sécurité. Les méthodes formelles sont utilisées pour valider les modèles de système, mais la difficulté réside dans la vérification de la sécurité du système global à partir des spécifications de composants validées. La théorie des contrats résout ce problème en utili...
Référencé le :
01-09-2023
|
|
Improving image quality using high dynamic range and aesthetics assessment
Date de publication :
16-06-2023 |
Auteur(s) :
Chambe Mathieu |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Pour traiter la grande quantité de données visuelles disponible, il est important de concevoir des algorithmes qui peuvent trier, améliorer, compresser ou stocker des images et des vidéos. Dans cette thèse, nous proposons deux approches différentes pour améliorer la qualité d'images. Tout d'abord, nous proposons une étude des méthodes d'évaluation automatique de l'esthétique. Ces algorithmes sont ...
Référencé le :
08-09-2023
|
|
Ungrounded haptic interfaces for guidance and interaction rendering
Date de publication :
23-06-2023 |
Auteur(s) :
Kuang Lisheng |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les systèmes haptiques sans sol jouent un rôle clé dans l'interaction homme-robot-environnement, les défis résident dans le développement de ces dispositifs, y compris la conception mécatronique, les algorithmes de rendu haptique, et la compréhension de la perception haptique. Dans cette thèse, nous présentons la conception de plusieurs dispositifs haptiques non ancrés dans le sol (portables et de...
Référencé le :
15-09-2023
|
|
Intégration de connaissances explicites à l’apprentissage profond pour la reconnaissance et la segmentation d’écriture manuscrite d’enfants
Date de publication :
28-06-2023 |
Auteur(s) :
Corbillé Simon |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Notre objectif est de concevoir un système de reconnaissance et de segmentation d'écriture manuscrite d'enfants dans le but d'analyser précisément l'écriture afin de faire des retours orthographiques immédiats à l'enfant. Les contributions de cette thèse reposent sur l'hybridation de modèles d'apprentissage profond avec des modèles utilisant des connaissances expertes explicites. La première contr...
Référencé le :
22-09-2023
|
|