598 research outputs found

    Photoconductance Quantization in a Single-Photon Detector

    Get PDF
    We have made a single-photon detector that relies on photoconductive gain in a narrow electron channel in an AlGaAs/GaAs 2-dimensional electron gas. Given that the electron channel is 1-dimensional, the photo-induced conductance has plateaus at multiples of the quantum conductance 2e2^{2}/h. Super-imposed on these broad conductance plateaus are many sharp, small, conductance steps associated with single-photon absorption events that produce individual photo-carriers. This type of photoconductive detector could measure a single photon, while safely storing and protecting the spin degree of freedom of its photo-carrier. This function is valuable for a quantum repeater that would allow very long distance teleportation of quantum information.Comment: 4 pages, 4 figure

    Mining State-Based Models from Proof Corpora

    Full text link
    Interactive theorem provers have been used extensively to reason about various software/hardware systems and mathematical theorems. The key challenge when using an interactive prover is finding a suitable sequence of proof steps that will lead to a successful proof requires a significant amount of human intervention. This paper presents an automated technique that takes as input examples of successful proofs and infers an Extended Finite State Machine as output. This can in turn be used to generate proofs of new conjectures. Our preliminary experiments show that the inferred models are generally accurate (contain few false-positive sequences) and that representing existing proofs in such a way can be very useful when guiding new ones.Comment: To Appear at Conferences on Intelligent Computer Mathematics 201

    Quenched QCD with fixed-point and chirally improved fermion

    Get PDF
    In this contribution we present results from quenched QCD simulations with the parameterized fixed-point (FP) and the chirally improved (CI) Dirac operator. Both these operators are approximate solutions of the Ginsparg-Wilson equation and have good chiral properties. We focus our discussion on observables sensitive to chirality. In particular we explore pion masses down to 210 MeV in light hadron spectroscopy, quenched chiral logs, the pion decay constant and the pion scattering length. We discuss finite volume effects, scaling properties of the FP and CI operators and performance issues in their numerical implementation.Comment: Lattice2002(chiral), 17 pages, 21 figures, (LaTeX style file espcrc2.sty and AMS style files

    High salt reduces the activation of IL-4- and IL-13-stimulated macrophages

    Get PDF
    A high intake of dietary salt (NaCl) has been implicated in the development of hypertension, chronic inflammation, and autoimmune diseases. We have recently shown that salt has a proinflammatory effect and boosts the activation of Th17 cells and the activation of classical, LPS-induced macrophages (M1). Here, we examined how the activation of alternative (M2) macrophages is affected by salt. In stark contrast to Th17 cells and M1 macrophages, high salt blunted the alternative activation of BM-derived mouse macrophages stimulated with IL-4 and IL-13, M(IL-4+IL-13) macrophages. Salt-induced reduction of M(IL-4+IL-13) activation was not associated with increased polarization toward a proinflammatory M1 phenotype. In vitro, high salt decreased the ability of M(IL-4+IL-13) macrophages to suppress effector T cell proliferation. Moreover, mice fed a high salt diet exhibited reduced M2 activation following chitin injection and delayed wound healing compared with control animals. We further identified a high salt-induced reduction in glycolysis and mitochondrial metabolic output, coupled with blunted AKT and mTOR signaling, which indicates a mechanism by which NaCl inhibits full M2 macrophage activation. Collectively, this study provides evidence that high salt reduces noninflammatory innate immune cell activation and may thus lead to an overall imbalance in immune homeostasis

    The First VERITAS Telescope

    Full text link
    The first atmospheric Cherenkov telescope of VERITAS (the Very Energetic Radiation Imaging Telescope Array System) has been in operation since February 2005. We present here a technical description of the instrument and a summary of its performance. The calibration methods are described, along with the results of Monte Carlo simulations of the telescope and comparisons between real and simulated data. The analysis of TeV γ\gamma-ray observations of the Crab Nebula, including the reconstructed energy spectrum, is shown to give results consistent with earlier measurements. The telescope is operating as expected and has met or exceeded all design specifications.Comment: Accepted by Astroparticle Physic

    Using social cognitive career theory to understand why students choose to study computer science

    Get PDF
    The aim of this research is to use Social Cognitive Career Theory (SCCT) to identify and understand reasons why students choose to study Computer Science (CS) at university. SCCT focuses on students’ prior experience, social support, self-efficacy and outcome expectation. The research is part motivated by the desire to increase female participation rates in CS, particularly in the UK. Policymakers can use the factors that both females and males identify as influencing their choice of studying CS to enhance the experiences of all students prior to coming to university, but female students in particular. The study uses a semi-structured interview with 17 mixed gender subjects currently studying CS at three Scottish universities. The findings are that social support from family, teachers, friends and mentors is a particularly important factor in choosing to study CS, especially for female subjects. The career paths offered by a CS degree is another major factor, not just the potential jobs, but also the general value of a CS education and the potential to make useful contributions to society. School education appeared to have limited influence, though exposure to problem solving, programming, online self-learning and internships are positive influences. The stereotypical view of CS students as ‘geeks’ is outdated and unhelpful – it is more appropriate to see them as ‘analytical’ or ‘over-achievers’. Subjects make many suggestions for improving the CS education provided at school, especially to make it more attractive to females, including: make it compulsory, teach it earlier, include more programming and problem solving, and increase the visibility of female exemplars and role models

    ECCD-induced sawtooth crashes at W7-X

    Get PDF
    The optimised superconducting stellarator W7-X generates its rotational transform by means of external coils, therefore no toroidal current is necessary for plasma confinement. Electron cyclotron current drive experiments were conducted for strikeline control and safe divertor operation. During current drive experiments periodic and repetitive crashes of the central electron temperature, similar to sawtooth crashes in tokamaks, were detected. Measurements from soft x-ray tomography and electron cyclotron emission show that the crashes are preceded by weak oscillating precursors and a displacement of the plasma core, consistent with a (m, n)=(1, 1) mode. The displacement occurs within 100μs, followed by expulsion and redistribution of the core into the external part of the plasma. Two types of crashes, with different frequencies and amplitudes are detected in the experimental program. For these non-stationary parameters a strong dependence on the toroidal current is found. A 1-D heuristic model for current diffusion is proposed as a first step to explain the characteristic crash time. Initial results show that the modelled current diffusion timescale is consistent with the initial crash frequency and that the toroidal current rise shifts the position where the instability is triggered, resulting in larger crash amplitudes

    Pulsar-wind nebulae and magnetar outflows: observations at radio, X-ray, and gamma-ray wavelengths

    Get PDF
    We review observations of several classes of neutron-star-powered outflows: pulsar-wind nebulae (PWNe) inside shell supernova remnants (SNRs), PWNe interacting directly with interstellar medium (ISM), and magnetar-powered outflows. We describe radio, X-ray, and gamma-ray observations of PWNe, focusing first on integrated spectral-energy distributions (SEDs) and global spectral properties. High-resolution X-ray imaging of PWNe shows a bewildering array of morphologies, with jets, trails, and other structures. Several of the 23 so far identified magnetars show evidence for continuous or sporadic emission of material, sometimes associated with giant flares, and a few possible "magnetar-wind nebulae" have been recently identified.Comment: 61 pages, 44 figures (reduced in quality for size reasons). Published in Space Science Reviews, "Jets and Winds in Pulsar Wind Nebulae, Gamma-ray Bursts and Blazars: Physics of Extreme Energy Release

    Partial Wave Analysis of J/ψγ(K+Kπ+π)J/\psi \to \gamma (K^+K^-\pi^+\pi^-)

    Full text link
    BES data on J/ψγ(K+Kπ+π)J/\psi \to \gamma (K^+K^-\pi^+\pi^-) are presented. The KKˉK^*\bar K^* contribution peaks strongly near threshold. It is fitted with a broad 0+0^{-+} resonance with mass M=1800±100M = 1800 \pm 100 MeV, width Γ=500±200\Gamma = 500 \pm 200 MeV. A broad 2++2^{++} resonance peaking at 2020 MeV is also required with width 500\sim 500 MeV. There is further evidence for a 2+2^{-+} component peaking at 2.55 GeV. The non-KKˉK^*\bar K^* contribution is close to phase space; it peaks at 2.6 GeV and is very different from KKˉK^{*}\bar{K^{*}}.Comment: 15 pages, 6 figures, 1 table, Submitted to PL
    corecore