A Refinement Strategy for Circus

We present a refinement strategy for Circus, which is the combination of Z, CSP, and the refinement calculus in the setting of Hoare and Hes unifying theories of programming. The strategy unifies the theories of refinement for processes and their constituent actions, and provides a coherent technique for the stepwise refinement of concurrent and distributed programs involving rich data structures. This kind of development is carried out using Circuss refinement calculus, and we describe some of its laws for the simultaneous refinement of state and control behaviour, including the splitting of a process into parallel subcomponents. We illustrate the strategy and the laws using a case study that shows the complete development of a small distributed program.     

Response of the Ladybird Parasitoid Dinocampus coccinellae to Toxic Alkaloids from the Seven-spot Ladybird, Coccinella septempunctata

Electrophysiological and behavioral responses of the ladybird parasitoid Dinocampus coccinellae to volatiles from the seven-spot ladybird, Coccinella septempunctata, were investigated to identify semiochemicals involved in host location. Coupled gas chromatography–electroantennography (GC-EAG) with D. coccinellae located a small peak of prominent activity in an extract of volatiles from adult C. septempunctata. The active compound was identified by coupled GC-mass spectrometry and by comparison with an authentic sample as the free-base alkaloid precoccinelline, which forms part of the toxic defense of this ladybird. Behavioral studies in an olfactometer showed that D. coccinellae was significantly attracted to the volatile extract and also to the alkaloid. Myrrhine, a stereoisomer of precoccinelline found in low amounts in C. septempunctata and in other ladybird species, was shown to be electrophysiologically active and significantly attractive. Perception of ladybird alkaloids by D. coccinellae is a rare example of toxicants acting as aerially transmitted cues for interactions between the third and fourth trophic levels.     

Investigation of mixed convection in a large rectangular enclosure

This experimental research investigates mixed convection and heat transfer augmentation by gaseous forced jets in a large enclosure, at conditions simulating those of passive containment cooling systems for Gen III+ passively safe reactors. The experiment is designed to measure the key parameters governing heat transfer augmentation by forced jets, and to investigate the effects of geometric factors, including the jet diameter, jet injection orientation, interior structures, and enclosure aspect ratio. The tests cover a variety of injection modes leading to flow configurations of interest for mixing and stratification phenomena in containments under accident conditions. Correlations for heat transfer augmentation by forced jets are developed and compared with experimental data. The characteristic recirculation speed inside the enclosure is introduced and analyzed. Steady stratified temperature distributions are compared with model simulations of the BMIX++ code.     

The effects of cholinergic compounds on the development of morphine tolerance, dependence and increased naloxone potency in mice

The effects of chronic treatment with morphine and cholinergic compounds on the development of morphine tolerance, physical dependence and increased naloxone potency were studied. Using the abdominal constriction method, it was shown that morphine tolerance was apparent after s.c. administration of morphine 20.0 mg/kg three times a day for four days. It was found that, in animals which showed a low degree of morphine tolerance, the naloxone potency was similar to that determined in mice which had been pretreated with only a single dose of morphine which causes no measurable tolerance. Thus, the development of increased naloxone potency and tolerance to morphine do not parallel each other. In addition, while atropine inhibited, and anti-cholinesterase drugs enhanced, the development of increased naloxone potency caused by morphine treatment they had no or little effect on the development of morphine tolerance. Furthermore, chronic treatment with cholinergic agonists reduced, while muscarinic antagonist enhanced, the development of physical dependence on morphine as assessed by withdrawal jumping and body weight loss. It is concluded that the increased potency of naloxone in antagonising the antinociceptive effect of morphine can be dissociated from the development of tolerance to, and physical dependence on, morphine in mice.     

TIMP-1 contact sites and perturbations of stromelysin 1 mapped by NMR and a paramagnetic surface probe

Surfaces of the 173 residue catalytic domain of human matrix metalloproteinase 3 (MMP-3(DeltaC)) affected by binding of the N-terminal, 126 residue inhibitory domain of human TIMP-1 (N-TIMP-1) have been investigated using an amide-directed, NMR-based approach. The interface was mapped by a novel method that compares amide proton line broadening by paramagnetic Gd-EDTA in the presence and absence of the binding partner. The results are consistent with the X-ray model of the complex of MMP-3(DeltaC) with TIMP-1 (Gomis-Rüth et al. (1997) Nature 389, 77-81). Residues Tyr155, Asn162, Val163, Leu164, His166, Ala167, Ala169, and Phe210 of MMP-3(DeltaC) are protected from broadening by the Gd-EDTA probe by binding to N-TIMP-1. N-TIMP-1-induced exposure of backbone amides of Asp238, Asn240, Gly241, and Ser244 of helix C of MMP-3(DeltaC) to Gd-EDTA confirms that the displacement of the N-terminus of MMP-3(DeltaC) occurs not only in the crystal but also in solution. These results validate comparative paramagnetic surface probing as a means of mapping protein-protein interfaces. Novel N-TIMP-1-dependent changes in hydrogen bonding near the active site of MMP-3(DeltaC) are reported. N-TIMP-1 binding causes the amide of Tyr223 of MMP-3(DeltaC) bound by N-TIMP-1 to exchange with water rapidly, implying a lack of the hydrogen bond observed in the crystal structure. The backbone amide proton of Asn162 becomes protected from rapid exchange upon forming a complex with N-TIMP-1 and could form a hydrogen bond to N-TIMP-1. N-TIMP-1 binding dramatically increases the rate of amide hydrogen exchange of Asp177 of the fifth beta strand of MMP-3(DeltaC), disrupting its otherwise stable hydrogen bond.     

Formal development of industrial-scale systems in <Emphasis Type="BoldItalic">Circus</Emphasis>

Circus is a new notation that may be used to specify both data and behavioural aspects of a system, and has an associated refinement calculus. In this work, we present rules to translate Circus programs to Java programs that use JCSP, a library that implements Communicating Sequential Processes constructs. These rules can be used as a complement to the Circus algebraic refinement technique, or as a guideline for implementation. They are a link between the results on refinement in the context of Circus and a practical programming language in current use. The rules can also be used as the basis for a tool that mechanises the translation. Although a few case studies are already available in the literature, the industrial fire control system, whose refinement and implementation is discussed in this paper, is, as far as we know, the largest case study on the Circus refinement strategy.     

Fueguian cranial morphology: the adaptation to a cold, harsh environment

Craniometric data from the three extinct tribes that inhabited Tierra del Fuego (Selk'nam, Yámana, and Kawéskar) were gathered following Howell's measurement technique. We studied 180 skulls preserved at thirteen different institutions. Analysis of variance (ANOVA) between groups showed that morphological similarities among Fueguian groups are far more important than some differences between marine (Yámana and Kawéskar) and terrestrial (Selk'nam) groups. A principal component analysis (PCA) generated from the correlation matrix shows that Fueguians fall as outliers with respect to the typical Mongoloid morphology. In addition, a UPGMA tree generated from a squared Euclidean distance matrix indicates that Fueguian groups have a morphological pattern that is very distinct from that of other present-day Amerindian groups, with the exception of the Eskimos. One of the variables that contributes substantially to the differentiation of Eskimos and Fueguians is the nasal height. This suggests that nasal morphology in both groups could be a response to adaptive pressures related to the cold environment. However, other morphological particularities of Fueguian skulls, such as craniofacial robustness and variables of craniofacial width, can be attributed to a large masticatory stress. As a whole, the morphological features of Fueguian groups can be regarded as a general adaptive response to a very harsh environment, along with the retention of some plesiomorphic features. Assuming that the initial entry in Tierra de Fuego took place around 10,000 years BP, before the disappearance of the last land bridges in the Magellan Straits, then this adaptation might have arisen in a relatively short period, hastened by the extreme environmental conditions.     

The CTFA Evaluation of Alternatives Program: an evaluation of in vitro alternatives to the Draize primary eye irritation test. (Phase III) surfactant-based formulations

The CTFA Evaluation of Alternatives Program is an evaluation of the relationship between data from the Draize primary eye irritation test and comparable data from a selection of promising in vitro eye irritation tests. In Phase III, data from the Draize test and 41 in vitro endpoints on 25 representative surfactant-based personal care formulations were compared. As in Phase I and Phase II, regression modelling of the relationship between maximum average Draize score (MAS) and in vitro endpoint was the primary approach adopted for evaluating in vitro assay performance. The degree of confidence in prediction of MAS for a given in vitro endpoint is quantified in terms of the relative widths of prediction intervals constructed about the fitted regression curve. Prediction intervals reflect not only the error attributed to the model but also the material-specific components of variation in both the Draize and the in vitro assays. Among the in vitro assays selected for regression modeling in Phase III, the relationship between MAS and in vitro score was relatively well defined. The prediction bounds on MAS were most narrow for materials at the lower or upper end of the effective irritation range (MAS = 0-45), where variability in MAS was smallest. This, the confidence with which the MAS of surfactant-based formulations is predicted is greatest when MAS approaches zero or when MAS approaches 45 (no comment is made on prediction of MAS > 45 since extrapolation beyond the range of observed data is not possible). No single in vitro endpoint was found to exhibit relative superiority with regard to prediction of MAS. Variability associated with Draize test outcome (e.g. in MAS values) must be considered in any future comparisons of in vivo and in vitro test results if the purpose is to predict in vivo response using in vitro data.     

Isolation of a novel Helicobacter species, Helicobacter cholecystus sp. nov., from the gallbladders of Syrian hamsters with cholangiofibrosis and centrilobular pancreatitis

A filamentous, gram-negative, motile bacterium with a single polar sheathed flagellum was isolated from gallbladders of hamsters with cholangiofibrosis and centrilobular pancreatitis. Bacteria grew under microaerophilic conditions at 37 and 42 degrees C, were oxidase, catalase, arginine aminopeptidase, and L-arginine arylamidase positive, reduced nitrate to nitrite, were resistant to cephalothin, and exhibited intermediate susceptibility to nalidixic acid. Sequence analysis of the 16S rRNA gene indicated that the bacterium was a novel member of the Helicobacter genus, most closely related to Helicobacter pametensis. We propose to name this bacterium Helicobacter cholecystus. In epidemiologic studies, isolation of H. cholecystus correlated strongly with the presence of cholangiofibrosis and centrilobular pancreatitis; however, further studies are needed to define the role of this bacterium in pathogenesis.