Predation of livestock ticks by chickens as a tick-control method in a resource-poor urban environment

The increasing prevalence of streptococci as causes of potentially fatal nosocomial bacteremia requires that antimicrobial agents used for empiric therapy in hospitalized patients include both pneumococci and viridans group streptococci as well as beta-hemolytic streptococci in their activity profile. In this study, the in vitro activity of cefepime, a new fourth-generation cephalosporin, was compared with other cephalosporins versus 197 nosocomial blood stream isolates of streptococci (20 Streptococcus pneumoniae, 104 viridans group, and 73 beta-hemolytic) isolated from patients at more than 30 medial centers from 1995 to 1997. Additional agents tested included penicillin, erythromycin, and vancomycin. Overall, cefepime inhibited 83% of the isolates at concentrations < or = 0.5 microgram/mL and 100% at < or = 8 micrograms/mL. By comparison, ceftazidime inhibited 35 and 88% of isolates at the same concentrations. Cefepime was approximately eightfold more potent than ceftazidime against S. pneumoniae, viridans group streptococci, and beta-hemolytic streptococci. Among the 42 isolates with penicillin MICs > 0.12 microgram/mL, 100% were inhibited by cefepime and only 48% by ceftazidime at < or = 8 micrograms/mL. The rank order of activity for all six agents against the 197 isolates was vancomycin > ceftriaxone > cefepime > penicillin > erythromycin > ceftazidime. Based on the results of the present study, cefepime and ceftriaxone were the superior cephalosporins in potency and spectrum for empiric coverage of patients at risk for streptococcal blood stream infections.     

On the axiomatizability of priority II

This paper contributes to the study of the equational theory of the priority operator of Baeten, Bergstra and Klop in the setting of the process algebra BCCSP. It is shown that, in the presence of at least two actions, the collection of process equations over BCCSP with the priority operator that are valid modulo bisimilarity, irrespective of the chosen priority order over actions, is not finitely based. This holds true even if one restricts oneself to the collection of valid process equations that do not contain occurrences of process variables.     

A calculus for four-valued sequential logic

We present a complete axiomatisation for four-valued sequential logic. It consists of nine axioms, from which all valid laws can be derived by equational reasoning. These nine axioms are independent of each other.     

Induction of Oxidative Stress and Antioxidative Mechanisms in Arabidopsis thaliana after Uranium Exposure at pH 7.5

To evaluate the environmental impact of uranium (U) contamination, it is important to investigate the effects of U at ecologically relevant conditions. Since U speciation, and hence its toxicity, strongly depends on environmental pH, the present study aimed to investigate dose-dependent effects of U at pH 7.5. Arabidopsis thaliana plants (Mouse-ear Cress) were exposed for three days to different U concentrations at pH 7.5. In the roots, the increased capacities of ascorbate peroxidase and glutathione reductase indicate an important role for the ascorbate-glutathione cycle during U-induced stress. However, a significant decrease in the ascorbate redox state was observed after exposure to 75 and 100 µM U, indicating that those roots are severely stressed. In accordance with the roots, the ascorbate-glutathione cycle plays an important role in the antioxidative defence systems in A. thaliana leaves exposed to U at pH 7.5 as the ascorbate and glutathione biosynthesis were upregulated. In addition, small inductions of enzymes of the antioxidative defence system were observed at lower U concentrations to counteract the U-induced stress. However, at higher U concentrations it seems that the antioxidative defence system of the leaves collapses as reductions in enzyme activities and gene expression levels were observed.     

Cones and foci: A mechanical framework for protocol verification

We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between data objects. Compared to the original cones and foci method from Groote and Springintveld, our method is more generally applicable, because it does not require a preprocessing step to eliminate τ-loops. We prove soundness of our approach and present a set of rules to prove the reachability of focus points. Our method has been formalized and proved correct using PVS. Thus we have established a framework for mechanical protocol verification. We apply this framework to the Concurrent Alternating Bit Protocol.

---

     

Numerical Modeling of Cemented Mine Backfill Deposition

In current underground mining practice, it is common to use tailings, without added cement, to fill mined-out voids (“stopes”). If fine-grained tailings are used, the high placement rates and low permeability can often result in undrained loading conditions and, hence, lower effective stress, when assessed in the conventional manner. Where cement is added, the cement modifies the consolidation characteristics in a number of ways, including increasing the strength and stiffness, reducing the permeability, and inducing volumetric changes associated with the hydration reactions leading to “self-desiccation.” As a result, conventional consolidation-analysis techniques are unsuitable for assessing the behavior. The one-dimensional mine-tailings-consolidation program (MinTaCo) has been modified, and renamed CeMinTaCo, to couple cement hydration with conventional consolidation analysis. The fundamental theory behind the modifications is presented. The model is used to undertake a sensitivity study, which highlights some of the important features of the behavior of cemented backfill, and shows how complex interactions between the various properties produce some outcomes that are counterintuitive.     

Application of a rapid transesterification method for identification of individual fatty acids by gas chromatography on three different nut oils

The lack of uniformity of analytical techniques employed for quantification of fatty acids led to the successful implementation of a rapid transesterification method using tetramethylammonium hydroxide to determine and compare the total fatty acid content of almond, pecan and macadamia oils. Palmitic, oleic and linoleic acids comprised the largest part of the total fatty acid content in almond and pecan oils. Although oleic acid was also the main constituent of macadamia oil, its concentration was substantially lower than in the other oils.