Refine
Has Fulltext
- no (3)
Document Type
- Article (3)
Language
- English (3)
Is part of the Bibliography
- yes (3)
Keywords
We introduce a type and effect system, for an imperative object calculus, which infers sharing possibly introduced by the evaluation of an expression, represented as an equivalence relation among its free variables. This direct representation of sharing effects at the syntactic level allows us to express in a natural way, and to generalize, widely-used notions in literature, notably uniqueness and borrowing. Moreover, the calculus is pure in the sense that reduction is defined on language terms only, since they directly encode store. The advantage of this non-standard execution model with respect to a behaviorally equivalent standard model using a global auxiliary structure is that reachability relations among references are partly encoded by scoping. (C) 2018 Elsevier B.V. All rights reserved.
Context. We map the interstellar medium (ISM) including the diffuse interstellar bands (DIBs) in absorption toward the globular cluster NGC6397 using VLT/MUSE. Assuming the absorbers are located at the rim of the Local Bubble we trace structures on the order of mpc (milliparsec, a few thousand AU). Aims. We aimed to demonstrate the feasibility to map variations of DIBs on small scales with MUSE. The sightlines defined by binned stellar spectra are separated by only a few arcseconds and we probe the absorption within a physically connected region. Methods. This analysis utilized the fitting residuals of individual stellar spectra of NGC6397 member stars and analyzed lines from neutral species and several DIBs in Voronoi-binned composite spectra with high signal-to-noise ratio (S/N). Results. This pilot study demonstrates the power of MUSE for mapping the local ISM on very small scales which provides a new window for ISM observations. We detect small scale variations in Na-I and K-I as well as in several DIBs within few arcseconds, or mpc with regard to the Local Bubble. We verify the suitability of the MUSE 3D spectrograph for such measurements and gain new insights by probing a single physical absorber with multiple sight lines.
Measurement of the EBL spectral energy distribution using the VHE gamma-ray spectra of HESS blazars
(2017)
Very high-energy gamma rays (VHE, E greater than or similar to 100 GeV) propagating over cosmological distances can interact with the low-energy photons of the extragalactic background light (EBL) and produce electron-positron pairs. The transparency of the Universe to VHE gamma rays is then directly related to the spectral energy distribution (SED) of the EBL. The observation of features in the VHE energy spectra of extragalactic sources allows the EBL to be measured, which otherwise is very difficult. An EBL model-independent measurement of the EBL SED with the H.E.S.S. array of Cherenkov telescopes is presented. It was obtained by extracting the EBL absorption signal from the reanalysis of high-quality spectra of blazars. From H.E.S.S. data alone the EBL signature is detected at a significance of 9.5 sigma, and the intensity of the EBL obtained in different spectral bands is presented together with the associated gamma-ray horizon.