EconBiz - Find Economic Literature
    • Logout
    • Change account settings
  • A-Z
  • Beta
  • About EconBiz
  • News
  • Thesaurus (STW)
  • Academic Skills
  • Help
  •  My account 
    • Logout
    • Change account settings
  • Login
EconBiz - Find Economic Literature
Publications Events
Search options
Advanced Search history
My EconBiz
Favorites Loans Reservations Fines
    You are here:
  • Home
  • Search: subject:"Model checking"
Narrow search

Narrow search

Year of publication
Subject
All
Model checking 3 ABM 2 Automated and Distributed Simulation-based Analysis 2 Macro ABM 2 Nonparametric model checking 2 Prediction markets 2 Statistical Model Checking 2 Steady-state and Transient analysis 2 T-test and power 2 Theorie 2 Warmup estimation 2 asymptotic distribution 2 bootstrap 2 core convergence 2 heavy tail 2 linear processes 2 local alternatives 2 long-range alternatives 2 marriage problem 2 martingale decomposition 2 model checking 2 multivariate GARCH model 2 multivariate time series 2 omnibus 2 portmanteau statistic 2 probabilistic model checking 2 roommates problem 2 smooth and directional tests 2 spectral distribution 2 stochastic processes 2 Agent-based modeling 1 Agentenbasierte Modellierung 1 Asymptotically pivotal statistics 1 Automation 1 Automatisierung 1 Bayesian inference 1 Bilineares Zeitreihenmodell 1 Bounded Model Checking 1 Counterfactual model of causality 1 Credit risk management 1
more ... less ...
Online availability
All
Free 14
Type of publication
All
Book / Working Paper 11 Article 2 Other 1
Type of publication (narrower categories)
All
Working Paper 3 Arbeitspapier 1 Article 1 Graue Literatur 1 Non-commercial literature 1 Thesis 1
Language
All
English 8 Undetermined 5 German 1
Author
All
Delgado, Miguel A. 3 Velasco, Carlos 3 Chiaromonte, Francesca 2 Giachini, Daniele 2 Hidalgo, Javier 2 Lamperti, Francesco 2 Norman, Gethin 2 Tsay, Ruey S. 2 Vandin, Andrea 2 Wang, Yongning 2 Biro, Peter 1 Biró, Péter 1 Emura, Takeshi 1 Katsuyama, Hitomi 1 Langmead, Christopher J. 1 Levy, Roy 1 Mislevy, Robert J 1 Sant'Anna, Pedro H. C. 1 Stadie, Andreas 1 Wang, Jinfang 1
more ... less ...
Institution
All
Volkswirtschaftliche Fakultät, Ludwig-Maximilians-Universität München 2 Departamento de Economía, Universidad Carlos III de Madrid 1 Közgazdaság-tudományi Intézet, Közgazdaság- és Regionális Tudományi Kutatóközpont 1 London School of Economics (LSE) 1 Suntory and Toyota International Centres for Economics and Related Disciplines, LSE 1
Published in...
All
Econometrics 2 IEHAS Discussion Papers 2 MPRA Paper 2 Economics Working Papers / Departamento de Economía, Universidad Carlos III de Madrid 1 Georg-August-Universität Göttingen - Wirtschaftswissenschaftliche Fakultät 1 LEM Working Paper Series 1 LEM working paper series 1 LSE Research Online Documents on Economics 1 STICERD - Econometrics Paper Series 1
more ... less ...
Source
All
RePEc 7 EconStor 3 BASE 2 USB Cologne (business full texts) 1 ECONIS (ZBW) 1
Showing 1 - 10 of 14
Cover Image
Automated and distributed statistical analysis of economic agent-based models
Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; … - 2020
We propose a novel approach to the statistical analysis of simulation models and, especially, agent-based models (ABMs). Our main goal is to provide a fully automated and model-independent tool-kit to inspect simulations and perform counter-factual analysis. Our approach: (i) is easy-to-use by...
Persistent link: https://www.econbiz.de/10012651853
Saved in:
Cover Image
Automated and distributed statistical analysis of economic agent-based models
Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; … - 2020
We propose a novel approach to the statistical analysis of simulation models and, especially, agent-based models (ABMs). Our main goal is to provide a fully automated and model-independent tool-kit to inspect simulations and perform counter-factual analysis. Our approach: (i) is easy-to-use by...
Persistent link: https://www.econbiz.de/10012308914
Saved in:
Cover Image
On diagnostic checking of vector ARMA-GARCH models with Gaussian and Student-t innovations
Wang, Yongning; Tsay, Ruey S. - In: Econometrics 1 (2013) 1, pp. 1-31
model checking. A residual-based bootstrap method is provided and demonstrated as an effective way to approximate the … standardized residuals and GARCH effects in model checking. …
Persistent link: https://www.econbiz.de/10010421289
Saved in:
Cover Image
Testing for Uncorrelated Residuals in Dynamic Count Models with an Application to Corporate Bankruptcy
Sant'Anna, Pedro H. C. - Volkswirtschaftliche Fakultät, … - 2013
This article proposes a new diagnostic test for dynamic count models, which is well suited for risk management. Our test proposal is of the Portmanteau-type test for lack of residual autocorrelation. Unlike previous proposals, the resulting test statistic is asymptotically pivotal when...
Persistent link: https://www.econbiz.de/10011111164
Saved in:
Cover Image
On Diagnostic Checking of Vector ARMA-GARCH Models with Gaussian and Student-t Innovations
Wang, Yongning; Tsay, Ruey S. - In: Econometrics 1 (2013) 1, pp. 1-31
model checking. A residual-based bootstrap method is provided and demonstrated as an effective way to approximate the … standardized residuals and GARCH effects in model checking. …
Persistent link: https://www.econbiz.de/10010674374
Saved in:
Cover Image
Analysis of Stochastic Matching Markets
Biró, Péter; Norman, Gethin - 2011
Marriage and Stable Roommates Automaton and show how the probabilistic model checking tool PRISM may be used to predict the …
Persistent link: https://www.econbiz.de/10010494477
Saved in:
Cover Image
Analysis of Stochastic Matching Markets
Biro, Peter; Norman, Gethin - Közgazdaság-tudományi Intézet, Közgazdaság- és … - 2011
Marriage and Stable Roommates Automaton and show how the probabilistic model checking tool PRISM may be used to predict the …
Persistent link: https://www.econbiz.de/10009366300
Saved in:
Cover Image
Assessing the Treatment Effect on the Causal Models via Parametric Approaches with Applications to the Study of English Educational Effect in Japan
Emura, Takeshi; Katsuyama, Hitomi; Wang, Jinfang - Volkswirtschaftliche Fakultät, … - 2010
Observational studies are widely used to evaluate the effect of treatment when it is not feasible to conduct controlled experiment. This article considers the use of parametric analyses for estimating the causal treatment effect. The proposed approach is an alternative to the widely used...
Persistent link: https://www.econbiz.de/10011109469
Saved in:
Cover Image
A distribution-free transform of the residuals sample autocorrelations with application to model checking
Delgado, Miguel A.; Velasco, Carlos - Departamento de Economía, Universidad Carlos III de Madrid - 2010
asymptotically distributed as independent standard normals, providing an useful and intuitive device for model checking by taking … parametric time series models, possibly non-linear in variables. The residuals autocorrelation function is the basic model … checking tool in time series analysis, but it is useless when its distribution is incorrectly approximated because the effects …
Persistent link: https://www.econbiz.de/10008470228
Saved in:
Cover Image
Towards Inference and Learning in Dynamic Bayesian Networks using Generalized Evidence
Langmead, Christopher J. - 2008
field of Model Checking. The advantage of our approach is that it enables scientists to pose and solve inference and …
Persistent link: https://www.econbiz.de/10009441211
Saved in:
  • 1
  • 2
  • Next
  • Last
A service of the
zbw
  • Sitemap
  • Plain language
  • Accessibility
  • Contact us
  • Imprint
  • Privacy

Loading...