Pulsed Doppler signal processing for use in mice: design and evaluation | IEEE Journals & Magazine | IEEE Xplore