Lattice sites of ion-implanted Li in diamond

Published in: Appl. Phys. Lett. 66 (1995) 2733-2735 citations recorded in [Science Citation Index] Abstract: Radioactive Li ions were implanted into natural IIa diamonds at temperatures between 100 K and 900 K. Emission channelling patterns of a-particles emitted in the nuclear decay of 8Li (t1/2 = 838 ms) were measured and, from a comparison with calculated emission channelling and blocking effects from Monte Carlo simulations, the lattice sites taken up by the Li ions were quantitatively determined. A fraction of 40(5)% of the implanted Li ions were found to be located on tetrahedral interstitial lattice sites, and 17(5)% on substitutional sites. The fractions of implanted Li on the two lattice sites showed no change with temperature, indicating that Li diffusion does not take place within the time window of our measurements.

Equianalytic and equisingular families of curves on surfaces

We consider flat families of reduced curves on a smooth surface S such that each member C has the same number of singularities of fixed singularity types and the corresponding (locally closed) subscheme H of the Hilbert scheme of S. We are mainly concerned with analytic resp. topological singularity types and give a sufficient condition for the smoothness of H (at C). Our results for S=P^2 seem to be quite sharp for families of cuves of small degree d.Comment: LaTeX v 2.0

State space c-reductions for concurrent systems in rewriting logic

We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system. This is done by means of a canonizer function, which maps each state into a (non necessarily unique) canonical representative of its equivalence class. The approach exploits the expressiveness of rewriting logic and its realization in Maude to enjoy several advantages over similar approaches: exibility and simplicity in the definition of the reductions (supporting not only traditional symmetry reductions, but also name reuse and name abstraction); reasoning support for checking and proving correctness of the reductions; and automatization of the reduction infrastructure via Maude's meta-programming features. The approach has been validated over a set of representative case studies, exhibiting comparable results with respect to other tools

Calibration of a two-phase xenon time projection chamber with a 37^{37}Ar source

We calibrate a two-phase xenon detector at 0.27 keV in the charge channel and at 2.8 keV in both the light and charge channels using a $^{37}$Ar source that is directly released into the detector. We map the light and charge yields as a function of electric drift field. For the 2.8 keV peak, we calculate the Thomas-Imel box parameter for recombination and determine its dependence on drift field. For the same peak, we achieve an energy resolution, $E_{\sigma}/E_{mean}$, between 9.8% and 10.8% for 0.1 kV/cm to 2 kV/cm electric drift fields.Comment: 12 pages, 7 figure