Engineering optimisations in query rewriting for OBDA

Ontology-based data access (OBDA) systems use ontologies to provide views over relational databases. Most of these systems work with ontologies implemented in description logic families of reduced expressiveness, what allows applying efficient query rewriting techniques for query answering. In this paper we describe a set of optimisations that are applicable with one of the most expressive families used in this context (ELHIO¬). Our resulting system exhibits a behaviour that is comparable to the one shown by systems that handle less expressive logics.

Improving scheduling techniques in heterogeneous systems with dynamic, on-line optimisations

Computational performance increasingly depends on parallelism, and many systems rely on heterogeneous resources such as GPUs and FPGAs to accelerate computationally intensive applications. However, implementations for such heterogeneous systems are often hand-crafted and optimised to one computation scenario, and it can be challenging to maintain high performance when application parameters change. In this paper, we demonstrate that machine learning can help to dynamically choose parameters for task scheduling and load-balancing based on changing characteristics of the incoming workload. We use a financial option pricing application as a case study. We propose a simulation of processing financial tasks on a heterogeneous system with GPUs and FPGAs, and show how dynamic, on-line optimisations could improve such a system. We compare on-line and batch processing algorithms, and we also consider cases with no dynamic optimisations.

Quantifying, generating and mitigating radio interference in Low-Power Wireless Networks

Doctoral Programme in Telecommunication - MAP-tele

Cheminformatic studies of molecular properties and their influence on bioactivity in the context of drug discovery

Molecular shape has long been known to be an important property for the process of molecular recognition. Previous studies postulated the existence of a drug-like shape space that could be used to artificially bias the composition of screening libraries, with the aim to increase the chance of success in Hit Identification. In this work, it was analysed to which extend this assumption holds true. Normalized Principal Moments of Inertia Ratios (NPRs) have been used to describe the molecular shape of small molecules. It was investigated, whether active molecules of diverse targets are located in preferred subspaces of the NPR shape space. Results illustrated a significantly stronger clustering than could be expected by chance, with parts of the space unlikely to be occupied by active compounds. Furthermore, a strong enrichment of elongated, rather flat shapes could be observed, while globular compounds were highly underrepresented. This was confirmed for a wide range of small molecule datasets from different origins. Active compounds exhibited a high overlap in their shape distributions across different targets, making a purely shape­ based discrimination very difficult. An additional perspective was provided by comparing the shapes of protein binding pockets with those of their respective ligands. Although more globular than their ligands, it was observed that binding sites shapes exhibited a similarly skewed distribution in shape space: spherical shapes were highly underrepresented. This was different for unoccupied binding pockets of smaller size. These were on the contrary identified to possess a more globular shape. The relation between shape complementarity and exhibited bioactivity was analysed; a moderate correlation between bioactivity and parameters including pocket coverage, distance in shape space, and others could be identified, which reflects the importance of shape complementarity. However, this also suggests that other aspects are of relevance for molecular recognition. A subsequent analysis assessed if and how shape and volume information retrieved from pocket or respective reference ligands could be used as a pre-filter in a virtual screening approach. ln Lead Optimization compounds need to get optimized with respect to a variety of pararneters. Here, the availability of past success stories is very valuable, as they can guide medicinal chemists during their analogue synthesis plans. However, although of tremendous interest for the public domain, so far only large corporations had the ability to mine historical knowledge in their proprietary databases. With the aim to provide such information, the SwissBioisostere database was developed and released during this thesis. This database contains information on 21,293,355 performed substructural exchanges, corresponding to 5,586,462 unique replacements that have been measured in 35,039 assays against 1,948 molecular targets representing 30 target classes, and on their impact on bioactivity . A user-friendly interface was developed that provides facile access to these data and is accessible at http//www.swissbioisostere.ch. The ChEMBL database was used as primary data source of bioactivity information. Matched molecular pairs have been identified in the extracted and cleaned data. Success-based scores were developed and integrated into the database to allow re-ranking of proposed replacements by their past outcomes. It was analysed to which degree these scores correlate with chemical similarity of the underlying fragments. An unexpectedly weak relationship was detected and further investigated. Use cases of this database were envisioned, and functionalities implemented accordingly: replacement outcomes are aggregatable at the assay level, and it was shawn that an aggregation at the target or target class level could also be performed, but should be accompanied by a careful case-by-case assessment. It was furthermore observed that replacement success depends on the activity of the starting compound A within a matched molecular pair A-B. With increasing potency the probability to lose bioactivity through any substructural exchange was significantly higher than in low affine binders. A potential existence of a publication bias could be refuted. Furthermore, often performed medicinal chemistry strategies for structure-activity-relationship exploration were analysed using the acquired data. Finally, data originating from pharmaceutical companies were compared with those reported in the literature. It could be seen that industrial medicinal chemistry can access replacement information not available in the public domain. In contrast, a large amount of often-performed replacements within companies could also be identified in literature data. Preferences for particular replacements differed between these two sources. The value of combining different endpoints in an evaluation of molecular replacements was investigated. The performed studies highlighted furthermore that there seem to exist no universal substructural replacement that always retains bioactivity irrespective of the biological environment. A generalization of bioisosteric replacements seems therefore not possible. - La forme tridimensionnelle des molécules a depuis longtemps été reconnue comme une propriété importante pour le processus de reconnaissance moléculaire. Des études antérieures ont postulé que les médicaments occupent préférentiellement un sous-ensemble de l'espace des formes des molécules. Ce sous-ensemble pourrait être utilisé pour biaiser la composition de chimiothèques à cribler, dans le but d'augmenter les chances d'identifier des Hits. L'analyse et la validation de cette assertion fait l'objet de cette première partie. Les Ratios de Moments Principaux d'Inertie Normalisés (RPN) ont été utilisés pour décrire la forme tridimensionnelle de petites molécules de type médicament. Il a été étudié si les molécules actives sur des cibles différentes se co-localisaient dans des sous-espaces privilégiés de l'espace des formes. Les résultats montrent des regroupements de molécules incompatibles avec une répartition aléatoire, avec certaines parties de l'espace peu susceptibles d'être occupées par des composés actifs. Par ailleurs, un fort enrichissement en formes allongées et plutôt plates a pu être observé, tandis que les composés globulaires étaient fortement sous-représentés. Cela a été confirmé pour un large ensemble de compilations de molécules d'origines différentes. Les distributions de forme des molécules actives sur des cibles différentes se recoupent largement, rendant une discrimination fondée uniquement sur la forme très difficile. Une perspective supplémentaire a été ajoutée par la comparaison des formes des ligands avec celles de leurs sites de liaison (poches) dans leurs protéines respectives. Bien que plus globulaires que leurs ligands, il a été observé que les formes des poches présentent une distribution dans l'espace des formes avec le même type d'asymétrie que celle observée pour les ligands: les formes sphériques sont fortement sous­ représentées. Un résultat différent a été obtenu pour les poches de plus petite taille et cristallisées sans ligand: elles possédaient une forme plus globulaire. La relation entre complémentarité de forme et bioactivité a été également analysée; une corrélation modérée entre bioactivité et des paramètres tels que remplissage de poche, distance dans l'espace des formes, ainsi que d'autres, a pu être identifiée. Ceci reflète l'importance de la complémentarité des formes, mais aussi l'implication d'autres facteurs. Une analyse ultérieure a évalué si et comment la forme et le volume d'une poche ou de ses ligands de référence pouvaient être utilisés comme un pré-filtre dans une approche de criblage virtuel. Durant l'optimisation d'un Lead, de nombreux paramètres doivent être optimisés simultanément. Dans ce contexte, la disponibilité d'exemples d'optimisations réussies est précieuse, car ils peuvent orienter les chimistes médicinaux dans leurs plans de synthèse par analogie. Cependant, bien que d'un extrême intérêt pour les chercheurs dans le domaine public, seules les grandes sociétés pharmaceutiques avaient jusqu'à présent la capacité d'exploiter de telles connaissances au sein de leurs bases de données internes. Dans le but de remédier à cette limitation, la base de données SwissBioisostere a été élaborée et publiée dans le domaine public au cours de cette thèse. Cette base de données contient des informations sur 21 293 355 échanges sous-structuraux observés, correspondant à 5 586 462 remplacements uniques mesurés dans 35 039 tests contre 1948 cibles représentant 30 familles, ainsi que sur leur impact sur la bioactivité. Une interface a été développée pour permettre un accès facile à ces données, accessible à http:/ /www.swissbioisostere.ch. La base de données ChEMBL a été utilisée comme source de données de bioactivité. Une version modifiée de l'algorithme de Hussain et Rea a été implémentée pour identifier les Matched Molecular Pairs (MMP) dans les données préparées au préalable. Des scores de succès ont été développés et intégrés dans la base de données pour permettre un reclassement des remplacements proposés selon leurs résultats précédemment observés. La corrélation entre ces scores et la similarité chimique des fragments correspondants a été étudiée. Une corrélation plus faible qu'attendue a été détectée et analysée. Différents cas d'utilisation de cette base de données ont été envisagés, et les fonctionnalités correspondantes implémentées: l'agrégation des résultats de remplacement est effectuée au niveau de chaque test, et il a été montré qu'elle pourrait également être effectuée au niveau de la cible ou de la classe de cible, sous réserve d'une analyse au cas par cas. Il a en outre été constaté que le succès d'un remplacement dépend de l'activité du composé A au sein d'une paire A-B. Il a été montré que la probabilité de perdre la bioactivité à la suite d'un remplacement moléculaire quelconque est plus importante au sein des molécules les plus actives que chez les molécules de plus faible activité. L'existence potentielle d'un biais lié au processus de publication par articles a pu être réfutée. En outre, les stratégies fréquentes de chimie médicinale pour l'exploration des relations structure-activité ont été analysées à l'aide des données acquises. Enfin, les données provenant des compagnies pharmaceutiques ont été comparées à celles reportées dans la littérature. Il a pu être constaté que les chimistes médicinaux dans l'industrie peuvent accéder à des remplacements qui ne sont pas disponibles dans le domaine public. Par contre, un grand nombre de remplacements fréquemment observés dans les données de l'industrie ont également pu être identifiés dans les données de la littérature. Les préférences pour certains remplacements particuliers diffèrent entre ces deux sources. L'intérêt d'évaluer les remplacements moléculaires simultanément selon plusieurs paramètres (bioactivité et stabilité métabolique par ex.) a aussi été étudié. Les études réalisées ont souligné qu'il semble n'exister aucun remplacement sous-structural universel qui conserve toujours la bioactivité quel que soit le contexte biologique. Une généralisation des remplacements bioisostériques ne semble donc pas possible.

Characterization of local and systemic immune-modulation in melanoma patients

Le mélanome cutané est un des cancers les plus agressifs et dont l'incidence augmente le plus en Suisse. Une fois métastatique, le pronostic de survie moyenne avec les thérapies actuelles est d'environ huit mois, avec moins de 5% de survie à cinq ans. Les récents progrès effectués dans la compréhension de la biologie de la cellule tumorale mais surtout dans l'importance du système immunitaire dans le contrôle de ce cancer ont permis le développement de nouveaux traitements novateurs et prometteurs. Ces thérapies, appelées immunothérapies, reposent sur la stimulation et l'augmentation de la réponse immunitaire à la tumeur. Alors que les derniers essais cliniques ont démontré l'efficacité de ces traitements chez les patients avec des stades avancés de la maladie, le contrôle de la maladie à long- terme est seulement atteint chez une minorité des patients. La suppression locale et systémique de la réponse immunitaire spécifique anti-tumorale apparaitrait comme une des raisons expliquant la persistance d'un mauvais pronostic clinique chez ces patients. Des études sur les souris ont montré que les vaisseaux lymphatiques joueraient un rôle primordial dans ce processus en induisant une tolérance immune, ce qui permettrait à la tumeur d'échapper au contrôle du système immunitaire et métastatiser plus facilement. Ces excitantes découvertes n'ont pas encore été établi et prouvé chez l'homme. Dans cette thèse, nous montrons pour la première fois que les vaisseaux lymphatiques sont directement impliqués dans la modulation de la réponse immunitaire au niveau local et systémique dans le mélanome chez l'homme. Ces récentes découvertes montrent le potentiel de combiner des thérapies visant le système lymphatique avec les immunothérapies actuellement utilisées afin d'améliorer le pronostic des patients atteint du mélanome. -- Cutaneous melanoma is one of the most invasive and metastatic human cancers and causes 75% of skin cancer mortality. Current therapies such as surgery and chemotherapy fail to control metastatic disease, and relapse occurs frequently due to microscopic residual lesions. It is, thus, essential to develop and optimize novel therapeutic strategies to improve curative responses in these patients. In recent decades, tumor immunologists have revealed the development of spontaneous adaptive immune responses in melanoma patients, leading to the accumulation of highly differentiated tumor-specific T cells at the tumor site. This remains one of the most powerful prognostic markers to date. Immunotherapies that augment the natural function of these tumor-specific T cells have since emerged as highly attractive therapeutic approaches to eliminate melanoma cells. While recent clinical trials have demonstrated great progress in the treatment of advanced stage melanoma, long-term disease control is still only achieved in a minority of patients. Local and systemic immune suppression by the tumor appears to be responsible, in part, for this poor clinical evolution. These facts underscore the need for a better analysis and characterization of immune- related pathways within the tumor microenvironment (TME), as well as at the systemic level. The overall goal of this thesis is, thus, to obtain greater insight into the complexity and heterogeneity of the TME in human melanoma, as well as to investigate immune modulation beyond the TME, which ultimately influences the immune system throughout the whole body. To achieve this, we established two main objectives: to precisely characterize local and systemic immune modulation (i) in untreated melanoma patients and (ii) in patients undergoing peptide vaccination or checkpoint blockade therapy with anti-cytotoxic T- lymphocyte-asisctaed protein-4 (CTLA-4) antibody. In the first and main part of this thesis, we analyzed lymphatic vessels in relation to anti-tumor immune responses in tissues from vaccinated patients using a combination of immunohistochemistry (IHC) techniques, whole slide scanning/analysis, and an automatic quantification system. Strikingly, we found that increased lymphatic vessel density was associated with high expression of immune suppressive molecules, low functionality of tumor-infiltrating CD8+ T cells and decreased cytokine production by tumor-antigen specific CD8+ T cells in the blood. These data revealed a previously unappreciated local and systemic role of lymphangiogenesis in modulating T cell responses in human cancer and support the use of therapies that target lymphatic vessels combined with existing and future T cell based therapies. In the second objective, we describe a metastatic melanoma patient who developed pulmonary sarcoid-like granulomatosis following repetitive vaccination with peptides and CpG. We demonstrated that the onset of this pulmonary autoimmune adverse event was related to the development of a strong and long-lasting tumor-specific CD8+ T cell response. This constitutes the first demonstration that a new generation tumor vaccine can induce the development of autoimmune adverse events. In the third objective, we assessed the use of Fourier Transform Infrared (FTIR) imaging to identify melanoma cells and lymphocyte subpopulations in lymph node (LN) metastasis tissues, thanks to a fruitful collaboration with researchers in Brussels. We demonstrated that the different cell types in metastatic LNs have different infrared spectral features allowing automated identification of these cells. This technic is therefore capable of distinguishing known and novel biological features in human tissues and has, therefore, significant potential as a tool for histopathological diagnosis and biomarker assessment. Finally, in the fourth objective, we investigated the role of colony- stimulating factor-1 (CSF-1) in modulating the anti-tumor response in ipilimumab-treated patients using IHC and in vitro co-cultures, revealing that melanoma cells produce CSF-1 via CTL-derived cytokines when attacked by cytotoxic T lymphocytes (CTLs), resulting in the recruitment of immunosuppressive monocytes. These findings support the combined use of CSF-1R blockade with T cell based immunotherapy for melanoma patients. Taken together, our results reveal the existence of novel mechanisms of immune modulation and thus promote the optimization of combination immunotherapies against melanoma. -- Le mélanome cutané est un des cancers humains les plus invasifs et métastatiques et est responsable de 75% de la mortalité liée aux cancers de la peau. Les thérapies comme la chirurgie et la chimiothérapie ont échoué à contrôler le mélanome métastatique, par ailleurs les rechutes sous ces traitements ont été montrées fréquentes. Il est donc essentiel de développer et d'optimiser de nouvelles stratégies thérapeutiques pour améliorer les réponses thérapeutiques de ces patients. Durant les dernières décennies, les immunologistes spécialisés dans les tumeurs ont démontré qu'un patient atteint du mélanome pouvait développer spontanément une réponse immune adaptative à sa tumeur et que l'accumulation de cellules T spécifiques tumorales au sein même de la tumeur était un des plus puissants facteurs pronostiques. Les immunothérapies qui ont pour but d'augmenter les fonctions naturelles de ces cellules T spécifiques tumorales ont donc émergé comme des approches thérapeutiques très attractives pour éliminer les cellules du mélanome. Alors que les derniers essais cliniques ont démontré un progrès important dans le traitement des formes avancées du mélanome, le contrôle de la maladie à long-terme est seulement atteint chez une minorité des patients. La suppression immune locale et systémique apparaitrait comme une des raisons expliquant la persistance d'un mauvais pronostic clinique chez ces patients. Ces considérations soulignent la nécessité de mieux analyser et caractériser les voies immunitaires non seulement au niveau local dans le microenvironement tumoral mais aussi au niveau systémique dans le sang des patients. Le but de cette thèse est d'obtenir une plus grande connaissance de la complexité et de l'hétérogénéité du microenvironement tumoral dans les mélanomes mais aussi d'investiguer la modulation immunitaire au delà du microenvironement tumoral au niveau systémique. Afin d'atteindre ce but, nous avons établi deux objectifs principaux : caractériser précisément la modulation locale et systémique du système immunitaire (i) chez les patients atteints du mélanome qui n'ont pas reçu de traitement et (ii) chez les patients qui ont été traités soit par des vaccins soit par des thérapies qui bloquent les points de contrôles. Dans la première et majeure partie de cette thèse, nous avons analysé les vaisseaux lymphatiques en relation avec la réponse immunitaire anti-tumorale dans les tissus des patients vaccinés grâce à des techniques d'immunohistochimie et de quantification informatisé et automatique des marquages. Nous avons trouvé qu'une densité élevée de vaisseaux lymphatiques dans la tumeur était associée à une plus grande expression de molécules immunosuppressives ainsi qu'à une diminution de la fonctionnalité des cellules T spécifiques tumoral dans la tumeur et dans le sang des patients. Ces résultats révèlent un rôle jusqu'à là inconnu des vaisseaux lymphatiques dans la modulation directe du système immunitaire au niveau local et systémique dans les cancers de l'homme. Cette recherche apporte finalement des preuves du potentiel de combiner des thérapies visant le système lymphatique avec des autres immunothérapies déjà utilisées en clinique. Dans le second objectif, nous rapportons le cas d'un patient atteint d'un mélanome avec de multiples métastases qui a développé à la suite de plusieurs vaccinations répétées et consécutives avec des peptides et du CpG, un évènement indésirable sous la forme d'une granulomatose pulmonaire sarcoid-like. Nous avons démontré que l'apparition de cet évènement était intimement liée au développement d'une réponse immunitaire durable et spécifique contre les antigènes de la tumeur. Par là- même, nous prouvons pour la première fois que la nouvelle génération de vaccins est aussi capable d'induire des effets indésirables auto-immuns. Pour le troisième objectif, nous avons voulu savoir si l'utilisation de la spectroscopie infrarouge à transformée de Fourier (IRTF) était capable d'identifier les cellules du mélanome ainsi que les différents sous-types cellulaires dans les ganglions métastatiques. Grâce à nos collaborateurs de Bruxelles, nous avons pu établir que les diverses composantes cellulaires des ganglions atteints par des métastases du mélanome présentaient des spectres infrarouges différents et qu'elles pouvaient être identifiées d'une façon automatique. Cette nouvelle technique permettrait donc de distinguer des caractéristiques biologiques connues ou nouvelles dans les tissus humains qui auraient des retombées pratiques importantes dans le diagnostic histopathologique et dans l'évaluation des biomarqueurs. Finalement dans le dernier objectif, nous avons investigué le rôle du facteur de stimulation des colonies (CSF-1) dans la modulation de la réponse immunitaire anti-tumorale chez les patients qui ont été traités par l'Ipilimumab. Nos expériences in vivo au niveau des tissus tumoraux et nos co-cultures in vitro nous ont permis de démontrer que les cytokines secrétées par les cellules T spécifiques anti-tumorales induisaient la sécrétion de CSF-1 dans les cellules du mélanome ce qui résultait en un recrutement de monocytes immunosuppresseurs. Dans son ensemble, cette thèse révèle donc l'existence de nouveaux mécanismes de modulation de la réponse immunitaire anti-tumorale et propose de nouvelles optimisations de combinaison d'immunothérapies contre le mélanome.

Cost Optimisation of Mobile Advertising Client Data Transfer

Data traffic caused by mobile advertising client software when it is communicating with the network server can be a pain point for many application developers who are considering advertising-funded application distribution, since the cost of the data transfer might scare their users away from using the applications. For the thesis project, a simulation environment was built to mimic the real client-server solution for measuring the data transfer over varying types of connections with different usage scenarios. For optimising data transfer, a few general-purpose compressors and XML-specific compressors were tried for compressing the XML data, and a few protocol optimisations were implemented. For optimising the cost, cache usage was improved and pre-loading was enhanced to use free connections to load the data. The data traffic structure and the various optimisations were analysed, and it was found that the cache usage and pre-loading should be enhanced and that the protocol should be changed, with report aggregation and compression using WBXML or gzip.

Simulateur compilé d’une description multi-langage des systèmes hétérogènes

La conception de systèmes hétérogènes exige deux étapes importantes, à savoir : la modélisation et la simulation. Habituellement, des simulateurs sont reliés et synchronisés en employant un bus de co-simulation. Les approches courantes ont beaucoup d’inconvénients : elles ne sont pas toujours adaptées aux environnements distribués, le temps d’exécution de simulation peut être très décevant, et chaque simulateur a son propre noyau de simulation. Nous proposons une nouvelle approche qui consiste au développement d’un simulateur compilé multi-langage où chaque modèle peut être décrit en employant différents langages de modélisation tel que SystemC, ESyS.Net ou autres. Chaque modèle contient généralement des modules et des moyens de communications entre eux. Les modules décrivent des fonctionnalités propres à un système souhaité. Leur description est réalisée en utilisant la programmation orientée objet et peut être décrite en utilisant une syntaxe que l’utilisateur aura choisie. Nous proposons ainsi une séparation entre le langage de modélisation et la simulation. Les modèles sont transformés en une même représentation interne qui pourrait être vue comme ensemble d’objets. Notre environnement compile les objets internes en produisant un code unifié au lieu d’utiliser plusieurs langages de modélisation qui ajoutent beaucoup de mécanismes de communications et des informations supplémentaires. Les optimisations peuvent inclure différents mécanismes tels que le regroupement des processus en un seul processus séquentiel tout en respectant la sémantique des modèles. Nous utiliserons deux niveaux d’abstraction soit le « register transfer level » (RTL) et le « transaction level modeling » (TLM). Le RTL permet une modélisation à bas niveau d’abstraction et la communication entre les modules se fait à l’aide de signaux et des signalisations. Le TLM est une modélisation d’une communication transactionnelle à un plus haut niveau d’abstraction. Notre objectif est de supporter ces deux types de simulation, mais en laissant à l’usager le choix du langage de modélisation. De même, nous proposons d’utiliser un seul noyau au lieu de plusieurs et d’enlever le bus de co-simulation pour accélérer le temps de simulation.

Synthesis of 2-Substituted-Pyrazolo[1,5-a]pyridines from N-Iminopyridinium Ylides

Cette thèse décrit le développement et la méthodologie pour la synthèse de 2-pyrazolo[1,5-a]pyridines à partir d’ylures de N-iminopyridinium et d’halogénures de styryle. Des dérivés de chaque ylure de N-iminopyridinium et d’halogénures de styryle ont été utilisés pour la synthèse de plusieurs composés avec un intérêt pharmaceutique. Le premier chapitre présente les précédents littéraires pour la synthèse de pyrazolopyridines. Spécifiquement trois types différents de synthèse seront présentés en détail. L’importance biologique de ces composés sera discutée. La vue d’ensemble des travaux développés dans notre groupe de recherche pour la synthèse des produits de départ sera présentée brièvement. Finalement, la science intéressante qui a apporté cette idée de recherche sera révélée. Le deuxième chapitre décrit les résultats des optimisations étudiées pour la synthèse des 2-phénylpyrazolo[1,5-a]pyridines à partir d’ylures de N-benzoyl-iminopyridinium et d’iodure de styryle. Chaque substrat de la réaction a été étudié individuellement afin d’être optimisé; les ratios, les solvants, la température du milieu réactionnel et le temps optimal de la réaction ont aussi été explorés. Le troisième chapitre présente l’étendue de la synthèse des pyrazolopyridines. L’étendue de la réaction inclut les dérivés des halogénures de styryle. L’étendue de la réaction a été élargie aux dérivés d’ylures de N-iminopyridinium et ils incluent des groupements donneurs d’électrons ainsi que des groupements pauvres en électrons. Des groupements exotiques d’iodure et de bromure de vinyle ont aussi été explorés. Le quatrième chapitre démontre les études mécanistiques que l’on a faites pour mieux comprendre les cycles catalytiques qui ont lieu durant la réaction. Des études de cyclisation avec les ylures de N-iminopyridinium ont été explorées pour les produits de départ suivants : iodure de styryle et phényl acetylène.

Validation et conditionnement d'un test PAMPA amélioré pour l'évaluation de la perméabilité membranaire de médicaments.

Les tests PAMPA et les tests Caco-2 sont des essais in vitro de l’évaluation de la perméabilité intestinale des médicaments. Ils sont réalisés lors de la phase de découverte du médicament. Les tests PAMPA ne sont pas biologiquement représentatifs de la paroi intestinale, mais ils sont rapides et peu coûteux. Les tests Caco-2 nécessitent plus de 21 jours pour la culture cellulaire et des installations spécifiques sont requises. Ils sont constitués d’une monocouche d’entérocytes à confluence et donc plus biologiquement représentatifs. Il y a un besoin pour le développement d’un essai qui est biologiquement représentatif de la membrane intestinale humaine, rapide et peu coûteux. Le premier but de ce projet était de développer une méthode analytique qui permettrait l’évaluation simultanée de huit médicaments témoins utilisés pour la validation de l’essai de perméabilité. Le deuxième but de ce projet était donc d’améliorer la membrane des tests PAMPA pour proposer un nouveau test : le néoPAMPA. Contrairement au test PAMPA traditionnel, cette membrane est constituée de trois composantes : (1) un filtre poreux qui agit à titre de support, (2) un coussin polydopamine chargé négativement qui sert d’ancrage et qui assure la fluidité de la bicouche et (3) une bicouche lipidique formée par fusion de vésicules. Une méthode analytique HPLC-MS/MS a été validée selon les spécifications de la FDA et de la EMA. Cette méthode a permis de quantifier simultanément les huit médicaments standards utilisés pour le test néoPAMPA. Le test PAMPA traditionnel a été mis en place à titre d’essai control. Les coefficients de perméabilité mesurés pour les huit médicaments au travers de la membrane PAMPA comparaient favorablement aux résultats de la littérature. Les composantes de la membrane néoPAMPA ont été optimisées. Les conditions optimales retenues étaient les filtres de polycarbonate hydrophile ayant des pores de 15 nm, les plaques Costar 12 puits comme dispositif des tests de perméabilité, une bicouche lipidique composée de 70 % DOPC et de 30 % cholestérol cationique ainsi qu’une déposition des liposomes en présence de 150 mM NaCl suivi d’un équilibre d’1 h en présence d’une solution saturée en DOPC. Les stabilités de la cassette de médicaments et des liposomes sont insuffisantes pour le conditionnement commercial des membranes néoPAMPA. Les différentes optimisations réalisées ont permis d’améliorer la membrane néoPAMPA sans toutefois la rendre fonctionnelle. La membrane néoPAMPA n’est toujours pas en mesure de discriminer des molécules en fonction de leur perméabilité attendue.

Abitbol : un langage sur mesure pour la métaprogrammation

Ce mémoire a pour thèse que les fonctions devraient être transparentes lors de la phase de métaprogrammation. En effet, la métaprogrammation se veut une possibilité pour le programmeur d’étendre le compilateur. Or, dans un style de programmation fonctionnelle, la logique du programme se retrouve dans les définitions des diverses fonctions le composant. Puisque les fonctions sont généralement opaques, l’impossibilité d’accéder à cette logique limite les applications possibles de la phase de métaprogrammation. Nous allons illustrer les avantages que procurent les fonctions transparentes pour la métaprogrammation. Nous donnerons notamment l’exemple du calcul symbolique et un exemple de nouvelles optimisations désormais possibles. Nous illustrerons également que la transparence des fonctions permet de faire le pont entre les datatypes du programme et les fonctions. Nous allons également étudier ce qu'implique la présence de fonctions transparentes au sein d'un langage. Nous nous concentrerons sur les aspects reliés à l'implantation de ces dernières, aux performances et à la facilité d'utilisation. Nous illustrerons nos propos avec le langage Abitbol, un langage créé sur mesure pour la métaprogrammation.

Développement d’une méthode SPRi-MALDI-IMS pour la quantification et l’identification des protéines dans des empreintes de tissus biologiques

Plusieurs tests médicaux, comme celui du dépistage du cancer du sein, se basent sur l’observation de section tissulaire sous un microscope. Ces tests se basent sur l’interprétation d’un spécialiste et les résultats peuvent varier d’un expert à un autre dû la subjectivité des observations. L’utilisation d’une technique analytique offrant une quantification et une identification de cibles moléculaires dans une section tissulaire permettrait aux experts de produire des diagnostics plus objectifs et diminuerait possiblement le nombre de faux diagnostics. Les travaux présentés dans ce mémoire portent sur le développement d’une technique SPRi-MALDI-IMS permettant l’imagerie en deux dimensions de protéines contenues dans une section tissulaire. La MALDI-IMS est la technique de choix pour l’imagerie de biomolécules dans les sections tissulaires. Par contre, elle ne parvient pas à elle seule à quantifier de façon absolue le matériel adsorbé à la surface. Donc, le couplage de la MALDI-IMS avec la SPRi permet la quantification absolue de protéines en deux dimensions et crée une technique répondant aux besoins des experts médicaux. Pour ce faire, nous avons étudié, l’effet de la chimie de surface sur la nature et la quantité de matériel adsorbé à la surface du capteur. De plus, la cinétique de transfert des protéines du tissu vers le capteur a dû être optimisée afin de produire des empreintes correspondant au tissu d’origine, afin d’atteindre la gamme dynamique des instruments SPRi et MALDI-IMS. La technique résultante de ces optimisations permet d’obtenir les premières images quantitatives et qualitatives de protéines en deux dimensions d’une seule section tissulaire.

Control of flexural waves on a beam using distributed vibration neutralisers

This paper is concerned with the use of distributed vibration neutralisers to control the transmission of flexural waves on a beam. Of particular interest is an array of beam-like neutralisers and a continuous plate-like neutraliser. General expressions for wave transmission and reflection metrics either side of the distributed neutralisers are derived. Based on transmission efficiency, the characteristics of multiple neutralisers are investigated in terms of the minimum transmission efficiency, the normalised bandwidth and the shape factor, allowing optimisation of their performance. Analytical results show that the band-stop property of the neutraliser array depends on various factors, including the neutraliser damping, mass, separation distance in the array and the moment arm of each neutraliser. Moreover, it is found that the particular attachment configuration of an uncoupled forcemoment-type neutraliser can be used to improve their overall performance. It is also shown that in the limit of many neutralisers in the array, the performance tends to that of a continuous neutraliser. © 2011 Elsevier Ltd.

Optimization of thin noise barrier designs using Evolutionary Algorithms and a Dual BEM Formulation

[EN]This works aims at assessing the acoustic efficiency of differente this noise barrier models. These designs frequently feature complex profiles and their implementarion in shape optimization processes may not always be easy in terms of determining their topological feasibility. A methodology to conduct both overall shape and top edge optimisations of thin cross section acoustic barriers by idealizing them as profiles with null boundary thickness is proposed.

Gravitational Lensing as a Tool on Galactic and Cosmological Scales

This work considers the reconstruction of strong gravitational lenses from their observed effects on the light distribution of background sources. After reviewing the formalism of gravitational lensing and the most common and relevant lens models, new analytical results on the elliptical power law lens are presented, including new expressions for the deflection, potential, shear and magnification, which naturally lead to a fast numerical scheme for practical calculation. The main part of the thesis investigates lens reconstruction with extended sources by means of the forward reconstruction method, in which the lenses and sources are given by parametric models. The numerical realities of the problem make it necessary to find targeted optimisations for the forward method, in order to make it feasible for general applications to modern, high resolution images. The result of these optimisations is presented in the \textsc{Lensed} algorithm. Subsequently, a number of tests for general forward reconstruction methods are created to decouple the influence of sourced from lens reconstructions, in order to objectively demonstrate the constraining power of the reconstruction. The final chapters on lens reconstruction contain two sample applications of the forward method. One is the analysis of images from a strong lensing survey. Such surveys today contain $\sim 100$ strong lenses, and much larger sample sizes are expected in the future, making it necessary to quickly and reliably analyse catalogues of lenses with a fixed model. The second application deals with the opposite situation of a single observation that is to be confronted with different lens models, where the forward method allows for natural model-building. This is demonstrated using an example reconstruction of the ``Cosmic Horseshoe''. An appendix presents an independent work on the use of weak gravitational lensing to investigate theories of modified gravity which exhibit screening in the non-linear regime of structure formation.