Inria: From Cold-War Computing to Digital Sciences | IEEE Journals & Magazine | IEEE Xplore