Orléans Skeleton Library (OSL) is a library of parallel algorithmic skeletons in C++ on top of MPI. It provides a structured approach towards parallel programming. Skeletons in OSL are based on the bulk synchronous parallelism model. In this paper we present formal semantics of OSL: a programming model and its properties proved with the Coq assistant.

This study has investigated the optically stimulated luminescence (OSL) of household salt and chemically pure NaCl after exposure in different radiation environments. The response relative to thermoluminescent dosimetry using LiF has been investigated to determine if OSL in NaCl can be considered as an alternative to measurements of thermoluminescence in LiF. A selection of staff members at the...

The goal of this work was to investigate the relevant dosimetric and luminescent properties of MgO:Li3%,Ce0.03%,Sm0.03%, a newly-developed, high sensitivity Optically Stimulated Luminescence (OSL) material of low effective atomic number (Zeff = 10.8) and potential interest for medical and personal dosimetry. We characterized the thermoluminescence (TL), OSL, radioluminescence (RL), and OSL emis...

The possibility of using Brazilian stones in gamma high-dose dosimetry was investigated at IPEN using the optically stimulated luminescence (OSL) technique. Agate samples were studied in relation to their OSL dosimetric properties, in this work. The samples were irradiated at a Gamma-Cell system (Co). The calibration curves show a sublinear behavior between 50 Gy and 300 kGy, and the lower dete...

The significance and extent of band-tail states in the luminescence and dosimetry properties of natural aluminosilicates (feldspars) is investigated by means of studies using low temperature (10 K) irradiation and optically stimulated luminescence (OSL) stimulation spectroscopy, and thermoluminescence (TL) in the range 10-200 K, made in comparison with high temperature (300 K) irradiation and p...

This paper characterizes a subclass of subsequential string-to-string functions called Output Strictly Local (OSL) and presents a learning algorithm which provably learns any OSL function in polynomial time and data. This algorithm is more efficient than other existing ones capable of learning this class. The OSL class is motivated by the study of the nature of string-to-string transformations,...