Vitalsource Technologies, Inc. Variational Methods in Partially Ordered Spaces