• ### TiCkS: A Flexible White-Rabbit Based Time-Stamping Board(1710.07128)

Oct. 19, 2017 astro-ph.IM
We have developed the TiCkS board (Time and Clock Stamping) based on the White Rabbit (WR) SPEC node (Simple PCIe FMC carrier), to provide ns-precision time-stamps (TSs) of input signals (e.g., triggers from a connected device) and transmission of these TSs to a central collection point. TiCkS was developed within the specifications of the Cherenkov Telescope Array (CTA) as one of the candidate TS nodes, with a small form-factor allowing its use in any CTA camera. The essence of this development concerns the firmware in its Spartan-6 FPGA (Field-Programmable Gate Array), with the addition of: 1) a ns-precision TDC (Time-to-Digital Convertor) for the TSs; and 2) a UDP stack (User Datagram Protocol) to send TSs and auxiliary information over the WR fibre, and to receive configuration & slow control commands over the same fibre. It also provides a PPS (Pulse Per Second) and other clock signals to the connected device, from which it can receive auxiliary event-type information over an SPI link (Serial Peripheral Interface). A version of TiCkS with an FMC connector (FPGA Mezzanine Card) will be made available in the WR OpenHardware repository, so allowing the use of a mezzanine card with varied formats of input/output connectors, providing a cheap, flexible, and reliable solution for ns-precision time-stamping of trigger signals up to 400 kHz, for use in other experiments.
• The flux of very high-energy neutrinos produced in our Galaxy by the interaction of accelerated cosmic rays with the interstellar medium is not yet determined. The characterization of this flux will shed light on Galactic accelerator features, gas distribution morphology and Galactic cosmic ray transport. The central Galactic plane can be the site of an enhanced neutrino production, thus leading to anisotropies in the extraterrestrial neutrino signal as measured by the IceCube Collaboration. The ANTARES neutrino telescope, located in the Mediterranean Sea, offers a favourable view on this part of the sky, thereby allowing for a contribution to the determination of this flux. The expected diffuse Galactic neutrino emission can be obtained linking a model of generation and propagation of cosmic rays with the morphology of the gas distribution in the Milky Way. In this paper, the so-called "Gamma model" introduced recently to explain the high-energy gamma ray diffuse Galactic emission, is assumed as reference. The neutrino flux predicted by the "Gamma model" depends of the assumed primary cosmic ray spectrum cut-off. Considering a radially-dependent diffusion coefficient, this proposed scenario is able to account for the local cosmic ray measurements, as well as for the Galactic gamma ray observations. Nine years of ANTARES data are used in this work to search for a possible Galactic contribution according to this scenario. All flavour neutrino interactions are considered. No excess of events is observed and an upper limit is set on the neutrino flux of $1.1$ ($1.2$) times the prediction of the "Gamma model" assuming the primary cosmic ray spectrum cut-off at 5 (50) PeV. This limit excludes the diffuse Galactic neutrino emission as the major cause of the "spectral anomaly" between the two hemispheres measured by IceCube.
• NectarCAM is a camera proposed for the medium-sized telescopes of the Cherenkov Telescope Array (CTA) covering the central energy range of ~100 GeV to ~30 TeV. It has a modular design and is based on the NECTAr chip, at the heart of which is a GHz sampling Switched Capacitor Array and a 12-bit Analog to Digital converter. The camera will be equipped with 265 7-photomultiplier modules, covering a field of view of 8 degrees. Each module includes the photomultiplier bases, high voltage supply, pre-amplifier, trigger, readout and Ethernet transceiver. The recorded events last between a few nanoseconds and tens of nanoseconds. The camera trigger will be flexible so as to minimize the read-out dead-time of the NECTAr chips. NectarCAM is designed to sustain a data rate of more than 4 kHz with less than 5\% dead time. The camera concept, the design and tests of the various subcomponents and results of thermal and electrical prototypes are presented. The design includes the mechanical structure, cooling of the electronics, read-out, clock distribution, slow control, data-acquisition, triggering, monitoring and services.
• ### Reproducing properties of MW dSphs as descendants of DM-free TDGs(1405.2071)

May 8, 2014 astro-ph.GA
The Milky Way (MW) dwarf spheroidal (dSph) satellites are known to be the most dark-matter (DM) dominated galaxies with estimates of dark to baryonic matter reaching even above one hundred. It comes from the assumption that dwarfs are dynamically supported by their observed velocity dispersions. However their spatial distributions around the MW is not at random and this could challenge their origin, previously assumed to be residues of primordial galaxies accreted by the MW potential. Here we show that alternatively, dSphs could be the residue of tidal dwarf galaxies (TDGs), which would have interacted with the Galactic hot gaseous halo and disk. TDGs are gas-rich and have been formed in a tidal tail produced during an ancient merger event at the M31 location, and expelled towards the MW. Our simulations show that low-mass TDGs are fragile to an interaction with the MW disk and halo hot gas. During the interaction, their stellar content is progressively driven out of equilibrium and strongly expands, leading to low surface brightness feature and mimicking high dynamical M/L ratios. Our modeling can reproduce the properties, including the kinematics, of classical MW dwarfs within the mass range of the Magellanic Clouds to Draco. An ancient gas-rich merger at the M31 location could then challenge the currently assumed high content of dark matter in dwarf galaxies. We propose a simple observational test with the coming GAIA mission, to follow their expected stellar expansion, which should not be observed within the current theoretical framework.
• ### On Global Types and Multi-Party Session(1203.0780)

March 13, 2012 cs.PL
Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type. In addition to the technical content, we discuss some limitations of our language of global types and provide an extensive comparison with related specification languages adopted in different communities.