We present a complete axiomatisation of the operator of projection onto state in the Duration Calculus (DC ) relative to validity in DC without extending constructs. Projection onto state was introduced and studied extensively in our earlier works. We first establish the completeness of a system of axioms and proof rules for the operator relative to validity in the extension of DC by neighbourh...

Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on one hand, and extending B through another formalism more adapted to the real-time context. We define here a possible temporal semantic for B, by using a temporal logic (the duration calculus), and we illustrate how this extensi...

Donald E. Low1 and Gerald D. Wright2 1University of Toronto and 2McMaster University, Toronto, Ontario, Canada and 1,2Canadian Bacterial Diseases Network, Calgary, Alberta, Canada Despite legislation in the United Kingdom (UK) targeted at controlling the use of antimicrobials in food-producing animals, the farming industry commonly uses these drugs therapeutically, prophylactically, and/or for ...

There have been many published studies aiming to identify temporal changes in river flow time series, most of which use monotonic trend tests such as the Mann–Kendall test. Although robust to both the distribution of the data and incomplete records, these tests have important limitations and provide no information as to whether a change in variability mirrors a change in magnitude. This study d...