Pulsed Doppler signal processing for use in mice: applications | IEEE Journals & Magazine | IEEE Xplore