Light propagation and fluorescence quantum yields in liquid scintillators

For the simulation of the scintillation and Cherenkov light propagation in large liquid scintillator detectors a detailed knowledge about the absorption and emission spectra of the scintillator molecules is mandatory. Furthermore reemission probabilities and quantum yields of the scintillator components influence the light propagation inside the liquid. Absorption and emission properties are presented for liquid scintillators using 2,5-Diphenyloxazole (PPO) and 4-bis-(2-Methylstyryl)benzene (bis-MSB) as primary and secondary wavelength shifter. New measurements of the quantum yields for various aromatic molecules are shown.Comment: 11 pages, 3 figures, 1 tabl

Soll die Exklusivlizenz der Deutschen Post AG verlängert werden?

Der Monopolbereich der Deutschen Post AG soll, wie im Postgesetz von 1997 vorgesehen, Ende des Jahres 2002 auslaufen. Nach den jüngsten Plänen der Bundesregierung soll jedoch die völlige Deregulierung des Postmarktes auf das Jahr 2008 verschoben werden. Wie ist diese Verschiebung zu beurteilen? --

Soll die Exklusivlizenz der Deutschen Post AG verlängert werden?

Der Monopolbereich der Deutschen Post AG soll, wie im Postgesetz von 1997 vorgesehen, Ende des Jahres 2002 auslaufen. Nach den jüngsten Plänen der Bundesregierung soll jedoch die völlige Deregulierung des Postmarktes auf das Jahr 2008 verschoben werden. Wie ist diese Verschiebung zu beurteilen

Lazy AC-Pattern Matching for Rewriting

We define a lazy pattern-matching mechanism modulo associativity and commutativity. The solutions of a pattern-matching problem are stored in a lazy list composed of a first substitution at the head and a non-evaluated object that encodes the remaining computations. We integrate the lazy AC-matching in a strategy language: rewriting rule and strategy application produce a lazy list of terms.Comment: In Proceedings WRS 2011, arXiv:1204.531

Large scale Gd-beta-diketonate based organic liquid scintillator production for antineutrino detection

Over the course of several decades, organic liquid scintillators have formed the basis for successful neutrino detectors. Gadolinium-loaded liquid scintillators provide efficient background suppression for electron antineutrino detection at nuclear reactor plants. In the Double Chooz reactor antineutrino experiment, a newly developed beta-diketonate gadolinium-loaded scintillator is utilized for the first time. Its large scale production and characterization are described. A new, light yield matched metal-free companion scintillator is presented. Both organic liquids comprise the target and "Gamma Catcher" of the Double Chooz detectors.Comment: 16 pages, 4 figures, 5 table

Loops under Strategies ... Continued

While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically. Almost all of these techniques try to find loops, where the existence of a loop implies non-termination of the rewrite system. However, most programming languages use specific evaluation strategies, whereas loop detection techniques usually do not take strategies into account. So even if a rewrite system has a loop, it may still be terminating under certain strategies. Therefore, our goal is to develop decision procedures which can determine whether a given loop is also a loop under the respective evaluation strategy. In earlier work, such procedures were presented for the strategies of innermost, outermost, and context-sensitive evaluation. In the current paper, we build upon this work and develop such decision procedures for important strategies like leftmost-innermost, leftmost-outermost, (max-)parallel-innermost, (max-)parallel-outermost, and forbidden patterns (which generalize innermost, outermost, and context-sensitive strategies). In this way, we obtain the first approach to disprove termination under these strategies automatically.Comment: In Proceedings IWS 2010, arXiv:1012.533

On the distortion of twin building lattices

We show that twin building lattices are undistorted in their ambient group; equivalently, the orbit map of the lattice to the product of the associated twin buildings is a quasi-isometric embedding. As a consequence, we provide an estimate of the quasi-flat rank of these lattices, which implies that there are infinitely many quasi-isometry classes of finitely presented simple groups. In an appendix, we describe how non-distortion of lattices is related to the integrability of the structural cocycle

Large scale Gd-beta-diketonate based organic liquid scintillator production for antineutrino detection

Over the course of several decades, organic liquid scintillators have formed the basis for successful neutrino detectors. Gadolinium-loaded liquid scintillators provide efficient background suppression for electron antineutrino detection at nuclear reactor plants. In the Double Chooz reactor antineutrino experiment, a newly developed beta-diketonate gadolinium-loaded scintillator is utilized for the first time. Its large scale production and characterization are described. A new, light yield matched metal-free companion scintillator is presented. Both organic liquids comprise the target and "Gamma Catcher" of the Double Chooz detectors.Comment: 16 pages, 4 figures, 5 table

Large scale Gd-beta-diketonate based organic liquid scintillator production for antineutrino detection

Over the course of several decades, organic liquid scintillators have formed the basis for successful neutrino detectors. Gadolinium-loaded liquid scintillators provide efficient background suppression for electron antineutrino detection at nuclear reactor plants. In the Double Chooz reactor antineutrino experiment, a newly developed beta-diketonate gadolinium-loaded scintillator is utilized for the first time. Its large scale production and characterization are described. A new, light yield matched metal-free companion scintillator is presented. Both organic liquids comprise the target and "Gamma Catcher" of the Double Chooz detectors.Comment: 16 pages, 4 figures, 5 table

The dependency pair framework: Combining techniques for automated termination proofs

Abstract. The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible methods to prove termination. In this paper, we show that dependency pairs can instead be used as a general concept to integrate arbitrary techniques for termination analysis. In this way, the benefits of different techniques can be combined and their modularity and power are increased significantly. We refer to this new concept as the “dependency pair framework ” to distinguish it from the old “dependency pair approach”. Moreover, this framework facilitates the development of new methods for termination analysis. To demonstrate this, we present several new techniques within the dependency pair framework which simplify termination problems considerably. We implemented the dependency pair framework in our termination prover AProVE and evaluated it on large collections of examples.