|
Sort :
Indexation Date
Publisher
Author
Title
|
Pour un changement véritable : une approche philosophique du temps inspirée d’Arthur Prior
[TEF]
Creation date :
2026 |
Author(s) :
Clos Vincent |
Publisher(s) :
Université de Rennes |
Repository :
Université de Rennes 1
La notion de changement possède un statut particulier en métaphysique. Nos intuitions et nos perceptions les plus communes nous indiquent que la réalité change. Une personne est parfois assise, parfois debout, elle possède parfois un mal de tête et parfois non. Pourtant, le changement rencontre des difficultés, notamment sur la question traditionnelle de l’identité en lien avec l’indiscernabilité....
Indexation date :
17-06-2026
|
|
Mechanized semantics for circuits : from dataflow to hardware
[TEF]
Creation date :
2026 |
Author(s) :
Law Tony |
Publisher(s) :
Université de Rennes |
Repository :
Université de Rennes 1
La synthèse de haut-niveau (HLS) est une méthode pour produire une description de matériel à partir d'une spécification haut-niveau, en général écrite en C. Elle fait ainsi intervenir deux modèles d'exécution différents : en entrée, des programmes séquentiels dirigés par leur flot de contrôle, et en sortie, des circuits parallèles dirigés par leurs flots de données. Des techniques d'ordonnancement...
Indexation date :
03-06-2026
|
|
Time-aware reliability enhancements for safety-critical embedded systems
[TEF]
Creation date :
2026 |
Author(s) :
Nikiema Pegdwendé Romaric |
Publisher(s) :
Université de Rennes |
Repository :
Université de Rennes 1
Les systèmes embarqués sont davantages vulnérables aux radiations avec l'utilisation de petits transistors, de faibles tension d'allimentation, etc. Les méthodes standards de tolérance aux fautes telles que la redondance par triplication (TMR) induisent des surcoûts en surface. La plupart des travaux sur l'estimation du pire temps d'exécution (WCET), nécessaire pour la guarantie des temps, ne cons...
Indexation date :
02-06-2026
|
|
Déjouer les dissimulations : outils pour l'audit de systèmes de prédiction en boîte noire
[TEF]
Creation date :
2026 |
Author(s) :
Godinot Augustin |
Publisher(s) :
Université de Rennes |
Repository :
Université de Rennes 1
Les systèmes de prédiction fondés sur l'apprentissage automatique sont désormais largement accessibles mais restent trop souvent opaque, s'apparentant à des boîtes noires pour leurs utilisateurs. L'audit, en tant qu'évaluation indépendante est un outil essentiel à la gouvernance de ces systèmes. Cependant, la facilité de détection des audits et leurs conséquences potentiellement coûteuses pour le ...
Indexation date :
27-05-2026
|
|
Beyond divination : stabilizing the interpretability of machine learning algorithms
[TEF]
Creation date :
2026 |
Author(s) :
Kelodjou Nguenang Zeinabou Gwladys |
Publisher(s) :
Université de Rennes |
Repository :
Université de Rennes 1
Les modèles d’apprentissage automatique présentent des mécanismes de décision souvent opaques et incompréhensibles, ce qui limite leur utilisation dans des domaines sensibles où les prédictions doivent être justifiées pour être exploitables. Les méthodes d’explicabilité visent à rendre ces décisions plus compréhensibles, notamment à travers des techniques d’attribution locales qui expliquent une p...
Indexation date :
19-05-2026
|
|
Alkaline-earth and zinc homogeneous catalysis for the dehydrocoupling of hydrosilanes with terminal alkynes
[TEF]
Creation date :
2026 |
Author(s) :
Mohan Sakshi |
Publisher(s) :
Université de Rennes |
Repository :
Université de Rennes 1
La déshydrocouplage (DHC) entre un hydrosilane et un alcyne terminal est une réaction au cours de laquelle la liaison Si–H de l’hydrosilane réagit avec la liaison C(sp)–H de l’alcyne terminal pour former une liaison Si–C(sp). Au cours de ce processus, du dihydrogène (H₂ ) est libéré comme sous-produit. Cette thèse décrit nos travaux sur l’optimisation des substrats et des catalyseurs ainsi que sur...
Indexation date :
07-05-2026
|
|
Mécanismes logiciels pour une collecte des données agiles dans un contexte de parcelles agricoles
[TEF]
Creation date :
2026 |
Author(s) :
Hammoud Hassan |
Publisher(s) :
Université de Rennes |
Repository :
Université de Rennes 1
Les systèmes IoT destinés à la surveillance environnementale reposent souvent sur une transmission continue des données, ce qui est coûteux, peu flexible et énergivore, ce qui pose un défi dans les environnements aux ressources limitées. Cette thèse présente des expériences menées avec des nœuds IoT extrêmes équipés de plusieurs capteurs, démontrant d'abord la surveillance et le traitement des don...
Indexation date :
07-05-2026
|
|
Durabilité du Streaming Multi-CDN : déterminants économiques et stratégies de pilotage
[TEF]
Creation date :
2026 |
Author(s) :
Kara Burak |
Publisher(s) :
Université de Rennes |
Repository :
Université de Rennes 1
Cette thèse étudie comment les contraintes de durabilité transforment l’économie, les stratégies concurrentielles et les mécanismes opérationnels de la livraison vidéo multi-CDN. Elle développe des modèles fondés sur la théorie des jeux pour caractériser le comportement stratégique des CDNs, des fournisseurs de services et des régulateurs soumis à des politiques environnementales telles que la tar...
Indexation date :
21-04-2026
|
|
Mitigating spectre vulnerabilites in modern out-of-order cores
[TEF]
Creation date :
2026 |
Author(s) :
Andrianatrehina Herinomena Henintsoa |
Publisher(s) :
Université de Rennes |
Repository :
Université de Rennes 1
Dans la quête permanente d’une puissance de calcul plus rapide, les processeurs modernes utilisent des techniques permettant d’exploiter au maximum leurs ressources. Parmi ces techniques, l’exécution spéculative tente de prédire le résultat des instructions dont l’issue n’est pas encore connue, mais dont dépend la suite du programme. Cela permet au processeur d’éviter d’être inactif. Cependant, el...
Indexation date :
10-04-2026
|
|
VAE-based compression of light field images using disentangled latent modeling and perceptual quality assessment
[TEF]
Creation date :
2026 |
Author(s) :
Takhtardeshir Soheib |
Publisher(s) :
Université de Rennes, Mid Sweden University (Suède) |
Repository :
Université de Rennes 1
La demande d'expériences visuelles immersives dans des applications telles que la réalité virtuelle et la téléprésence a mis en évidence les limites de l'imagerie 2D traditionnelle. L'imagerie Light Field (LF) répond à ce problème en capturant une représentation 4D d'une scène, encodant à la fois les informations spatiales (texture) et angulaires (point de vue). Cette richesse permet une véritable...
Indexation date :
02-03-2026
|
|
