Satisfiability of CTL* with constraints

We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at Concur 201

Caractéristiques de la production de quelques origines d'Elaeis guineensis (Jacq.) et de leurs croisements : application à la sélection du palmier à huile

L'Expérience Internationale a réuni à La Mé en Côte d'Ivoire une importante représentation de diverses souches d'Elaeis guineensis. Cette note précise et compare les valeurs des diverses composantes de la production et de la qualité de régimes de ces souches; elle propose de les classer en trois groupes : _ Origines La Mé et Pobé caractérisées par un grand nombre de petits régimes dont la composition est médiocre et les fruits petits. _ Origine Yangambi-Sibiti ayant un nombre moyen de régimes moyens dont la composition est la meilleure pour la variété tenera et dont les fruits sont gros. _ Origine Deli se caractérisant par un petit nombre de gros régimes dont la composition est la meilleure connue pour la variété dura et dont les fruits sont gros. L'Expérience Internationale a d'autre part mis en évidence l'intérêt des croisements entre origines génétiquement différentes; une augmentation d'une tonne d'huile de palme à l'ha a été obtenue avec ces croisements à La Mé, ce qui fait attendre des productions de l'ordre de 3 tonnes d'huile de palme à l'ha, pour des conditions écologiques analogues à celles de La Mé en Côte d'Ivoire. S'appuyant sur ces résultats, l'IRHO ne livre plus depuis plusieurs années déjà que des semences provenant de croisements interorigines et a adopté dans la poursuite de sa sélection palmier à huile la méthode dite "sélection récurrente réciproque" complétée par un programme d'autofécondation

Plan Assurance Qualité for an Installation Contract

The current ST/EL group's installation and maintenance contract expires on June 2001. Official procedures for a new contract began a few months ago. Once the new contract has been adjudicated, contractor firm should establish a Quality Assurance Plan (PAQ) within 6 months to be approved. This PAQ is the essential main instrument which ST/EL group has in order to assure a perfect achievement of signed contract. PAQ efficiency depends on its good knowledge and its permanent application on the part of the contractor firm and especially on the part of ST/EL group. The acquired experience during last PAQ should be reflected in the future contract

Application of large area SiPMs for the readout of a plastic scintillator based timing detector

In this study an array of eight 6 mm x 6 mm area SiPMs was coupled to the end of a long plastic scintillator counter which was exposed to a 2.5 GeV/c muon beam at the CERN PS. Timing characteristics of bars with dimensions 150 cm x 6 cm x 1 cm and 120 cm x 11 cm x 2.5 cm have been studied. An 8-channel SiPM anode readout ASIC (MUSIC R1) based on a novel low input impedance current conveyor has been used to read out and amplify SiPMs independently and sum the signals at the end. Prospects for applications in large-scale particle physics detectors with timing resolution below 100 ps are provided in light of the results

Application of large area SiPMs for the readout of a plastic scintillator based timing detector

In this study an array of eight 6 mm x 6 mm area SiPMs was coupled to the end of a long plastic scintillator counter which was exposed to a 2.5 GeV/c muon beam at the CERN PS. Timing characteristics of bars with dimensions 150 cm x 6 cm x 1 cm and 120 cm x 11 cm x 2.5 cm have been studied. An 8-channel SiPM anode readout ASIC (MUSIC R1) based on a novel low input impedance current conveyor has been used to read out and amplify SiPMs independently and sum the signals at the end. Prospects for applications in large-scale particle physics detectors with timing resolution below 100 ps are provided in light of the results

Effects of Residue Background Events in Direct Dark Matter Detection Experiments on the Determination of the WIMP Mass

In the earlier work on the development of a model-independent data analysis method for determining the mass of Weakly Interacting Massive Particles (WIMPs) by using measured recoil energies from direct Dark Matter detection experiments directly, it was assumed that the analyzed data sets are background-free, i.e., all events are WIMP signals. In this article, as a more realistic study, we take into account a fraction of possible residue background events, which pass all discrimination criteria and then mix with other real WIMP-induced events in our data sets. Our simulations show that, for the determination of the WIMP mass, the maximal acceptable fraction of residue background events in the analyzed data sets of O(50) total events is ~20%, for background windows of the entire experimental possible energy ranges, or in low energy ranges; while, for background windows in relatively higher energy ranges, this maximal acceptable fraction of residue background events can not be larger than ~10%. For a WIMP mass of 100 GeV with 20% background events in the windows of the entire experimental possible energy ranges, the reconstructed WIMP mass and the 1-sigma statistical uncertainty are ~97 GeV^{+61%}_{-35%} (~94 GeV^{+55%}_{-33%} for background-free data sets).Comment: 27 pages, 22 eps figures; v2: revised version for publication, references added and update

The EDELWEISS Experiment : Status and Outlook

The EDELWEISS Dark Matter search uses low-temperature Ge detectors with heat and ionisation read- out to identify nuclear recoils induced by elastic collisions with WIMPs from the galactic halo. Results from the operation of 70 g and 320 g Ge detectors in the low-background environment of the Modane Underground Laboratory (LSM) are presented.Comment: International Conference on Dark Matter in Astro and Particle Physics (Dark 2000), Heidelberg, Germany, 10-16 Jul 2000, v3 minor revision