A pressurized gas Cherenkov detector | IEEE Conference Publication | IEEE Xplore