A Constant Torque Micro-Viscometer

We present a technique to measure the viscosity of microscopic volumes of liquid using rotating optical tweezers. The technique can be used when only microlitre (or less) sample volumes are available, for example biological or medical samples, or to make local measurements in complicated micro-structures such as cells. The rotation of the optical tweezers is achieved using the polarisation of the trapping light to rotate a trapped birefringent spherical crystal, called vaterite. Transfer of angular momentum from a circularly polarised beam to the particle causes the rotation. The transmitted light can then be analysed to determine the applied torque to the particle and its rotation rate. The applied torque is determined from the change in the circular polarisation of the beam caused by the vaterite and the rotation rate is used to find the viscous drag on the rotating spherical particle. The viscosity of the surrounding liquid can then be determined. Using this technique we measured the viscosity of liquids at room temperature, which agree well with tabulated values. We also study the local heating effects due to absorption of the trapping laser beam. We report heating of 50-70 K/W in the region of liquid surrounding the particle.

Termination of real-time programs: Definitely, definitely not, or maybe

Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings. A refinement ordering based on Dijkstra's weakest precondition only copes with the first alternative. Weakest liberal preconditions allow one to constrain behaviour provided the program terminates, which copes with the third alternative to some extent. However, neither of these handles the case when a program does not terminate. To handle this case a refinement ordering based on relational semantics can be used. In this paper we explore these issues and the definition of loops for real-time programs as well as corresponding refinement laws.

Further evidence of linkage at 7p22 with familial hyperaldosteronism type II and exclusion of genetic defects in the RBAK coding regions

Once thought rare, primary aldosteronism (PAL) is now reported to be responsible for 5–10% of hypertension. Unlike familial hyperaldosteronism type I (FH-I), FH-II is not glucocorticoidremediable and not associated with the hybrid CYP11B1/CYP11B2 gene mutation. At least five times more common than FH-I, FH-II is clinically indistinguishable from apparently sporadic PAL, suggesting an even higher incidence. Studies performed in collaboration with C Stratakis (NIH, Bethesda) on our largest Australian family (eight affected members) demonstrated linkage at chromosome 7p22. Linkage at this region was also found in a South American family (DNA provided by MI New, Mount Sinai School of Medicine, New York) and in a second Australian family. The combined multipoint LOD score for these 3 families is 4.61 (q = 0) with markers D7S462 and D7S517, providing strong support for this locus harbouring mutations responsible for FH-II. A newly identified recombination event in our largest Australian family has narrowed the region of linkage by 1.8 Mb, permitting exclusion of approximately half the genes residing in the originally reported 5 Mb linked locus. Candidate genes that are involved in cell cycle control are of interest as adrenal hyperplasia and adrenal adenomas are common in FH-II patients. A novel candidate gene in this linked region produces the retinoblastoma-associated Kruppel-associated box protein (RBaK) which interacts with the retinoblastoma gene product to repress the expression of genes activated by members of the E2F family of transcription factors.