This release includes data and information necessary to perform independent analyses of the COHERENT result presented in Akimov et al., arXiv:1708.01294 [nucl-ex]. Data is shared in a binned, text-based format, including both "signal" and "background" regions, so that counts and associated uncertainties can be quantitatively calculated for the purpose of separate analyses. This document describes the included information and its format, offering some guidance on use of the data. Accompanying code examples show basic interaction with the data using Python.

The primary goal of the COHERENT collaboration is to measure and study coherent elastic neutrino-nucleus scattering (CEvNS) using the high-power, few-tens-of-MeV, pulsed source of neutrinos provided by the Spallation Neutron Source (SNS) at Oak Ridge National Laboratory (ORNL). The COHERENT collaboration reported the first detection of CEvNS [Akimov:2017ade] using a CsI[Na] detector. At present the collaboration is deploying four detector technologies: a CsI[Na] scintillating crystal, p-type point-contact germanium detectors, single-phase liquid argon, and NaI[Tl] crystals. All detectors are located in the neutron-quiet basement of the SNS target building at distances 20-30 m from the SNS neutrino source. The simultaneous measurement in all four COHERENT detector subsystems will test the $N^2$ dependence of the cross section and search for new physics. In addition, COHERENT is measuring neutrino-induced neutrons from charged- and neutral-current neutrino interactions on nuclei in shielding materials, which represent a non-negligible background for CEvNS as well as being of intrinsic interest. The Collaboration is planning as well to look for charged-current interactions of relevance to supernova and weak-interaction physics. This document describes concisely the COHERENT physics motivations, sensitivity, and next plans for measurements at the SNS to be accomplished on a few-year timescale.

The coherent elastic scattering of neutrinos off nuclei has eluded detection for four decades, even though its predicted cross-section is the largest by far of all low-energy neutrino couplings. This mode of interaction provides new opportunities to study neutrino properties, and leads to a miniaturization of detector size, with potential technological applications. We observe this process at a 6.7-sigma confidence level, using a low-background, 14.6-kg CsI[Na] scintillator exposed to the neutrino emissions from the Spallation Neutron Source (SNS) at Oak Ridge National Laboratory. Characteristic signatures in energy and time, predicted by the Standard Model for this process, are observed in high signal-to-background conditions. Improved constraints on non-standard neutrino interactions with quarks are derived from this initial dataset.

Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly accepted SC-square project (H2020-FETOPEN-CSA) is to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap from theory along the way to tools and (industrial) applications. In this paper we report on the aims and on the first activities of this project, and formalise some relevant challenges for the unified SC-square community.

Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities.

The COHERENT collaboration's primary objective is to measure coherent elastic neutrino-nucleus scattering (CEvNS) using the unique, high-quality source of tens-of-MeV neutrinos provided by the Spallation Neutron Source (SNS) at Oak Ridge National Laboratory (ORNL). In spite of its large cross section, the CEvNS process has never been observed, due to tiny energies of the resulting nuclear recoils which are out of reach for standard neutrino detectors. The measurement of CEvNS has now become feasible, thanks to the development of ultra-sensitive technology for rare decay and weakly-interacting massive particle (dark matter) searches. The CEvNS cross section is cleanly predicted in the standard model; hence its measurement provides a standard model test. It is relevant for supernova physics and supernova-neutrino detection, and enables validation of dark-matter detector background and detector-response models. In the long term, precision measurement of CEvNS will address questions of nuclear structure. COHERENT will deploy multiple detector technologies in a phased approach: a 14-kg CsI[Na] scintillating crystal, 15 kg of p-type point-contact germanium detectors, and 100 kg of liquid xenon in a two-phase time projection chamber. Following an extensive background measurement campaign, a location in the SNS basement has proven to be neutron-quiet and suitable for deployment of the COHERENT detector suite. The simultaneous deployment of the three COHERENT detector subsystems will test the $N^2$ dependence of the cross section and ensure an unambiguous discovery of CEvNS. This document describes concisely the COHERENT physics motivations, sensitivity and plans for measurements at the SNS to be accomplished on a four-year timescale.

Forward calorimetry in the PHOBOS detector has been used to study charged hadron production in d+Au, p+Au and n+Au collisions at sqrt(s_nn) = 200 GeV. The forward proton calorimeter detectors are described and a procedure for determining collision centrality with these detectors is detailed. The deposition of energy by deuteron spectator nucleons in the forward calorimeters is used to identify p+Au and n+Au collisions in the data. A weighted combination of the yield of p+Au and n+Au is constructed to build a reference for Au+Au collisions that better matches the isospin composition of the gold nucleus. The p_T and centrality dependence of the yield of this improved reference system is found to match that of d+Au. The shape of the charged particle transverse momentum distribution is observed to extrapolate smoothly from pbar+p to central d+Au as a function of the charged particle pseudorapidity density. The asymmetry of positively- and negatively-charged hadron production in p+Au is compared to that of n+Au. No significant asymmetry is observed at mid-rapidity. These studies augment recent results from experiments at the LHC and RHIC facilities to give a more complete description of particle production in p+A and d+A collisions, essential for the understanding the medium produced in high energy nucleus-nucleus collisions.

In early 2010, the Long-Baseline Neutrino Experiment (LBNE) science collaboration initiated a study to investigate the physics potential of the experiment with a broad set of different beam, near- and far-detector configurations. Nine initial topics were identified as scientific areas that motivate construction of a long-baseline neutrino experiment with a very large far detector. We summarize the scientific justification for each topic and the estimated performance for a set of far detector reference configurations. We report also on a study of optimized beam parameters and the physics capability of proposed Near Detector configurations. This document was presented to the collaboration in fall 2010 and updated with minor modifications in early 2011.

The High Level Trigger (HLT) system of the ALICE experiment is an online event filter and trigger system designed for input bandwidths of up to 25 GB/s at event rates of up to 1 kHz. The system is designed as a scalable PC cluster, implementing several hundred nodes. The transport of data in the system is handled by an object-oriented data flow framework operating on the basis of the publisher-subscriber principle, being designed fully pipelined with lowest processing overhead and communication latency in the cluster. In this paper, we report the latest measurements where this framework has been operated on five different sites over a global north-south link extending more than 10,000 km, processing a ``real-time'' data flow.

This paper reports on the systematic electromechanical characterization of a new three-axial force sensor used in dimensional metrology of micro components. The siliconbased sensor system consists of piezoresistive mechanicalstress transducers integrated in thin membrane hinges supporting a suspended flexible cross structure. The mechanical behavior of the fragile micromechanical structure isanalyzed for both static and dynamic load cases. This work demonstrates that the silicon microstructure withstands static forces of 1.16N applied orthogonally to the front-side of the structure. A statistical Weibull analysis of the measured data shows that these values are significantly reduced if the normal force is applied to the back of the sensor. Improvements of the sensor system design for future development cycles are derived from the measurement results.