Vitalsource Technologies, Inc. Variational Methods In Lorentzian Geometry