Ventricular dysfunction in early diabetic heart disease: detection, mechanisms and significance

The detection of preclinical heart disease is a new direction in diabetes care. This comment describes the study by Vinereanu and co-workers in this issue of Clinical Science in which tissue Doppler echocardiography has been employed to demonstrate subtle systolic and diastolic dysfunction in Type 11 diabetic patients who had normal global systolic function and were free of coronary artery disease. The aetiology of early ventricular dysfunction in diabetes relates to complex intramyocardial and extramyocardial mechanisms. The initiating event may be due to insulin resistance, and involves abnormal myocardial substrate utilization and uncoupling of mitochondrial oxidative phosphorylation. Dysglycaemia plays an important role via the effects of oxidative stress, protein kinase C activation and advanced glycosylation end-products on inflammatory signalling, collagen metabolism and fibrosis. Extramyocardial mechanisms involve peripheral endothelial dysfunction, arterial stiffening and autonomic neuropathy. The clinical significance of the ventricular abnormalities described is unknown. Confirmation of their prognostic importance for cardiac disease in diabetes would justify routine screening for presymptomatic ventricular dysfunction, as well as clinical trials of novel agents for correcting causal mechanisms. These considerations could also have implications for patients with obesity and the metabolic syndrome.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Photon-added detection

The production of conditional quantum states and quantum operations based on the result of measurement is now seen as a key tool in quantum information and metrology. We propose a different type of photon number detector. It functions nondeterministically, but when successful, it has high fidelity. The detector, which makes use of an n-photon auxiliary Fock state and high efficiency homodyne detection, allows a tunable trade-off between fidelity and probability. By sacrificing probability of operation, an excellent approximation to a photon-number detector is achieved.

Resolution enhancement by subtraction of confocal signals taken at different pinhole sizes

Subtractive imaging in confocal fluorescence light microscopy is based on the subtraction of a suitably weighted widefield image from a confocal image. An approximation to a widefield image can be obtained by detection with an opened confocal pinhole. The subtraction of images enhances the resolution in-plane as well as along the optic axis. Due to the linearity of the approach, the effect of subtractive imaging in Fourier-space corresponds to a reduction of low spatial frequency contributions leading to a relative enhancement of the high frequencies. Along the direction of the optic axis this also results in an improved sectioning. Image processing can achieve a similar effect. However, a 3D volume dataset must be acquired and processed, yielding a result essentially identical to subtractive imaging but superior in signal-to-noise ratio. The latter can be increased further with the technique of weighted averaging in Fourier-space. A comparison of 2D and 3D experimental data analysed with subtractive imaging, the equivalent Fourier-space processing of the confocal data only, and Fourier-space weighted averaging is presented. (C) 2003 Elsevier Ltd. All rights reserved.