2,404 research outputs found
3 to 12 millimetre studies of dense gas towards the western rim of supernova remnant RX J1713.7-3946
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
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?
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
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
- …