|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Synergie magnéto-optique dans des polymères de coordination à base de lanthanides
[Thèse]
Date de publication :
2018 |
Auteur(s) :
Puget Marin |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Les lanthanides sont de plus en plus étudiés par la communauté scientifique et leur utilisation au sein de dispositifs grand public ne fait que croître. Ces éléments sont en effet connus pour présenter des propriétés magnétiques et de luminescence remarquables. Ils sont alors particulièrement efficaces pour la création de molécules aimants ou de matériaux luminophores. Dans ces travaux de thèse, l...
Référencé le :
24-04-2019
|
|
Comment modéliser les systèmes aquifères au sein du cycle hydrologique ? : une approche « multi-observables » à différentes échelles
[Thèse]
Date de publication :
2018 |
Auteur(s) :
Guillaumot Luca |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Les systèmes aquifères constituent la partie souterraine du cycle hydrologique. Ils transfèrent les pluies infiltrées à travers les sols sur des distances variables. Après un temps caractéristique de l’ordre du mois au millier d’années, les eaux souterraines regagnent la surface en alimentant les rivières et en satisfaisant en partie l’évapotranspiration. Les aquifères sont ainsi une ressource en ...
Référencé le :
24-04-2019
|
|
On models for performance evaluation and cache resources placement in multi-cache networks
[Thèse]
Date de publication :
2019 |
Auteur(s) :
Ben Ammar Hamza |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Au cours des dernières années, les fournisseurs de contenu ont connu une forte augmentation des demandes de contenus vidéo et de services riches en média. Compte tenu des limites de la mise à l'échelle du réseau et au-delà des réseaux de diffusion de contenu, les fournisseurs de services Internet développent leurs propres systèmes de mise en cache afin d'améliorer la performance du réseau. Ces fac...
Référencé le :
24-04-2019
|
|
Algorithms and optimization for quality of experience aware routing in wireless networks : from centralized to decentralized solutions
[Thèse]
Date de publication :
2017 |
Auteur(s) :
Pham Tran Anh Quang |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Les WMNs comportent des nœuds qui sont capables de recevoir et de transmettre des données vers de multiples destinations dans le réseau. De ce fait, les WMNs sont capables de s'auto-organiser et auto-configurer dynamiquement [5]. Chaque nœud crée et maintient la connectivité avec ses voisins. La disponibilité du mode ad-hoc basée sur la norme IEEE 802.11 permet une mise en œuvre de WMNs à faible c...
Référencé le :
23-04-2019
|
|
Architectural exploration of network Interface for energy efficient 3D optical network-on-chip
[Thèse]
Date de publication :
2018 |
Auteur(s) :
Pham Van-Dung |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Depuis quelques années, les réseaux optiques sur puce (ONoC) sont devenus une solution intéressante pour surpasser les limitations des interconnexions électriques, compte tenu de leurs caractéristiques attractives concernant la consommation d’énergie, le délai de transfert et la bande passante. Cependant, les éléments optiques nécessaires pour définir un tel réseau souffrent d’imperfections qui in...
Référencé le :
19-04-2019
|
|
Couches de diffusion linéaires à partir de matrices MDS
[Thèse]
Date de publication :
2018 |
Auteur(s) :
Cauchois Victor |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Cette thèse s’intéresse à deux aspects de la cryptologie symétrique liés à l’utilisation de matrices MDS dans les couches de diffusion linéaires de primitives. Une première partie se fonde sur les conceptions de couches de diffusion linéaires de schémas de chiffrement symétrique à partir de matrices MDS. Les associations entre matrices récursives, respectivement circulantes, et polynômes sont calq...
Référencé le :
19-04-2019
|
|
Non local analyses certification with an annotated semantics
[Thèse]
Date de publication :
2018 |
Auteur(s) :
Cabon Gurvan |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
La quantité croissante de données traitées par les logiciels rend légitime le besoin de garanties de confidentialité. La propriété de non-interférence assure qu'un programme ne fuite pas de données privées vers une sortie publique. Nous proposons une méthode pour construire, une multisémantique annotée capable de capturer la propriété de non-interférence pour aider à prouver formellement des analy...
Référencé le :
19-04-2019
|
|
Caractérisation de la gazéfication de combustibles solides de récupération (CSR) en vue d'optimiser leur utilsation dans une unité de cogénération par gazogène
[Thèse]
Date de publication :
2018 |
Auteur(s) :
Vonk Gwendal |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
La gazéification est un procédé de conversion thermochimique permettant de convertir un combustible solide en gaz de synthèse (syngaz), composé notamment de H2 et CO. L’utilisation de déchets non-dangereux sous forme de CSR doit, en plus de fournir une énergie avec de bons rendements, respecter les normes environnementales. Nos travaux évaluent les performances énergétiques et environnementales d...
Référencé le :
18-04-2019
|
|
Théorie de champ-moyen et dynamique des systèmes quantiques sur réseau
[Thèse]
Date de publication :
2018 |
Auteur(s) :
Rouffort Clément |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Cette thèse est dédiée à l'étude mathématique de l'approximation de champ-moyen des gaz de bosons. En physique quantique une telle approximation est vue comme la première approche permettant d'expliquer le comportement collectif apparaissant dans les systèmes quantiques à grand nombre de particules et illustre des phénomènes fondamentaux comme la condensation de Bose-Einstein et la superfluidité. ...
Référencé le :
18-04-2019
|
|
Parallelism and modular proof in differential dynamic logic
[Thèse]
Date de publication :
2019 |
Auteur(s) :
Lunel Simon |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Les systèmes cyber-physiques mélangent des comportements physiques continus, tel la vitesse d'un véhicule, et des comportement discrets, tel que le régulateur de vitesse d'un véhicule. Ils sont désormais omniprésents dans notre société. Un grand nombre de ces systèmes sont dits critiques, i.e. une mauvaise conception entraînant un comportement non prévu, un bug, peut mettre en danger des êtres hum...
Référencé le :
17-04-2019
|
|
