Mettre à jour des applications durant leur exécution est utilisé aussi bien en production pour réduire les temps d’arrêt des applications que dans des environnements de développement interactifs (IDE pour live programming). Toutefois, ces deux scénarios présentent des défis différents qui font que les solutions de mise à jour dynamique (DSU pour Dynamic Software Updating) existantes sont souvent spécifiques à l’un des deux. Par exemple, les DSUs pour la programmation interactives ne supportent généralement pas la détection automatique de points sûrs de mise à jour ni la migration d’instances, alors que les DSUs pour la production nécessitent une génération manuelle de l’ensemble des modifications et manquent d’intégration avec l’IDE. Les solutions existantes ont également une capacité limitées à se mettre à jour elles-mêmes ou à mettre à jour les bibliothèques de base du langage ; et certaines d’entre elles introduisent mêmle une dégradation des performances d’exécution en dehors du processus de mise à jour.Dans cette thèse, nous proposons un DSU (nommé gDSU) unifié qui fonctionne à la fois pour la programmation interactive et les environnements de production. gDSU permet la détection automatique des points sûrs de mise à jour en analysant et manipulant la pile d’exécution, et offre un mécanisme réutilisable de migration d’instances afin de minimiser les interventions manuelles lors de l’application d’une migration. gDSU supporte également la mise à jour des bibliothèques du noyau du langage et du mécanisme de mise à jour lui-même. Ceci est réalisé par une copie incrémentale des objets à modifier et une application atomique de ces modifications.gDSU n’affecte pas les performances globales de l’application et ne présente qu’une pénalité d’exécution lors processus de mise à jour. Par exemple, gDSU est capable d’appliquer une mise à jour sur 100 000 instances en 1 seconde. Durant cette seconde, l’application ne répond pas pendant 250 milli-secondes seulement. Le reste du temps, l’application s’exécute normalement pendant que gDSU recherche un point sûr de mise à jour qui consiste alors uniquement à copier les éléments modifiés.Nous présentons également deux extensions de gDSU permettant un meilleur support du développement interactif dans les IDEs : la programmation interactive transactionnelle et l’application atomique de reusinages (refactorings). / Updating applications during their execution is used both in production to minimize application downtine and in integrated development environments to provide live programming support. Nevertheless, these two scenarios present different challenges making Dynamic Software Update (DSU) solutions to be specifically designed for only one of these use cases. For example, DSUs for live programming typically do not implement safe point detection or insistance migration, while production DSUs require manual generation of patches and lack IDE integration. These sollutions also have a limited ability to update themselves or the language core libraries and some of them present execution penalties outside the update window.In this PhD, we propose a unified DSU named gDSU for both live programming and production environments. gDSU provides safe update point detection using call stack manipulation and a reusable instance migration mechanism to minimize manual intervention in patch generation. It also supports updating the core language libraries as well as the update mechanism itself thanks to its incremental copy of the modified objects and its atomic commit operation.gDSU does not affect the global performance of the application and it presents only a run-time penalty during the window. For example, gDSU is able to apply an update impacting 100,000 instances in 1 second making the application not responsive for only 250 milliseconds. The rest of the time the applications runs normally while gDSU is looking for a safe update point during which modified elements will be copied.We also present extensions of gDSU to support transactional live programming and atomic automactic refactorings which increase the usability of live programming environments.

L’objectif de cette thèse était d’étudier les fonctions exécutives dans la maladie de Parkinson et leurs implications dans la conduite automobile. Nous avons mesuré séparément les fonctions de flexibilité mentale et de mise à jour par des tests neuropsychologiques et des tâches sur simulateur de conduite. Nous avons fait l’hypothèse que ces fonctions étaient plus altérées chez les patients et que leurs déficits influençaient la performance de conduite. Trois études ont été réalisées : les deux premières sur simulateur et la dernière sur route avec un véhicule instrumenté. Les résultats de la première étude ont montré un déficit de la fonction de mise à jour chez les patients par rapport aux contrôles. La deuxième étude consistait à tester une seconde fois les conducteurs deux ans après la première étude. En deux ans, la fonction de flexibilité s’est dégradée chez les patients, suggérant que les deux fonctions étudiées ont évolué différemment : la mise à jour étant atteinte plus précocement dans la maladie. Les patients déclaraient également avoir restreint leur conduite. Les résultats de la troisième étude sur route ont permis d’identifier les conducteurs parkinsoniens à « risque » d'être dangereux, i.e. ceux ayant le plus de difficultés en conduite (évaluation conjointe de l’expérimentateur et du moniteur d’auto-école). Les conducteurs à « risque » avaient des performances plus faibles aux tests de mise à jour et de flexiblité par rapport aux conducteurs parkinsoniens sécuritaires. L’ensemble de ces travaux mettent en évidence le rôle essentiel de la mise à jour et de la flexibilité mentale dans la conduite automobile chez des personnes atteintes de la maladie de Parkinson. / The objective of this thesis was to investigate executive functions in Parkinson’s disease and their implications on driving. We have chosen to separately assess mental flexibility and updating information in working memory by neuropsychological tests and driving simulator tasks. We tested the hypothesis that these two executive functions were impaired in patients and that their deficits influenced the driving performance. Three studies were realised: the first two used the driving simulator and the last was performed on-road with an instrumented vehicle. Results of the first study have shown an updating impairment in patients compared to controls. The second study consisted of assessing the drivers a second time two years after the first study. In two years, the flexibility function declined in patients, suggesting that the two selected functions did not change in a similar way: updating is affected earlier in the disease than mental flexibility. Also, patients declared to have restricted their driving. Results of the third on-road study allowed us to identify “at-risk” drivers with Parkinson’s disease, that is to say those having the most driving difficulties (assessment from both experimenter and a driving instructor). At-risk drivers had poorer performances in updating and flexibility tasks compared to “safe” drivers. All of these studies emphasised the essential role of updating and mental flexibility in driving in people with Parkinson’s disease.

L'accroissement de la précision des techniques de géodésie spatiale et d'astrométrie globale donnant accès à l'orientation terrestre et l'amélioration des systèmes de référence céleste et terrestre requièrent, pour un meilleur profit scientifique, de réaliser une modéli-sation plus précise de la rotation de la Terre. Dans ce but, l'Union Astronomique Internationale a recommandé en août 2000 une paramétrisation plus fine de la rotation terrestre. La première partie de cette thèse est consacrée à la mise en oeuvre des recommandations, dont l'entrée en vigueur était le 1er janvier 2003 et au calcul des modèles adaptés à la nouvelle représentation astrométrique basée sur l'Origine Non-Tournante~: coordonnées célestes du pôle intermédiaire (CIP) et quantité donnant la position de l'Origine Non-Tournante dans le repère céleste (CEO). Les calculs sont basés sur le nouveau modèle de précession-nutation IAU2000A et sur les récentes estimations des paramètres de raccordement des repères de référence (Capitaine, Chapront, Lambert & Wallace 2003, A&A). Une première modélisation de la quantité $s'$ donnant le déplacement de l'origine des longitudes dans le repère terrestre est également réalisée à partir du mouvement du pôle observé (Lambert & Bizouard 2002, A&A). Les couches fluides externes (atmosphère et océans) jouent un rôle majeur dans la partie non-prédictible de la rotation de la terre. Dans la seconde partie de cette thèse, un bilan de ces effets sur les paramètres d'orientation de la Terre est réalisé à partir des données météorologiques les plus récentes. Outre la contribution moyenne de l'atmosphère et de l'océan sur les périodes de temps couvertes par les séries, nous avons étudié la variabilité temporelle de l'excitation périodique et nous montrons sa forte corrélation avec les variations des amplitudes observées dans le mouvement du pôle et la longueur du jour. L'excitation des nutations par les couches fluides reste délicate à estimer en raison de la qualité médiocre des données météorologiques dans le domaine diurne, de l'ordre de grandeur très faible de ces effets et de la forte variabilité de l'excitation. Nous montrons aussi que le moment cinétique de l'atmosphère est affecté par le moment de force lunisolaire, donnant un effet sur la précession de la Terre solide dont la valeur est supérieure à la précision des observations actuelles (Bizouard & Lambert 2001, P&SS). Dans le cadre de l'implémentation du modèle de précession-nutation IAU2000A, il est devenu nécessaire de considérer tous les effets sur l'orientation terrestre dont les amplitudes atteignent quelques dizaines de microsecondes d'arc. Parmi eux, il y a ceux provoqués sur les nutations par les variations de l'ellipticité dynamique de la Terre. Ces dernières induisent, par conservation du moment cinétique de la Terre solide, des changements dans la vitesse de rotation et sont déjà prises en compte dans le Temps Universel (UT1). Elles sont modélisées pour des modèles de Terre plus ou moins raffinés. L'effet de telles variations sur les nutations a été évalué plus récemment sous plusieurs approches présentant des résultats disparates. Dans la troisième partie de cette thèse, nous élucidons les différences et nous déterminons un modèle exhaustif pour une Terre réelle permettant de corriger les angles de nutation (Lambert & Capitaine 2004, A&A).

La Programmation Orientée Langage est un paradigme de programmation qui tente, par la technique de méta-programmation, de changer les habitudes des développeurs de systèmes informatiques en leur permettant de "travailler en termes de concepts et notions du problème à résoudre, au lieu d'être toujours obligés de traduire leurs idées aux notions qu'un langage généraliste est capable de comprendre" (Ward et Sergey). Le développement de logiciels passe de ce fait par la conception de langages dédiés : on définit un ou plusieurs langages qui capturent les caractéristiques du domaine étudié, puis on écrit les applications visées en utilisant ces langages. Dans cette thèse, nous proposons une démarche méthodologique de développement logiciel reposant sur ce concept. Il s'agit de conduire la même démarche méthodologique au niveau des langages que ce qui est classiquement fait au niveau des composants logiciels. En l'occurrence, nous utilisons le formalisme des grammaires attribuées pour tenter de répondre à la question suivante : comment peut-on créer de nouveaux langages par composition de langages réutilisables existants ? Nous tirons profit de leur traduction en algèbres de combinateurs fonctionnels pour définir des spécifications exécutables de langages dédiés (vus comme composants logiciels), plongés dans le langage fonctionnel pur Haskell. \' partir d'exemples significatifs d'extension et de réutilisation de langages dédiés (par stratification de ceux-ci, ou par changement de monade), nous proposons un typage de langages dédiés en vue de leur assemblage et leur réutilisation. Pour illustrer cette démarche, nous décrivons un langage dédié (bibliothèque de combinateurs) pour l'édition de documents structurés. Un document y est représenté par un zipper attribué, une structure arborescente localisable, représentant un arbre et son contexte, et caractérisée par une grammaire attribuée. L'édition consiste alors à la modification interactive de cette structure ; ce qui entraîne une réévaluation totale ou partielle des attributs. L'édition peut aussi être réalisée à travers une vue abstraite obtenue par projection de la structure concrète. Ce qui pose le problème de \textit, un problème familier de la communauté des bases de données, auquel nous donnons une solution grâce à nos combinateurs d'éditeurs.

Vues de sécurité xml : requêtes, mises à jour, et schémas. Les évolutions technologiques ont consacré l'émergence des services web et du stockage des données en ligne, en complément des bases de données traditionnelles. Ces évolutions facilitent l'accès aux données, mais en contrepartie soulèvent de nouvelles problématiques de sécurité. La mise en œuvre de politiques de contrôle d'accès appropriées est une des approches permettant de réduire ces risques.Nous étudions ici les politiques de contrôle d'accès au niveau d'un document XML, politiques que nous modélisons par des vues de sécurité XML (non matérialisées) à l'instar de Fan et al. Ces vues peuvent être représentées facilement par des alignements d'arbres grâce à l'absence d'opérateurs arithmétiques ou de restructuration. Notre objectif est par conséquent d'examiner comment manipuler efficacement ce type de vues, à l'aide des méthodes formelles, et plus particulièrement des techniques de réécriture de requêtes et la théorie des automates d'arbres. Trois directions principales ont orienté nos recherches: nous avons tout d'abord élaboré des algorithmes pour évaluer l'expressivité d'une vue, en fonction des requêtes qui peuvent être exprimées à travers cette vue. Il s'avère que l'on ne peut décider en général si une vue permet d'exprimer une requête particulière, mais cela devient possible lorsque la vue satisfait des hypothèses générales. En second lieu, nous avons considéré les problèmes soulevés par la mises à jour du document à travers une vue. Enfin, nous proposons des solutions pour construire automatiquement un schéma de la vue. En particulier, nous présentons différentes techniques pour représenter de façon approchée l'ensemble des documents au moyen d'une DTD.

Une nouvelle approche, en utilisant un 3D code électromagnétique (PIC), est présentée pour étudier la sensibilité de la magnétosphère de la terre à la variabilité du vent solaire. Commençant par un vent solaire empiétant sur une terre magnétisée, le temps a été laissé au système ainsi une structure d'état d'équilibre de la magnétosphère a été atteinte. Une perturbation impulsive a été appliquée au système par changeant la vitesse du vent solaire pour simuler une dépression en sa pression dynamique, pour zéro, au sud et du nord du champ magnétique interplanétaire(IMF). La perturbation appliquée, un effet de trou d'air qui pourrait être décrit comme espace ~15Re est formé pour tous les cas d'état de IMF. Dès que le trou d'air a frappé le choc d'arc initial de la magnétosphère régulière, une reconnexion entre le champ magnétique de la terre et le IMF sud a été notée à la coté jour magnétopause(MP). Pendant la phase d'expansion du système, la frontière externe de la coté jour du MP a enfoncé quand IMF=0, et pourtant elle sa forme de balle quand un IMF au sud et nordique étaient inclus. La relaxation de temps du MP pour les trois cas de IMF a été étudiée. Le code est alors appliqué pour étudier l'événement d'Halloween de l'octobre 2003. Notre simulation a produit un nouveau genre de trou d'air, un espace raréfié qui a été produit après un gradient fort en IMF d'empiétement. Un tel dispositif est tout à fait semblable aux anomalies chaudes observées d'écoulement et peut avoir la même origine

Cette thèse s'intéresse aux évènements et aux ordonnancements d'évènements se produisant au sein de réseaux d'éléments conceptuels prédéterminés. Dans ces réseaux, les éléments, appelés plutôt "automates", s'incitent les uns les autres à changer d'état en accord avec des règles prédéfinies qui, précisément, définissent le (fonctionnement du) réseau. Lorsqu'un automate se conforme effectivement aux influences qu'il reçoit de la part des autres, on dit que son état est mis à jour. Les évènements élémentaires considérés sont les changements d'états des automates. Définir un mode de mise à jour pour l'ensemble des automates d'un réseau permet de sélectionner certains évènements parmi l'ensemble de ceux qui sont a priori possibles. Cela permet aussi d'organiser et d'ordonner les évènements les uns par rapport aux autres de façon, par exemple, à imposer que des évènements indépendants se produisent simultanément ou simplement, de manière assez rapprochée pour qu'aucun autre événement ne puisse se produire pendant leur occurrence. Informellement, les modes de mise à jour peuvent donc être interprétés comme l'expression d'influences extérieures au réseau interdisant certains changements, ou alors comme la formalisation d'une version relâchée et relative de l'écoulement de temps. Cette thèse propose d'étudier leur influence sur le comportement des réseaux. Et afin de distinguer cette influence de celle de la structure des réseaux, elle commence par mettre en évidence le rôle de certains motifs structurels. Après ça, elle s'intéresse en particulier à l'information "encodée" dans une séquence de mises à jour et à l'impact du synchronisme dans celles-ci.

La mémoire épisodique donne la capacité de voyager mentalement dans son propre passé. En cela,elle permet de faire fi du temps qui passe pour pouvoir revivre des événements passés. Ce travail dethèse évalue l’hypothèse selon laquelle la mémoire épisodique et la sensation de revivre un événementpassé (i.e., conscience autonoëtique) sont basées sur une fluence dans la reconstruction de l’épisode,reconstruction impliquant une mise à jour égocentrée. Cette proposition est développée dans le modèlede Gomez et collaborateurs (Gomez, Rousset & Baciu, 2009) qui propose que la mise à jourégocentrée permette de ré-instancier un point de vue spatialisé égocentré sur l’évènement remémoré.Ce travail de thèse a amené de nouveaux arguments en faveur de ce modèle, en évaluant à la foisl’approche attributionnelle de la mémoire épisodique et le lien fonctionnel entre la mise à jourégocentrée en ligne et la mémoire épisodique. Une première série d’études met en évidence uneinfluence de la fluence du processus de mise à jour égocentrée sur la conscience autonoëtique.L’augmentation artificielle de la fluence de mise à jour égocentrée, lors de la reconnaissance,augmente le sentiment de conscience autonoëtique et ce uniquement lorsque la reconnaissanceimplique une reconstruction. Une seconde série d’études permet de mettre en évidence un effetd’interférence du processus de mise à jour égocentrée en ligne sur la récupération épisodique.Actualiser sa position dans l’espace lors d’un déplacement a beau être un processus automatique, celaralentit spécifiquement le rappel de source. Enfin, une étude impliquant des patients atteints de lamaladie d’Alzheimer, met en évidence une dissociation entre les compétences en mise à jourégocentrée chez ces patients. Ces résultats sont discutés dans le cadre du modèle de Gomez etcollaborateurs et en regard d’une conception incarnée et située de la cognition. / Episodic memory makes it possible to mentally travel back in our own past; it breaks the law of theunidirectionality of time, and allows us to mentally relive past events. The main goal of this work wasto investigate whether episodic memory and the subjective feeling of reliving a past event (i.e.,autonoetic consciousness) arise from the fluency of the reconstruction process of the event. Thisreconstruction would involve the process of egocentric spatial updating with self-motion. Thishypothesis was first developed in Gomez and colleagues' model (Gomez, Rousset, & Baciu, 2009) thatsuggests that egocentric updating re-instances an egocentric spatial point of view on the rememberedevent. The present work brings additional behavioral evidences to this model by assessing both theconception of attributional episodic memory and the functional link between online egocentricupdating with self-motion and episodic memory. A first set of studies showed that enhancingartificially the fluency of the egocentric updating process, during the recognition phase, increasedautonoetic consciousness. Moreover, such phenomenon only happened when recognition involved areconstruction process. A second set of studies showed that performing an online egocentric updatingwith self-motion interfered with remembering. Although the updating of its own position though selfmotionis automatic, it specifically slows down source recall. Finally, a last study showed adissociation between preservations of and deficits of egocentric spatial updating abilities in patientssuffering from Alzheimer's disease. The results of these studies are discussed in the context of Gomezand colleagues' model, and in terms of embodied and situated cognition.

La France présente une grande diversité de conditions pédoclimatiques et par conséquent des systèmes d'élevage très variés. Pourtant, les schémas de sélection actuels en bovins laitiers considèrent que les meilleurs reproducteurs sont les mêmes quel que soit le type de système d'élevage, c'est-à-dire qu'il n'existe pas d'interactions Génotype*Milieu. L'objectif de cette thèse est de mesurer les interactions Génotype*Milieu en France sur les caractères laitiers et fonctionnels dans les 3 races bovines laitières principales (Normande, Montbéliarde, Holstein).Un point crucial dans ce type d'étude est la façon de définir le milieu. L'innovation de cette thèse est l'utilisation des profils Troupeau-Jour de Contrôle. Ce sont des coproduits du modèle génétique basé sur les contrôles élémentaires. Ils reflètent la production permise par la conduite de troupeau au cours du temps. Ils présentent l'avantage d'être disponibles à partir des bases de données nationales et d'être uniquement le reflet de la conduite, contrairement à d'autres définitions qui mêlent effet génétique et effet d'environnement au sein de la définition du milieu ou qui se focalisent sur certains points précis de la conduite sans prendre en compte son effet global. La description des profils Troupeau-Jour de Contrôle de plus de 15000 élevages normands, montbéliards et holsteins par des méthodes de lissage de séries temporelles, d'analyses factorielles et de classification a permis de créer 2 définitions du milieu en vue de l'étude des interactions Génotype*Milieu : des milieux définis comme des groupes d'élevages aux conduites distinctes ou un milieu défini comme un continuum à travers une ou des variables synthétiques.L'importance des interactions Génotype*Milieu a été estimées à partir de 2 types de modèles : un modèle multicaractères qui valorise la définition du milieu sous forme de groupes d'élevages et un modèle de norme de réaction qui valorise, quant à lui, le milieu défini comme un continuum. Les avancées méthodologiques proposées dans cette thèse concernent les modèles de normes de réaction. Des approches permettant de prendre en compte plusieurs variables d'environnement au sein d'un même modèle et de les résumer au sein d'une matrice génétique de rang réduit sont mises en avant.Aucun reclassement n'a été mis en évidence : les meilleurs reproducteurs sont les mêmes quel que soit le système d'élevage. Les schémas des sélections actuels sont donc performants. Il existe tout de même une interaction Génotype*Milieu significative sous forme d'effet d'échelle : la variabilité des valeurs génétiques des animaux est plus importante dans les systèmes d'élevage plus intensifs. Cet effet d'échelle ne sera pas pris en compte dans les modèles d'évaluation génétique, en revanche, il est possible d'imaginer un indicateur utilisable sur le terrain pour mesurer les écarts de performances, dus à cet effet, auxquels il faut s'attendre.

La mémoire épisodique donne la capacité de voyager mentalement dans son propre passé. En cela,elle permet de faire fi du temps qui passe pour pouvoir revivre des événements passés. Ce travail dethèse évalue l’hypothèse selon laquelle la mémoire épisodique et la sensation de revivre un événementpassé (i.e., conscience autonoëtique) sont basées sur une fluence dans la reconstruction de l’épisode,reconstruction impliquant une mise à jour égocentrée. Cette proposition est développée dans le modèlede Gomez et collaborateurs (Gomez, Rousset & Baciu, 2009) qui propose que la mise à jourégocentrée permette de ré-instancier un point de vue spatialisé égocentré sur l’évènement remémoré.Ce travail de thèse a amené de nouveaux arguments en faveur de ce modèle, en évaluant à la foisl’approche attributionnelle de la mémoire épisodique et le lien fonctionnel entre la mise à jourégocentrée en ligne et la mémoire épisodique. Une première série d’études met en évidence uneinfluence de la fluence du processus de mise à jour égocentrée sur la conscience autonoëtique.L’augmentation artificielle de la fluence de mise à jour égocentrée, lors de la reconnaissance,augmente le sentiment de conscience autonoëtique et ce uniquement lorsque la reconnaissanceimplique une reconstruction. Une seconde série d’études permet de mettre en évidence un effetd’interférence du processus de mise à jour égocentrée en ligne sur la récupération épisodique.Actualiser sa position dans l’espace lors d’un déplacement a beau être un processus automatique, celaralentit spécifiquement le rappel de source. Enfin, une étude impliquant des patients atteints de lamaladie d’Alzheimer, met en évidence une dissociation entre les compétences en mise à jourégocentrée chez ces patients. Ces résultats sont discutés dans le cadre du modèle de Gomez etcollaborateurs et en regard d’une conception incarnée et située de la cognition. / Episodic memory makes it possible to mentally travel back in our own past; it breaks the law of theunidirectionality of time, and allows us to mentally relive past events. The main goal of this work wasto investigate whether episodic memory and the subjective feeling of reliving a past event (i.e.,autonoetic consciousness) arise from the fluency of the reconstruction process of the event. Thisreconstruction would involve the process of egocentric spatial updating with self-motion. Thishypothesis was first developed in Gomez and colleagues' model (Gomez, Rousset, & Baciu, 2009) thatsuggests that egocentric updating re-instances an egocentric spatial point of view on the rememberedevent. The present work brings additional behavioral evidences to this model by assessing both theconception of attributional episodic memory and the functional link between online egocentricupdating with self-motion and episodic memory. A first set of studies showed that enhancingartificially the fluency of the egocentric updating process, during the recognition phase, increasedautonoetic consciousness. Moreover, such phenomenon only happened when recognition involved areconstruction process. A second set of studies showed that performing an online egocentric updatingwith self-motion interfered with remembering. Although the updating of its own position though selfmotionis automatic, it specifically slows down source recall. Finally, a last study showed adissociation between preservations of and deficits of egocentric spatial updating abilities in patientssuffering from Alzheimer's disease. The results of these studies are discussed in the context of Gomezand colleagues' model, and in terms of embodied and situated cognition.