2,404 research outputs found

    3 to 12 millimetre studies of dense gas towards the western rim of supernova remnant RX J1713.7-3946

    Get PDF
    The young X-ray and gamma-ray-bright supernova remnant RXJ1713.7-3946 (SNR G347.3-0.5) is believed to be associated with molecular cores that lie within regions of the most intense TeV emission. Using the Mopra telescope, four of the densest cores were observed using high-critical density tracers such as CS(J=1-0,J=2-1) and its isotopologue counterparts, NH3(1,1) and (2,2) inversion transitions and N2H+(J=1-0) emission, confirming the presence of dense gas >10^4cm^-3 in the region. The mass estimates for Core C range from 40M_{\odot} (from CS(J=1-0)) to 80M_{\odot} (from NH3 and N2H+), an order of magnitude smaller than published mass estimates from CO(J=1-0) observations. We also modelled the energy-dependent diffusion of cosmic-ray protons accelerated by RXJ1713.7-3946 into Core C, approximating the core with average density and magnetic field values. We find that for considerably suppressed diffusion coefficients (factors \chi=10^{-3} down to 10^{-5} the galactic average), low energy cosmic-rays can be prevented from entering the inner core region. Such an effect could lead to characteristic spectral behaviour in the GeV to TeV gamma-ray and multi-keV X-ray fluxes across the core. These features may be measurable with future gamma-ray and multi-keV telescopes offering arcminute or better angular resolution, and can be a novel way to understand the level of cosmic-ray acceleration in RXJ1713.7-3946 and the transport properties of cosmic-rays in the dense molecular cores.Comment: 17 pages, 13 figures and 5 tables. Accepted for publication in MNRAS 2012 February 1

    Foundational Extensible Corecursion

    Full text link
    This paper presents a formalized framework for defining corecursive functions safely in a total setting, based on corecursion up-to and relational parametricity. The end product is a general corecursor that allows corecursive (and even recursive) calls under well-behaved operations, including constructors. Corecursive functions that are well behaved can be registered as such, thereby increasing the corecursor's expressiveness. The metatheory is formalized in the Isabelle proof assistant and forms the core of a prototype tool. The corecursor is derived from first principles, without requiring new axioms or extensions of the logic

    Multi-disciplinary research ethics review: is it feasible?

    Get PDF
    This paper reviews the currently rapid changes in research ethics governance affecting many kinds of social research. Arguments for and against single‐discipline and multidisciplinary research ethics committees will be considered, with examples of how medical and social research ethics can inform one another. We conclude that the use of multidisciplinary research ethics committees, guidance and governance can be an effective and necessary part of social research methodology

    CoCaml: Functional Programming with Regular Coinductive Types

    Get PDF
    Functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development of functional programming are inductive and coinductive types and associated programming constructs, such as pattern-matching. Whereas inductive types have a long tradition and are well supported in most languages, coinductive types are subject of more recent research and are less mainstream. We present CoCaml, a functional programming language extending OCaml, which allows us to define recursive functions on regular coinductive datatypes. These functions are defined like usual recursive functions, but parameterized by an equation solver. We present a full implementation of all the constructs and solvers and show how these can be used in a variety of examples, including operations on infinite lists, infinitary γ-terms, and p-adic numbers

    Excitation mechanism of waves in the Earth's core

    Get PDF
    corecore