Experimental study of a liquid Xenon PET prototype module

A detector using liquid Xenon in the scintillation mode is studied for Positron Emission Tomography (PET). The specific design aims at taking full advantage of the liquid Xenon properties. It does feature a promising insensitive to any parallax effect. This work reports on the performances of the first LXe prototype module, equipped with a position sensitive PMT operating in the VUV range (178 nm).Comment: Proc. of the 7th International Workshops on Radiation Imaging Detectors (IWORID-7), Grenoble, France 4-7 July 200

NIKEL: Electronics and data acquisition for kilopixels kinetic inductance camera

A prototype of digital frequency multiplexing electronics allowing the real time monitoring of microwave kinetic inductance detector (MKIDs) arrays for mm-wave astronomy has been developed. Thanks to the frequency multiplexing, it can monitor simultaneously 400 pixels over a 500 MHz bandwidth and requires only two coaxial cables for instrumenting such a large array. The chosen solution and the performances achieved are presented in this paper.Comment: 21 pages, 14 figure

The Ring Imaging Cherenkov detector (RICH) of the AMS experiment

The Alpha Magnetic Spectrometer (AMS) experiment to be installed on the International Space Station (ISS) will be equipped with a proximity focusing Ring Imaging Cherenkov (RICH) detector for measuring the electric charge and velocity of the charged cosmic particles. A RICH prototype consisting of 96 photomultiplier units, including a piece of the conical reflector, was built and its performance evaluated with ion beam data. Preliminary results of the in-beam tests performed with ion fragments resulting from collisions of a 158 GeV/c/nuc primary beam of Indium ions (CERN SPS) on a Pb target are reported. The collected data included tests to the final front-end electronics and to different aerogel radiators. Cherenkov rings for a large range of charged nuclei and with reflected photons were observed. The data analysis confirms the design goals. Charge separation up to Fe and velocity resolution of the order of 0.1% for singly charged particles are obtained.Comment: 29th International Conference on Cosmic Rays (Pune, India

The AMS-02 RICH Imager Prototype - In-Beam Tests with 20 GeV/c per Nucleon Ions -

A prototype of the AMS Cherenkov imager (RICH) has been tested at CERN by means of a low intensity 20 GeV/c per nucleon ion beam obtained by fragmentation of a primary beam of Pb ions. Data have been collected with a single beam setting, over the range of nuclear charges 2<Z<~45 in various beam conditions and using different radiators. The charge Z and velocity beta resolutions have been measured.Comment: 4 pages, contribution to the ICRC 200

Neutrophil activation in systemic capillary leak syndrome (Clarkson disease)

Systemic capillary leak syndrome (SCLS; Clarkson disease) is a rare orphan disorder characterized by transient yet recurrent episodes of hypotension and peripheral oedema due to diffuse vascular leakage of fluids and proteins into soft tissues. Humoral mediators, cellular responses and genetic features accounting for the clinical phenotype of SCLS are virtually unknown. Here, we searched for factors altered in acute SCLS plasma relative to matched convalescent samples using multiplexed aptamer‐based proteomic screening. Relative amounts of 612 proteins were changed greater than twofold and 81 proteins were changed at least threefold. Among the most enriched proteins in acute SCLS plasma were neutrophil granule components including bactericidal permeability inducing protein, myeloperoxidase and matrix metalloproteinase 8. Neutrophils isolated from blood of subjects with SCLS or healthy controls responded similarly to routine pro‐inflammatory mediators. However, acute SCLS sera activated neutrophils relative to remission sera. Activated neutrophil supernatants increased permeability of endothelial cells from both controls and SCLS subjects equivalently. Our results suggest systemic neutrophil degranulation during SCLS acute flares, which may contribute to the clinical manifestations of acute vascular leak

Economic precariousness: A new channel in the housing market cycle

Abstract: Demographic and institutional elements, as important drivers of the housing market, should not be neglected since it is not only financial and monetary elements that matter in the case of the housing market. In this context, one relationship, which still remains unclear, is the relationship between the housing and the labour markets. Some research has been undertaken to support the hypothesis that high rates of homeownership lead to high unemployment via increases in the reservation wage. However, further research is needed to address the possible implications of the institutional settings of the labour market in the dynamics of the housing market. The aim of this paper is to bring some light on the link between both markets. In particular, this contribution explains how the housing cycle could be ‘amplified’ via a new channel, i.e. economic precariousness, which is closely related to job insecurity. Subsequently, we provide evidence in the case of five developed economies, Ireland, the Netherlands, Spain, the United Kingdom and the United States, over the period 1985-2013.Not appicabl

Experimental study of a proximity focusing Cherenkov counter prototype for the AMS experiment

A study prototype of Proximity Focussing Ring Imaging Cherenkov counter has been built and tested with several radiators using separately cosmic-ray particles and 12C beam fragmentation products at several energies. Counter prototype and experimental setup are described, and the results of measurements reported and compared with simulation results.The performances are discussed in the perspective of the final counter design.Comment: 27 pages, 16 figures, submitted to NIM

Automating Access Control Logics in Simple Type Theory with LEO-II

Garg and Abadi recently proved that prominent access control logics can be translated in a sound and complete way into modal logic S4. We have previously outlined how normal multimodal logics, including monomodal logics K and S4, can be embedded in simple type theory (which is also known as higher-order logic) and we have demonstrated that the higher-order theorem prover LEO-II can automate reasoning in and about them. In this paper we combine these results and describe a sound and complete embedding of different access control logics in simple type theory. Employing this framework we show that the off the shelf theorem prover LEO-II can be applied to automate reasoning in prominent access control logics.Comment: ii + 20 page