BetaProbe: A probability based method for predicting beta sheet topology using integer programming | IEEE Conference Publication | IEEE Xplore