High repetition rate pulsed gas lasers and their applications in chemistry and isotope separation | IEEE Journals & Magazine | IEEE Xplore