Vitalsource Technologies, Inc. Feynman-kac-type Theorems And Gibbs Measures On Path Space