Analysis of mobile network data for the study of mobility, respectful of privacy : Application to the road freight transport sector

Les opérateurs de réseau mobile disposent d'une importante source de données issue des communications de l'ensemble des objets connectés (smartphones mais pas uniquement) avec le réseau. Ces données de signalisation constituent une source massive de données de localisation et sont régulièrement utilisées pour l'étude de la mobilité (humaine ou non). Cependant, les usages potentiels se heurtent à deux écueils majeurs: leur faible précision spatiotemporelle et leur caractère éminemment sensible au regard de la protection de la vie privée.Dans un premier temps, les travaux de cette thèse améliorent la connaissance de l'état de mobilité (immobile ou en mouvement), de la vitesse, de la direction de déplacement des objets connectés et de la route qu'ils empruntent sur une infrastructure de transport (routier ou ferré par exemple).Dans un second temps, nous montrons comment garantir la confidentialité de statistiques de mobilité produites en flux continu. L'utilisation de données de signalisation, qu'elle soient relatives à des utilisateurs ou à des objets connectés divers, est encadrée légalement. Pour l'étude de la mobilité, les opérateurs ont donc tendance à publier des statistiques anonymisées (données agrégées). Plus précisément, on cherche à calculer des statistiques de mobilité complexes et anonymisées ``à la volée'' à l'aide de méthodes de confidentialité différentielle et de structures de données probabilistes (telles que des filtres de Bloom).Enfin, dans un troisième temps, nous illustrons le potentiel des données de signalisation et des approches proposées dans ce manuscrit pour le calcul en temps quasi-réel de statistiques anonymes sur le transport routier de marchandises. Cependant, il ne s'agit ici que d'un exemple de ce qui pourrait s'appliquer à d'autres sujets d'analyses de comportements de populations et d'activités avec des enjeux de politiques publiques et économiques importants.Mobile network operators have a significant data source derived from communications of all connected objects (not just smartphones) with the network. These signaling data is a massive source of location data and are regularly used for the mobility analysis. However, potential uses face two major challenges: their low spatiotemporal precision and their highly sensitive nature concerning privacy.In the first phase, the thesis work enhances the understanding of the mobility state (stationary or in motion), speed, direction of movement of connected objects, and the route they take on a transportation infrastructure (e.g., road or rail).In the second phase, we demonstrate how to ensure the confidentiality of continuously produced mobility statistics. The use of signaling data, whether related to users or various connected objects, is legally regulated. For the study of mobility, operators tend to publish anonymized statistics (aggregated data). Specifically, the aim is to calculate complex and anonymized mobility statistics "on the fly" using differential privacy methods and probabilistic data structures (such as Bloom filters).Finally, in the third phase, we illustrate the potential of signaling data and the proposed approaches in this manuscript for quasi-real-time calculation of anonymous statistics on road freight transport. However, this is just an example of what could apply to other subjects analyzing population behaviors and activities with significant public and economic policy implications

Conception participative pour aider les opérateurs de réseaux électriques dans les salles de contrôle

La technologie des salles de contrôle critiques pose de nombreux défis aux opérateurs, notamment en ce qui concerne l'augmentation de la charge de travail, la surcharge d'informations et le manque de conscience de la situation. Ma revue de la littérature de recherche sur la productivité des salles de contrôle montre que la technologie actuelle a été développée avec un engagement limité des opérateurs dans le processus de design, ce qui a conduit à des outils qui ciblent des problèmes spécifiques tout en négligeant le flux de travail global. Nous avons mené un projet de conception participative de deux ans avec les opérateurs de RTE (le réseau électrique français) afin de mieux comprendre les problèmes auxquels les opérateurs sont confrontés. Les principaux besoins concernent l'amélioration de vue générale d'information et le soutien aux tâches secondaires des opérateurs, par exemple la traçabilité d'informations et la hiérarchisation des taches. Nous avons utilisé une approche théorique générative pour concevoir StoryLines, un timeline interactif qui aide les opérateurs à collecter des informations à partir de divers outils pour créer une vue d'ensemble, créer des rappels et partager des informations pertinentes avec l'opérateur de l'équipe suivante.La combinaison de la conception participative et de la théorie générative nous a permis d'explorer les pratiques existantes des opérateurs en matière de prise de notes sur l'état du réseau et les événements futurs attendus, ce qui a permis d'informer le design les StoryLines. Nous avons mené deux études comparatives d'observation structurée afin d'évaluer les forces et les faiblesses de StoryLines et de suggérer des orientations pour la recherche future.Safety-critical control room technology poses multiple challenges for operators, especially with respect to increasing workload, information overload, and lack of situation awareness. My review of the research literature on control room productivity shows that today's technology was developed with limited operator involvement in the design process, which has led to tools that target specific problems while neglecting the overall workflow. We conducted a two-year participatory design project with RTE (the French power grid) operators to better understand the problems operators face. Key needs include improved information overviews and support for operators' secondary tasks, e.g., tracing information and prioritization. We used a generative theory approach to design StoryLines, an interactive timeline that helps operators collect information from diverse tools to create an overview, record reminders and share relevant information with the next shift's operator. The combination of participatory design and generative theory let us explore operators' existing note-taking practices about grid status and expected future events, which informed the design of StoryLines. We conducted two comparative structured observation studies to assess the strengths and weaknesses of StoryLines and to suggest directions for future research

Stratégies périopératoires multidisciplinaires pour améliorer les résultats à court et à long terme dans les cancers hépato-biliaires et pancréatiques

Cette thèse est une exploration complète de la prise en charge multidisciplinaire des tumeurs hépato-biliopancréatiques (HBP), et de la manière dont cette approche peut améliorer les résultats oncologiques pour le patient. Ce travail est développé en trois chapitres, chacun couvrant un domaine spécifique de cette discipline. Chaque chapitre révèle également une collaboration importante entre chirurgiens, oncologues, chercheurs et diverses personnalités médicales, ouvrant la voie à l'avancement de la prise en charge des tumeurs HBP. Les stratégies de traitement affinées et les approches de médecine personnalisée décrites dans cette thèse ne sont pas des constructions théoriques mais des outils prêts à être intégrés dans les soins aux patients. L'esprit de collaboration soutenu tout au long de ce travail résonne dans l'amélioration des soins aux patients atteints de tumeurs HBP, garantissant que les progrès de la recherche se traduisent par des améliorations cliniques tangibles.This thesis is a comprehensive exploration of the multidisciplinary management of hepatobiliarypancreatic tumors (HBP), and how this approach can improve oncological outcomes for the patient.This work is developed in three chapters, each covering a specific domain of this discipline. Each chapter also reveals significant collaboration between surgeons, oncologists, researchers, and various medical personalities, paving the way for the advancement of HBP tumor management. The refined treatment strategies and personalized medicine approaches described in this thesis are not theoretical constructs but tools ready to be integrated into patient care. The spirit of collaboration sustained throughout this work resonates in the improvement of care for patients with HBP tumors, ensuring that research advancements translate into tangible clinical improvements

Interface spin-photon et portes quantiques pour des spins dans des nanotubes de carbone

Dans cette thèse, on s'intéresse à l'implémentation d'un qubit de spin dit ferromagnétique. Un nanotube de carbone est utilisé comme conducteur cohérent pour piéger un spin électronique dans lequel est encodé l'information quantique assurant des longs temps de cohérence. Ce circuit à base de boîtes quantiques est intégré à une architecture d'électrodynamique quantique sur puce procurant de grands atouts pour la lecture, la manipulation et un couplage à distance. Le couplage spin-photon existe grâce une hybridation spin-charge : l'électron étant piégé dans un double puits de potentiel avec différents axes de quantification du spin pour chacune des boîtes quantiques. Cet ingrédient clef est ici implémenté avec des électrodes de contacts ferromagnétiques non colinéaires et leur champ magnétique respectif. Augmenter le couplage spin-photon est toutefois nécessaire pour dépasser la preuve de concept. Pour cela il est possible d'accroitre l'impédance du résonateur avec des supraconducteurs désordonnés, ce qui a été exploré dans ce travail avec de l'aluminium granulaire. Des travaux d'investigation sont également été menés pour une intégration multi-qubits avec une cavité usinée dite ”2.5D”. Les résultats principaux de cette thèse ont été obtenus dans une architecture standard où des états quantique cohérents jusqu'à la microseconde ont été observés. La manipulation avec des photons de la cavité a conduit à des chevrons de Rabi non conventionnels cachant une dynamique multi-niveaux. La caractérisation standard des qubits a toutefois pu être réalisée et a montré des temps de cohérence dépassant ceux des circuit de boîtes quantiques en cavité et ceux des dispositifs à base de nanotubes de carbone d'un et de deux ordres de grandeur.In this thesis, we study the implementation of a ferromagnetic spin qubit. A carbon nanotubeis used as a coherent conductor to trap an isolated electron spin in which quantum information is encoded providing long coherence time. This quantum dot circuit is embedded in acircuit quantum electrodynamics (cQED) architecture offering great assets for qubit readout, manipulation and long-range coupling. The spin-photon coupling is enabled through a spin-charge hybridization: the electron being trapped in a double potential well with different spinquantization axis in each of the two dots. This key ingredient is here implemented by noncollinear ferromagnectic contact electrodes and their respective magnetic field. Enhancingthe spin-photon coupling is however inevitable to outreach the proof of concept. Increasing the resonator impedance with disordered superconductors is one possible solution which has been explored in this work using granular aluminum. Preliminary investigations have also been carried out for a suitable multi-qubit integration deploying a bulk ”2.5D” cavity. The main results of this thesis have been obtained with a standard architecture where microsec-ond lived quantum states have been observed. The manipulation with cavity photons has yielded non conventional Rabi chevrons hiding a multi-level dynamics. Standard qubit char-acterization could have nevertheless been done, showing coherence time exceeding those of quantum dot circuits in cQED architectures and the ones of carbon nanotube based devices by one and two orders of magnitude

Films minces d'oxyde métallique binaire et leur rôle dans la compréhension de l'interaction cellule-matériel

La compréhension de la manière dont la chimie de surface, la composition des matériaux et les conditions de dépôt affectent la fonction cellulaire est cruciale pour la création de substrats en biomédecine et pour les prothèses orthopédiques. Cette thèse examine l'impact des films minces d'oxydes métalliques sur le comportement des cellules humaines et bactériennes, en se concentrant sur VOx, CuTiO, Al2O3, ZnO et TiO2 en tant que substrats. Grâce à la technique de dépôt laser pulsé (PLD), nous avons obtenu une rugosité de surface de 0,1 à 0,9 nm et évalué les caractéristiques hydrophiles de tous les films. Cela garantit des paramètres de recherche idéaux pour l'adhérence cellulaire.Notre recherche initiale indique que VOx adhère et favorise la prolifération des cellules souches mésenchymateuses dérivées de la moelle osseuse humaine (hBMMSCs) lorsqu'il est déposé à 400°C. De plus, les revêtements VOx ont favorisé la chondrogénèse sans avoir d'effet sur la différenciation adipogénique et ostéogénique. Par ailleurs, les films Cu0,75Ti0,25O2 ont été testés pour leurs caractéristiques antibactériennes, montrant une diminution de 20 % de la prolifération bactérienne, indiquant un potentiel d'inhibition de la croissance des biofilms.Après avoir examiné la biocompatibilité des films VOx et CuTiO, nous avons entrepris une investigation plus approfondie, incluant les cellules cancéreuses et l'inhibition du développement cellulaire sur d'autres films d'oxydes métalliques. À cette fin, nous avons utilisé des films minces composés d'oxydes binaires tels que ZnO, Al2O3, CuO, VOx et TiO2 pour étudier le comportement des cellules cancéreuses, produisant des résultats divers. TiO2 et Al2O3 ont amélioré l'adhérence et la prolifération à des niveaux équivalents ou supérieurs à ceux observés sur un support en polyéthylène téréphtalate (PET) classique. Cependant, CuO et ZnO ont pu éliminer les cellules SKOV3 présentes dans le cancer de l'ovaire. Cette recherche approfondie démontre les réponses biologiques complexes et variées aux revêtements minces composés d'oxydes métalliques, renforçant ainsi notre compréhension de l'impact de ces films sur différents types cellulaires, soulignant l'importance du choix des matériaux en recherche biomédicale.Understanding how surface chemistry, material composition, and deposition conditions affect cellular function is crucial for building substrates for bio medicine and orthopedicprostheses. This thesis examines the impact of metal oxide thin films on human and bacterial cell behavior, focusing on VOx, CuTiO, Al2O3, ZnO, and TiO2 as substrates. With Pulsed Laser Deposition (PLD), we achieved 0.1-0.9 nm surface roughness and evaluated all films’ hydrophilic characteristics. This ensures ideal cell adhesion research settings. VOx adheres to and promotes the proliferation of human bone marrow-derived mesenchymal stem cells (hBMMSCs) when deposited at 400°C, according to our initial research. Additionally, VOx coatings promoted chondrogenesis while having no effect on adipogenic and osteogenic differentiation. furthermore, Cu0.75Ti0.25O2 films were tested for antibacterial characteristics. A decrease of 20% in bacterial proliferation indicates that these coatings have the potential to inhibit the growth of biofilms. Following our examination of the bio-compatibility of VOx and CuTiO films, we proceeded to conduct a more in-depth investigation including cancer cells and the inhibition of cell development on other metal oxide films. For this purpose, we employed thin films composed of binary oxides such as ZnO, Al2O3, CuO, VOx, and TiO2 to investigate the behavior of cancer cells, yielding diverse outcomes. TiO2 and Al2O3 enhanced adhesion and proliferation to levels that were equivalent to or higher than those observed on regular polyethylene terephthalate (PET) support. However, CuO and ZnO were able to eradicate SKOV3 cells that were seen in ovarian cancer. This extensive investigation demonstrates the intricate and varied biological responses to thin coatings composed of metal oxides. The findings augment our comprehension of the impact of oxide thin films on various cell types, underscoring the significance of material choice in biomedical research

Application of DEEP LEARNING to the processing of TERRESTRIAL LiDAR data for the evaluation of ARCHITECTURAL FEATURES and functioning of fruit trees

Face aux effets du changement climatique, à l’augmentation de la population et à la nécessité d’assurer la sécurité alimentaire, la compréhension du développement des plantes est un élément essentiel des solutions. Cette étude vise à répondre à ces préoccupations urgentes. Pour entreprendre une telle étude, il est nécessaire d’explorer comment la variabilité génétique donne lieu à des ensembles spécifiques de caractéristiques architecturales. Dans le cas des arbres fruitiers qui seront le support de cette étude, la compréhension de ces variations architecturales facilite la régulation, la prédiction et l’assurance de la production. Elle permettra également de proposer des stratégies de gestion visant à maintenir la santé de l’arbre et à optimiser sa productivité.Les arbres fruitiers se composent généralement de deux parties : la partie supérieure,comprenant le tronc, les branches et les autres organes aériens, et la partie souterraine comprenant l’ensemble du système racinaire. Dans les deux cas, l’étude de l’architecture soulève diverses questions concernant la géométrie de l’arbre, les gènes impliqués dans son développement et ses variations, ainsi que les états successifs au cours de son ontogénie. En répondant à ces questions, la compréhension de l’architecture des arbres fruitiers peut contribuer à l’amélioration des variétés et de leur production. C’est pourquoi plusieurs techniques ont été développées pour mesurer les organes de l’arbre et modéliser leur architecture, incluant leur topologie et leur forme. Initialement, cette tâche nécessitait un groupe d’opérateurs humains pour mesurer physiquement ces objets directement sur le terrain. Cependant, cette approche prend beaucoup de temps et nécessite des observations approfondies. Au cours des dernières décennies, l’avènement de nouveaux capteurs tels que les caméras et le LiDAR (Light Detection and Ranging) a facilitél’acquisition de représentations numériques des arbres, ouvrant ainsi de nouvelles possibilités d’étude. L’objectif de cette thèse est d’obtenir des descripteurs de l’architecture donnant une charactérisation globale de la géométrie de l’arbre, puis une approximation plus précise au niveau des organes. Ces descripteurs ont été basées sur le traitement de nuages de points obtenus à partir de LiDAR terrestres et aériens dans un verger de pommiers contenant une collection de génotypes. Les nuages de points ont été traités en développant deux pipelines utilisant divers algorithmes de filtrage, d’apprentissage automatique et d’apprentissage profond.With the effects of climate change, a growing human population, and the need to ensurefood security, understanding the development of plants is a crucial part of the possible solutions. This study is considered to be highly significant in addressing these pressing concerns. To undertake such a study, it is necessary to explore how genetic variability gives rise to specific sets of architectural traits. Understanding these architectural variations facilitates the regulation, prediction and assurance of fruit production. It will also allow management strategies to be proposed to maintain the health of the tree and optimize its productivity. Fruit trees typically consist of two components: the upper part, including the trunk, branches, and other organs above ground, and the underground part encompassing the entire root system. In both cases, studying the architecture raises various questions concerning tree geometry, the genes involved in tree development and variation, and the successive states of the tree. By addressing these questions, understanding the architecture of fruit trees can contribute to the improvement of varieties and their production. Hence, several techniques have been developed to measure tree organs and model their architecture and shape. Initially, this task required a group of human operators to physically measure these objects directly in the field. However, this approach is time-consuming and demands extensive observation. Over the past few decades, the advent of new sensors such as cameras and LiDAR (Light Detection and Ranging) has facilitated the acquisition of digital representations of trees, opening up new possibilities for study. The objective of this thesis is to obtain architectural metrics that provide an overall perspective of the tree’s geometry, followed by a more precise approximation at the organ level. These metrics were based on the processing of point clouds obtained from terrestrial and aerial LiDAR in an apple orchard including a collection of genotypes. The point clouds were processed by developing two pipelines utilizing various filtering, machine learning, and deep learning algorithms

Intercalation in Graphite materials

Bien que l'humanité lutte contre le défi pressant des émissions de gaz à effet de serre, l'importance des solutions énergétiques durables devient de plus en plus évidente. Les batteries au lithium-ion, considérées comme une avenue prometteuse pour stockage d'énergie électrique, sont essentielles pour l'électronique intégrée, le transport électrique et la production irrégulière à partir de sources renouvelables telles que l'éolien, la géothermie et le solaire. Cependant, leur adoption généralisée dépend de deux facteurs critiques principaux tels que la non-disponibilité du lithium dans la croûte terrestre et sa difficulté d'extraction. De plus, batteries au lithium-ion doivent stocker plus d'énergie et se recharger rapidement. Peut-être que l'exigence de haute capacité des batteries au lithium-ion pourrait être satisfaite en étudiant composants clés du lithium-ion, en particulier les électrodes d'anode (négative) et cathode (positive). Dans ce cadre, l'étude des composés d'intercalation du graphite (GIC) émerge comme un domaine essentiel, offrant des perspectives pour améliorer capacité de l'électrode d'anode où le graphite est le matériau hôte, d'où le nom GIC.Essentiellement, le GIC, qui appartient aux matériaux stratifiés, implique l'insertion régulière d'atomes, d'ions ou de molécules invités entre les couches graphite. Dans le contexte du GIC, travaux théoriques et expérimentaux ont été réalisés dans le but de comprendre et de relever les défis des batteries au lithium-ion. Par exemple, chercheurs ont exploré l'utilisation d'autres métaux alcalins (AM) tels que le sodium (Na) et le potassium (K) en remplacement du lithium (Li). Cependant, premiers semblent avoir une capacité réduite, en particulier dans cas du sodium (Na), où le composé totalement sodié est connu pour ne pas former. De plus, alors que les matériaux entièrement lithiés du GIC-Li ont été bien étudiés et caractérisés, les phénomènes en régime de concentration diluée ou faible demeurent évasifs. De même que pour le lithium, peu ou pas d'informations sur le régime de concentration diluée sont connues pour le GIC-K. En fait, le potassium (K) a été signalé pour occuper les interstices du graphite de manière désordonnée sans aucune stœchiométrie établie entre le carbone et le potassium. De plus, dans ce régime, des questions telles que l'évolution de l'environnement local AM en fonction de concentration, la concentration en AM à laquelle le l'empilement de graphite pur (AB ou Bernal) passe à l'empilement totalement lithié (AA ou hexagonal) pendant la lithiation, le mécanisme qui entraîne l'intercalation, et bien d'autres questions restent ouvertes dans le domaine des composés d'intercalation du graphite de métal alcalin (AM-GIC).Par conséquent, dans ce mémoire de thèse, nous avons mené une étude numérique approfondie sur à la fois le GIC-Li et le GIC-K la phase dense aux phases diluées en utilisant le formalisme de la théorie de la fonctionnelle de la densité (DFT). L'objectif de ce travail est de comprendre l'intercalation des AM (Li, Na et K) dans le graphite avec un accent particulier sur le régime dilué. Bien que notre outil DFT ait révélé que peu de calculs pouvaient être effectués avec Na en raison de son coût computationnel élevé, nous nous sommes concentrés sur Li et K pour lesquels des comportements différents sont rapportés dans les expériences. Utilisant l'outil DFT, nous avons montré que l'interaction entre Li et K dans la galerie du graphite n'est pas simplement électrostatique comme on l'a supposé jusqu'à présent. De plus, dans le régime dilué, les AM déforment localement la feuille de graphite pour éviter une surcompression par les atomes de carbone. Cette déformation structurelle est différente dans le graphite AB et AA. Nous avons utilisé cette différence structurelle observée entre le graphite AB et AA pour étayer la transition de l'empilement AB à l'empilement AA lors de l'intercalation de Li sur base des calculs d'énergie totale de la DFT.As humanity grapples with the pressing challenge of greenhouse gas emissions, the significance of sustainable energy solutions becomes increasingly evident. Lithium-ion (Li-ion) batteries, hailed as a promising avenue for electricity energy storage,which is critical for embedded electronics, electric transportation, and irregular production from renewable sources such as wind, geothermal, solar. e.t.c. However, their widespread adoption hinges on two main critical factors such as the non-availability of Li in the Earth’s crust and its difficulty in extraction. Hence, its supply may lead to future conflicts. Apart from these, Li-ion batteries are required to store more energy, that is, have better capacity and also charge quickly. Perhaps, the high capacity requirement of Li-ion batteries could possibly be met by investigating into the key components of Li-ion, specifically the Anode (negative) and Cathode (positive) electrodes. These electrodes host the Li-ions that move in opposite direction to electric current during charge and discharge. Within this framework, the study of graphite intercalation compounds (GICs) emerges as a pivotal field, offering insights into enhancing the capacity of specifically the Anode electrode where graphite is the host material, hence the name GIC.Basically, GIC which belongs to layered materials, involves the regular insertion of guest atoms, ions, or molecule between the layers of graphite. In the context of GIC, both theoretical and experimental work have been carried out in a bid to understand and tackle the challenges faced with Li-ion batteries. For instance, researchers have tried to explore the use other Alkali Metals (AM) which are readily available such as Na, and K as substitutes for Li. However, the formers seems to have reduced capacity, particularly in the case Na, where fully Sodiated compound has been known not to form. Furthermore, while fully Lithiated materials of Li-GIC have been well studied and characterized, phenomena at dilute or low concentration regime remains elusive. Similar to the case of Li, little or no information about the dilute regime has been known for K-GIC. In fact, K has been reported to occupy graphite gallery in a disordered manner without any established stoichiometry between C and K. Furthermore in this regime, questions like (i) the local environment evolution of AM as a function of concentration, (ii) the AM content at which pristine graphite stacking (AB or Bernal) transit to the fully lithiated (AA or hexagonal) stacking during lithiation,(iii) the mechanism driving intercalation, and many more are still open questions in the field of Alkali Metal Graphite Intercalation Compound (AM-GIC).Therefore in this thesis manuscript, we conducted an extensive numerical study on both Li-GIC and K-GIC from the dense phase to dilute phases using the Density Functional Theory (DFT) formalism. The aim of this work is to understand the intercalation of AM (Li, Na, and K) into graphite with a particular emphasis on the dilute regime. Although with our DFT tool, we realized that not much calculations could be performed with Na due to its computational cost. Therefore, we focused on Li and K for which different behavior is reported in experiments. Hence pointing to different mechanisms at the atomic scale that we aim to capture with our approach. Using the DFT tool, we have shown that the interaction between Li and K in the graphite gallery is not merely electrostatic as assumed so far. Furthermore in the dilute regime, AM locally deforms the graphite sheet to avoid an over-compression by C atoms. This structural deformation is different in AB and AA graphite. We have used this observed structural difference between AB and AA graphite to substantiate the transition from AB to AA stacking during Li intercalation based on the total energy calculations from DFT

Use of agent-based simulation and argumentation theory to better understand the diffusion and appropriation of digital tools in agriculture

La simulation à base d'agents est utilisée depuis longtemps pour étudier les dynamiques d'adoption et de diffusion d'innovations. Cependant, la grande majorité de ces travaux se limitent à une représentation abstraite et simplifiée de ce processus, ce qui ne permet pas d'expliquer les raisons du changement d'opinion d'un agent, élément pourtant fondamental pour comprendre la dynamique de la diffusion de l'innovation. Dans cette thèse, nous proposons un modèle générique, MIDAO, basé sur la théorie du comportement planifié et l'argumentation formelle, qui vise à aller plus loin dans ce domaine. Plus précisément, nous proposons un modèle dans lequel les agents, représentant les possibles adoptants, sont capables de construire leur opinion sur l'innovation à partir de leur connaissance, traduite sous la forme d'une ensemble d'arguments et de débattre avec les autres agents. L'utilisation de ce modèle générique est illustrée au travers de l'exemple de la problématique de l'adoption des compteurs d'eau communicants par les agriculteurs de la région du Louts, dans le sud-ouest de la France.Agent-based simulation has long been used to study the dynamics of innovation adoption and diffusion. However, the vast majority of this work is limited to an abstract and simplified representation of this process, which does not allow us to explain the reasons for an agent's change of opinion, a fundamental element for understanding the dynamics of innovation diffusion. In this thesis, we propose a generic model, MIDAO, based on the theory of planned behavior and formal argumentation, which aims to go further in this field. More specifically, we propose a model in which agents, representing possible adopters, are able to construct their opinion on the innovation from their knowledge, translated into a set of arguments, and to debate with other agents. The use of this generic model is illustrated through the example of the problem of the adoption of communicating water meters by farmers in the Louts region of south-west France

The overall performance of the public treasury of Côte d'Ivoire in a context of new public management

L’avènement de la nouvelle gestion publique à la fin des années 1979, a apporté une vision nouvelle dans le management des services publics. Initialement promue au Royaume-Uni, cette nouvelle gestion publique ou new public management a gagné les autres continents et pays, dans l’espoir de rendre les administrations plus performantes, grâce à l’usage des principes et outils de gestion des organisations privées. Même si le concept de performance reste difficile à définir, plusieurs travaux s’accordent à soutenir que la mise en œuvre de la nouvelle gestion publique n’a pas rendu les services publics plus performants. Elle a plutôt dénaturé les administrations publiques et occasionné une augmentation des coûts de production des services. Au vu de ces constats, des auteurs soutiennent que la nouvelle gestion publique devrait être abandonnée pour des systèmes de gestion plus appropriés à la recherche de performance globale. Malgré la pertinence de ces propos, la nouvelle gestion publique a trouvé depuis ces deux dernières décennies, un terrain fertile dans plusieurs pays africains, notamment ceux de l’espace de l’Union Économique et Monétaire Ouest Africaine (UEMOA). Le cas particulier de la Côte d’Ivoire est évocateur, car depuis 2011, la plupart de ses administrations publiques, dans le but d’améliorer leurs performances, ont vu en la nouvelle gestion publique un outil idéal. C’est le cas du Trésor Public qui a fondé sa recherche de performance globale sur les principes et outils de cette nouvelle gestion publique. Quelques années après l’opérationnalisation de cette stratégie, la construction d’un modèle de perception de la performance globale dans un contexte de recherche intervention, a montré que la nouvelle gestion publique a favorisé l’amélioration de la performance globale de l’institution, grâce à l’amélioration des performances organisationnelle et sociale. Mais malheureusement, elle n’a pas été favorable à l’amélioration de la performance économique et de la performance politique de cette institution. Ces résultats, qui augurent d’une performance inachevée, pourraient indiquer que la nouvelle gestion publique serait limitée dans la recherche de la performance économique et de la performance politique du Trésor Public. C’est pourquoi ses dirigeants devraient explorer de nouveaux systèmes de management public pour une performance équilibrée.The advent of new public management at the end of 1979 brought a new vision to the management of public services. Initially promoted in the United Kingdom, this new public management has spread to other continents and countries, in the hope of making administrations more efficient, thanks to the use of the principles and management tools of private organizations. Even if the concept of performance remains difficult to define, several studies agree to maintain that the implementation of new public management has not made public services more efficient, whatever the choice of definition made. Rather, it has distorted public administrations and caused an increase in the costs of producing services. In view of these findings, authors argue that the new public management should be abandoned for management systems more appropriate to the search for overall performance. Despite the relevance of these remarks, over the last two decades new public management has found fertile ground in several African countries, notably those in the West African Economic and Monetary Union (UEMOA) area. The particular case of Côte d'Ivoire is evocative, because since 2011, most of its public administrations, with the aim of improving their performance, have seen new public management as an ideal tool. This is the case of the Public Treasury which based its search for overall performance on the principles and tools of this new public management. Six years after the operationalization of this strategy, the construction of a model of perception of overall performance in an intervention research context, showed that the new public management has favored the improvement of the overall performance of the institution, through improved organizational and social performance. But unfortunately, it was not favorable to improving the economic performance and political performance of this institution. These results, which augur unfinished performance, could indicate that the new public management would be limited in the search for economic performance and political performance of the Public Treasury. This is why its leaders should explore new public management systems for balanced performance

CoqDRAM - Une Fondation pour la Conception de Contrôleurs de Mémoire Formellement Prouvés

Les contrôleurs mémoire temps-réel récemment proposés abordent le compromis entreperformance et prédictibilité en cherchant à offrir le meilleur des deux mondes. Cependant,en conséquence, les conceptions deviennent complexes et présentent souvent des développementsmathématiques qui sont longs, difficiles à lire et à examiner, incomplets, et reposent sur des hypothèses peu claires. Etant donné que de tels composants sont souvent conçus comme faisant partie de microarchitectures utilisées dans des systèmes temps réel critiques, un degré élevé de confiance dans le comportement correct du système est nécessairepour atteindre les objectifs de certification. Pour résoudre ce problème, nous proposons un nouveauframework, intitulé CoqDRAM, écrit dans l’assistant de preuves formelles Coq, dans lequel nousmodélisons les dispositifs DRAM et les contrôleurs et leur comportement attendu en tant que spécification formelle. Le framework est destiné à aider à la conception d’algorithmes d’ordonnancement DRAM corrects par construction et dignes de confiance. La spécification CoqDRAM capture les critères de correction selon les normes JEDEC et énonce d’autrespropriétés de haut niveau, telles que l’équité (fairness) et la cohérence séquentielle (sequential consistency).Suivant cette approche, les développements mathématiques sur papier-et-crayon sont remplacéspar des preuves vérifiées par machine, ce qui accroit la confiance que la conception est effectivement correcte. Nous présentons l’utilisabilité de Coq-DRAM en modélisant et en prouvant deux algorithmes d’ordonnancement de principe : l’un basé sur la politique d’arbitrage First-In First-Out (FIFO) et l’autre sur la multiplexage par répartition dans le temps (TDM). De plus, en utilisant CoqDRAM, nous proposons un nouvel algorithme d’ordonnancement DRAM appelé TDMShelf, qui étend et améliore les travaux précédents sur l’arbitrage work-conserving dynamique TDM. Plus précisément, TDMShelf exploite des informations sur l’état interne de la mémoire auniveau de l‘ordonnancement des requêtes mémoire, fournissant ainsi un bon équilibre entre prédictibilité et latence moyenne pour les systèmes temps réel à criticité mixte.Recently proposed real-time memorycontrollers tackle the performance-predictability tradeoffby trying to offer the best of both worlds. However,as a consequence, designs have become complexand often present mathematical developmentsthat are lengthy, hard to read and review, incomplete,and rely on unclear assumptions. Given thatsuch components are often designed as part microarchitecturesthat are used in safety-critical real-timesystems, a high degree of confidence that systemsbehave correctly is required in order to meet certificationgoals. To address that problem, we proposea new framework written in the Coq theorem provernamed CoqDRAM, in which we model DRAM devicesand controllers and their expected behaviour asa formal specification. The framework is intended toaid the design of correct-by-construction, trustworthyDRAM scheduling algorithms. The CoqDRAM specificationcaptures correctness criteria according to theJEDEC standards and states other high-level properties,such as fairness and sequential consistency. Followingsuch approach, paper-and-pencil mathematicaldevelopments are replaced by machine-checkedproofs, which increase confidence that the design isindeed correct.We showcase CoqDRAM’s usability bymodelling and proving two proof of concept schedulingalgorithms: one based on the First-in First-Out (FIFO) arbitration policy and the other on Time-Division Multiplexing (TDM). Moreover, using Coq-DRAM, we propose a new DRAM scheduling algorithmcalled TDMShelve, which extends and improvesprevious work on work-conserving dynamic TDM arbitration.More specifically, TDMShelve exploits informationabout the internal state of the memory at requestscheduling level, thus providing a good balancebetween predictability and average-case latency formixed-criticality real-time systems. Finally, we connectthe algorithms written in CoqDRAM to software andhardware simulation environments. These environmentsare used to perform simulation runs that furthervalidate the correctness of the CoqDRAM model