Determining the age of adult wild dogs (Canis lupus dingo, C-l. domesticus and their hybrids). I. Pulp cavity: tooth width ratios

In order to determine the age of adult wild dogs, we compared two methods ( that of Thomson and Rose (TR method) and that of Knowlton and Whittemore (KW method)) of measuring and calculating pulp cavity : tooth width ratios on upper and lower canine teeth from 68 mixed-sex, known-age wild dogs of 9 months to 13 years of age reared at two localities. Although significant relationships ( P = 0.0001) were found between age and pulp cavity ratios by both methods, the TR ratio calculation and measurement showed heteroscedasity in error variance whereas the KW ratios had a more stable error variance and were normally distributed. The KW method also found significant differences between pulp cavity ratios between teeth of the upper and lower jaws ( P < 0.0001) and sex ( P = 0.01) but not geographic origin ( P = 0.1). Regressions and formulae for fitted curves are presented separately for male and female wild dogs. Males show greater variability in pulp cavity decrements with age than do females, suggesting a physiological difference between the sexes. We conclude that the KW method of using pulp cavity as a proportion of tooth width, measured 15 mm from the root tip and averaged over both upper canines, is the more accurate method of estimating the age of adult wild dogs.

Tooth wear: diet analysis and advice

Diet analysis and advice for patients with tooth wear is potentially the most logical intervention to arrest attrition, erosion and abrasion. It is saliva that protects the teeth against corrosion by the acids which soften enamel and make it susceptible to wear. Thus the lifestyles and diet of patients at risk need to be analysed for sources of acid and reasons for lost salivary protection. Medical conditions which put patients at risk of tooth wear are principally: asthma, bulimia nervosa, caffeine addiction, diabetes mellitus, exercise dehydration, functional depression, gastroesophageal reflux in alcoholism, hypertension and syndromes with salivary hypofunction. The sources of acid are various, but loss of salivary protection is the common theme. In healthy young Australians, soft drinks are the main source of acid, and exercise dehydration the main reason for loss of salivary protection. In the medically compromised, diet acids and gastroesophageal reflux are the sources, but medications are the main reasons for lost salivary protection. Diet advice for patients with tooth wear must: promote a healthy lifestyle and diet strategy that conserves the teeth by natural means of salivary stimulation; and address the specific needs of the patients' oral and medical conditions. Individualised, patient-empowering erosion WATCH strategies; on Water, Acid, Taste, Calcium and Health, are urgently required to combat the emerging epidemic of tooth wear currently being experienced in westernised societies.

Tetanus in an adult dog originating from a tooth root abscess

A three-and-a-half-year-old entire male Staffordshire Bull Terrier was presented with a cough and difficulty in swallowing. Two days later the dog was re-presented and a diagnosis of tetanus was made. An abscessed canine tooth was extracted and submitted for culture. Clostridium tetani was cultured from the pulp chamber of the tooth. The dog was treated with tetanus antitoxin, antibiotics and supportive care and made a complete recovery.

Microstructure of Pharyngeal Tooth Enameloid in the Parrotfish Scarus rivulatus (Pisces:Scaridae)

The microstructure of parrotfish pharyngeal teeth was examined using scanning electron microscopy to infer possible mechanical properties of the dentition with respect to their function. Parrotfish tooth enameloid is formed from fluorapatite crystals grouped into bundles. In the upper and lower pharyngeal jaw, the majority of the crystal bundles are orientated either perpendicularly or vertically to the enameloid surface. The only exception is in the trailing apical enameloid in which the majority of bundles are orientated perpendicularly or horizontally to the trailing surface. A distinct transition occurs through the middle of the apex between the leading and trailing enameloid in teeth of the lower pharyngeal jaw. This transition appears less distinct in the teeth of the upper pharyngeal jaw. Enameloid microstructure indicates that shear forces predominate at the apex of the teeth. In the remainder of the enameloid, the microstructure indicates that wear is predominant, and the shear forces are of less importance.

Procedures and parameters in the real-time program refinement calculus

The real-time refinement calculus is a formal method for the systematic derivation of real-time programs from real-time specifications in a style similar to the non-real-time refinement calculi of Back and Morgan. In this paper we extend the real-time refinement calculus with procedures and provide refinement rules for refining real-time specifications to procedure calls. A real-time specification can include constraints on, not only what outputs are produced, but also when they are produced. The derived programs can also include time constraints oil when certain points in the program must be reached; these are expressed in the form of deadline commands. Such programs are machine independent. An important consequence of the approach taken is that, not only are the specifications machine independent, but the whole refinement process is machine independent. To implement the machine independent code on a target machine one has a separate task of showing that the compiled machine code will reach all its deadlines before they expire. For real-time programs, externally observable input and output variables are essential. These differ from local variables in that their values are observable over the duration of the execution of the program. Hence procedures require input and output parameter mechanisms that are references to the actual parameters so that changes to external inputs are observable within the procedure and changes to output parameters are externally observable. In addition, we allow value and result parameters. These may be auxiliary parameters, which are used for reasoning about the correctness of real-time programs as well as in the expression of timing deadlines, but do not lead to any code being generated for them by a compiler. (c) 2006 Elsevier B.V. All rights reserved.

Procedure compilation in the refinement calculus

High-level language program compilation strategies can be proven correct by modelling the process as a series of refinement steps from source code to a machine-level description. We show how this can be done for programs containing recursively-defined procedures in the well-established predicate transformer semantics for refinement. To do so the formalism is extended with an abstraction of the way stack frames are created at run time for procedure parameters and variables.

Orthodontic tooth movement in the prednisolone-treated rat

Adverse effects of corticosteroids on bone metabolism raise concerns as to whether steroid treatment may influence orthodontic movement. This study examined the effect of prednisolone on orthodontic movement using an established rat model. The corticosteroid treated group (N = 6) was administered prednisolone (1 mg/kg) daily, for a 12-day induction period; the control group (N = 6) received equivalent volumes of saline. On day 12, an orthodontic appliance was placed which exerted 30 g of mesial force to the maxillary first molar. Animals were sacrificed on day 24 and tooth movement was measured. Sagittal sections of the molars were stained with haematoxylin and eosin, and for tartrate-resistant acid phosphatase (TRAP) activity. While there were no significant differences in the magnitude of tooth movement between the 2 groups, steroid-treated rats displayed significantly less root resorption on the compression side and fewer TRAP-positive cells within the PDL space on the same side. This suggests steroid treatment suppressed elastic activity.

Axiomatisation of an Interval Calculus for Theorem Proving

We provide an axiomatisation of the Timed Interval Calculus, a set-theoretic notation for expressing properties of time intervals. We implement the axiomatisation in the Ergo theorem prover in order to allow the machine-checked proof of laws for reasoning about predicates expressed using interval operators. These laws can be then used in the machine-assisted verification of real-time applications.