One technical thing to note: JPEGs are always LDR (low dynamic range), not HDR. An HDR image should have more than 8 bits per channel, typically 16 or 32, and is not displayable on monitors. What you've shown us was originally an HDR image converted using "tone-mapping" to the range representable by LDR monitors, and the colors which don't fall in LDR are lost or rounded. The fact that the first image looks really good is because of a very good tone-mapping function, not the HDR representation itself.
I couldn't resist enlightening you. Anyway, cool photos.
Right, but regardless of whether the term is actually correct, most people still refer to them as "HDR photos".