1,484 research outputs found

    The Light Lexicographic path Ordering

    Full text link
    We introduce syntactic restrictions of the lexicographic path ordering to obtain the Light Lexicographic Path Ordering. We show that the light lexicographic path ordering leads to a characterisation of the functions computable in space bounded by a polynomial in the size of the inputs

    Qualification Tests of the R11410-21 Photomultiplier Tubes for the XENON1T Detector

    Full text link
    The Hamamatsu R11410-21 photomultiplier tube is the photodetector of choice for the XENON1T dual-phase time projection chamber. The device has been optimized for a very low intrinsic radioactivity, a high quantum efficiency and a high sensitivity to single photon detection. A total of 248 tubes are currently operated in XENON1T, selected out of 321 tested units. In this article the procedures implemented to evaluate the large number of tubes prior to their installation in XENON1T are described. The parameter distributions for all tested tubes are shown, with an emphasis on those selected for XENON1T, of which the impact on the detector performance is discussed. All photomultipliers have been tested in a nitrogen atmosphere at cryogenic temperatures, with a subset of the tubes being tested in gaseous and liquid xenon, simulating their operating conditions in the dark matter detector. The performance and evaluation of the tubes in the different environments is reported and the criteria for rejection of PMTs are outlined and quantified.Comment: 24 pages, 16 figure

    Acceptability of new formulations of Corn-Soy Blends and Lipid-based Nutrient Supplements in Province du Passoré, Burkina Faso

    Get PDF
    The objective of this study was to evaluate the acceptability of new formulations of six corn-soy blended flours (CSB) and six lipid-based nutrient supplements (LNS) with different quantities of milk and qualities of soy to be used for the treatment of moderate acute malnutrition (MAM). Furthermore, we wanted to explore the acceptability of foods currently used for the prevention and treatment of malnutrition in Burkina Faso to identify possible barriers that could affect the acceptability of the new formulations of supplementary foods. The study was carried out prior to a randomized controlled trial evaluating the effectiveness of these new formulations. The study involved an observed test-meal and a three-day take-home ration of the experimental food supplements to 6-30-months-old healthy children, followed by questionnaire-based interviews about the acceptability of these supplements. Interviews and focus group discussions were carried out to explore the acceptability of foods currently used for the prevention and treatment of malnutrition. The results suggest that both LNS and CSB products with different quantities of milk and qualities of soy are equally well accepted among healthy children in rural Burkina Faso based on general appreciation of the supplements and organoleptic properties. All experimental foods received good ratings and there was no significant difference between the foods. However, after the take-home ration, 58% of participants receiving CSB reported having left-overs at the end of the day compared to 37% (n=33) of the participants receiving LNS (p=0.004), suggesting that CSB was not as readily consumed as LNS. Yet, both CSB and LNS products were perceived as easy to administer and the frequency of feeding was estimated to be adequate. The study also found that similar foods, used for the prevention and treatment of malnutrition, were well appreciated in the study location. LNS were to a higher degree associated with medicine or foods with medicinal properties, but both LNS and CSB were perceived as beneficial to child health

    Inductive localization accuracy of a passive 3-D coil in an Industry 4.0 environment

    Get PDF
    In this paper a localization system of a passive 3-D coil is proposed and signal uncertainties due to the 3-D coil's arbitrary orientation are analyzed. The 3-D coil is excited by an alternating primary magnetic field. Geometrically distributed pick-up coils measure the 3-D coil's secondary field. By means of a simulated look-up table that assigns expected voltages from the pick-up coils to the positions of the 3-D coil, the position of the 3-D coil is deduced by a least-squares approach. A basic assumption is that the secondary field is invariant to the orientation of the 3-D coil. This allows a reduction of the computational effort for the look-up table generation and the table search during the localization phase since for each position the field distribution for only one orientation has to be calculated. However, the assumption of invariance to rotation is only valid for a dipole model. In this paper we investigate the localization error introduced by this assumption when using 3-D coils with a geometric extent in an inhomogeneous primary field. Optimized localization methods that decrease the statistical error are proposed. The theoretical results are verified with measurements conducted on a laboratory system.</p

    Single Nucleotide Polymorphism in the LDHA Gene as a Potential Marker for the Racing Performance of Pigeons

    Get PDF
    The objective of the present study was to investigate the relationship between the g.2582481G>A, g.2583935G>A and g.2584057C>T single nucleotide polymorphisms (SNPs) within the lactate dehydrogenase A gene (LDHA) coding for lactate dehydrogenase isoform A and the racing performance of homing pigeons. As a measure of racing performance, we used the mean values of ace points won by individual birds during the whole season. The estimated heritability of the racing performance of pigeons was relatively low (h2=0.0596; SE=0.0249). The analysis performed for all race reports together showed that the factors such as gender, weather conditions at the start and at the end of the race affect the analyzed trait. Of the 3 single nucleotide polymorphisms, only the effect of the g.2582481G>A genotype on the performance of racing pigeons was significant. Statistical analysis indicated the difference in the value of ace points between the animals of GG and GA genotypes for the g.2582481G>A SNP. The study showed that the genotype homozygous for g.2582481A is linked to the highest mean value of ace points. Consequently, the relationship between the genotype for g.2582481G>A and the racing performance was shown

    Qualification Tests of the R11410-21 Photomultiplier Tubes for the XENON1T Detector

    No full text
    The Hamamatsu R11410-21 photomultiplier tube is the photodetector of choice for the XENON1T dual-phase time projection chamber. The device has been optimized for a very low intrinsic radioactivity, a high quantum efficiency and a high sensitivity to single photon detection. A total of 248 tubes are currently operated in XENON1T, selected out of 321 tested units. In this article the procedures implemented to evaluate the large number of tubes prior to their installation in XENON1T are described. The parameter distributions for all tested tubes are shown, with an emphasis on those selected for XENON1T, of which the impact on the detector performance is discussed. All photomultipliers have been tested in a nitrogen atmosphere at cryogenic temperatures, with a subset of the tubes being tested in gaseous and liquid xenon, simulating their operating conditions in the dark matter detector. The performance and evaluation of the tubes in the different environments is reported and the criteria for rejection of PMTs are outlined and quantified
    corecore