Vitalsource Technologies, Inc. A Posteriori Estimates For Partial Differential Equations