Concept
Relation transitive
Publications associées (13)
Vibrational Energy Redistribution in a Gas-Surface Encounter: State-to-State Scattering of CH4 from Ni(111)
Rainer Beck, Maarten Eduard van Reijzen, Bo-Jung Chen, Jörn Werdecker
The fate of vibrational energy in the collision of methane (CH4) in its antisymmetric C-H stretch vibration (ν3) with a Ni(111) surface has been studied in a state-to-state scattering experiment. Laser excitation in the incident molecular beam prepared the ...
2018Accelerating Interpolants
We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...
2012State-resolved reactivity of CH4 on Pt(110)-(1 x 2): The role of surface orientation and impact site
Rainer Beck, Régis Bisson, Marco Sacchi
The reactivity of methane (CH4) on Pt(110)-(1×2) has been studied by quantum state-resolved surface reactivity measurements. Ground state reaction probabilities, S0(v=0) ~ S0(laser-off), as well as state-resolved reaction probabilities S0(2v3), for CH4 exc ...
2010Irreversible evolution of many-electron systems: From the quantum-Boltzmann equation toward the semi-classical Boltzmann equation
Starting from the quantum-Boltzmann equation derived in a previous paper, we study the irreversible evolution of an electron gas in the one-particle phase space. The connection with phase space is established by expressing one-electron states in terms of t ...
2008Molecular Properties Determined from Relaxation of Long-Lived Spin States
Geoffrey Bodenhausen, Paul Romeo Vasos, Riddhiman Sarkar, Puneet Ahuja
The populations of long-lived spin states, in particular, populations of singlet states that are comprised of antisymmetric combinations of product states, ∣αIβS⟩−∣βIαS⟩, are characterized by very long lifetimes because the dipole-dipole interaction betwee ...
2007