Vegetation indexes 036 Vehicle control 002 Verification 045 Verification of singularity 038 Verified numerical computation 038 Vertical IDA 064 Vertical NDA 064 Viscoplasticity 044