Frequency metrology in quantum degenerate helium | IEEE Conference Publication | IEEE Xplore