A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Checking and Distributing Statistical Model Checking
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
K>2 and B>20: number of simulations scale linearly to the number of cores used. ...
Property used: E[time<=1000; 1000] (max: usage) Conclusions: K=1 has huge effect and should be avoided. K=2 has effect if B<20. K>2 are indistinguishable on homogeneous cluster. ...
NFM'12
15
Distributing SMC
• Distributing hypothesis testing. ...
doi:10.1007/978-3-642-28891-3_39
fatcat:lrrffm37tjcjzez245aqiekzka
Distributed Parametric and Statistical Model Checking
2011
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Statistical Model Checking (SMC) is a trade-off between testing and formal verification. ...
Our approach has been implemented in the UPPAAL SMC toolset and applied on non-trivial case studies. ...
Statistical Model Checking for NPTAs The problem of checking Pr A [3 c≤C ϕ] ≥ p (A being a PTA and p ∈ [0, 1]) is unfortunately undecidable in general 1 . ...
doi:10.4204/eptcs.72.4
fatcat:bt6wtg5bpnewhjvna4vfig3jim
Rejoinder: Bayesian Checking of the Second Levels of Hierarchical Models
2007
Statistical Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2008 pre-print arXiv:0802.0754v1 fatcat:xxemogdghbg7vcpifiqrpppdi4
Rejoinder: Bayesian Checking of the Second Levels of Hierarchical Models [arXiv:0802.0743] ...
If we use a statistic T to measure departure and use U for conditioning, the relevant distribution for model checking is then m(t | u). ...
Model checking is a quick-and-dirty shortcut to bypass model choice, and "pure" Bayesian reasoning indicates that all relevant information lies in the (prior) predictive distribution m(x) for the entertained ...
doi:10.1214/07-sts235rej
fatcat:cbrlelo57bcdhehhft225rqopu
DIAGNOSTIC TEST FOR GARCH MODELS BASED ON ABSOLUTE RESIDUAL AUTOCORRELATIONS
2013
Pakistan Journal of Statistics and Operation Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
The correct asymptotic standard errors for the absolute residual autocorrelations are also obtained and based on these results, a diagnostic test for checking the adequacy of GARCH-type models are developed ...
Our results do not depend on the existence of higher moments and is therefore robust under heavy-tailed distributions. ...
They formulate a portmanteau statistic for model checking and showed that this statistic follows a chi-square distribution. ...
doi:10.18187/pjsor.v9i2.612
fatcat:ehckiqyhifeldopwein6i2wnje
Comment: Bayesian Checking of the Second Levels of Hierarchical Models
2007
Statistical Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2008 pre-print arXiv:0802.0746v1 fatcat:46mn4iwlfvaezelclunubqsfoe
We discuss the methods of Evans and Moshonov [Bayesian Analysis 1 (2006) 893--914, Bayesian Statistics and Its Applications (2007) 145--159] concerning checking for prior-data conflict and their relevance ...
For us checking the sampling model and the prior are important parts of a statistical analysis. ...
Checking for prior-data conflict seems to sit between model checking and inference. ...
doi:10.1214/07-sts235c
fatcat:dlhl2xucofb2hmha3h3bpuebnq
Non-Gaussian Statistical Timing models of die-to-die and within-die parameter variations for full chip analysis
2008
2008 Asia and South Pacific Design Automation Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we model that WID parameter variations are independent for each cell and line in a chip and D2D variations are governed by one variation on a chip. ...
We propose a new method of computing a full chip delay distribution considering both D2D and WID parameter variations. ...
In case of our D2D model, CDF of statistical MAX of two check path delays F1 and F2 (Smax(F1,F2)) is calculated as follows. (6) . ...
doi:10.1109/aspdac.2008.4483961
dblp:conf/aspdac/HommaNS08
fatcat:m6ud35fpyrbjzcv6fhslvjxs3i
Minimum Acceptance Criteria for Geostatistical Realizations
2004
Natural Resources Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
acceptable" statistical fluctuations. ...
This paper identifies (1) the minimum criteria that should be met by all geostatistical simulation models, and (2) the checks required to verify that these minimum criteria are indeed satisfied. ...
Mohan Srivastava for sharing his many ideas and suggestions on this topic. ...
doi:10.1023/b:narr.0000046916.91703.bb
fatcat:s44eerpdkrhbfiayaikznm2ybm
Comment: Bayesian Checking of the Second Levels of Hierarchical Models
2007
Statistical Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Comment: Bayesian Checking of the Second Levels of Hierarchical Models [arXiv:0802.0743] ...
ACKNOWLEDGMENTS We thank Hal Stern for helpful comments and the National Science Foundation and National Institutes of Health for financial support. ...
THE STEPS OF BAYESIAN MODEL CHECKING BC begin their paper with a useful characterization of any checking method as having a diagnostic statistic, a distribution for the statistic, and a way to measure ...
doi:10.1214/07-sts235a
fatcat:ztiinrsz3jaehc3vmtsvqvjmsu
A new equivalence based metric for predictive check to qualify mixed-effects models
2005
AAPS Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The aim of the current simulation experiment was to evaluate the properties of predictive check as a covariate model qualification technique and, more importantly, to introduce and evaluate alternative ...
criteria to qualify models. ...
and (2) what are the consequences of applying the predictive check based on a test statistic to reject a false model? ...
doi:10.1208/aapsj070353
pmid:16353930
pmcid:PMC2751255
fatcat:jr73xzb3ubdwnm44nbvlab2wg4
A note on posterior predictive checks to assess model fit for incomplete data
2016
Statistics in Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We examine two posterior predictive distribution based approaches to assess model fit for incomplete longitudinal data. ...
Incomplete Data Model Fit Notation and Review-To introduce posterior predictive checks for incomplete longitudinal data, we need to first introduce some notation and concepts. ...
Acknowledgments The last author was partially funded by NIH grants CA85295 and CA183854. ...
doi:10.1002/sim.7040
pmid:27426216
pmcid:PMC5096987
fatcat:ajxz6yb635fddccqnks7jxa2tq
Comment: Bayesian Checking of the Second Level of Hierarchical Models: Cross-Validated Posterior Predictive Checks Using Discrepancy Measures
2007
Statistical Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2008 pre-print arXiv:0802.0752v1 fatcat:hhdehb2kobadvnxd2yn7yuv43m
Comment: Bayesian Checking of the Second Level of Hierarchical Models [arXiv:0802.0743] ...
ACKNOWLEDGMENTS The authors wish to thank the editor Ed George for the opportunity to discuss this article and Bayarri and Castellanos for helpful comments on the discussion. ...
This work was supported in part by Iowa's State Board of Education and a dissertation award from the American Education Research Association. ...
doi:10.1214/07-sts235b
fatcat:tyqa2pv35rfbrnvcrewgf4ypcq
A Bayesian method to measure predictive performance of a model in a different population from that used to develop the model in clinical development for pediatric or rare diseases
2014
Proceedings of the Symposium of Japanese Society of Computational Statistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The paJrameters which compose the model are treated as prior distributions and we calculate a predictive distribution from the prior distributions. ...
a model is evaluated by comparing the predictive distributions of future observations to the data that have actually occurred and calculating the predictive checking probability. ...
doi:10.20551/jscssymo.28.0_141
fatcat:rlwv5dorcjc7voj7sych47lrkm
A Bayesian Approach to Model Checking Biological Systems
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
For these models, a statistical approach to Model Checking has been shown to be an effective alternative. ...
We show that our Bayesian approach outperforms current statistical Model Checking techniques, which rely on tests from Classical (aka Frequentist) statistics, by requiring fewer system simulations. ...
Bayesian Statistical Model Checking In this section, we first review some important concepts from statistical Model Checking, and then introduce theory and terminology from Bayesian statistics. ...
doi:10.1007/978-3-642-03845-7_15
fatcat:6vyvf4uwhnhq5bxjvbk4gxy2oq
Revisiting the generality of the rank-based human mobility model
2013
Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication - UbiComp '13 Adjunct
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
and national boundaries, does not follow a power-law distribution as originally claimed. ...
model. ...
We estimate the goodness-of-fit of power-law distribution using the KS statistic, to measure the similarity (or differences) between our dataset and hypothesized power-law model. ...
doi:10.1145/2494091.2497351
dblp:conf/huc/SantaniG13
fatcat:7f7nguamcfee7lsj3ry6oluy2e
Should we test the model assumptions before running a model-based test?
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:1908.02218v3 fatcat:uhgow2rlb5am3oyqk6ao7q6eyyOther Versions
Statistical methods are based on model assumptions, and it is statistical folklore that a method's model assumptions should be checked before applying it. ...
For this, we review results regarding such "combined procedures" in the literature, we review and discuss controversial views on the role of model checking in statistics, and we present a general setup ...
Introduction Statistical methods are based on model assumptions, and it is statistical folklore that a method's model assumptions should be checked before applying it. ...
arXiv:1908.02218v4
fatcat:iznufbfb5vg5zeyramymnycgoa
« Previous
Showing results 1 — 15 out of 1,393,657 results