<--- Back to Details
First PageDocument Content
Mathematics / Stochastic / Importance sampling / Pseudorandomness / Equation of State Calculations by Fast Computing Machines / Variance reduction / Normal distribution / Monte Carlo methods in finance / Markov chain Monte Carlo / Monte Carlo methods / Statistics / Probability and statistics
Date: 2009-11-03 04:07:00
Mathematics
Stochastic
Importance sampling
Pseudorandomness
Equation of State Calculations by Fast Computing Machines
Variance reduction
Normal distribution
Monte Carlo methods in finance
Markov chain Monte Carlo
Monte Carlo methods
Statistics
Probability and statistics

1 1 What is Monte Carlo? 1.1 Introduction

Add to Reading List

Source URL: media.wiley.com

Download Document from Source Website

File Size: 67,10 KB

Share Document on Facebook

Similar Documents

Probability and statistics / Statistics / Statistical randomness / Stochastic computing / Applied mathematics / Stochastic optimization / Artificial neural network / Mathematical optimization / Stochastic process

Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

DocID: 1xVZF - View Document

Mathematical analysis / Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Determinacy / Stochastic game / Linear temporal logic / Markov chain / Markov decision process

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

DocID: 1xVYM - View Document

Theoretical computer science / Mathematics / Model checkers / Temporal logic / PRISM model checker / Computation tree logic / Model checking / Application software / Stochastic game / Strategy / Stochastic process / Game theory

PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2

DocID: 1xVVA - View Document

Mathematical analysis / Functional analysis / Metaphysics / Stochastic processes / Distribution / Stochastic simulation / Dynamical system

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1

DocID: 1xVVs - View Document

Mathematics / Mathematical analysis / Temporal logic / Computation tree logic / Logic in computer science / Distribution / Symbol / Constructible universe / Linear temporal logic / Craig interpolation

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

DocID: 1xVRU - View Document