We all know how to set up Markov chains for MCMC simulation. But, what should we do with the output? The JCGS paper describes how to use the output of an MCMC simulation in order to more effectively perform data analysis--the process of looking at and refining the model by varying prior and likelihood, by varying the structure of how components of the prior fit together, and by varying the data set through case deletion. The method, well beyond standard importance sampling, works extremely well, to the point of potentially potentially rendering inestimable quantities estimable. It applies not only to MCMC methods but also to straight importance sampling methods. The Case Studies paper develops a tool for Bayesian exploratory data analysis. The latter two papers investigate the issue of whether to subsample the output of an MCMC simulation. The 1994 paper shows that the simplest subsampling method decreases the accuracy of estimators. The 2000 paper shows how to increase the accuracy of estimators by subsampling! Although the focus of both papers is on Gibbs sampling, the results apply to more general MCMC algorithms.
A constant concern with MCMC methods is how quickly they converge to the posterior and how quickly they mix over the posterior. The Communications paper advocates collapsing the state space of the Gibbs sampler in order to improve convergence and provides some supporting theory. The Biometrika paper provides an early example of a "group move". The JCGS paper describes an algorithm where a nonidentifiable model is deliberately created in order to improve the convergence/mixing of the Markov chain used for the simulation. The two book chapters contain additional material. In particular, the "Practical Nonparametrics" chapter has a brief treatment of how to use the notion of piecewise-log-concavity to turn a non-conjugate problem into a conditionally conjugate problem.
Round-off error has been a bugaboo for computer scientists since the development of the computer. They have developed the technique of interval analysis which continually tracks upper and lower bounds for unrounded versions of a calculation. In the paper below, we exploit this technique to track the support of chaotic, dynamical systems corrupted by error.