An operational semantics is deened for the language of timed CSP, in terms of two relations: an evolution relation, which describes when a process becomes another simply by allowing time to pass; and a timed transition relation, which describes when a process may become another by performing an action at a particular time. It is shown how the timed behaviours used as the basis for the denotatio...

For various positive integers k, the sums of kth powers of the first n positive integers, Sk(n) := 1 k+2k+ · · ·+nk, are some of the most popular sums in all of mathematics. In this note we prove a congruence modulo n3 involving two consecutive sums S2k(n) and S2k+1(n). This congruence allows us to establish an equivalent formulation of Giuga’s conjecture. Moreover, if k is even and n ≥ 5 is a ...

Prior research has demonstrated that explicit pre-cues informing participants of the proportion congruence of an upcoming list of Stroop trials affect performance in mostly congruent lists but not mostly incongruent lists. This pattern suggests a limited role for expectations in influencing Stroop performance. An alternative explanation, however, is that the effects of pre-cues may be masked by...

OBJECTIVE Research has suggested that congruence between patient characteristics and contextual characteristics is a more robust predictor of outcomes than either patient or context characteristics alone. The goal of the present study was to examine the degree of congruence between patient preferences for the clinical encounter and reports of analogous dimensions of provider behavior and the ef...

The present study attempted to answer two questions: do academic library users have a distinctive and useful input to make to library strategic planning? If they do, what mechanisms will permit them to participate effectively in this planning process? To address these questions research was carried out in two stages at a single institutional site, the Canberra College of Advanced Education. The...