The productivity effects of cattle tick (Boophilus microplus) infestation on cattle, with particular reference to Bos indicus cattle and their crosses

In response to uncertainty among cattle producers in Australia regarding the need to treat Bos indices and B. indicus crossbreeds, the scientific literature relating to the productivity effects of Boophilus microplus on cattle of all breeds was reviewed. Estimates of the mean effect of each engorging tick (damage coefficient, d) were made from a simple analysis of the reported data. On average, each engorging female tick is responsible for the loss of 1.37 +/- 0.25 g bodyweight in B. taunts cattle. The comparable value for B. taurus x B. indicus cattle is 1.18 +/- 0.21 g/engorging tick. These values were not statistically significantly different, indicating that if a threshold approach to tick control were taken, then the threshold number of standard ticks would be the same regardless of cattle genotype. No studies provided useable estimates of the effect of tick infestation on pure B. indices cattle. An economic threshold for treatment, below which acaricide application is not beneficial, can be predicted, using known values for the cost of acaricide application and the price of beef. However, the application of a threshold approach to control has not been embraced by government advisers and runs contrary to the accepted principals of strategic control programs. (C) 2006 Elsevier B.V. All rights reserved.

Introducing reference semantics via refinement

Two types of semantics have been given to object-oriented formal specification languages. Value semantics denote a class by a set of values representing its objects. Reference semantics denote a class by a set of references, or pointers, to values representing its objects. While adopting the former facilitates formal reasoning, adopting the latter facilitates transformation to object-oriented code. In this paper, we propose a combined approach using value semantics for abstract specification and reasoning, and then refining to a reference semantics before transforming specification to code.