Failure of interpolation in the intuitionistic logic of constant domains

This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation property holds.Comment: 13 pages, 0 figures. Overlaps with arXiv 1202.1195 removed, the text thouroughly reworked in terms of notation and style, historical notes as well as some other minor details adde

Characterization the Cool KOIs. II. The M Dwarf KOI-254 and its Hot Jupiter

We report the confirmation and characterization of a transiting gas giant planet orbiting the M dwarf KOI-254 every 2.455239 days, which was originally discovered by the Kepler mission. We use radial velocity measurements, adaptive optics imaging, and near-infrared spectroscopy to confirm the planetary nature of the transit events. KOI-254 b is the first hot Jupiter discovered around an M-type dwarf star. We also present a new model-independent method of using broadband photometry to estimate the mass and metallicity of an M dwarf without relying on a direct distance measurement. Included in this methodology is a new photometric metallicity calibration based on J – K colors. We use this technique to measure the physical properties of KOI-254 and its planet. We measure a planet mass of M_P = 0.505 M_(Jup), radius R_P = 0.96 R_(Jup), and semimajor axis a = 0.030 AU, based on our measured stellar mass M_* = 0.59 M_☉ and radius R_* = 0.55 R_☉. We also find that the host star is metal-rich, which is consistent with the sample of M-type stars known to harbor giant planets

Initial Results from the Royal College of Radiologists' UK National Audit of Anal Cancer Radiotherapy 2015

Aims: UK guidance was recently developed for the treatment of anal cancer using intensity-modulated radiotherapy (IMRT). We audited the current use of radiotherapy in UK cancer centres for the treatment of anal cancer against such guidance. We describe the acute toxicity of IMRT in comparison with patient population in the audit treated with two-phase conformal radiotherapy and the previous published data from two-phase conformal radiotherapy, in the UK ACT2 trial. Materials and methods: A Royal College of Radiologists' prospective national audit of patients treated with radiotherapy in UK cancer centres was carried out over a 6 month period between February and July 2015. Results: Two hundred and forty-two cases were received from 40/56 cancer centres (71%). In total, 231 (95%) underwent full dose radiotherapy with prophylactic nodal irradiation. Of these, 180 (78%) received IMRT or equivalent, 52 (22%) two-phase conformal (ACT2) technique. The number of interruptions in radiotherapy treatment in the ACT2 trial was 15%. Interruptions were noted in 7% (95% confidence interval 0–14%) of courses receiving two-phase conformal and 4% (95% confidence interval 1–7%) of those receiving IMRT. The percentage of patients completing the planned radiotherapy dose, irrelevant of gaps, was 90% (95% confidence interval 82–98%) and 96% (95% confidence interval 93–99%), in two-phase conformal and IMRT respectively. The toxicity reported in the ACT2 trial, in patients receiving two-phase conformal in the audit and in patients receiving IMRT in the audit was: any toxic effect 71%, 54%, 48%, non-haematological 62%, 49%, 40% and haematological 26%, 13%, 18%, respectively. Conclusions: IMRT implementation for anal cancer is well underway in the UK with most patients receiving IMRT delivery, although its usage is not yet universal. This audit confirms that IMRT results in reduced acute toxicity and minimised treatment interruptions in comparison with previous two-phase conformal techniques

Fast linear algebra is stable

In an earlier paper, we showed that a large class of fast recursive matrix multiplication algorithms is stable in a normwise sense, and that in fact if multiplication of $n$-by-$n$ matrices can be done by any algorithm in $O(n^{\omega + \eta})$ operations for any $\eta > 0$, then it can be done stably in $O(n^{\omega + \eta})$ operations for any $\eta > 0$. Here we extend this result to show that essentially all standard linear algebra operations, including LU decomposition, QR decomposition, linear equation solving, matrix inversion, solving least squares problems, (generalized) eigenvalue problems and the singular value decomposition can also be done stably (in a normwise sense) in $O(n^{\omega + \eta})$ operations.Comment: 26 pages; final version; to appear in Numerische Mathemati

Characterizing the Cool KOIs II. The M Dwarf KOI-254 and its Hot Jupiter

We report the confirmation and characterization of a transiting gas giant planet orbiting the M dwarf KOI-254 every 2.455239 days, which was originally discovered by the Kepler mission. We use radial velocity measurements, adaptive optics imaging and near infrared spectroscopy to confirm the planetary nature of the transit events. KOI-254b is the first hot Jupiter discovered around an M-type dwarf star. We also present a new model-independent method of using broadband photometry to estimate the mass and metallicity of an M dwarf without relying on a direct distance measurement. Included in this methodology is a new photometric metallicity calibration based on J-K colors. We use this technique to measure the physical properties of KOI-254 and its planet. We measure a planet mass of Mp = 0.505 Mjup, radius Rp = 0.96 Rjup and semimajor axis a = 0.03 AU, based on our measured stellar mass Mstar = 0.59 Msun and radius Rstar = 0.55 Rsun. We also find that the host star is metal-rich, which is consistent with the sample of M-type stars known to harbor giant planets.Comment: AJ accepted (in press

Increasing subsequences and the hard-to-soft edge transition in matrix ensembles

Our interest is in the cumulative probabilities Pr(L(t) \le l) for the maximum length of increasing subsequences in Poissonized ensembles of random permutations, random fixed point free involutions and reversed random fixed point free involutions. It is shown that these probabilities are equal to the hard edge gap probability for matrix ensembles with unitary, orthogonal and symplectic symmetry respectively. The gap probabilities can be written as a sum over correlations for certain determinantal point processes. From these expressions a proof can be given that the limiting form of Pr(L(t) \le l) in the three cases is equal to the soft edge gap probability for matrix ensembles with unitary, orthogonal and symplectic symmetry respectively, thereby reclaiming theorems due to Baik-Deift-Johansson and Baik-Rains.Comment: LaTeX, 19 page

The performance of TripleSpec at Palomar

We report the performance of Triplespec from commissioning observations on the 200-inch Hale Telescope at Palomar Observatory. Triplespec is one of a set of three near-infrared, cross-dispersed spectrographs covering wavelengths from 1 - 2.4 microns simultaneously at a resolution of ~2700. At Palomar, Triplespec uses a 1×30 arcsecond slit. Triplespec will be used for a variety of scientific observations, including moderate to high redshift galaxies, star formation, and low mass stars and brown dwarfs. When used in conjunction with an externally dispersed interferometer, Triplespec will also detect and characterize extrasolar planets

Structural signatures of igneous sheet intrusion propagation

The geometry and distribution of planar igneous bodies (i.e. sheet intrusions), such as dykes, sills, and inclined sheets, has long been used to determine emplacement mechanics, define melt source locations, and reconstruct palaeostress conditions to shed light on various tectonic and magmatic processes. Since the 1970’s we have recognised that sheet intrusions do not necessarily display a continuous, planar geometry, but commonly consist of segments. The morphology of these segments and their connectors is controlled by, and provide insights into, the behaviour of the host rock during emplacement. For example, tensile brittle fracturing leads to the formation of intrusive steps or bridge structures between adjacent segments. In contrast, brittle shear faulting, cataclastic and ductile flow processes, as well as heat-induced viscous flow or fluidization, promotes magma finger development. Textural indicators of magma flow (e.g., rock fabrics) reveal that segments are aligned parallel to the initial sheet propagation direction. Recognising and mapping segment long axes thus allows melt source location hypotheses, derived from sheet distribution and orientation, to be robustly tested. Despite the information that can be obtained from these structural signatures of sheet intrusion propagation, they are largely overlooked by the structural and volcanological communities. To highlight their utility, we briefly review the formation of sheet intrusion segments, discuss how they inform interpretations of magma emplacement, and outline future research directions.Facultad de Ciencias Naturales y Muse

Fluorescence characterization of clinically-important bacteria

Healthcare-associated infections (HCAI/HAI) represent a substantial threat to patient health during hospitalization and incur billions of dollars additional cost for subsequent treatment. One promising method for the detection of bacterial contamination in a clinical setting before an HAI outbreak occurs is to exploit native fluorescence of cellular molecules for a hand-held, rapid-sweep surveillance instrument. Previous studies have shown fluorescence-based detection to be sensitive and effective for food-borne and environmental microorganisms, and even to be able to distinguish between cell types, but this powerful technique has not yet been deployed on the macroscale for the primary surveillance of contamination in healthcare facilities to prevent HAI. Here we report experimental data for the specification and design of such a fluorescence-based detection instrument. We have characterized the complete fluorescence response of eleven clinically-relevant bacteria by generating excitation-emission matrices (EEMs) over broad wavelength ranges. Furthermore, a number of surfaces and items of equipment commonly present on a ward, and potentially responsible for pathogen transfer, have been analyzed for potential issues of background fluorescence masking the signal from contaminant bacteria. These include bedside handrails, nurse call button, blood pressure cuff and ward computer keyboard, as well as disinfectant cleaning products and microfiber cloth. All examined bacterial strains exhibited a distinctive double-peak fluorescence feature associated with tryptophan with no other cellular fluorophore detected. Thus, this fluorescence survey found that an emission peak of 340nm, from an excitation source at 280nm, was the cellular fluorescence signal to target for detection of bacterial contamination. The majority of materials analysed offer a spectral window through which bacterial contamination could indeed be detected. A few instances were found of potential problems of background fluorescence masking that of bacteria, but in the case of the microfiber cleaning cloth, imaging techniques could morphologically distinguish between stray strands and bacterial contamination

Anti-cancer effects and mechanism of actions of aspirin analogues in the treatment of glioma cancer

INTRODUCTION: In the past 25 years only modest advancements in glioma treatment have been made, with patient prognosis and median survival time following diagnosis only increasing from 3 to 7 months. A substantial body of clinical and preclinical evidence has suggested a role for aspirin in the treatment of cancer with multiple mechanisms of action proposed including COX 2 inhibition, down regulation of EGFR expression, and NF-κB signaling affecting Bcl-2 expression. However, with serious side effects such as stroke and gastrointestinal bleeding, aspirin analogues with improved potency and side effect profiles are being developed. METHOD: Effects on cell viability following 24 hr incubation of four aspirin derivatives (PN508, 517, 526 and 529) were compared to cisplatin, aspirin and di-aspirin in four glioma cell lines (U87 MG, SVG P12, GOS – 3, and 1321N1), using the PrestoBlue assay, establishing IC50 and examining the time course of drug effects. RESULTS: All compounds were found to decrease cell viability in a concentration and time dependant manner. Significantly, the analogue PN517 (IC50 2mM) showed approximately a twofold increase in potency when compared to aspirin (3.7mM) and cisplatin (4.3mM) in U87 cells, with similar increased potency in SVG P12 cells. Other analogues demonstrated similar potency to aspirin and cisplatin. CONCLUSION: These results support the further development and characterization of novel NSAID derivatives for the treatment of glioma