/*@ public normal_behavior @ requires !isEmpty(); @ ensures \old(queue).has(\result) && @ queue.equals(\old(queue).remove(\result)) && @ (\forall Comparable o; queue.has(o); @ \result.compareTo(o) <= 0); @ modifies queue; @*/ public Comparable removeFirst() { Comparable first = elems[0]; Comparable last = elems[--numElems]; int pos = 0; int child = 1; while (child < numElems) { if (child + 1 < ...

INTRODUCTION This paper, the eighth in the series, will address the ninth stage of a research project suggested in the first paper. The ten suggested stages are: 1. The initial idea (asking a research question). 2. Searching the literature. 3. Refining the research question. 4. Planning the study. 5. Writing a protocol. 6. Obtaining ethics approval and funding. 7. Piloting the project a...

Digital evidence is now common in legal cases, but the understanding of the legal fraternity as to how far conventional ideas of evidence can be extended into the digital domain lags behind. Evidence determines the truth of an issue but its weight is subject to examination and verification through existing forms of legal argument. There is a need for a practical ‘roadmap’ that can guide the leg...

When multiple geo-spatial datasets are integrated, the process should be done in several stages. In each stage two datasets are fused to one. Since different sequences may lead to different results, it is important to select a sequence that would lead to the required results. Two approaches, namely the sequential and hierarchical, for selecting the sequence are presented, and their results are ...

Characterizing the spatial extent of epidemics at the outbreak stage is key to controlling the evolution of the disease. At the outbreak, the number of infected individuals is typically small, and therefore, fluctuations around their average are important: then, it is commonly assumed that the susceptible-infected-recovered mechanism can be described by a stochastic birth-death process of Galto...

An analytic means to evaluate the error sensitivity of a personal audio system is proposed. The personal audio system, which focuses acoustic energy into a zone of interest using multiple loudspeakers, is subject to various errors when implemented. The performance of a personal audio system, defined as an energy ratio between the zone of interest and the rest, is inevitably influenced by errors...