To align representations of law, of implementations of law and of concrete behaviours, we designed a common ground representational model for the three domains, based on the notion of position, building upon Petri nets. This paper reports on work to define subsumption between positional models.

pology hypotheses. The output of this stage is in the form of histograms and n-tuples. Finally the display and fit stage displays statistical data accumulated in the preceding stages in the form of histograms, scatter plots, etc. Fitting the data to known functions is also done in this stage. The remainder of this paper will consider what analysis tools are available today, and what one might e...

How infectious a person is when infected with HIV depends on what stage of the disease the person is in. We use 3 stages, which we call primary, asymptomatic, and symptomatic. It is important to have a systematic method for computing all 3 infectivities so that the measurements are comparable. Using robust modeling, we provide high-resolution estimates of semen infectivity by HIV disease stage....

/*@ 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...