A micromechanical resonating RF mixer | IEEE Conference Publication | IEEE Xplore