A mathematical model for determining the tool-chip interface temperature

The temperature encountered in a metal cutting operation is considered the most important factor to the proper functioning of a cuttingtool. Of the experimental methods available to measure cutting temperatures, most are highly inaccurate or involve cumbersome experimental setups. Analytical models have been developed to determine average interface temperatures and temperature distributions of the interface area. At present these models are based on over-generalized assumptions and have not been verified experimentally. This thesis shows the development of an analytical model for determining the interface temperatures when using a relaxation technique

Pleistocene rhyolite of the mineral mountains, Utah geothermal and archeological significance

Journal Articl

Whole genome sequencing and prediction of antimicrobial susceptibilities in non-tuberculous mycobacteria

Non-tuberculous mycobacteria (NTM) are opportunistic pathogens commonly causing chronic, pulmonary disease which is notoriously hard to treat. Current treatment for NTM infections involves at least three active drugs (including one macrolide: clarithromycin or azithromycin) over 12 months or longer. At present there are limited phenotypic in vitro drug susceptibility testing options for NTM which are standardised globally. As seen with tuberculosis, whole genome sequencing has the potential to transform drug susceptibility testing in NTM, by utilising a genotypic approach. The Comprehensive Resistance Prediction for Tuberculosis is a database used to predict Mycobacterium tuberculosis resistance: at present there are no similar databases available to accurately predict NTM resistance. Recent studies have shown concordance between phenotypic and genotypic NTM resistance results. To benefit from the advantages of whole genome sequencing, further advances in resistance prediction need to take place, as well as there being better information on novel drug mutations and an understanding of the impact of whole genome sequencing on NTM treatment outcomes

Local syzygies of multiplier ideals

In recent years, multiplier ideals have found many applications in local and global algebraic geometry. Because of their importance, there has been some interest in the question of which ideals on a smooth complex variety can be realized as multiplier ideals. Other than integral closure no local obstructions have been known up to now, and in dimension two it was established by Favre-Jonsson and Lipman-Watanabe that any integrally closed ideal is locally a multiplier ideal. We prove the somewhat unexpected result that multiplier ideals in fact satisfy some rather strong algebraic properties involving higher syzygies. It follows that in dimensions three and higher, multiplier ideals are very special among all integrally closed ideals.Comment: 8 page

The Invisible Thin Red Line

The aim of this paper is to argue that the adoption of an unrestricted principle of bivalence is compatible with a metaphysics that (i) denies that the future is real, (ii) adopts nomological indeterminism, and (iii) exploits a branching structure to provide a semantics for future contingent claims. To this end, we elaborate what we call Flow Fragmentalism, a view inspired by Kit Fine (2005)’s non-standard tense realism, according to which reality is divided up into maximally coherent collections of tensed facts. In this way, we show how to reconcile a genuinely A-theoretic branching-time model with the idea that there is a branch corresponding to the thin red line, that is, the branch that will turn out to be the actual future history of the world

Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets

In the context of strategic games, we provide an axiomatic proof of the statement Common knowledge of rationality implies that the players will choose only strategies that survive the iterated elimination of strictly dominated strategies. Rationality here means playing only strategies one believes to be best responses. This involves looking at two formal languages. One is first-order, and is used to formalise optimality conditions, like avoiding strictly dominated strategies, or playing a best response. The other is a modal fixpoint language with expressions for optimality, rationality and belief. Fixpoints are used to form expressions for common belief and for iterated elimination of non-optimal strategies.Comment: 16 pages, Proc. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI). To appea

Blue and Red Cathodoluminescent Emission of Y2O3:Eu Phosphor Studied as a Function of Temperature in a Transmission Electron Microscope

Combined EELS, CL and STEM imaging are used to characterize and study Y2O3:Eu to confirm the variation in CL properties and photo-luminescent properties observed. The synthetic procedures used have facilitated this material to manifest a strong blue emission at low temperature with the expected red emission dominating at room temperature