This paper discusses the development of a series of models that ultimately leads to an unusual simulation approach to modeling automated guided vehicles on a factory floor. A pede...
Lisa A. Schaefer, Gerald T. Mackulak, Jeffery K. C...
Variational methods for model comparison have become popular in the neural computing/machine learning literature. In this paper we explore their application to the Bayesian analys...
Various design and model selection methods are available for supersaturated designs having more factors than runs but little research is available on their comparison and evaluati...
In financial risk management, a coherent risk measure equals the maximum expected loss under several different probability measures, which are analogous to systems in ranking and ...
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...