Tractable models and efficient algorithms for Bayesian tomography | IEEE Conference Publication | IEEE Xplore