Semimicroscopic modeling of permeation energetics in ion channels | IEEE Journals & Magazine | IEEE Xplore