Swiss consensus statement: Recommendations for optimising re-treatment with MabThera (rituximab) in rheumatoid arthritis.

Rituximab is an effective treatment of rheumatoid arthritis (RA), which has been approved for the treatment of moderate to severe disease in patients with an inadequate response to anti-TNF therapies. Rituximab differs from other available biological agents for RA by way of its unique mode of action and unrivalled long dosing interval. The efficacy of rituximab subsides progressively over time and re-therapy is generally required to maintain long term disease control. The timing of re-treatment is currently not well established and varies widely in clinical practice. The present document is a concise recommendation regarding re-treatment with rituximab, based on validated outcomes such as the DAS28 and the EULAR response criteria. The recommendation was established through consensus between practitioners familiar with rituximab therapy in RA. Optimisation of the rituximab re-treatment schedule may improve patient outcomes and balance risks and benefits for the individual patient.

Optimising the management of a heterogeneous stand

Abstract

Stratégies destinées a optimiser l'utilisation des antibiotiques en réanimation [Strategies targeted at optimising antimicrobial therapy in critically ill patients]

Antibiotics are widely used in critical care and adequate empirical treatments has a significant impact on the outcome of many patients. Most nosocomial infections may be due to multidrug-resistant pathogens and requires empirical borad spectrum coverage before identification of the etiologic agents. This is associated with overuse of antibiotics which contributes to the further increase in multidrug-resistances. In this context, new strategies targeted at antibiotic control, such as guidelines and de-escalation are needed to control this evolution.

Optimising approaches to active immunotherapy of cancer

The design of therapeutic cancer vaccines is aimed at inducing high numbers and potent T cells that are able to target and eradicate malignant cells. This calls for close collaboration between cells of the innate immune system, in particular dendritic cells (DCs), and cells of the adaptive immune system, notably CD4+ helper T cells and CD8+ cytotoxic T cells. Therapeutic vaccines are aided by adjuvants, which can be, for example, Toll¬like Receptor agonists or agents promoting the cytosolic delivery of antigens, among others. Vaccination with long synthetic peptides (LSPs) is a promising strategy, as the requirement for their intracellular processing will mainly target LSPs to professional antigen presenting cells (APCs), hence avoiding the immune tolerance elicited by the presentation of antigens by non-professional APCs. The unique property of antigen cross-processing and cross-presentation activity by DCs plays an important role in eliciting antitumour immunity given that antigens from engulfed dead tumour cells require this distinct biological process to be processed and presented to CD8+T cells in the context of MHC class I molecules. DCs expressing the XCR1 chemokine receptor are characterised by their superior capability of antigen cross- presentation and priming of highly cytotoxic T lymphocyte (CTL) responses. Recently, XCR1 was found to be also expressed in tissue-residents DCs in humans, with a simitar transcriptional profile to that of cross- presenting murine DCs. This shed light into the value of harnessing this subtype of XCR1+ cross-presenting DCs for therapeutic vaccination of cancer. In this study, we explored ways of adjuvanting and optimising LSP therapeutic vaccinations by the use, in Part I, of the XCLl chemokine that selectively binds to the XCR1 receptor, as a mean to target antigen to the cross-presenting XCR1+ DCs; and in Part II, by the inclusion of Q.S21 in the LSP vaccine formulation, a saponin with adjuvant activity, as well as the ability to promote cytosolic delivery of LSP antigens due to its intrinsic cell membrane insertion activity. In Part I, we designed and produced XCLl-(OVA LSP)-Fc fusion proteins, and showed that their binding to XCR1+ DCs mediate their chemoattraction. In addition, therapeutic vaccinations adjuvanted with XCLl-(OVA LSP)-Fc fusion proteins significantly enhanced the OVA-specific CD8+ T cell response, and led to complete tumour regression in the EL4-OVA model, and significant control of tumour growth in the B16.0VA tumour model. With the aim to optimise the co-delivery of LSP antigen and XCLl to skin-draining lymph nodes we also tested immunisations using nanoparticle (NP)-conjugated OVA LSP in the presence or absence of XCLl chemokine. The NP-mediated delivery of LSP potentiated the CTL response seen in the blood of vaccinated mice, and NP-OVA LSP vaccine in the presence of XCLl led to higher blood frequencies of OVA-specific memory-precursor effector cells. Nevertheless, in these settings, the addition XCLl to NP-OVA LSP vaccine formulation did not increase its antitumour therapeutic effect. In the Part II, we assessed in HLA-A2/DR1 mice the immunogenicity of the Melan-AA27L LSP or the Melan-A26. 35 AA27l short synthetic peptide (SSP) used in conjunction with the saponin adjuvant QS21, aiming to identify a potent adjuvant formulation that elicits a quantitatively and qualitatively strong immune response to tumour antigens. We showed a high CTL immune response elicited by the use of Melan-A LSP or SSP with QS21, which both exerted similar killing capacity upon in vivo transfer of target cells expressing the Melan-A peptide in the context of HLA-A2 molecules. However, the response generated by the LSP immunisation comprised higher percentages of CD8+T cells of the central memory phenotype (CD44hl CD62L+ and CCR7+ CD62L+) than those of SSP immunisation, and most importantly, the strong LSP+QS21 response was strictly CD4+T cell-dependent, as shown upon CD4 T cell depletion. Altogether, these results suggest that both XCLl and QS21 may enhance the ability of LSP to prime CD8 specific T cell responses, and promote a long-term memory response. Therefore, these observations may have important implications for the design of protein or LSP-based cancer vaccines for specific immunotherapy of cancer -- Les vacans thérapeutiques contre le cancer visent à induire une forte et durable réponse immunitaire contre des cellules cancéreuses résiduelles. Cette réponse requiert la collaboration entre le système immunitaire inné, en particulier les cellules dendrites (DCs), et le système immunitaire adaptatif, en l'occurrence les lymphocytes TCD4 hdper et CD8 cytotoxiques. La mise au point d'adjuvants et de molécules mimant un agent pathogène tels les ligands TLRs ou d'autres agents facilitant l'internalisation d'antigènes, est essentielle pour casser la tolérance du système immunitaire contre les cellules cancéreuses afin de générer une réponse effectrice et mémoire contre la tumeur. L'utilisation de longs peptides synthétiques (LSPs) est une approche prometteuse du fait que leur présentation en tant qu'antigénes requiert leur internalisation et leur transformation par les cellules dendrites (DCs, qui sont les mieux à même d'éviter la tolérance immunitaire. Récemment une sous-population de DCs exprimant le récepteur XCR1 a été décrite comme ayant une capacité supérieure dans la cross-présentation d'antigènes, d'où un intérêt à développer des vaccins ciblant les DCs exprimant le XCR1. Durant ma thèse de doctorat, j'ai exploré différentes approches pour optimiser les vaccins avec LSPs. La première partie visait à cibler les XCR1-DCs à l'aide de la chemokine XCL1 spécifique du récepteur XCR1, soit sou s la forme de protéine de fusion XCL1-OVA LSP-Fc, soit associée à des nanoparticules. La deuxième partie a consisté à tester l'association des LSPs avec I adjuvant QS21 dérivant d'une saponine dans le but d'optimiser l'internalisation cytosolique des longs peptides. Les protéines de fusion XCLl-OVA-Fc développées dans la première partie de mon travail, ont démontré leur capacité de liaison spécifique sur les XCRl-DCs associée à leur capacité de chemo-attractio. Lorsque inclues dans une mmunisation de souris porteuse de tumeurs établies, ces protéines de fusion XCL1-0VA LSP-Fc et XCLl-Fc plus OVA LSP ont induites une forte réponse CDS OVA spécifique permettant la complète régression des tumeurs de modèle EL4- 0VA et un retard de croissance significatif de tumeurs de type B16-0VA. Dans le but d'optimiser le drainage des LSPs vers es noyaux lymphatiques, nous avons également testé les LSPs fixés de manière covalente à des nanoparticules co- injectees ou non avec la chemokine XCL1. Cette formulation a également permis une forte réponse CD8 accompagnée d'un effet thérapeutique significatif, mais l'addition de la chemokine XCL1 n'a pas ajouté d'effet anti-tumeur supplémentaire. Dans la deuxième partie de ma thèse, j'ai comparé l'immunogénicité de l'antigène humain Melan A soit sous la forme d un LSP incluant un épitope CD4 et CD8 ou sous la forme d'un peptide ne contenant que l'épitope CD8 (SSP) Les peptides ont été formulés avec l'adjuvant QS21 et testés dans un modèle de souris transgéniques pour les MHC let II humains, respectivement le HLA-A2 et DR1. Les deux peptides LSP et SSP ont généré une forte réponse CD8 similaire assoc.ee a une capacité cytotoxique équivalente lors du transfert in vivo de cellules cibles présentant le peptide SSP' Cependant les souris immunisées avec le Melan A LSP présentaient un pourcentage plus élevé de CD8 ayant un Phénotype «centra, memory» (CD44h' CD62L+ and CCR7+ CD62L+) que les souris immunisées avec le SSP, même dix mois après I'immunisation. Par ailleurs, la réponse CD8 au Melan A LSP était strictement dépendante des lymphocytes CD4, contrairement à l'immunisation par le Melan A SSP qui n'était pas affectée. Dans l'ensemble ces résultats suggèrent que la chemokine XCL1 et l'adjuvant QS21 améliorent la réponse CD8 à un long peptide synthétique, favorisant ainsi le développement d'une réponse anti-tumeur mémoire durable. Ces observations pourraient être utiles au développement de nouveau vaccins thérapeutiques contre les tumeurs.

A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.

A Compiler Integrated Assistance for Optimum Data Allocation in Banked Memory Embedded Processors

Bank switching in embedded processors having partitioned memory architecture results in code size as well as run time overhead. An algorithm and its application to assist the compiler in eliminating the redundant bank switching codes introduced and deciding the optimum data allocation to banked memory is presented in this work. A relation matrix formed for the memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Data allocation to memory is done by considering all possible permutation of memory banks and combination of data. The compiler output corresponding to each data mapping scheme is subjected to a static machine code analysis which identifies the one with minimum number of bank switching codes. Even though the method is compiler independent, the algorithm utilizes certain architectural features of the target processor. A prototype based on PIC 16F87X microcontrollers is described. This method scales well into larger number of memory blocks and other architectures so that high performance compilers can integrate this technique for efficient code generation. The technique is illustrated with an example

Optimising contributions of goat farming to household economic success and food security in three production systems in Ethiopia

The study aims to analyse factors affecting contributions of goat farming to household economic success and food security in three goat production systems of Ethiopia. A study was conducted in three districts of Ethiopia representing arid agro-pastoral (AAP), semi-arid agro-pastoral (SAAP) and highland mixed crop-livestock (HMCL) systems involving 180 goat keeping households. Gross margin (GM) and net benefit (NB1 and NB2) were used as indicators of economic success of goat keeping. NB1 includes in-kind benefits of goats (consumption and manure), while NB2 additionally constitutes intangible benefits (insurance and finance). Household dietary diversity score (HDDS) was used as a proxy indicator of food security. GM was significantly affected by an off-take rate and flock size interaction (P<0.001). The increment of GM due to increased off-take rate was more prominent for farmers with bigger flocks. Interaction between flock size and production system significantly (P<0.001) affected both NB1 and NB2. The increment of NB1 and NB2 by keeping larger flocks was higher in AAP system, due to higher in-kind and intangible benefits of goats in this system. Effect of goat flock size as a predictor of household dietary diversity was not significant (P>0.05). Nevertheless, a significant positive correlation (P<0.05) was observed between GM from goats and HDDS in AAP system, indicating the indirect role of goat production for food security. The study indicated that extent of utilising tangible and intangible benefits of goats varied among production systems and these differences should be given adequate attention in designing genetic improvement programs.

A Concurrent Smalltalk Compiler for the Message-Driven Processor

This thesis describes Optimist, an optimizing compiler for the Concurrent Smalltalk language developed by the Concurrent VLSI Architecture Group. Optimist compiles Concurrent Smalltalk to the assembly language of the Message-Driven Processor (MDP). The compiler includes numerous optimization techniques such as dead code elimination, dataflow analysis, constant folding, move elimination, concurrency analysis, duplicate code merging, tail forwarding, use of register variables, as well as various MDP-specific optimizations in the code generator. The MDP presents some unique challenges and opportunities for compilation. Due to the MDP's small memory size, it is critical that the size of the generated code be as small as possible. The MDP is an inherently concurrent processor with efficient mechanisms for sending and receiving messages; the compiler takes advantage of these mechanisms. The MDP's tagged architecture allows very efficient support of object-oriented languages such as Concurrent Smalltalk. The initial goals for the MDP were to have the MDP execute about twenty instructions per method and contain 4096 words of memory. This compiler shows that these goals are too optimistic -- most methods are longer, both in terms of code size and running time. Thus, the memory size of the MDP should be increased.

A Theory of Quantitative Inference Applied to a Mechanical Design Compiler

This thesis presents the ideas underlying a computer program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from predefined catalogs for the optimal selection of components implementing the design. Unlike programs for designing single components or systems, the program provides the designer with a high level "language" in which to compose new designs. It then performs some of the detailed design process. The process of "compilation" is based on a formalization of quantitative inferences about hierarchically organized sets of artifacts and operating conditions. This allows the design compilation without the exhaustive enumeration of alternatives.

AQA A2 physical education : optimising performance and evaluating contemporary issues within sport. Unit 3.

Ayuda a preparar educación física (PE) para AQA y cubre los contenidos teóricos de tres aspectos distintos de PE para A2. Su contenido se centra en: la psicología aplicada para optimizar el rendimiento; aspectos psicológicos que optimizan el rendimiento; y evaluación de las influencias contemporáneas en el deporte. La última sección se dedica a preguntas similares a las que se pueden encontrar en el examen y las respuestas se acompañan de comentarios para orientar a los alumnos sobre sus puntos fuertes y débiles.

A conceptual design of a wireless sensor actuator system for optimising energy and well-being in a building

This article presents a prototype model based on a wireless sensor actuator network (WSAN) aimed at optimizing both energy consumption of environmental systems and well-being of occupants in buildings. The model is a system consisting of the following components: a wireless sensor network, `sense diaries', environmental systems such as heating, ventilation and air-conditioning systems, and a central computer. A multi-agent system (MAS) is used to derive and act on the preferences of the occupants. Each occupant is represented by a personal agent in the MAS. The sense diary is a new device designed to elicit feedback from occupants about their satisfaction with the environment. The roles of the components are: the WSAN collects data about physical parameters such as temperature and humidity from an indoor environment; the central computer processes the collected data; the sense diaries leverage trade-offs between energy consumption and well-being, in conjunction with the agent system; and the environmental systems control the indoor environment.

Optimising the feedback loop of a millimetre-wave absolute photoacoustic power meter using H-infinity control synthesis

An H-infinity control strategy has been developed for the design of controllers used in feedback controlled electrical substitution measurements (FCESM). The methodology has the potential to provide substantial improvements in both response time and resolution of a millimetre-wave absolute photoacoustic power meter.