Checking for model failure and for prior-data conflict with the constrained multinomial model

Checking for model failure and for prior-data conflict with the constrained multinomial model

10.1007/s00184-021-00811-8

Saved in:

書目詳細資料
Main Authors:	Englert, Berthold-Georg, Evans, Michael, Jang, Gun Ho, Ng, Hui Khoon, Nott, David, Seah, Yi-Lin
其他作者:	YALE-NUS COLLEGE
格式:	Article
出版:	Springer Science and Business Media Deutschland GmbH 2022
主題:	Checking for prior-data conflict Elicitation Hardy–Weinberg equilibrium Model checking Ordered probabilities Quantum state estimation
在線閱讀:	https://scholarbank.nus.edu.sg/handle/10635/232582
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

Using Prior Expansions for Prior-Data Conflict Checking
由: Nott, D.J., et al.
出版: (2021)

Approximation of Bayesian predictive p-values with regression ABC
由: Nott, D.J., et al.
出版: (2021)

IMPROVED BAYESIAN MODEL SPECIFICATION VIA ROBUST METHODS AND CHECKING FOR PRIOR-DATA CONFLICT
由: WANG XUEOU
出版: (2017)

Serum paraoxonase polymorphism in three populations of southeast Asia
由: Roy, A.C., et al.
出版: (2013)

Model checking parameterized process classes
由: LIU SHANSHAN
出版: (2010)

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
由: HAO, Jianye, et al.
出版: (2012)

GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH
由: MAHAMARAKKALAGE DILEEPA YASAS FERNANDO
出版: (2020)

GPU Accelerated counterexample generation in LTL model checking
由: WU, Zhimin, et al.
出版: (2014)

Case-control genome-wide joint association study using semiparametric empirical model and approximate Bayes factor
由: Xu, J., et al.
出版: (2014)

Analyzing multi-agent systems with probabilistic model checking approach
由: Song, S., et al.
出版: (2013)

Verifying linearizability via optimized refinement checking
由: Liu, Y., et al.
出版: (2014)

Model checking a model checker: A code contract combined approach
由: SUN, Jun, et al.
出版: (2010)

Fair model checking with process counter abstraction
由: SUN, Jun, et al.
出版: (2009)

Model checking approach to automated planning
由: Li, Y., et al.
出版: (2014)

Model checking software architecture design
由: Zhang, J., et al.
出版: (2013)

An action research on streamlining the check payment process in Company ABC
由: Aduana, April D.
出版: (2018)

From verified model to executable program: the PAT approach
由: Zhu, Huiquan, et al.
出版: (2017)

Model checking with fairness assumptions using PAT
由: Si, Y., et al.
出版: (2014)

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: SUN, Jun, et al.
出版: (2011)

Improved Symbolic Model Checking of Real-Time Systems
由: NGUYEN TRUONG KHANH
出版: (2014)

Towards model checking android applications
由: Bai, Guangdong, et al.
出版: (2020)

Symbolic model-checking of stateful timed CSP using BDD and digitization
由: NGUYEN, Truong Khanh, et al.
出版: (2012)

Analyzing multi-agent systems with probabilistic model checking approach
由: SONG, Songzheng, et al.
出版: (2012)

Efficiency robust statistics for genetic linkage and association studies under genetic model uncertainty
由: Joo, J., et al.
出版: (2014)

Developing model checkers using PAT
由: LIU, Yang, et al.
出版: (2010)

APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
由: YAMILET ROSARIO SERRANO LLERENA
出版: (2018)

Financial gatekeepers and investor protection : evidence from criminal background checks
由: Law, Kelvin Kai Fung, et al.
出版: (2020)

More anti-chain based refinement checking
由: WANG, Ting, et al.
出版: (2012)

Model checking concurrent and real-time systems : the PAT approach
由: LIU YANG
出版: (2010)

Should we learn probabilistic models for model checking? A new approach and an empirical study
由: WANG, Jingyi, et al.
出版: (2017)

Learning probabilistic models for model checking: an evolutionary approach and an empirical study
由: WANG, Jingyi, et al.
出版: (2018)

Compositional encoding for bounded model checking
由: Sun, J., et al.
出版: (2013)

Anti-chain based algorithms for timed/probabilistic refinement checking
由: Wang, Ting, et al.
出版: (2020)

Integrity constraint checking in deductive databases using the Prolog not-predicate
由: Ling, T.-W.
出版: (2014)

A study on the debris flow-induced impact force on check dam with- and without-entrainment
由: Lee, Kwangwoo, et al.
出版: (2021)

Model checking software architecture design
由: ZHANG, Jiexin, et al.
出版: (2012)

Enhancing State Space Reduction Methods for Model Checking
由: ZHANG SHAOJIE
出版: (2013)

Enhancing VHDL learning through a light-weight integrated environment for development and automated checking
由: Kumar, A., et al.
出版: (2014)

Experimental study of check valves performances in fluid transient
由: Lee, T.S., et al.
出版: (2014)

A new approach of developing compliance-checking system
由: XU RONG
出版: (2010)