Naive mechanics: a computational model of device use and function in design improvisation | IEEE Journals & Magazine | IEEE Xplore