메뉴 건너뛰기




Volumn 22, Issue 1, 2012, Pages 1-16

Efficient Monte Carlo simulation via the generalized splitting method

Author keywords

Boolean Satisfiability problem; Combinatorial counting; Convergence diagnostic; Fixed effort; Fixed splitting; Importance sampling; Level crossing; MCMC; Rare event probability estimation; RESTART; Sequential Monte Carlo; Splitting method

Indexed keywords


EID: 81955165474     PISSN: 09603174     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11222-010-9201-4     Document Type: Article
Times cited : (97)

References (35)
  • 1
    • 53849142946 scopus 로고    scopus 로고
    • Postgraduate Seminar Paper, School of Mathematics and Physics, The University of Queensland
    • Botev, Z. I.: Three examples of a practical exact Markov chain sampling. Postgraduate Seminar Paper, School of Mathematics and Physics, The University of Queensland. http://espace.library.uq.edu.au/view/UQ: 130865 (2007).
    • (2007) Three Examples of a Practical Exact Markov Chain Sampling , pp. 130865
    • Botev, Z.I.1
  • 4
    • 78651424177 scopus 로고    scopus 로고
    • The generalized cross entropy method, with applications to probability density estimation
    • doi:10.1007/s11009-009-9133-7
    • Botev, Z. I., Kroese, D. P.: The generalized cross entropy method, with applications to probability density estimation. Methodol. Comput. Appl. Probab. (2009). doi: 10. 1007/s11009-009-9133-7.
    • (2009) Methodol. Comput. Appl. Probab.
    • Botev, Z.I.1    Kroese, D.P.2
  • 5
    • 0043096621 scopus 로고    scopus 로고
    • Convergence assessment techniques for Markov Chain Monte Carlo
    • Brooks, S. P., Roberts, G. O.: Convergence assessment techniques for Markov Chain Monte Carlo. Stat. Comput. 8, 319-335 (1998).
    • (1998) Stat. Comput. , vol.8 , pp. 319-335
    • Brooks, S.P.1    Roberts, G.O.2
  • 6
    • 0031316746 scopus 로고    scopus 로고
    • An approach to diagnosing total variation convergence of MCMC algorithms
    • Brooks, S. P., Dellaportas, P., Roberts, G. O.: An approach to diagnosing total variation convergence of MCMC algorithms. J. Comput. Graph. Stat. 1, 251-265 (1997).
    • (1997) J. Comput. Graph. Stat. , vol.1 , pp. 251-265
    • Brooks, S.P.1    Dellaportas, P.2    Roberts, G.O.3
  • 7
    • 33947118152 scopus 로고    scopus 로고
    • Adaptive multilevel splitting for rare event analysis
    • Cérou, F., Guyader, A.: Adaptive multilevel splitting for rare event analysis. Stoch. Anal. Appl. 25, 417-443 (2007).
    • (2007) Stoch. Anal. Appl. , vol.25 , pp. 417-443
    • Cérou, F.1    Guyader, A.2
  • 10
    • 0037823843 scopus 로고    scopus 로고
    • Adaptive quadrature-revisited
    • Gander, W., Gautschi, W.: Adaptive quadrature-revisited. BIT Numer. Math. 40, 84-101 (2000).
    • (2000) BIT Numer. Math. , vol.40 , pp. 84-101
    • Gander, W.1    Gautschi, W.2
  • 14
    • 84972492387 scopus 로고
    • Inference from iterative simulation using multiple sequences (with discussion)
    • Gelman, A., Rubin, D.: Inference from iterative simulation using multiple sequences (with discussion). Stat. Sci. 7, 457-511 (1992).
    • (1992) Stat. Sci. , vol.7 , pp. 457-511
    • Gelman, A.1    Rubin, D.2
  • 16
  • 17
    • 0001788107 scopus 로고    scopus 로고
    • Algorithms for the satisfiability (SAT) problem: a survey
    • DIMACS Series in Discrete Mathematics, Providence: American Mathematical Society
    • Gu, J., Purdom, P. W., Franco, J., Wah, B. W.: Algorithms for the satisfiability (SAT) problem: a survey. In: Satisfiability Problem: Theory and Applications. DIMACS Series in Discrete Mathematics, vol. 35. American Mathematical Society, Providence (1996).
    • (1996) Satisfiability Problem: Theory and Applications , vol.35
    • Gu, J.1    Purdom, P.W.2    Franco, J.3    Wah, B.W.4
  • 18
    • 0002828161 scopus 로고    scopus 로고
    • SATLIB: an online resource for research on SAT
    • I. P. Gent, H. V. Maaren, and T. Walsh (Eds.), The Netherlands: IOS Press
    • Hoos, H. H., Stützle, T.: SATLIB: an online resource for research on SAT. In: Gent, I. P., Maaren, H. V., Walsh, T. (eds.) SAT 2000, pp. 283-292. IOS Press, The Netherlands (2000). www. satlib. org.
    • (2000) SAT 2000 , pp. 283-292
    • Hoos, H.H.1    Stützle, T.2
  • 21
    • 33748779178 scopus 로고    scopus 로고
    • Equi-energy sampler with applications in statistical inference and statistical mechanics
    • Kou, S. C., Zhou, Q., Wong, W. H.: Equi-energy sampler with applications in statistical inference and statistical mechanics. Ann. Stat. 34, 1581-1619 (2006).
    • (2006) Ann. Stat. , vol.34 , pp. 1581-1619
    • Kou, S.C.1    Zhou, Q.2    Wong, W.H.3
  • 23
    • 50649107077 scopus 로고    scopus 로고
    • Rare event simulation: Effective splitting model under cost constraint
    • Lagnoux-Renaudie, A.: Rare event simulation: effective splitting model under cost constraint. In: Stochastic Processes and Their Applications, pp. 1820-1851 (2008).
    • (2008) Stochastic Processes and Their Applications , pp. 1820-1851
    • Lagnoux-Renaudie, A.1
  • 33
    • 0028755441 scopus 로고
    • RESTART: A straightforward method for fast simulation of rare events
    • Tew, J. D., Manivannan, S., Sadowski, D. A., Seila, A. F. (eds.)
    • Villén-Altamirano, M., Villén-Altamirano, J.: RESTART: a straightforward method for fast simulation of rare events. In: Tew, J. D., Manivannan, S., Sadowski, D. A., Seila, A. F. (eds.) Proceedings of the 1994 Winter Simulation Conference, pp. 282-289 (1994).
    • (1994) Proceedings of the 1994 Winter Simulation Conference , pp. 282-289
    • Villén-Altamirano, M.1    Villén-Altamirano, J.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.