O'Leary, John

1. Unbiased Markov chain Monte Carlo with couplings
   2017/08/11 by Pierre Jacob, Jacob, Pierre E., John R. O’Leary +3 · 2 citations
   Computer Science · Mathematics · #Bayesian Methods and Mixture Models #Computation (stat.CO) #FOS: Computer and information sciences #Markov Chains and Monte Carlo Methods #Methodology (stat.ME) #Statistical Methods and Inference
2. CREST: Hardware Formal Verification with ANSI-C Reference Specifications
   2019/08/04 by Andreas Tiemeyer, Tiemeyer, Andreas, Tom Melham +5 · 1 citation
   Computer Science · #Formal Methods in Verification #Security and Verification in Computing #Software Testing and Debugging Techniques
3. Maximal couplings of the Metropolis-Hastings algorithm
   2020/10/16 by John R. O’Leary, Guanyang Wang, O'Leary, John +3 · 1 citation
   Mathematics · Physics and Astronomy · #Markov Chains and Monte Carlo Methods #Stochastic processes and statistical mechanics #Quantum chaos and dynamical systems
4. Metropolis-Hastings transition kernel couplings
   2021/01/31 by John O’Leary, Guanyang Wang, O'Leary, John +1 · 1 citation
   Mathematics · Medicine · #60J22 #62D05 #65C05 #Advanced MRI Techniques and Applications #Computation (stat.CO) #FOS: Computer and information sciences #FOS: Mathematics #Markov Chains and Monte Carlo Methods #Probability (math.PR) #Statistical Methods and Inference #Statistics Theory (math.ST)