Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs. / This thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling, the two major problems of Opera, are described. Multi-environment management is realized by incremental copying, in parallel to the computation. The treatment of conditional variables is included in the WAM, in order to allow an efficient and coherent cooperation. Our method introduces a new pile for these variables, initialization, binding and unbinding of which are adapted. The cost of WAM sequential operations is constant and independent of the number of processes. We also propose a simple and efficient method for implementing cut in parallel. An Opera prototype has been implemented over a Transputer array. In the current prototype, scheduling is resolved by heuristics of load evaluation. This scheduling is centralized, a unique process balancing the load of the other Prolog workers, and using an approximate representation of the state of the system. The Opera prototype is one of the most efficient Prolog implementations on the Transputer, and reaches effective speed-ups in parallel.

Cette thèse se propose d’étudier les déterminants des prix des médicaments innovants de l’oncologie, en s’interrogeant à la fois sur le rôle des caractéristiques propres à chaque produit, en particulier sa valeur thérapeutique ajoutée, et sur l’influence d’éléments structurels, notamment les modalités des politiques de fixation des prix appliqués par les Etats.Une revue de la littérature nous permet tout d’abord de spécifier les modalités de fixation des prix ainsi que les nouveaux instruments mis en place par les décideurs pour réguler leur montant. Nous montrons que la détermination des prix des traitements innovants passe par l’évaluation de la valeur ajoutée et donc la mise en place de politiques d’évaluation de type Health Technology Assessment (HTA). Toutefois, nous mettons en lumière que les politiques de prix se réfèrent à des doctrines différentes tant dans les démarches évaluatives que dans la fixation des prix. Dès lors, nous proposons un cadre théorique de détermination des prix qui permet de prendre en compte ces différences. En complément, la constitution d’une base de données incluant les caractéristiques des anticancéreux et leurs prix fixés dans huit pays de l’OCDE, nous permet d’entreprendre différentes analyses statistiques.A partir des études empiriques, nous examinons dans un premier temps la relation entre les prix et le caractère innovant des anticancéreux. Nous commençons pour cela par nous intéresser à l’accès au marché de ces produits dans les pays retenus avant d’examiner les disparités de prix entres les pays.Si l’on constate qu’une majorité des médicaments de notre échantillon étaient bien disponibles dans ces pays, il apparaît néanmoins des différences en matière réglementaire, notamment concernant l’octroi du statut de médicament orphelin ou encore en matière de délais d’enregistrement. Une étude comparative plus fine des évaluations faites par le NICE et la HAS confirme l’existence de divergences sur les décisions et/ou recommandations de prise en charge malgré une appréciation similaire de la valeur ajoutée. Enfin lorsqu’on procède à la comparaison des prix, on constate un écart de prix considérable selon les modalités de fixation des prix appliqués par les Etats.Ce dernier constat nous conduit ensuite à rechercher des éléments d’explication à partir d’une approche économétrique permettant de mesurer l’effet de la valeur ajoutée, définie par la survie incrémentale, sur le prix des anticancéreux. De façon complémentaire, nous montrons que cette influence se manifeste même lorsque l’estimation de cette valeur ajoutée reste incertaine au regard du niveau de preuve obtenu.De façon complémentaire, les analyses économétriques confirment que les écarts de prix entre pays reflètent les différences internationales sur les choix de politique de prix. En effet, nous montrons que les prix les plus élevés sont relevés dans les pays exerçant une politique de prix libres. A l’inverse, les prix les plus bas sont retrouvés dans les pays pratiquant une évaluation économique. Et l’on retrouve à un niveau intermédiaire les pays ayant recours à la négociation et au référencement international. / This PhD thesis focused on the regulation and the determinants of innovative drugs prices in oncology. First, with a literature review we provided a comprehensive description examining the pricing mechanisms of innovative drugs in OECD countries. This approach shows us that most of the countries determine their prices according the assessment of the added value of the pharmaceutical product, and use HTA policies in their decisions making. Based on that conclusions and regarding the differences observed between the policies’ countries we assumed a framework to describe the pricing mechanism.In addition, we developed an original database which contains the anticancer drugs characteristics and their prices in 8 OECD countries. From empirical studies, we examined the relationship between the prices and the drugs characteristics. Before assessing prices disparities between the selected countries, we focused on the market approval of these medicines in each country. Nevertheless, even if most of the products were available in all studied countries, we observed differences between their regulations notably concerning the orphan status designation as well as for the time to market authorization.Thereafter, we achieved a comparative study to assess the discordance between the NICE and HAS. This analysis shows that despite a similar estimation of the added value, there is divergences between these HTA bodies in term of decisions making. Then, when we investigated the trends in prices across the selected countries, the level of pricing disparities observed, in most cases, seems to reflect the differences in pricing regulations.Finally, in order to highlight the determinants of these disparities between countries with respect to anticancer drug prices, we used the econometric approaches, we assessed both the effects on the prices of the added value (the incremental survival) and the pharmaceutical policy: It appears that the incremental survival impacts on the prices, independently of its uncertainties and its level of evidence provided in the clinical trials. In addition, the analysis confirms that the prices disparities reflect the pricing policy applied. Indeed, the countries using a free pricing policy have the highest-level prices, followed by the countries using the pricing negotiation and external reference pricing. Lastly, the countries using economic evaluation have the lowest prices.

Dans cette thèse, les techniques de coopération ont été étudiées pour un canal multi-accès multi-relais composé d'au moins deux sources qui communiquent avec une seule destination à l'aide d'au moins deux nœuds de relayage en mode semi-duplex. Le multiplexage par répartition dans le temps est supposé. Tout d'abord, l’algorithme d’adaptation de lien est exécuté par l'ordonnanceur centralisé. Durant la première phase de transmission, les sources transmettent chacune à leur tour leur message respectif pendant des intervalles de temps consécutifs. Dans chaque intervalle de temps dans la deuxième phase, la destination planifie un nœud pour transmettre les redondances, mettant en œuvre un protocole coopératif d'Hybrid Automatic Repeat reQuest (HARQ), où les canaux de contrôle limités bidirectionnels sont disponibles depuis les sources et les relais vers la destination. Dans la première partie de la thèse, les stratégies de sélection des nœuds centralisé sont proposées pour la deuxième phase de transmission. Les décisions d’ordonnancement sont prises en fonction de la connaissance des ensembles de sources correctement décodées par chaque noeud et ayant comme objectif de maximiser l’efficacité spectrale moyenne. L'analyse de la probabilité de coupure de l'information ainsi que les simulations Monte-Carlo (MC) sont effectués afin de valider ces stratégies. Dans la seconde partie, un algorithme d’adaptation de lien lent est proposé afin de maximiser l’efficacité spectrale moyenne sous contrainte de vérification d'une qualité de service individuelle cible pour une famille donnée de schémas de modulation et de codage, réposant sur l'information sur la distribution des canaux signalée. Les débits des sources discrets sont déterminés en utilisant l’approche "Genie-Aided" suivie d’un algorithme itératif de correction de débit. Les simulations MC montrent que l’algorithme d’adaptation de lien proposé offre des performances proches de celles de la recherche exhaustive. Dans la troisième partie, les performances de protocole HARQ à redondance incrémentale (IR) avec codage mono et multi-utilisateur, ainsi que l'HARQ de type Chase Combining avec codage mono-utilisateur sont comparées. Les simulations MC montrent que l'IR-HARQ avec codage mono-utilisateur offre le meilleur compromis entre performance et complexité pour le scénario de petit nombre de sources. Un schéma de codage pratique est proposé et validé à l'aide de simulations MC. / In this thesis, cooperation techniques have been studied for Multiple Access Multiple Relay Channel, consisted of at least two sources which communicate with a single destination with the help of at least two half-duplex relaying nodes. Time Division Multiplexing is assumed. First, the link adaptation algorithm is performed at the centralised scheduler. Sources transmit in turns in consecutive time slots during the first transmission phase. In each time slot of the second phase, the destination schedules a node to transmit redundancies, implementing a cooperative Hybrid Automatic Repeat reQuest (HARQ) protocol, where bidirectional limited control channels are available from sources and relays towards the destination. In the first part of the thesis, centralized node selection strategies are proposed for the second phase. The scheduling decisions are made based on the knowledge of the correctly decoded source sets of each node, with the goal to maximize the average spectral efficiency. An information outage analysis is conducted and Monte-Carlo (MC) simulations are performed to evaluate their performance. In the second part, a slow-link adaptation algorithm is proposed which aims at maximizing the average spectral efficiency under individual QoS targets for a given modulation and coding scheme family relying on the reported Channel Distribution Information of all channels. Discrete source rates are first determined using the "Genie-Aided" assumption, which is followed by an iterative rate correction algorithm. The resulting link adaptation algorithm yields performance close to the exhaustive search approach as demonstrated by MC simulations. In the third part, performances of Incremental Redundancy (IR) HARQ with Single and Multi User encoding, as well as the Chase Combining HARQ with Single User encoding are compared. MC simulations demonstrate that IR-HARQ with Single User encoding offers the best trade-off between performance and complexity for a small number of sources in our setting. Practical coding scheme is proposed and validated using MC simulations.