Security protocols flaws represent a substantial portion of security exposures of data networks. In order to evaluate security protocols against any attack, formal methods are equipped with a number of techniques. Unfortunately, formal methods are applicable for static state only, and don’t guarantee detecting all possible flaws. Therefore, formal methods should be complemented with dynamic pro...

Background Often, there is no access to sufficient sample size to estimate the prevalence using the method of direct estimator in all areas. The aim of this study was to compare small area’s Bayesian method and direct method in estimating the prevalence of steatosis in obese and overweight children. Materials and Methods: In this cross-sectional study, was conducted on 150 overweight and obese ...

Precise identification of the time when a process has changed enables process engineers to search for a potential special cause more effectively. In this paper, we develop change point estimation methods for a Poisson process in a Bayesian framework. We apply Bayesian hierarchical models to formulate the change point where there exists a step < /div> change, a linear trend and a known multip...

Title of dissertation: THE BAYESIAN AND APPROXIMATE BAYESIAN METHODS IN SMALL AREA ESTIMATION Santanu Pramanik, Doctor of Philosophy, 2008 Dissertation directed by: Professor Partha Lahiri Joint Program in Survey Methodology For small area estimation, model based methods are preferred to the traditional design based methods because of their ability to borrow strength from related sources. The i...