Ce travail se situe dans le cadre de la modélisation aléatoire pour la sûreté de fonctionnement des systèmes réparables. Nous considérons des systèmes soumis à des maintenances correctives et préventives conditionnelles. La principale problématique que nous traitons est de modéliser conjointement la dépendance entre les deux types de maintenances en utilisant le cadre des risques concurrents et l'efficacité des maintenances imparfaites en utilisant le principe des âges virtuels. Dans ce cadre, nous proposons des modèles de maintenance imparfaite pour des systèmes présentant une période de jeunesse. Dans un premier temps, nous proposons un nouveau modèle de risques concurrents classique, le modèle alert-delay, qui permet de prendre en compte la dépendance entre les deux types de maintenances. Ses propriétés originales permettent d'analyser certains jeux de données pour lesquels aucun modèle usuel n'était adapté. Dans un deuxième temps, nous présentons plusieurs classes de modèles de risques concurrents généralisés: nous généralisons les modèles classiques en tenant compte du passé afin de caractériser l'efficacité des maintenances et la réactivité des équipes de maintenance. Enfin, nous présentons une classe générale de modèles de maintenance imparfaite pour des systèmes présentant une période de jeunesse. Jusqu'à présent, les modèles n'étaient adaptés qu'aux systèmes se dégradant continûment. Deux modèles particuliers sont alors étudiés plus en détail. Dans chacune de ces parties, les modèles proposés sont appliqués à des jeux de données issus de l'industrie.

Contexte : Dans les analyses de survie, un risque concurrent est un événement qui empêche l'observation de l'événement d'intérêt (le décès le plus souvent). Si la probabilité de survenue d'un risque concurrent dépend de la probabilité de l'événement d'intérêt, alors il ne peut pas être traité comme une censure. Les patients ayant une insuffisance rénale chronique terminale peuvent être traités par hémodialyse, dialyse péritonéale et greffe rénale. Ces traitements sont complémentaire et les patients peuvent passer d'une modalité de traitement à une autre au cours de leur prise en charge. La dépendance entre les changements de traitement et la probabilité de décès n'a pas été étudiée et ces changements sont traités comme des censures dans les analyses de survie.Objectifs : Analyser la dépendance entre les probabilités de décès en dialyse et de greffe rénale, et entre les probabilités de décès en dialyse péritonéale et de transfert en hémodialyse. Nous démontrerons les conséquences néfastes de la non-prise en compte de cette dépendance dans les analyses de survie en dialyseMéthodes : (1) Nous avons comparé les estimations de probabilité d'événement obtenues par la méthode de Kaplan-Meier et la méthode de Kalbfleisch et Prentice sur 383 patient indicent consécutifs traités par dialyse péritonéale à Lille. (2) Nous avons analysé les données de 7318 patients incidents traités par hémodialyse en France grâce au registre national REIN. Nous avons utilisé un modèle multi-états pour analyse l'influence de l'inscription sur liste d'attente de greffe sur la probabilité de décès en dialyse. (3) Sur une cohorte de 2790 patients âgés de plus de 65 ans et traités par dialyse péritonéale issus du Registre de Dialyse Péritonéale de Langue Française (RDPLF), nous avons analysé les facteurs de contre-indication au transfert en HD en prenant en compte le décès comme risque concurrent à l'aide du modèle de Fine et Gray. Cette analyse a été complétée par un questionnaire réalisé auprès 55 des néphrologues pratiquant la dialyse péritonéale en France. Résultats : (1) La méthode de Kaplan Meier surestimait systématiquement la probabilité de décès du fait de la violation de l'hypothèse d'indépendance entre le décès et les risques concurrents. Cette méthode n'apparaît donc pas valide dans les analyses de survie en dialyse. La méthode de Kalbfleisch et Prentice était valide mais l'interprétation des incidences cumulées doit prendre en compte tous les risques concurrents. (2) La greffe rénale est un risque concurrent dépendant de la probabilité de décès des patients. Les patients inscrits sur liste d'attente de greffe avaient un risque de décès significativement plus bas que les autres patients, après ajustement sur l'âge et la présence de comorbidités. (3) Le transfert en hémodialyse est un risque concurrent qui semble dépendre de la probabilité de décès des patients. En effet, l'âge et la présence de comorbidités étaient à la fois des facteurs de risque de décès et des facteurs de contre-indications au transfert en hémodialyse. De plus, la plupart des néphrologues ayant répondu à notre enquête ont déclaré qu'une espérance de vie limitée pouvait constituer une contre-indication au transfert. Conclusion : Dans les études de cohorte de patients en insuffisance rénale chronique terminale, les analyses de survie devraient prendre en compte les changements de traitement car ce sont des risques concurrents dépendants de la probabilité de décès. Notre travail a montré que les modèles multi-états sont des outils statistiques flexibles qui permettent de bien représenter l'inter-dépendance entre les différentes modalités de traitement entre dialyse péritonéale, hémodialyse, greffe rénale et décès.

Durant leur exécution, les systèmes concurrents manipulent diverses ressources dynamiques en nombre : fichiers, liens de communication, mémoire, etc. Les propriétés comportementales de ces systèmes sont alors étroitement liées aux manipulations de ces ressources qu'ils allouent, utilisent, puis détruisent. Nous proposons dans cette thèse une analyse quantitative, effectuée de manière statique, de ce type de ressources pour les systèmes concurrents et dynamiques. Les systèmes que l'on considère peuvent être des programmes concurrents et parallèles (le langage Piccolo développé dans le cadre de ce travail en est un exemple), ou encore la modélisation de systèmes plus généraux. Pour atteindre cette généricité, notre travail repose fortement sur les algèbres de processus, et plus particulièrement sur le pi-calcul pour lequel nous proposons une variante sémantique ainsi que plusieurs abstractions adaptées à l'observation des ressources en particulier. Le socle théorique de notre analyse est présenté sous la forme d'un nouveau type d'automates nominaux : les nu-automates. Ils permettent de raisonner spécifiquement sur les ressources dynamiques, tant pour caractériser les notions quantitatives de consommation en ressources que pour de futures analyses qualitatives. À partir de ce formalisme nous réalisons ensuite un ensemble d'algorithmes ayant pour but de mettre en oeuvre les résultats introduits sur les nu-automates. Enfin, nous proposons plusieurs expérimentations, sur la base d'exemples classiques du pi-calcul, de notre prototype d'analyse de ressources. / Concurrent activities involve undoubtedly many dynamic resources manupulations: files, communication links, memory, etc. Then, the behavioral properties of such systems are closely linked to their usage of those resources that they allocate, use, and finally destroy. In this work, we develop a quantitative static analysis of concurrent and parallel systems for this kind of resources. Systems that we consider can be concurrent and parallel programs (written for example in the Piccolo programming language which was developped during this thesis), or models descriptions of more general systems. To be generic, our work lies on process algebra, specifically pi-calculs for which we propose a variant semantics in addition to several resources abstractions strategies. The underlying theory is developped as a nominal automata framework (namely the nu-automata). They allow one to reason about dynamic resources usage to charaterize both quantitative and qualitative properties. From this formalism we establish an algorithmic framework that enforce the qualitative results defined on nu-automata. Finally, our resources abstractions and resources analysis are tested experimentally on classical pi-calculus examples using our prototype analysis tool.

Le droit de l'aménagement du territoire, en régissant la disposition des activités humaines sur le territoire, est l'un des outils mobilisés par l'État pour protéger l'environnement. En droit constitutionnel particulièrement, l'aménagement du territoire se situe aux premières loges des tensions entre d'un côté, les intérêts économiques nationaux de compétences fédérales, et de l'autre, les intérêts locaux en environnement de compétences provinciales déléguées au municipal. Ces tensions résultent bien souvent en des conflits des normes, qui sont fréquemment judiciarisés. Le présent mémoire sonde la place accordée par les juges à l'intérêt local en aménagement du territoire, en situation de conflit de normes entre un règlement municipal et une loi fédérale. Il s'intéresse à la manière dont est défini et appliqué le concept de subsidiarité, son critère de l'efficacité (ou d'incapacité locale) et ses effets sur la protection des intérêts locaux en aménagement du territoire. Cette analyse mobilise plus largement les doctrines, théories ou critères qui structurent l'interprétation judiciaire du partage des compétences notamment, le fédéralisme (classique et moderne), la prépondérance fédérale et l'intérêt national. À ce jour, la Cour suprême du Canada propose une approche fonctionnelle du partage constitutionnel des compétences, particulièrement dans le domaine de l'aménagement du territoire. Le critère de l'efficacité législative, emprunté au discours économique et central à l'approche fonctionnelle, est dès lors intégré aux raisonnements juridiques de la Cour. Or, si le droit est pénétré d'une logique d'efficacité, c'est entre autres qu'il est imprégné d'une pensée juridique postmoderne. En effet, la multiplication des îlots producteurs de droit, en tension entre concurrence et interdépendance des pouvoirs, caractéristique des nouveaux visages du droit (et de l'État), d'un droit postmoderne, conduisent à questionner les conditions d'existence de certains principes juridiques, notamment, la subsidiarité. Le principe de subsidiarité, une « composante » du fédéralisme canadien, signifie qu'une intervention de l'État central est légitime qu'en cas d'insuffisance des dispositifs locaux. En plaçant l'intérêt local sous les projecteurs, la subsidiarité se situe au cœur d'une pensée juridique postmoderne, qui repose sur le pluralisme juridique. Pourtant, la tendance jurisprudentielle actuelle de la Cour suprême en matière de partage des compétences est de donner préséance à une centralisation des pouvoirs au profit d'une union économique canadienne efficace. Ce choix implique des sacrifices parmi lesquels est compté l'intérêt local en aménagement territoire et en environnement de proximité.

À l’heure de l’ouverture internationale et de la globalisation, le fédéralisme fait l’objet d’un intérêt particulier en proposant une solution à la protection de la diversité dans une certaine unité. Malgré les nombreuses références qui en sont faites, la doctrine francophone ne permet pas de constater de définition unanime. À côté de cela, la doctrine anglo-saxonne ne propose pas non plus de définition identique. Ce travail vise donc à s’appuyer, compléter et approfondir les définitions déjà posées pour tenter de proposer une grille de lecture du fédéralisme en s’interrogeant sur l’existence d’un modèle fédératif qui permettrait d’offrir une définition du fédéralisme. À travers l’étude de caractères structurants du fédéralisme comme l’organisation des compétences législatives, exécutives ou financières, le Pacte fédératif, la souveraineté, la subsidiarité et la recherche d’équilibre dans trois Fédérations que sont le Canada, les États-Unis et le Brésil, cette thèse réfute l’existence d’un modèle fédératif tout en considérant l’existence d’outils fédératifs, invariants composant ces trois Fédérations étudiées. / In this time of international openness and globalisation, federalism is a very interesting solution in order to protect diversity in unity. Despite a lot of references made to this concept, the french speaking doctrine does not provide an identical definition and neither does the english one. This thesis aims to base, complete and increase the existing definitions and to attempt a proposal of an analysis grid of federalism, questionning on the reality of a federative model which could allow a proposal of a definition of federalism. Through the study of the hallmarks of federalism as distribution of legislative, executive and financial powers, the federative Pact (agreement), sovereignty, subsidiarity and the balance of powers in the Canadian, American and Brazilian federations, this thesis denies the reality of a federative model but considers the reality of federative tools, invariants components of these three federations.

Ce travail a eu pour objectif de proposer des méthodes statistiques pour évaluer et comparer les capacités prédictives de divers outils pronostiques. Le Brier score et principalement les courbes ROC dépendant du temps ont été étudiés. Tous deux dépendent d'un temps t, représentant un horizon de prédiction. Motivé par les applications à la prédiction de la démence et des données de cohortes de personnes âgées, ce travail s'est spécifiquement intéressé à des procédures d'inférence en présence de données censurées et de risques concurrents. Le risque concurrent de décès sans démence est en effet important lorsque l'on s'intéresse à prédire une démence chez des sujets âgés. Pour obtenir des estimateurs consistants, nous avons utilisé une méthode appelée “Inverse Probability of Censoring Weighting” (IPCW). Dans un premier travail, nous montrons qu'elle permet d'étendre simplement les estimateurs pour données non censurées et de prendre en compte une censure éventuellement dépendante de l'outil pronostique étudié. Dans un second travail, nous proposons des adaptations pour les situations de risques concurrents. Quelques résultats asymptotiques sont donnés et permettent de dériver des régions de confiance et des tests de comparaison d'outils pronostiques. Enfin, un troisième travail s'intéresse à la comparaison d'outils pronostiques dynamiques, basés sur des marqueurs longitudinaux. Les mesures de capacités pronostiques dépendent ici à la fois du temps s auquel on fait la prédiction et de l'horizon de prédiction t. Des courbes de capacités pronostiques selon s sont proposées pour leur évaluation et quelques procédures d'inférence sont développées, permettant de construire des régions de confiance et des tests de comparaison de ces courbes. L'application des méthodes proposées a permis de montrer que des outils prédictifs de la démence basés sur des tests cognitifs ou des mesures répétées de ces tests ont de bonnes capacités pronostiques. / The objective of this work is to develop statistical methods that can be used to evaluate and compare the prognostic ability of different prognostic tools. To measure prognostic ability, mainly the time-dependent ROC curve is studied and also the Brier score for a prediction horizon t. Motivated by applications where the aim is to predict the risk of dementia in cohort data of elderly people, this work focuses on inference procedures in the presence of right censoring and competing risks. In elderly populations death is a highly prevalent competing risk. To define consistent estimators of the prediction ability measures, we use the inverse probability of censoring weighting (IPCW) approach. In our first work, we show that the IPCW approach provides consistent estimators of prediction ability based on right censored data, even when the censoring distribution is marker-dependent. In our second work, we adapt the estimators to settings with competing risks. Asymptotic results are provided and we derive confidence regions and tests for comparing different prognostic tools. Finally, in a third work we focus on comparing dynamic prognostic tools which use information from repeated marker measurements to predict future events. The prognostic ability measures now depend on both the time s at which predictions are made and on the prediction horizon t. Curves of the prognostic ability as a function of s are developed for the evaluation of dynamic risk predictions. Inference procedures are adapted and so are confidence regions and tests to compare the curves. The applications of the proposed methods to cohort data show that the prognostic tools that use cognitive tests, or repeated measurements of cognitive tests, have high prognostic abilities.

Les applications data-intensive sont largement utilisées au sein de domaines diverses dans le but d'extraire et de traiter des informations, de concevoir des systèmes complexes, d'effectuer des simulations de modèles réels, etc. Ces applications posent des défis complexes tant en termes de stockage que de calcul. Dans le contexte des applications data-intensive, nous nous concentrons sur le paradigme MapReduce et ses mises en oeuvre. Introduite par Google, l'abstraction MapReduce a révolutionné la communauté intensif de données et s'est rapidement étendue à diverses domaines de recherche et de production. Une implémentation domaine publique de l'abstraction mise en avant par Google, a été fournie par Yahoo à travers du project Hadoop. Le framework Hadoop est considéré l'implémentation de référence de MapReduce et est actuellement largement utilisé à des fins diverses et sur plusieurs infrastructures. Nous proposons un système de fichiers distribué, optimisé pour des accès hautement concurrents, qui puisse servir comme couche de stockage pour des applications MapReduce. Nous avons conçu le BlobSeer File System (BSFS), basé sur BlobSeer, un service de stockage distribué, hautement efficace, facilitant le partage de données à grande échelle. Nous étudions également plusieurs aspects liés à la gestion des données intermédiaires dans des environnements MapReduce. Nous explorons les contraintes des données intermédiaires MapReduce à deux niveaux: dans le même job MapReduce et pendant l'exécution des pipelines d'applications MapReduce. Enfin, nous proposons des extensions de Hadoop, un environnement MapReduce populaire et open-source, comme par example le support de l'opération append. Ce travail inclut également l'évaluation et les résultats obtenus sur des infrastructures à grande échelle: grilles informatiques et clouds.

Cette thèse porte sur le modèle des risques concurrents et sur le modèle des évènements <br />récurrents.<br />Dans le cadre des risques concurrents, on s'intéresse aux fonctions <br />d'incidences cumulées : elles correspondent à la probabilité qu'un évènement d'un certain type se <br />produise avant un instant donné. Ces fonctions sont estimées de façon non-paramétrique au moyen <br />de l'estimateur de Aalen-Johansen. Des résultats d'approximation forte, de loi du logarithme <br />itéré et de convergence faible pour des processus basés sur l'estimateur de Aalen-Johansen sont <br />établis. Des bandes de confiance sont construites et simulées. Une extension du modèle de <br />Koziol-Green est aussi considérée.<br />Dans le cadre d'évènements récurrents, des fonctions d'incidences cumulées conditionnelles sont <br />estimées de façon non-paramétrique. Les estimateurs proposés sont consistants et leur <br />comportement à distance finie est illustré sur des données réelles et simulées.

Nous proposons de nouveaux algorithmes et de nouvelles structures de données pour la vérifi cation formelle de systèmes réactifs nis sur architectures parallèles. Ces travaux se basent sur les techniques de véri cation par model checking. Notre approche cible des architectures multi-processeurs et multi-coeurs, avec mémoire partagée, qui correspondent aux générations de serveurs les plus performants disponibles actuellement. Dans ce contexte, notre objectif principal est de proposer des approches qui soient à la fois effi caces au niveau des performances, mais aussi compatibles avec les politiques de partage dynamique du travail utilisées par les algorithmes de génération d'espaces d'états en parallèle ; ainsi, nous ne plaçons pas de contraintes sur la manière dont le travail ou les données sont partagés entre les processeurs. Parallèlement à la défi nition de nouveaux algorithmes de model checking pour machines multi-coeurs, nous nous intéressons également aux algorithmes de vérifi cation probabiliste. Par probabiliste, nous entendons des algorithmes de model checking qui ont une forte probabilité de visiter tous les états durant la vérifi cation d'un système. La véri fication probabiliste permet des gains importants au niveau de la mémoire utilisée, en échange d'une faible probabilité de ne pas être exhaustif ; il s'agit donc d'une stratégie permettant de répondre au problème de l'explosion combinatoire.

L’objectif de cette thèse est d’étudier le processus social de légitimation des produits financiers en prenant comme exemple le développement des Exchange Traded Funds (ETF) en France. En dépit de la complexification de leur « dispositif de calcul » les encours des ETF ont connu une progression rapide. L'essor de ces innovations s'explique par l'effort de légitimation entrepris par les promoteurs. Contrairement à l'approche néo-institutionnaliste qui se focalise sur la dimension cognitive, nous partons des interdépendances pour comprendre le processus social de légitimation. Nous étudions ce processus en combinant une enquête ethnographique fondée sur des entretiens semi-directifs et des observations non-participantes avec une analyse du réseau social d'échange d'information entre les marketeurs, les traders, les journalistes, les investisseurs et les académiques. Nous montrons qu'il existe une « niche sociale » où des acteurs-promoteurs coopèrent entre eux. Ils relaient, auprès des diffuseurs d'information que sont les journalistes, un discours fondé sur les dimensions positives de leur innovation. Ils s'appuient, pour cela, sur le « contrôle social » qu'ils exercent sur la presse économique. Enfin, ces promoteurs s'associent à l'institut de recherche en finance Edhec-Risk afin de fonder la légitimité de leurs produits sur le statut académique de ce partenaire. / The focus of this thesis is to study the social process of legitimizing financial products, focusing primarily on Exchange Traded Funds (ETFs) in France. Despite the complex nature of their « calculative device », ETFs have grown rapidly. This can be explained through promoters’ legitimizing efforts. Unlike neo-institutional theory which focuses on the cognitive dimension, this will emphasize the role of interdependencies and relationships in studying legitimizing efforts. This study is based on ethnographic research with semi-structured interviews and non-participant observations during conferences. We combine this qualitative research method with quantitative analysis of the network of information exchanged between marketers, traders, journalists, investors, regulators and academics. We evidence the existence of a « social niche » where competitors cooperate. The promoters exert social control on financial journalists to relay the positive aspects of their financial products. They also collaborate with EDHEC-Risk Institute to benefit from its academic status and gain more legitimacy.