Vitalsource Technologies, Inc. Analysis Of Pseudo-differential Operators