Vitalsource Technologies, Inc. Feynman-kac-type Formulae And Gibbs Measures