The original hi-resolution versions encoded with the H.264/MPEG-4 AVC can be downloaded through the links below.
Having trouble playing downloaded videos? Try VLC (all platforms).
Videos were encoded using Mplayer/Mencoder with the x264 implementation of the codec.
You can also find videos from my research on my YouTube page.