Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

Detection of lead(II) and silver(I) in aqueous solution using a piezoelectric device

The gold surface of a quartz crystal microbalance was modified by the attachment of silica particles derivatised with N-[(3-trimethoxysilyl)propyl] ethylenediaminetriacetic acid. The device was employed to study the kinetics of the interaction of aqueous solutions of lead(II) nitrate and silver(I) nitrate with the surface and for the selective separation of the metal ions.

A Ku-band active transmit-array module with a horn or patch array as a signal launching/receiving device

This paper is concerned with the design of a Ku-band active transmit-array module of transistor amplifiers excited by either a pyramidal horn or a patch array Optimal distances between the active transmit array and the signal-launching:receiving device, which is either a passive corporate-fed array or a horn, are determined to maximise the power gain at a design frequency: Having established these conditions, the complete structure is investigated in terms of operational bandwidth and near-field and far-field distributions measured at the output side of the transmit array, The experimental results show that the use of a corporate-fed array as an illuminating/receiving device gives higher gain and significantly larger operational bandwidth, An explanation for this behavior is sought.

Fatal monensin toxicity in a dog after chewing a bovine intra-ruminal slow-release device

A 20kg, 10-month-old male Kelpie developed a rapid onset of profound paresis progressing to flaccid paralysis and dyspnoea, followed by death about 36 hours after chewing on a partly discharged anti-bloat capsule from a dead cow. Intoxication by monensin in the capsule was considered the cause of death. No Lodes holocyclus were found on the dog. Evidence of muscle damage was seen in clinical biochemistry assays of plasma, but consent for necropsy was not obtained. The median lethal dose for Beagle dogs of the material contained in anti-bloat capsules is 0.5-1.0g. As this represents a serious toxicity risk if dogs chew these devises, the manufacturer includes a warning on potential dog toxicity in product literature.

Chronic draining mandibular fistula in a Californian Sea Lion

A male Californian Sea Lion with a chronic draining mandibular fistula had failed to respond to conventional treatments. This was effectively treated by endodontic therapy utilising calcium hydroxide to seal the apex and glass ionomer cement to obturate the root canal of the canine tooth.

In situ characterization of stickiness of sugar-rich foods using a linear actuator driven stickiness testing device

A stickiness testing device based on the probe tack test has been designed and tested. It was used to perform in situ characterization of drying hemispherical drops with an initial radius 3.5 mm. Tests were carried out in two drying temperatures, 63 and 95 degreesC. Moisture and temperature histories of the drying drops of fructose, honey, sucrose, maltodextrin and sucrose-maltodextrin mixtures were determined. The rates of moisture evaporation of the fructose solution was the fastest while those of the maltodextrin solution was the lowest. A profile reversal was observed when the temperature profiles of these materials were compared. Different modes of failure were observed during the stickiness tests. Pure fructose and honey solutions remained completely sticky and failed cohesively until the end of drying. Pure sucrose solution remained sticky and failed cohesively until complete crystallization occurred. The surface of the maltodextrin drops formed a skin shortly after the start of drying. It exhibited adhesive failure and reached a state of non-adhesion. Addition of maltodextrin significantly altered the stickiness of sucrose solution. (C) 2002 Elsevier Science Ltd. All rights reserved.