Measurement of spark probability of GEM detector for CBM muon chamber (MUCH)

The stability of triple GEM detector setups in an environment of high energetic showers is studied. To this end the spark probability in a shower environment is compared to the spark probability in a pion beam.Comment: 5 pages, 10 figure

Study of the characteristics of GEM detectors for the future FAIR experiment CBM

Characteristics of triple GEM detector have been studied systematically. The variation of the effective gain and energy resolution of GEM with variation of the applied voltage has been measured with Fe55 X-ray source for different gas mixtures and with different gas flow rates. Long-term test of the GEM has also been performed.Comment: 2 Pages, 6 figure

Verification of loop parallelisations

Writing correct parallel programs becomes more and more difficult as the complexity and heterogeneity of processors increase. This issue is addressed by parallelising compilers. Various compiler directives can be used to tell these compilers where to parallelise. This paper addresses the correctness of such compiler directives for loop parallelisation. Specifically, we propose a technique based on separation logic to verify whether a loop can be parallelised. Our approach requires each loop iteration to be specified with the locations that are read and written in this iteration. If the specifications are correct, they can be used to draw conclusions about loop (in)dependences. Moreover, they also reveal where synchronisation is needed in the parallelised program. The loop iteration specifications can be verified using permission-based separation logic and seamlessly integrate with functional behaviour specifications. We formally prove the correctness of our approach and we discuss automated tool support for our technique. Additionally, we also discuss how the loop iteration contracts can be compiled into specifications for the code coming out of the parallelising compiler

Efficiency determination of resistive plate chambers for fast quasi-monoenergetic neutrons

Composite detectors made of stainless steel converters and multigap resistive plate chambers have been irradiated with quasi-monoenergetic neutrons with a peak energy of 175MeV. The neutron detection efficiency has been determined using two different methods. The data are in agreement with the output of Monte Carlo simulations. The simulations are then extended to study the response of a hypothetical array made of these detectors to energetic neutrons from a radioactive ion beam experiment.Comment: Submitted to Eur.Phys.J. A; upgraded version correcting some typos and updating ref.