Vitalsource Technologies, Inc. Numerical Solution Of Variational Inequalities By Adaptive Finite Eleme