提高脉冲星定时阵列数据分析中的贝叶斯推断:重要的嵌套采样与归一化流 | Synapse