Mathematical modeling of a memristor device | IEEE Conference Publication | IEEE Xplore