Contexte : La fibrillation auriculaire est commune chez les insuffisants cardiaques. L’efficacité des stratégies de contrôle de la fréquence et du rythme s’équivalent. Nous avons comparé l’impact économique des deux stratégies de traitement chez les patients avec fibrillation auriculaire et insuffisance cardiaque. Méthode : Dans cette sous-étude de l’essai Atrial Fibrillation and Congestive Heart Failure, la consommation de soins de santé des patients Québécois ainsi que leurs coûts ont été quantifiés grâce aux banques de données de la Régie de l’assurance-maladie du Québec et de l’Ontario Case Costing Initiative. Résultats : Trois cent quatre patients ont été inclus, âgés de 68±9 ans, fraction d’éjection de 26±6%. Les caractéristiques de base étaient bien réparties entre le contrôle du rythme (N=149) et de la fréquence (N=155). Les patients soumis au contrôle de la fréquence ont eu moins de procédures cardiovasculaires (146 versus 238, P<0.001) en raison du plus faible nombre de cardioversions et de moindres coûts reliés aux antiarythmiques (48 $±203 versus 1319 $±1058 par patient, P<0.001). Ces différences ont été compensées par un surplus de dépenses dues aux hospitalisations non-cardiovasculaires, aux dispositifs cardiaques implantables et aux médicaments non-cardiovasculaires dans le groupe du contrôle de la fréquence. Au total, les coûts par patient avec les stratégies du contrôle de la fréquence et du rythme s’élèvent à 78 767 $±79 568 et 72 764 $±72 800 (P=0.49). Interprétation : Chez les patients avec fibrillation auriculaire et insuffisance cardiaque, le contrôle de la fréquence est associé avec moins de procédures cardiovasculaires et une pharmacothérapie cardiovasculaire moins coûteuse. Toutefois, les coûts associés aux arythmies représentent moins de la moitié des dépenses de santé et le total des coûts s’équilibre entre les 2 stratégies. / Background: Atrial fibrillation is common in patients with heart failure. Rhythm and rate-control strategies are associated with similar efficacy outcomes. We compared the economic impact of the two treatment strategies in patients with atrial fibrillation and heart failure. Methods: In a pre-specified substudy of the Atrial Fibrillation and Congestive Heart Failure trial, healthcare expenditures of patients from Quebec were analyzed from a single-payer perspective using a cost-minimization approach. In-trial resource utilization including hospitalizations, procedures, emergency department visits, outpatient encounters, and medications were estimated from Quebec Health Insurance Board administrative databases supplemented by disease-specific costs from the Ontario Case Costing Initiative. Results: A total of 304 patients were included, age 68±9 years, 86% male, ejection fraction 26±6%. Baseline characteristics were similar in rhythm (N=149) and rate-control (N=155) groups. Arrhythmia-related costs accounted for 45% of total expenditures. Rate-control patients had fewer cardiovascular procedures (146 versus 238, P<0.001), driven by fewer cardioversions, and lower costs related to antiarrhythmic drugs ($48±203 versus $1319±1058 per patient, P<0.001). However, these differences were offset by trends towards higher expenditures due to hospitalizations for non-cardiovascular diagnoses, implantable cardiac arrhythmia devices, and non-cardiovascular drugs with rate-control. Overall, the total cost per patient was similar with rate and rhythm-control strategies ($78 767±79 568 versus $72 764±72 800, P=0.49). Interpretation: In patients with atrial fibrillation and heart failure, rate control is associated with fewer cardiovascular procedures, most notably cardioversions, and less expensive cardiovascular drugs. However, arrhythmia-related costs account for less than half of all healthcare expenditures and overall costs are similar with the two strategies.

L’objectif de ces travaux est de développer une méthode d’aide à la conception des réseaux de chaleur urbains (RCU). Cette méthode utilise un modèle de type MINLP (Mixed Integer Non Linear Programming) pour l’optimisation simultanée de la configuration et du dimensionnement d’un RCU. Aux variables continues pour l’aide au dimensionnement (température, vitesse, diamètre, aire des échangeurs), s’ajoutent des variables binaires aidant à définir la configuration du réseau (maillage et choix des technologies). La fonction objectif à minimiser est le coût total (capex et opex), qui est soumise à un ensemble de contraintes non linéaires (p. ex. pertes thermiques et de charge, bilans). La méthode développée dans ce manuscrit offre la possibilité de connecter en cascade des consommateurs n’ayant pas les mêmes besoins en température, et de réaliser des réseaux bouclés (une canalisation par tranchée). Elle permet aussi de choisir : les consommateurs à connecter au RCU, le ou les sites de production ainsi que le type de technologie utilisée. Enfin la bonne prise en compte de la physique permet de choisir le meilleur compromis entre pertes thermiques et pertes de charge, sur une large gamme de température. Cette formulation permet donc d’optimiser des réseaux de 4éme génération et de démontrer la rentabilité de l’intégration d’EnR&R sur le long terme (30 ans). Un premier travail est réalisé afin de proposer une méthodologie de résolution en plusieurs étapes permettant l’obtention de l’optimum global. Différents cas d’études académiques sont utilisés pour présenter les intérêts multiples de cette formulation. Enfin la comparaison avec un réseau existant a permis de démontrer la cohérence des résultats du modèle et a servi de base pour l’optimisation d’un cas d’étude de grande dimension. Plusieurs études de sensibilité post-optimale sont réalisées afin de démontrer l’intérêt de cet outil pour l’aide à la conception initiale ou l’extension de RCU existants. / The aim of this thesis is to develop a method that provides design assistance for District Heating Network (DHN). This tool allows simultaneously the optimization of the configuration and its sizing, thanks to an MINLP formulation (Mixed Integer Non-Linear Programming). Binary variables help to choose the optimal configuration (network layout and technologies of production), whereas continuous variables help DHN sizing (temperature, diameter, velocity, heat exchanger area, thermal generating capacity …). The objective function to minimize is the total cost (capex and opex), subjected to numerous nonlinear constraints (e.g. thermal losses, pressure drop, energy balance).This method enables to design temperature cascade between consumers, when consumer temperature requirements are different, and also looped network (only one pipe in one trench). It helps also the decision to connect (or not) consumers to the main network and also the location(s) and type(s) of the heating plant. Moreover, the arbitrage between heat losses and pressure drops is taken into account thanks to physical considerations (non-linear equations). Eventually, it is possible to design 4th generation DHN and prove their financial profitability over the long terms (30 years). First a multi-step resolution strategy is proposed to ensure finding global optimum of the complex MINLP problem. Then academic study cases are analyzed to underline the numerous assets of the formulation. Finally, the optimal design compared to an existing DHN ensures the consistency of the method and allows to build a study case at a wider scale, which can be solved thanks to the comprehensive strategy developed. The design assistance method is available for initial design as well as for extension of existing DHN.

Contexte : La fibrillation auriculaire est commune chez les insuffisants cardiaques. L’efficacité des stratégies de contrôle de la fréquence et du rythme s’équivalent. Nous avons comparé l’impact économique des deux stratégies de traitement chez les patients avec fibrillation auriculaire et insuffisance cardiaque. Méthode : Dans cette sous-étude de l’essai Atrial Fibrillation and Congestive Heart Failure, la consommation de soins de santé des patients Québécois ainsi que leurs coûts ont été quantifiés grâce aux banques de données de la Régie de l’assurance-maladie du Québec et de l’Ontario Case Costing Initiative. Résultats : Trois cent quatre patients ont été inclus, âgés de 68±9 ans, fraction d’éjection de 26±6%. Les caractéristiques de base étaient bien réparties entre le contrôle du rythme (N=149) et de la fréquence (N=155). Les patients soumis au contrôle de la fréquence ont eu moins de procédures cardiovasculaires (146 versus 238, P<0.001) en raison du plus faible nombre de cardioversions et de moindres coûts reliés aux antiarythmiques (48 $±203 versus 1319 $±1058 par patient, P<0.001). Ces différences ont été compensées par un surplus de dépenses dues aux hospitalisations non-cardiovasculaires, aux dispositifs cardiaques implantables et aux médicaments non-cardiovasculaires dans le groupe du contrôle de la fréquence. Au total, les coûts par patient avec les stratégies du contrôle de la fréquence et du rythme s’élèvent à 78 767 $±79 568 et 72 764 $±72 800 (P=0.49). Interprétation : Chez les patients avec fibrillation auriculaire et insuffisance cardiaque, le contrôle de la fréquence est associé avec moins de procédures cardiovasculaires et une pharmacothérapie cardiovasculaire moins coûteuse. Toutefois, les coûts associés aux arythmies représentent moins de la moitié des dépenses de santé et le total des coûts s’équilibre entre les 2 stratégies. / Background: Atrial fibrillation is common in patients with heart failure. Rhythm and rate-control strategies are associated with similar efficacy outcomes. We compared the economic impact of the two treatment strategies in patients with atrial fibrillation and heart failure. Methods: In a pre-specified substudy of the Atrial Fibrillation and Congestive Heart Failure trial, healthcare expenditures of patients from Quebec were analyzed from a single-payer perspective using a cost-minimization approach. In-trial resource utilization including hospitalizations, procedures, emergency department visits, outpatient encounters, and medications were estimated from Quebec Health Insurance Board administrative databases supplemented by disease-specific costs from the Ontario Case Costing Initiative. Results: A total of 304 patients were included, age 68±9 years, 86% male, ejection fraction 26±6%. Baseline characteristics were similar in rhythm (N=149) and rate-control (N=155) groups. Arrhythmia-related costs accounted for 45% of total expenditures. Rate-control patients had fewer cardiovascular procedures (146 versus 238, P<0.001), driven by fewer cardioversions, and lower costs related to antiarrhythmic drugs ($48±203 versus $1319±1058 per patient, P<0.001). However, these differences were offset by trends towards higher expenditures due to hospitalizations for non-cardiovascular diagnoses, implantable cardiac arrhythmia devices, and non-cardiovascular drugs with rate-control. Overall, the total cost per patient was similar with rate and rhythm-control strategies ($78 767±79 568 versus $72 764±72 800, P=0.49). Interpretation: In patients with atrial fibrillation and heart failure, rate control is associated with fewer cardiovascular procedures, most notably cardioversions, and less expensive cardiovascular drugs. However, arrhythmia-related costs account for less than half of all healthcare expenditures and overall costs are similar with the two strategies.

La sémantique des jeux est une sémantique dénotationnelle centrée sur l’interaction : preuves et programmes y sont représentés par des stratégies modélisant, par le flot d’exécution, leur manière de réagir à leur environnement. Malgré cette présentation intensionnelle, les sémantiques de jeux ne suffisent pas à capturer certaines informations calculatoires annexes au flot d’exécution telles que, par exemple, la production de témoins en logique du premier ordre ou la consommation de ressources dans les langages de programmation. Dans cette thèse nous proposons un enrichissement du modèle des jeux concurrent à base de structures d’événements permettant de garder trace de ces informations.Nous construisons d’abord un modèle de jeux concurrent dans lequel les coups joueurs d’une stratégie sont annotés par les termes d’une théorie (in)équationnelle. Cette théorie est un paramètre de notre modèle et les annotations permettent de refléter de manière compacte des informations d’exécution n’ayant pas d’influence sur le flot d’exécution. Nous montrons que le modèle ainsi construit préserve la structure catégorique compacte fermée du modèle sans annotation.Nous explorons ensuite l’expressivité de notre modèle et présentons deux interprétations nouvelles en sémantique des preuves et des programmes : l’une interprétant les preuves de la logique classique du premier ordre par des stratégies concurrentes avec échange de témoins, donnant une version compositionnelle au théorème de Herbrand ; l’autre permettant de refléter les aspects quantitatifs liés à la consommation de ressources telles que le temps, dans l’exécution de programmes concurrents d’ordre supérieur avec mémoire partagée. / This thesis presents a general framework for enriching causal concurrent games model with annotations. These annotations can be viewed as meta-data on strategies: they are modified throughout interactions but do not affect their general flow of control. These data can be of various nature, in particular our enrichment is parametrised over any multi-sorted equational theory and can also reflect structure upon these data such as a partial order. From a semantics point of view, this construction is motivated by problems from both logic and programming languages: On the logic side, the annotated games model specialised to first-order terms enables us to give a novel interpretation of first-order classical proofs as concurrent strategies carrying first-order witnesses. In particular this answer the question of giving a compositional version to Herbrand’s theorem while avoiding the usual proof sequentialization of other denotational approaches. On the programming language side, annotations on games offer intrinsic quantitative models. We show that those can be used to provide denotational semantics for resource consumption analysis of concurrent higher order programming language with shared memory.These enrichments, strongly connected to the causal structure of concurrent games, give an argument in favor of a causal meaning of computations.

Les nouvelles technologies médicales contribuent aux dépenses en santé qui ne cessent de croître, alors que les budgets se trouvent limités. L’évaluation économique des technologies devraient permettre d’identifier quelles sont celles qui sont les plus rentables. Malgré cela, plusieurs technologies dont le rapport coût-efficacité reste plutôt limite ou défavorable sont utilisées en médecine moderne et remboursées par notre système public de santé. Ce mémoire se concentre sur deux technologies en santé cardiovasculaire dont le rapport coût-efficacité est plutôt limite mais qui sont fréquemment utilisées au Canada; les tuteurs médicamentés ou pharmaco-actifs et les défibrillateurs cardiaques implantables (DCI). Nous avons fait une évaluation contingente de ces technologies dans le but d’examiner si ce type d’évaluation économique complémentaire pouvait procurer un point de vue nouveau sur la valeur économique et sociétaire des ces technologies. Les résultats de ces deux évaluations indiquent que les patients accordent une grande importance aux bénéfices que procurent ces deux technologies. Nos résultats soutiennent les politiques de santé actuelles de rembourser de façon libérale ces deux technologies. / Technological innovations have greatly contributed to the rising costs in healthcare, while budgets have remained limited. Economic evaluations of technologies should identify which technologies are cost-effective. However, several technologies used in modern medicine are either borderline cost-effective or even not cost-effective according to many studies. This thesis focuses on two technologies in cardiovascular medicine which are considered borderline cost-effective; drug-eluting stents and implantable cardioverter defibrillators. We conducted a contingent valuation of these technologies in hopes of determining if this alternative type of economic evaluation could give a novel point of view on the economic and societal value of these technologies. Results indicated that patients greatly valued benefits provided by these two technologies. Our result support our public healthcare system policies’ of liberal reimbursement of these two technologies.

Les nouvelles technologies médicales contribuent aux dépenses en santé qui ne cessent de croître, alors que les budgets se trouvent limités. L’évaluation économique des technologies devraient permettre d’identifier quelles sont celles qui sont les plus rentables. Malgré cela, plusieurs technologies dont le rapport coût-efficacité reste plutôt limite ou défavorable sont utilisées en médecine moderne et remboursées par notre système public de santé. Ce mémoire se concentre sur deux technologies en santé cardiovasculaire dont le rapport coût-efficacité est plutôt limite mais qui sont fréquemment utilisées au Canada; les tuteurs médicamentés ou pharmaco-actifs et les défibrillateurs cardiaques implantables (DCI). Nous avons fait une évaluation contingente de ces technologies dans le but d’examiner si ce type d’évaluation économique complémentaire pouvait procurer un point de vue nouveau sur la valeur économique et sociétaire des ces technologies. Les résultats de ces deux évaluations indiquent que les patients accordent une grande importance aux bénéfices que procurent ces deux technologies. Nos résultats soutiennent les politiques de santé actuelles de rembourser de façon libérale ces deux technologies. / Technological innovations have greatly contributed to the rising costs in healthcare, while budgets have remained limited. Economic evaluations of technologies should identify which technologies are cost-effective. However, several technologies used in modern medicine are either borderline cost-effective or even not cost-effective according to many studies. This thesis focuses on two technologies in cardiovascular medicine which are considered borderline cost-effective; drug-eluting stents and implantable cardioverter defibrillators. We conducted a contingent valuation of these technologies in hopes of determining if this alternative type of economic evaluation could give a novel point of view on the economic and societal value of these technologies. Results indicated that patients greatly valued benefits provided by these two technologies. Our result support our public healthcare system policies’ of liberal reimbursement of these two technologies.

Les structures de génie civil, en particulier les ponts en béton armé, doivent être conçues et gérées pour assurer les besoins de transport et de communication dans la société. Il est indispensable de garantir un fonctionnement convenable et sécuritaire de ces structures, puisque les défaillances peuvent conduire à des perturbations du transport, des pertes catastrophiques de concessions et des pertes de vies humaines, avec des impacts économiques, sociétaux et environnementaux graves, à court et à long termes. Les gestionnaires entreprennent diverses activités pour maintenir la performance et le fonctionnement adéquat à long terme, tout en satisfaisant les contraintes financières et sécuritaires. Idéalement, ils peuvent recourir à des techniques d'optimisation pour établir les compromis entre la réduction du coût du cycle de vie (LCC) et la maximisation de la durée de vie. Cela nécessite le développement de l’analyse du cycle de vie, de l’analyse de fiabilité et de l'optimisation structurale.Les approches actuelles pour la conception et la gestion des structures s’appuyant sur l’analyse du coût de cycle de vie, montrent les besoins suivants : (1) une approche intégrée et systématique pour modéliser de façon cohérente les processus de dégradation, les charges de trafic, le vieillissement et les conséquences directes et indirectes de la défaillance, (2) une considération complète des dépendances économiques, structurales et stochastiques entre les différents éléments de l’ouvrage, (3) une approche permettant de modéliser efficacement un système structural formé de plusieurs éléments interdépendants, (4) une évaluation des conséquences de la dégradation et de la redistribution des charges entre les éléments en tenant compte de la redondance du système et de la configuration de l’ouvrage, (5) une méthode d'optimisation de la conception et de la maintenance qui préserve l’exigence de fiabilité tout en considérant la robustesse de la décision. L'objectif global de cette thèse est de fournir des procédures améliorées qui peuvent être appliquées à la conception et à la gestion fiabilistes et robustes des ouvrages en béton armé, en réduisant les coûts supportés par les gestionnaires et les utilisateurs, tout en tenant compte des dépendances entre les éléments. Dans la première partie de cette thèse, une synthèse bibliographique concernant les procédures de la conception et de la maintenance basée sur des calculs fiabilistes est présentée, et les différents composants du LCC sont développés. Ensuite, une approche est proposée pour la conception des ouvrages en tenant compte du coût aux usagers et en intégrant dans la fonction du coût de cycle de vie. Le modèle couplé corrosion-fatigue est aussi considéré dans l’optimisation de la conception. La planification de la maintenance des ouvrages est ensuite développée, en considérant les différents types d'interaction entre les éléments, en particulier les dépendances économiques, structurales et stochastiques. Ce modèle utilise l'analyse de l'arbre de défaillance et les probabilités conditionnelles pour tenir compte des dépendances dans la planification de la maintenance. Les conséquences de la dégradation et de la redistribution des charges sont prises en compte dans l'approche proposée. Par ailleurs, une méthode pratique de calcul de la fiabilité d'un système formé de plusieurs composantes interdépendantes est proposée, à travers un facteur de redondance calculé par la modélisation mécanique. Enfin, une nouvelle procédure d'optimisation est proposée, permettant de tenir compte des incertitudes dans le système et la capacité structurale de s'adapter aux variabilités intrinsèques. La procédure proposée tient compte des incertitudes et de la variabilité dans une formulation cohérente, validée au moyen des applications numériques. (...) / Civil engineering structures, particularly reinforced concrete bridges, should be designed and managed to ensure the society needs. It is crucial to assure that these structures function properly and safely as damage during the service life can lead to transport disturbance, catastrophic loss of property, causalities, as well as severe economic, social, and environmental impacts, in addition to long term consequences. Decision-makers adopt various activities to maintain adequate long-term performance and functionality while satisfying financial constraints. Ideally, they may employ optimization techniques to identify the trade-offs between minimizing the life-cycle cost (LCC) and maximizing the expected service life. This requires the development of three challenging chores: life cycle analysis, reliability analysis and structural optimization. The current approaches for the design and management of structures through a Life-cycle cost analysis (LCCA) highlight the following needs: (1) an integrated and systematic approach to model coherently the deterioration processes, the increasing traffic loads, the aging and the direct and indirect consequences of failure, (2) a mutual consideration of economic, structural and stochastic dependencies between the elements of a structural system, (3) an adequate approach for the deterioration dependencies and load redistribution between the elements, (4) an improvement of system reliability computation as a function of the structural redundancy and configuration that can take into account the dependencies between the elements, (5) a consideration of design and maintenance optimization procedures that focus coherently on the robustness of the management decision and on the satisfaction of reliability requirements.The overall objective of this study is to provide improved LCCA and procedures that can be applied to select optimal and robust design and maintenance decisions regarding new and existing reinforced concrete structures, by minimizing both manager and user costs, while providing the required safety along the structure lifetime, taking into account the most severe degradation processes and the dependencies between structural elements. In the first part of this thesis, a literature review concerning the current probabilistic design and maintenance procedures is presented, and the LCC components are discussed. Then, a new approach is developed to evaluate the user delay costs on a reinforced concrete bridge structure, based on direct and indirect costs related to degradation and failure, and to integrate it to the life cycle cost function, in order to allow for probabilistic design. In addition,the coupled corrosion-fatigue model is considered in the design optimization. Afterward, a structural maintenance planning approach is developed to consider the three types of interactions, namely economic, structural and stochastic dependencies. The proposed model uses fault tree analysis and conditional probabilities to reflect the dependencies in the maintenance planning. The consequences of degradation are evaluated and a method is proposed to account for the load redistribution. Moreover, a practical formulation for quantifying the reliability of a system formed of interrelated components is proposed, by the mean of a redundancy factor that can be computed by finite element analysis. Finally, a new optimization procedure is proposed, by taking into account the uncertainties in the analysis, and the structural ability to adapt to variability, unforeseen actions or deterioration mechanisms. The proposed procedure takes account of uncertainties andvariability in one consistent formulation, which is shown through numerical applications. (...)