Linac modeling for external beam radiotherapy quality assurance using a dedicated 2D pixelated detector

International audienceQuality assurance is a key issue in intensity modulated radiotherapy. Errors can occur in the dose delivery process induces significant differences between the planned treatment and the delivered one. In this context, the Medical Application Physics group of the LPSC is developing TraDeRa (Transparent Detector for Radiotherapy), a 2D pixelated matrix of ionization chambers located upstream to the patient. The signal map obtained with TraDeRa has to be processed to provide medical observables to quantify the quality of the treatment delivery. This relies on accurate Monte Carlo simulations benchmarked with measurements performed under a linear accelerator (Linac).The work described in this paper lies in the optimization of the Linac head simulation and the development of an innovative Monte Carlo/measurements comparison method to perform an accurate enough model of the X-ray production device. An optimized parametrization of the particles transport allowed an increase of the simulation efficiency by a factor 3. The characteristics of an electron beam of a reference Linac were matched with the simulation results by using dose deposition of the created X-ray beam in a water tank. Two parameters are particularly critical: the nominal energy of the electrons and the radial distribution of impact on the target. The innovative method was able to provide within minutes those two parameters for any Linac, achieving, for example, a 10 keV precision on the energy determination for a 6 MV operating Linac

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

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

Determinants of Performance in the Timed Up-and-Go and Six-Minute Walk Tests in Young and Old Healthy Adults

The aim of this study was to assess associations between performance in the timed up-and-go (TUG) and six-minute walk distance (6MWD) with physiological characteristics in young and old healthy adults. Thereto, we determined TUG, 6MWD, normalised jump power, centre of pressure displacement during 1-leg standing, forced expiratory volume in 1 s, percentage of age-predicted maximal heart rate (HR%) and height in 419 healthy young (men: 23.5 ± 2.8 years, women: 23.2 ± 2.9 years) and old (men: 74.6 ± 3.2 years, women: 74.1 ± 3.2 years) adults. Normalised jump power explained 8% and 19% of TUG in young (p = 0.025) and older men (p < 0.001), respectively. When fat mass percentage and age were added to normalised jump power, 30% of TUG was explained in older men (R2adj = 0.30, p < 0.001 to 0.106). Appendicular lean muscle mass percentage (ALM%) and age were the best determinants of TUG for older women (R2adj = 0.16, p < 0.001 to 0.01). HR% explained 17–39% of 6MWD across all groups (R2adj = 0.17 to 39, p < 0.001). In conclusion, in men, jump power was a key determinant for TUG, while in old women only it was the ALM%. As HR% was the most important determinant of 6MWD, motivational bias needs to be considered in the interpretation of this test

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

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Position resolution and particle identification with the ATLAS EM calorimeter

In the years between 2000 and 2002 several pre-series and series modules of the ATLAS EM barrel and end-cap calorimeter were exposed to electron, photon and pion beams. The performance of the calorimeter with respect to its finely segmented first sampling has been studied. The polar angle resolution has been found to be in the range 50-60 mrad/sqrt(E (GeV)). The neutral pion rejection has been measured to be about 3.5 for 90% photon selection efficiency at pT=50 GeV/c. Electron-pion separation studies have indicated that a pion fake rate of (0.07-0.5)% can be achieved while maintaining 90% electron identification efficiency for energies up to 40 GeV.Comment: 32 pages, 22 figures, to be published in NIM