Vitalsource Technologies, Inc. Carleman Estimates For Second Order Partial Differential Operators And