Recommended Thermal Rate Coefficients for the C + H3+_3^+ Reaction and Some Astrochemical Implications

We have incorporated our experimentally derived thermal rate coefficients for C + H$_3^+$ forming CH$^+$ and CH$_2^+$ into a commonly used astrochemical model. We find that the Arrhenius-Kooij equation typically used in chemical models does not accurately fit our data and use instead a more versatile fitting formula. At a temperature of 10 K and a density of 10$^4$ cm$^{-3}$, we find no significant differences in the predicted chemical abundances, but at higher temperatures of 50, 100, and 300 K we find up to factor of 2 changes. Additionally, we find that the relatively small error on our thermal rate coefficients, $\sim15\%$, significantly reduces the uncertainties on the predicted abundances compared to those obtained using the currently implemented Langevin rate coefficient with its estimated factor of 2 uncertainty.Comment: 19 pages, 5 figures. Accepted for publication in Ap

Evidence for two-electron processes in the mutual neutralization of O- with O+ and N+ at Subthermal Collision Energies

We have measured total absolute cross sections for the Mutual Neutralization (MN) of O- with O+/N+. A fine resolution (of about 50 meV) in the kinetic energy spectra of the product neutral atoms allows unique identification of the atomic states participating in the mutual neutralization process. Cross sections and branching ratios have also been calculated down to 1 meV center-of-mass collision energy for these two systems with a multi-channel Landau-Zener model and an asymptotic method for the ionic-covalent coupling matrix elements. The importance of two-electron processes in one-electron transfer is demonstrated by the dominant contribution of a core-excited configuration of the nitrogen atom in N+ + O- collisions. This effect is partially accounted for by introducing configuration mixing in the evaluation of coupling matrix elements.Comment: 5 pages, 4 figure

Generation of neutral atomic beams utilizing photodetachment by high power diode laser stacks

We demonstrate the use of high power diode laser stacks to photodetach fast hydrogen and carbon anions and produce ground term neutral atomic beams. We achieve photodetachment efficiencies of $\sim$7.4\% for H$^-$ at a beam energy of 10\,keV and $\sim$3.7\% for C$^-$ at 28\,keV. The diode laser systems used here operate at 975\,nm and 808\,nm, respectively, and provide high continuous power levels of up to 2\,kW, without the need of additional enhancements like optical cavities. The alignment of the beams is straightforward and operation at constant power levels is very stable, while maintenance is minimal. We present a dedicated photodetachment setup that is suitable to efficiently neutralize the majority of stable negative ions in the periodic table

Vibrational state distribution of 2-Na^+ ions created in ultracold collisions

The vibrational distribution P(v) of 2-Na^+ ions created in ultracold collisions in a magneto-optical trap has been deter- mined. Only two vibrational states with v = 2 and 3 are popu- lated and we find P(2)=0.29±0.02 and P(3)=0.71±0.02. The results provide conclusive evidence that the ionization mech- anism is photo-associative autoionization,and not photo- associative photoionization and will form a fundamental test for the theoretical description of the process

A novel merged beam apparatus to study the cosmic origins of organic chemistry

Reactions of atomic carbon with molecular ions play a critical role for gas phase molecular formation in interstellar clouds. These interactions are the first links in the chain of chemical reactions leading to the synthesis of complex organic species. Much of our knowledge of this process is through spectroscopic observations and theoretical models. However, our understanding of this chemistry is constrained by uncertainties in the underlying reaction rate coefficients. Data from quantum calculations are limited to reactions involving three or fewer atoms. Meanwhile, previous experimental studies have been hampered by the difficulty in generating a sufficiently intense and well characterized neutral carbon beam. To address these issues and to study these reactions experimentally, we are building a novel laboratory device which does not suffer from such limitation

Isotope effect for associative detachment: H(D)−+H(D)→H2(D2)+e

We report experimental and theoretical results for associative detachment (AD) of D−+D→D2+e−. We compare these data to our previously published results for H−+H→H2+e−. The measurements show no significant isotope effect in the total cross section. This is to be contrasted with previously published experimental and theoretical work which has found a significant isotope effect in diatomic systems for partial AD cross sections, i.e., as a function of the rotational and vibrational levels of the final molecule formed. Our work implies that though the rovibrational distribution of flux is different for AD of H− + H and D− + D, the total flux for these two systems is essentially the same when summed over all possible final channels

ERiSA: building emotionally realistic social game-agents companions

We propose an integrated framework for social and emotional game-agents to enhance their believability and quality of interaction, in particular by allowing an agent to forge social relations and make appropriate use of social signals. The framework is modular including sensing, interpretation, behaviour generation, and game components. We propose a generic formulation of action selection rules based on observed social and emotional signals, the agent’s personality, and the social relation between agent and player. The rules are formulated such that its variables can easily be obtained from real data. We illustrate and evaluate our framework using a simple social game called The Smile Game

Static and Dynamic Properties of a Viscous Silica Melt Molecular Dynamics Computer Simulations

We present the results of a large scale molecular dynamics computer simulation in which we investigated the static and dynamic properties of a silica melt in the temperature range in which the viscosity of the system changes from O(10^-2) Poise to O(10^2) Poise. We show that even at temperatures as high as 4000 K the structure of this system is very similar to the random tetrahedral network found in silica at lower temperatures. The temperature dependence of the concentration of the defects in this network shows an Arrhenius law. From the partial structure factors we calculate the neutron scattering function and find that it agrees very well with experimental neutron scattering data. At low temperatures the temperature dependence of the diffusion constants $D$ shows an Arrhenius law with activation energies which are in very good agreement with the experimental values. With increasing temperature we find that this dependence shows a cross-over to one which can be described well by a power-law, D\propto (T-T_c)^gamma. The critical temperature T_c is 3330 K and the exponent gamma is close to 2.1. Since we find a similar cross-over in the viscosity we have evidence that the relaxation dynamics of the system changes from a flow-like motion of the particles, as described by the ideal version of mode-coupling theory, to a hopping like motion. We show that such a change of the transport mechanism is also observed in the product of the diffusion constant and the life time of a Si-O bond, or the space and time dependence of the van Hove correlation functions.Comment: 30 pages of Latex, 14 figure

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.