Focusing properties of mushroom microlenses | IEEE Conference Publication | IEEE Xplore