<--- Back to Details
First PageDocument Content
Dynamics / Markov chain / Predictive analytics / Social movement / Economic model / Control theory / Stochastic differential equation / Stochastic / Diffusion / Statistics / Stochastic processes / Statistical models
Date: 2009-03-12 20:05:45
Dynamics
Markov chain
Predictive analytics
Social movement
Economic model
Control theory
Stochastic differential equation
Stochastic
Diffusion
Statistics
Stochastic processes
Statistical models

Predictive Analysis for Social Processes

Add to Reading List

Source URL: www.aaai.org

Download Document from Source Website

File Size: 575,52 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