IRE transactions on electronic computers [EC]