On the applicability of mathematics : philosophical and historical perspectives

The present thesis is a contribution to the debate on the applicability of mathematics; it examines the interplay between mathematics and the world, using historical case studies. The first part of the thesis consists of four small case studies. In chapter 1, I criticize "ante rem structuralism", proposed by Stewart Shapiro, by showing that his so-called "finite cardinal structures" are in conflict with mathematical practice. In chapter 2, I discuss Leonhard Euler's solution to the Königsberg bridges problem. I propose interpreting Euler's solution both as an explanation within mathematics and as a scientific explanation. I put the insights from the historical case to work against recent philosophical accounts of the Königsberg case. In chapter 3, I analyze the predator-prey model, proposed by Lotka and Volterra. I extract some interesting philosophical lessons from Volterra's original account of the model, such as: Volterra's remarks on mathematical methodology; the relation between mathematics and idealization in the construction of the model; some relevant details in the derivation of the Third Law, and; notions of intervention that are motivated by one of Volterra's main mathematical tools, phase spaces. In chapter 4, I discuss scientific and mathematical attempts to explain the structure of the bee's honeycomb. In the first part, I discuss a candidate explanation, based on the mathematical Honeycomb Conjecture, presented in Lyon and Colyvan (2008). I argue that this explanation is not scientifically adequate. In the second part, I discuss other mathematical, physical and biological studies that could contribute to an explanation of the bee's honeycomb. The upshot is that most of the relevant mathematics is not yet sufficiently understood, and there is also an ongoing debate as to the biological details of the construction of the bee's honeycomb. The second part of the thesis is a bigger case study from physics: the genesis of GR. Chapter 5 is a short introduction to the history, physics and mathematics that is relevant to the genesis of general relativity (GR). Chapter 6 discusses the historical question as to what Marcel Grossmann contributed to the genesis of GR. I will examine the so-called "Entwurf" paper, an important joint publication by Einstein and Grossmann, containing the first tensorial formulation of GR. By comparing Grossmann's part with the mathematical theories he used, we can gain a better understanding of what is involved in the first steps of assimilating a mathematical theory to a physical question. In chapter 7, I introduce, and discuss, a recent account of the applicability of mathematics to the world, the Inferential Conception (IC), proposed by Bueno and Colyvan (2011). I give a short exposition of the IC, offer some critical remarks on the account, discuss potential philosophical objections, and I propose some extensions of the IC. In chapter 8, I put the Inferential Conception (IC) to work in the historical case study: the genesis of GR. I analyze three historical episodes, using the conceptual apparatus provided by the IC. In episode one, I investigate how the starting point of the application process, the "assumed structure", is chosen. Then I analyze two small application cycles that led to revisions of the initial assumed structure. In episode two, I examine how the application of "new" mathematics - the application of the Absolute Differential Calculus (ADC) to gravitational theory - meshes with the IC. In episode three, I take a closer look at two of Einstein's failed attempts to find a suitable differential operator for the field equations, and apply the conceptual tools provided by the IC so as to better understand why he erroneously rejected both the Ricci tensor and the November tensor in the Zurich Notebook.

Development of a bifunctional CD1d-anti-HER2 scFv fusion molecule to redirect the iNKT cell-mediated immune response to the tumor site

Abstract : Invariant natural killer T lymphocytes (iNKT) are a unique subpopulation of T lymphocytes recognizing glycolipid antigens in the context of the MHC class I-like molecule CD1d. Upon activation with the high affinity ligand α-galactosylceramide (αGalCer), iNKT cells rapidly produce large amounts of the pro-inflammatory cytokine interferon gamma (IFN-γ) and potently activate cells of the innate and adaptive immune response, such as dendritic cells (DCs), NK and T cells. In this context, iNKT cells have been shown to efficiently mediate antitumor activity, and recent research has focused on the manipulation of these cells for antitumor therapies. However, a major drawback of αGalCer as a free drug is that a single injection of this ligand leads to a short-lived iNKT cell activation followed by a long-term anergy, limiting its therapeutic use. In contrast, we demonstrate here that when αGalCer is loaded on a recombinant soluble CD1d molecule (αGalCer/sCD1d), repeated injections lead to a sustained iNKT and NK cell activation associated with IFN-γ secretion as well as with DC maturation. Most importantly, when the αGalCer/sCD1d is fused to an anti-HER2 scFv antibody fragment, potent inhibition of experimental lung metastasis and established subcutaneous tumors is obtained when systemic treatment is started two to seven days after the injection of HER2-expressing B16 melanoma cells, whereas at this time free αGalCer has no effect. The antitumor activity of the sCD1d-anti-HER2 fusion protein is associated with HER2-specific tumor localization and accumulation of iNKT, NK and T cells at the tumor site. Importantly, active T cell immunization combined with the sCD1d-anti-HER2 treatment leads to the accumulation of antigen-specific CD8 T cells exclusively in HER2-expressing tumors, resulting in potent tumor inhibition. In conclusion, sustained activation and tumor targeting of iNKT cells by recombinant αGalCer/sCD1d molecules thus may promote a combined innate and adaptive immune response at the tumor site that may prove to be effective in cancer immunotherapy. RESUME : Les lymphocytes «invariant Natural Killer T » (iNKT) forment une sous-population particulière de lymphocytes T reconnaissant des antigènes glycolipidiques présentés sur la molécule non-polymorphique CD1d, analogue aux protéines du complexe majeur d'histocompatibilité de classe I. Après activation avec le ligand de haute affinité α-galactosylceramide (αGalCer), les cellules iNKT produisent des grandes quantités de la cytokine pro-inflammatoire interferon gamma (IFN-γ) et activent les cellules du système immunitaire inné et acquis, telles que les cellules dendritiques (DC), NK et T. En conséquence, on a montré que les cellules iNKT exercent des activités anti-tumorales et la recherche s'est intéressée à la manipulation de ces cellules pour développer des thérapies anti-tumorales. Néanmoins, le désavantage majeur de l'αGalCer, injecté seul, est qu'une seule dose de ce ligand aboutit à une activation des cellules iNKT de courte durée suivie par un état anergique prolongé, limitant l'utilisation thérapeutique de ce glycolipide. En revanche, l'étude présentée ici démontre que, si l'αGalCer est chargé sur des molécules récombinantes soluble CD1d (αGalCer/sCDld), des injections répétées aboutissent à une activation prolongée des cellules iNKT et NK associée avec la sécrétion d'IFN-γ et la maturation des cellules DC. Plus important, si on fusionne la molécule αGalCer/sCD1d avec un fragment single-chain (scFv) de l'anticorps anti-HER2, on observe une importante inhibition de métastases expérimentales aux poumons et de tumeurs sous-cutanées même lorsque le traitement systémique est commencé 2 à 7 jours après la greffe des cellules de mélanome B16 transfectées avec l'antigène HER2. Dans les mêmes conditions le traitement avec l'αGalCer seul est inefficace. L'activité anti-tumorale de la protéine sCDld-anti-HER2 est associée à son accumulation spécifique dans des tumeurs exprimant le HER2 ainsi qu'avec une accumulation des cellules iNKT, NK et T à la tumeur. De plus, une immunisation active combinée avec le traitement sCD1d-anti-HER2 aboutit à une accumulation des lymphocytes T CD8 spécifiques de l'antigène d'immunisation, ceci exclusivement dans des tumeurs qui expriment l'antigène HER2. Cette combinaison résulte dans une activité anti-tumeur accrue. En conclusion, l'activation prolongée des cellules iNKT redirigées à la tumeur par des molécules recombinantes αGalCer/sCDld conduit à l'activation de la réponse innée et adaptative au site tumoral, offrant une nouvelle stratégie prometteuse d'immunothérapie contre le cancer. RESUME POUR UN LARGE PUBLIC : Le cancer est une cause majeure de décès dans le monde. Sur un total de 58 millions de décès enregistrés au niveau mondial en 2005, 7,6 millions (soit 13%) étaient dus au cancer. Les principaux traitements de nombreux cancers sont la chirurgie, en association avec la radiothérapie et la chimiothérapie. Néanmoins, ces traitements nuisent aussi aux cellules normales de notre corps et parfois, ils ne suffisent pas pour éliminer définitivement une tumeur. L'immunothérapie est l'une des nouvelles approches pour la lutte contre le cancer et elle vise à exploiter la spécificité du système immunitaire qui peut distinguer des cellules normales et tumorales. Une cellule exprimant un marqueur tumoral (antigène) peut être reconnue par le système immunitaire humoral (anticorps) et/ou cellulaire, induisant une réponse spécifique contre la tumeur. L'immunothérapie peut s'appuyer alors sur la perfusion d'anticorps monoclonaux dirigés contre des antigènes tumoraux, par exemple les anticorps dirigés contre les protéines oncogéniques Her-2/neu dans le cancer du sein. Ces anticorps ont le grand avantage de spécifiquement se localiser à la tumeur et d'induire la lyse ou d'inhiber la prolifération des cellules tumorales exprimant l'antigène. Aujourd'hui, six anticorps monoclonaux non-conjugés sont approuvés en clinique. Cependant l'efficacité de ces anticorps contre des tumeurs solides reste limitée et les traitements sont souvent combinés avec de la chimiothérapie. L'immunothérapie spécifique peut également être cellulaire et exploiter par immunisation active le développement de lymphocytes T cytotoxiques (CTL) capables de détruire spécifiquement les cellules malignes. De telles «vaccinations »sont actuellement testées en clinique, mais jusqu'à présent elles n'ont pas abouti aux résultats satisfaisants. Pour obtenir une réponse lymphocytaire T cytotoxique antitumorale, la cellule T doit reconnaître un antigène associé à la tumeur, présenté sous forme de peptide dans un complexe majeur d'histocompatibilité de classe I (CHM I). Cependant les cellules tumorales sont peu efficace dans la présentation d'antigène, car souvent elles se caractérisent par une diminution ou une absence d'expression des molécules d'histocompatibilité de classe I, et expriment peu ou pas de molécules d'adhésion et de cytokines costimulatrices. C'est en partie pourquoi, malgré l'induction de fortes réponses CTL spécifiquement dirigés contre des antigènes tumoraux, les régressions tumorales obtenus grâce à ces vaccinations sont relativement rares. Les lymphocytes «invariant Natural Killer T » (iNKT) forment une sous-population particulière de lymphocytes T reconnaissant des antigènes glycolipidiques présentés sur la molécule non-polymorphique CD1d, analogue aux protéines CMH I. Après activation avec le ligand de haute affinité α-galactosylceramide (αGalCer), les cellules iNKT produisent des grandes quantités de la cytokine pro-inflammatoire interferon gamma (IFN-γ) et activent les cellules du système immunitaire inné et acquis, telles que les cellules dendritiques (DC), NK et T. En conséquence, on a montré que les cellules iNKT exercent des activités anti-tumorales et la recherche s'est intéressée à la manipulation de ces cellules pour développer des thérapies anti-tumorales. Néanmoins, le désavantage majeur de l'αGalCer, injecté seul, est qu'une seule dose de ce ligand aboutit à une activation des cellules iNKT de courte durée suivie par un état anergique prolongé, limitant l'utilisation thérapeutique de ce glycolipide. Notre groupe de recherche a donc eu l'idée de développer une nouvelle approche thérapeutique où la réponse immunitaire des cellules iNKT serait prolongée et redirigée vers la tumeur par des anticorps monoclonaux. Concrètement, nous avons produit des molécules récombinantes soluble CD1d (sCD1d) qui, si elles sont chargés avec l'αGalCer (αGalCer/sCDld), aboutissent à une activation prolongée des cellules iNKT et NK associée avec la sécrétion d'IFN-γ et la maturation des cellules DC. Plus important, si la molécule αGalCer/sCD1d est fusionnée avec un fragment single-chain (scFv) de l'anticorps anti-HER2, la réponse immunitaire est redirigée à la tumeur pour autant que les cellules cancéreuses expriment l'antigène HER2. Les molécules αGalCer/sCDld ainsi présentées activent les lymphocytes iNKT. Avec cette stratégie, on observe une importante inhibition de métastases expérimentales aux poumons et de tumeurs sous-cutanées, même lorsque le traitement systémique est commencé 2 à 7 jours après la greffe des cellules de mélanome B16 transfectées avec l'antigène HER2. Dans les mêmes conditions le traitement avec l'αGalCer seul est inefficace. L'activité anti-tumorale de la protéine sCDld-anti-HER2 est associée à son accumulation spécifique dans des tumeurs exprimant le HER2 ainsi qu'avec une accumulation des cellules iNKT, NK et T à la tumeur. En conclusion, l'activation prolongée des cellules iNKT redirigées à la tumeur par des molécules récombinantes αGalCer/sCD1d conduit à l'activation de la réponse innée et adaptative au site tumoral, offrant une nouvelle stratégie prometteuse d'immunothérapie contre le cancer.

Development of the First Disease Activity Index for Eosinophilic Esophagitis: Update on the EEsAI in 2011

Background a nd Aims: T he international E EsAI study g roupis currently developing the first activity index (EEsAI) specificfor Eosinophilic Esophagitis (EoE). Goal: To develop, evaluateand validate the EEsAI.Methods: T he d evelopment comprises three phases: 1.Selection of candidate items; 2. Evaluation of the activity indexin a f irst patient cohort; and 3. V alidation in a s econd EoEpatient cohort. Focus group interviews with patients were usedin p hase 1 to generate p atient r eported outcomes ( PRO)according to guidelines o f regulatory authorities ( FDA andEMA), whereas the section of biologic items was developed byDelphi r ounds of i nternational E oE experts from E urope andNorth America.Results: The EEsAI has a modular composition to assess thefollowing components o f EoE activity: p atient reportedoutcomes, endoscopic activity, histologic activity, laboratoryactivity, a nd quality of life. D efinitions f or all aspects o fendoscopic and histologic appearance were established byconsensus rounds among EoE experts. Symptom assessmenttools were created that take into account d ifferent foodconsistencies as w ell as f ood avoidance and specificprocessing strategies. T he EEsAI is evaluated in a c ohort ofadult EoE patients since March 2011.Conclusions: After successful validation, the EEsAI will allowto standardize outcome assessment in E oE t rials which w illlikely lead to its wide applicability.

Inheritance of ductile and brittle structures in the development of large rock slope instabilities: Examples from western Norway

The high density of slope failures in western Norway is due to the steep relief and to the concentration of various structures that followed protracted ductile and brittle tectonics. On the 72 investigated rock slope instabilities, 13 were developed in soft weathered mafic and phyllitic allochthons. Only the intrinsic weakness of such rocks increases the susceptibility to gravitational deformation. In contrast, the gravitational structures in the hard gneisses reactivate prominent ductile or/and brittle fabrics. At 30 rockslides along cataclinal slopes, weak mafic layers of foliation are reactivated as basal planes. Slope-parallel steep foliation forms back-cracks of unstable columns. Folds are specifically present in the Storfjord area, together with a clustering of potential slope failures. Folding increases the probability of having favourably orientated planes with respect to the gravitational forces and the slope. High water pressure is believed to seasonally build up along the shallow-dipping Caledonian detachments and may contribute to destabilization of the rock slope upwards. Regional cataclastic faults localized the gravitational structures at 45 sites. The volume of the slope instabilities tends to increase with the amount of reactivated prominent structures and the spacing of the latter controls the size of instabilities.

Political institutions and the development of telecomunications

It has traditionally been argued that the development of telecommunications infrastructure is dependent on the quality of countries’ political institutions. We estimate the effect of political institutions on the diffusion of three telecommunications services and find it to be much smaller in cellular telephony than in the others. By evaluating the importance of institutions for technologies rather than for industries, we reveal important growth opportunities for developing countries and offer policy implications for alleviating differences between countries in international telecommunications development.

Flagellin promotes myeloid differentiation factor 88-dependent development of Th2-type response.

Activation of dendritic cells (DC) by microbial products via Toll-like receptors (TLR) is instrumental in the induction of immunity. In particular, TLR signaling plays a major role in the instruction of Th1 responses. The development of Th2 responses has been proposed to be independent of the adapter molecule myeloid differentiation factor 88 (MyD88) involved in signal transduction by TLRs. In this study we show that flagellin, the bacterial stimulus for TLR5, drives MyD88-dependent Th2-type immunity in mice. Flagellin promotes the secretion of IL-4 and IL-13 by Ag-specific CD4(+) T cells as well as IgG1 responses. The Th2-biased responses are associated with the maturation of DCs, which are shown to express TLR5. Flagellin-mediated DC activation requires MyD88 and induces NF-kappaB-dependent transcription and the production of low levels of proinflammatory cytokines. In addition, the flagellin-specific response is characterized by the lack of secretion of the Th1-promoting cytokine IL-12 p70. In conclusion, this study suggests that flagellin and, more generally, TLR ligands can control Th2 responses in a MyD88-dependent manner.

Age, smoking and overweight contribute to the development of intestinal metaplasia of the cardia.

AIM: To assess the role of Helicobacter pylori (H. pylori), gastroesophageal reflux disease (GERD), age, smoking and body weight on the development of intestinal metaplasia of the gastric cardia (IMC).¦METHODS: Two hundred and seventeen patients scheduled for esophagogastroduodenoscopy were enrolled in this study. Endoscopic biopsies from the esophagus, gastroesophageal junction and stomach were evaluated for inflammation, the presence of H. pylori and intestinal metaplasia. The correlation of these factors with the presence of IMC was assessed using logistic regression.¦RESULTS: IMC was observed in 42% of the patients. Patient age, smoking habit and body mass index (BMI) were found as potential contributors to IMC. The risk of developing IMC can be predicted in theory by combining these factors according to the following formula: Risk of IMC = a + s - 2B where a = 2,...6 decade of age, s = 0 for non-smokers or ex-smokers, 1 for < 10 cigarettes/d, 2 for > 10 cigarettes/d and B = 0 for BMI < 25 kg/m² (BMI < 27 kg/m² in females), 1 for BMI > 25 kg/m² (BMI > 27 kg/m² in females). Among potential factors associated with IMC, H. pylori had borderline significance (P = 0.07), while GERD showed no significance.¦CONCLUSION: Age, smoking and BMI are potential factors associated with IMC, while H. pylori and GERD show no significant association. IMC can be predicted in theory by logistic regression analysis.

New perspectives in the use of ink evidence in forensic science: Part I. Development of a quality assurance process for forensic ink analysis by HPTLC

The level of information provided by ink evidence to the criminal and civil justice system is limited. The limitations arise from the weakness of the interpretative framework currently used, as proposed in the ASTM 1422-05 and 1789-04 on ink analysis. It is proposed to use the likelihood ratio from the Bayes theorem to interpret ink evidence. Unfortunately, when considering the analytical practices, as defined in the ASTM standards on ink analysis, it appears that current ink analytical practices do not allow for the level of reproducibility and accuracy required by a probabilistic framework. Such framework relies on the evaluation of the statistics of the ink characteristics using an ink reference database and the objective measurement of similarities between ink samples. A complete research programme was designed to (a) develop a standard methodology for analysing ink samples in a more reproducible way, (b) comparing automatically and objectively ink samples and (c) evaluate the proposed methodology in a forensic context. This report focuses on the first of the three stages. A calibration process, based on a standard dye ladder, is proposed to improve the reproducibility of ink analysis by HPTLC, when these inks are analysed at different times and/or by different examiners. The impact of this process on the variability between the repetitive analyses of ink samples in various conditions is studied. The results show significant improvements in the reproducibility of ink analysis compared to traditional calibration methods.

Development of tools to measure and explain changes in health inequalities in Scotland and benchmark performance

This project will develop a modelling framework to explain changes in income-related health inequalities and benchmark the performance of Scotland in tackling income-related health inequalities, both over time and relative to that of England and Wales.

Development of advanced silicon radiation detectors for high energy physics and medical imaging

The 1st chapter of this work presents the different experiments and collaborations in which I am involved during my PhD studies of Physics. Following those descriptions, the 2nd chapter is dedicated to how the radiation affects the silicon sensors, as well as some experimental measurements carried out at CERN (Geneve, Schwitzerland) and IFIC (Valencia, Spain) laboratories. Besides the previous investigation results, this chapter includes the most recent scientific papers appeared in the latest RD50 (Research & Development #50) Status Report, published in January 2007, as well as some others published this year. The 3rd and 4th are dedicated to the simulation of the electrical behavior of solid state detectors. In chapter 3 are reported the results obtained for the illumination of edgeless detectors irradiated at different fluences, in the framework of the TOSTER Collaboration. The 4th chapter reports about simulation design, simulation and fabrication of a novel 3D detector developed at CNM for ions detection in the future ITER fusion reactor. This chapter will be extended with irradiation simulations and experimental measurements in my PhD Thesis.