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 ...

2018

On Accelerating Interpolants

Viktor Kuncak, Hossein Hojjat

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 ...

2012

Accelerating Interpolants

Viktor Kuncak, Hossein Hojjat

2012

State-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 ...

2010

Irreversible 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 ...

2008

Molecular 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

State-Resolved Reactivity of CH4(2ν3) on Pt(111) and Ni(111): Effects of Barrier Height and Transition State Location

Rainer Beck, Plinio Maroni, Régis Bisson, Marco Sacchi, Thanh Tung Dang, Bruce Yoder

Quantum state-resolved sticking coefficients on Pt(111) and Ni(111) surfaces have been measured for CH4 excited to the first overtone of the antisymmetric C-H stretch (2ν3) at well defined kinetic energies in the range of 10-90 kJ/mol. The ground state rea ...

2007

Belief Propagation on Uncertain Schema Mappings in Peer Data Management Systems

Karl Aberer, Philippe Cudré-Mauroux

Until recently, most data integration techniques involved central components, e.g., global schemas, to enable transparent access to heterogeneous databases. Today, however, with the democratization of tools facilitating knowledge elicitation in machine-pro ...

IOSPress2006

Probabilistic Message Passing in Peer Data Management Systems

Karl Aberer, Philippe Cudré-Mauroux

IEEE2006

The Definition of Transitive Closure with OCL - Limitations and applications

The Object Constraint Language (OCL) is based on rst- order logic and set theory. As the most well-known application, OCL is used to formulate well-formedness rules in the UML metamodel. Here, the transitive closure of a relationship is de ned in terms of ...

2003

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search