Experimental Verification of Decoherence-Free Subspaces

Using spontaneous parametric down-conversion, we produce polarization-entangled states of two photons and characterize them using two-photon tomography to measure the density matrix. A controllable decoherence is imposed on the states by passing the photons through thick, adjustable birefringent elements. When the system is subject to collective decoherence, one particular entangled state is seen to be decoherence-free, as predicted by theory. Such decoherence-free systems may have an important role for the future of quantum computation and information processing.

Solid-phase extraction method with high-performance liquid chromatography and electrochemical detection for the quantitative analysis of oxycodone in human plasma

A sensitive and reproducible solid-phase extraction (SPE) method for the quantification of oxycodone in human plasma was developed. Varian Certify SPE cartridges containing both C-8 and benzoic acid functional groups were the most suitable for the extraction of oxycodone and codeine (internal standard), with consistently high (greater than or equal to 80%) and reproducible recoveries. The elution mobile phase consisted of 1.2 ml of butyl chloride-isopropanol (80:20, v/v) containing 2% ammonia. The quantification limit for oxycodone was 5.3 pmol on-column. Within-day and inter-day coefficients of variation were 1.2% and 6.8% respectively for 284 nM oxycodone and 9.5% and 6.2% respectively for 28.4 nM oxycodone using 0.5-ml plasma aliquots. (C) 1998 Elsevier Science BN. All rights reserved.

Dysmorphogenesis in psychosis: Quantitative and qualitative measures involving the head and face

In this study, we examined qualitative and quantitative measures involving the head and face in a sample of patients and well controls drawn from the Brisbane Psychosis Study. Patients with psychosis (n=310) and age and sex-matched controls (n=303) were drawn from a defined catchment area. Features assessed involved hair whorls (position, number, and direction), eyes (epicanthus), supraorbital ridge, ears (low set, protrusion, hypoplasia, ear lobe attachment, asymmetry, helix width), and mouth (palate height and shape, palate ridges, furrowed and bifid tongue). Quantitative measures related to skull size (circumference, width and length) selected facial heights and depths. The impact of selected risk factors (place and season of birth, fathers' occupation at time of birth, selfreported pregnancy and birth complications, family history) were examined in the entire group, while the association between age of onset and dysmorphology was assessed within the patient group. Significant group (cases versus controls) differences included: patients had smaller skull bases, smaller facial heights, larger facial depths, lower set and protruding ears, different palate shape and fewer palate ridges. In the entire sample significant associations included: (a) those with positive family history of mental illness bad smaller head circumference, cranial length and facial heights; (b) pregnancy and birth complications was associated with smaller facial beights: (c) larger head circumference was associated with higher ranked fathers' occupations at birth. Within the patient group, age of onset was significantly lower in those with more qualitative anomalies or with larger facial heights. The group differences were not due to outliers or distinct subgroups, suggesting that the factors responsible for the differences may be subtle and widely dispersed in the patient group. The Stanley Foundation supported this project.

Quantitative analysis of vascular to cardiac selectivity of L- and T-type voltage-operated calcium channel antagonists in human tissues

1. Classical L-type voltage-operated calcium channel (VOCC) antagonists dilate blood vessels, depress myocardial contractility and slow cardiac conduction. 2. We compared four L-type VOCC antagonists and a novel tetralol derivative, mibefradil, reportedly 10-fold more selective for T- (transient) over L-type VOCC in two in vitro assays of human tissue, namely isolated small arteries from the aortic vasa vasorum in a myograph and right atrial trabeculae muscle under isometric force conditions. 3. In arteries contracted with K+ (62 mmol/L), the relaxation pIC(50) values for the VOCC antagonists felodipine, nifedipine, amlodipine, verapamil and mibefradil were 8.30, 7.78, 6.64, 6.26 and 6.22, respectively. In atrial trabeculae, the pIC(50) values to inhibit the inotropic response to a submaximal concentration of isoprenaline (6 nmol/L) for felodipine, nifedipine, verapamil, amlodipine and mibefradil were 7.21, 6.95, 6.91, 5.94 and 4.61, respectively. 4. Taking the anti-log (pIC(50) vessel - pIC(50) atrium) the vascular relaxation to cardiac depression potency ratios for mibefradil, felodipine, nifedipine, amlodipine and verapamil were 41, 12, 7, 5 and 0.22, respectively. 5. We conclude that, in human tissue assays, perhaps T- over L-type VOCC selectivity confers the most favourable vascular selectivity on mibefradil. Alternatively, splice variants of L-type VOCC in the vasculature (CaV1.2b) may be more sensitive to mibefradil than the splice variants in the heart (CaV1.2a).

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.