Bayesian protein superposition using Hamiltonian Monte Carlo | IEEE Conference Publication | IEEE Xplore