This paper describes the translation of Object-Z speciications of container classes to C++ test oracle classes. It presents a three-stage translation process and describes how the derived test oracles are integrated into the ClassBench testing framework. The method caters for object-oriented features such as inheritance and aggregation. Translation issues and limitations of the method are discu...

Multifactorial inheritance is the most important model accounting for the genetic behavior of the common epilepsies. Important to this model is the concept that many cumulative or synergistic risk genes ultimately lead to a threshold effect. Sophisticated molecular testing indicates that the common epilepsies are very polygenic without evidence of any single gene having even a mild-to-modest ri...

The implications of approximate dynamical constants of motion for statistical analysis of highly excited vibrational spectra are investigated. The existence of approximate dynamical constants is related to localized chaos and partial assignability of a "chaotic spectrum." Approximate dynamical constants are discussed in a dynamical symmetry breaking formulation of the transition from periodic t...

A Riemannian manifold is said to be Kähler if the holonomy group is contained in U(n). It is quaternion Kähler if the holonomy group is contained in Sp(n)Sp(1). It is known that quaternion Kähler manifolds of dimension ≥ 8 are Einstein, so the scalar curvature s splits these manifolds according to whether s > 0, s = 0 or s < 0. Ricci flat quaternion Kähler manifolds include hyperkähler manifold...

In this paper the effect of surface tension is considered on two two-dimensional waterwave problems involving pairs of immersed bodies. Both models, having fluid of infinite depth, support localized oscillations, or trapped modes, when capillary effects are excluded. The first pair of bodies is surface-piercing whereas the second pair is fully submerged. In the former case it is shown that the ...

in this paper, the combined effect of suspended (fine dust) particles and rotation on the onset of thermosolutal convection in an elastico-viscous fluid in a porous medium is studied. for the porous medium, the brinkman model is employed and rivlin-ericksen model is used to characterize viscoelastic fluid. by applying normal mode analysis method, the dispersion relation has been derived and sol...

Cryptolepine is the major alkaloidal constituent of the West African climbing shrub Cryptolepis sanguinolenta, a species used in traditional medicine for the treatment of malaria and a number of other infectious diseases. Cryptolepine and a number of its synthetic analogues have been shown to have potent antiplasmodial activities using P. falciparum lactate dehydrogenase assay (PfLDH). Intraery...