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...

اندازه‌گیری پرتو گاما در زمینه‌های مختلف تحقیقاتی نیازمند آشکارسازهای کارآمد است. زمینه دزیمتری فوتون آشکارساز جرقه‌ای NaI(Tl) به عنوان یکی از سوسوزن معدنی (غیرآلی)، علت دارا بودن مقدار بالای نور خروجی بسیار حایز اهمیت این پژوهش سعی گردیده است، با کمک کد مونت‌کارلو (MCNPX) مقدمات مشخصه‌یابی توسط و بهره‌گیری روش‌های متفاوت محاسبه دز (تالی‌های 6F، 4*F، 6+F 8*F) انجام شود. طور معمول، یک تابش (شمار...

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,...

Any use of trade, product, or firm names is for descriptive purposes only and does not imply endorsement by the U.S. Government. This publication has not been reviewed for stratigraphic nomenclature. Although this report is in the public domain, permission must be secured from the individual copyright owners to reproduce any copyrighted material contained within this report. Measuring feldspars...