3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.ST2022
Bayesian Inference with Projected Densities
Jasper Marijn Everink, Yiqiu Dong, Martin Skovgaard Andersen
Constraints are a natural choice for prior information in Bayesian inference. In various applications, the parameters of interest lie on the boundary of the constraint set. In this…
cs.SE2019★ 3 cited
Having Fun in Learning Formal Specifications
I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian +11
There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experie…