No description available.

No description available.

A personal process is a coordination of personal activities, each requiring a joint effort between a user and an enacting organization. In this thesis, we model a personal process using Petri Nets to describe both the control flow and data flow pertaining to the personal process. We redefine the correctness of a personal process and address the verification method based on Petri Nets. In our architecture, we add an online execution engine for the user to execute and verify the correctness of a personal process in real time¡@through the Internet. A personal process can also be managed by a personal workflow management system (PWFMS) running on a handheld device. Because of the strict limitations on their computation power and battery consumptions, we support verification only when the wireless connection is available.

Inaug.-diss.--Münster. / Cover title. Lebenslauf.

This thesis develops statistical methodology for modelling the selectivity of fishing nets, using data from covered codend experiments of fishing trawls. First, the effects of subsampling an experimental catch instead of measuring the entire catch are investigated. Often the subsample is not taken at random. This leads to bias in the selectivity parameter estimates. Simulations show that the effects of non-random subsampling are minimised when equal proportions are sampled from the test and the control net. A model is developed for describing the selectivity of a net with a window panel inserted. This model quantifies the selectivity of both the codend and the window panel, which can then be combined. The model is used to investigate the selectivity of different window panels and their contribution to the combined selectivity. Traditionally, selectivity has been modelled as a fixed and random effects model, estimated in two stages. As an alternative, Markov chain Monte Carlo techniques are explored. A Bayesian selectivity model is formulated, and the effect of the prior distribution on the variance components is investigated. The posterior distribution is relatively insensitive to a prior distribution having variation of similar magnitude as the variation present in the data. For model selection, the p-value approach applied to the posterior marginal densities is more useful than the Bayes and pseudo-Bayes factors. The Bayesian selectivity model is extended to include variation between seasons and variation between trips. The new model is applied to a data set containing seasonal variation. Finally, a Bayeisan multi-species model is developed that accounts for dependencies between species. This gives more precise selectivity parameter estimates. It also reduces bias in the parameter estimates by accounting for mechanisms behind non-random missing data.

Thesis (Ph. D.)--University of Hawaii at Manoa, 2005. / Includes bibliographical references (leaves 197-202). / Also available by subscription via World Wide Web / xi, 202 leaves, bound ill. 29 cm

Thesis (PhD)--University of South Australia, 1998

Thesis (PhD)--University of South Australia, 1998

Inaug.-diss.--Münster. / Cover title. Lebenslauf.

Thesis (Ph. D.)--University of Washington, 1996. / Vita. Includes bibliographical references (p. [196]-205).