Інститут математичних машин і систем, НАН України