Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

Utilizing encoding in scalable linear optics quantum computing

We present a scheme which offers a significant reduction in the resources required to implement linear optics quantum computing. The scheme is a variation of the proposal of Knill, Laflamme and Milburn, and makes use of an incremental approach to the error encoding to boost probability of success.

Unitary R-matrices for topological quantum computing

The main problem with current approaches to quantum computing is the difficulty of establishing and maintaining entanglement. A Topological Quantum Computer (TQC) aims to overcome this by using different physical processes that are topological in nature and which are less susceptible to disturbance by the environment. In a (2+1)-dimensional system, pseudoparticles called anyons have statistics that fall somewhere between bosons and fermions. The exchange of two anyons, an effect called braiding from knot theory, can occur in two different ways. The quantum states corresponding to the two elementary braids constitute a two-state system allowing the definition of a computational basis. Quantum gates can be built up from patterns of braids and for quantum computing it is essential that the operator describing the braiding-the R-matrix-be described by a unitary operator. The physics of anyonic systems is governed by quantum groups, in particular the quasi-triangular Hopf algebras obtained from finite groups by the application of the Drinfeld quantum double construction. Their representation theory has been described in detail by Gould and Tsohantjis, and in this review article we relate the work of Gould to TQC schemes, particularly that of Kauffman.

Alternatives for parallel Krylov subspace basis computation

Numerical methods related to Krylov subspaces are widely used in large sparse numerical linear algebra. Vectors in these subspaces are manipulated via their representation onto orthonormal bases. Nowadays, on serial computers, the method of Arnoldi is considered as a reliable technique for constructing such bases. However, although easily parallelizable, this technique is not as scalable as expected for communications. In this work we examine alternative methods aimed at overcoming this drawback. Since they retrieve upon completion the same information as Arnoldi's algorithm does, they enable us to design a wide family of stable and scalable Krylov approximation methods for various parallel environments. We present timing results obtained from their implementation on two distributed-memory multiprocessor supercomputers: the Intel Paragon and the IBM Scalable POWERparallel SP2. (C) 1997 by John Wiley & Sons, Ltd.

An Eight-week, Multicentric, Randomized, Interventional, Open-label, Phase 4, Parallel Comparison of the Efficacy and Tolerability of the Fixed Combination of Timolol Maleate 0.5%/Brimonidine Tartrate 0.2% Versus Fixed Combination of Timolol Maleate 0.5%/Dorzolamide 2% in Patients With Elevated Intraocular Pressure

Purpose: To compare the efficacy and tolerability of the fixed combination of timolol maleate 0.5%/brimonidine tartrate 0.2% versus fixed combination of timolol maleate 0.5%/dorzolamide 2% in patients with elevated intraocular pressure (IOP) over 8 weeks. Patients and Methods: This 8-week, multicentric. interventional, randomized, open-label, parallel group study was conducted Lit 4 centers in Brazil and 1 center in Argentina. Patients with open-angle glaucoma or ocular hypertension were randomized to receive bilaterally fixed combination of brimonidine/timolol maleate 0.5% or fixed combination of dorzolamide 2%/timolol 0.5% twice daily at 8:00 AM and 8:00 PM. A modified diurnal tension curve (8:00 AM 10:30 AM, 02:00 PM, and 4:00 PM) followed by the water drinking test (WDT), which estimates IOP peak of diurnal tension curve, were performed in the baseline and week-8 visits. Adverse events data were recorded at each visit. Results: A total of 210 patients were randomized (brimonidine/timolol, n = 111; dorzolamide/timolol, n = 99). Mean baseline IOP was 23.43 +/- 3.22 mm Hg and 23.43 +/- 4.06 mm Hg in the patients treated with brimonidine/timolol and dorzolamide/timolol, respectively (P = 0.993). Mean diurnal IOP reduction after 8 weeks were 7.02 +/- 3.06 mm Hg and 6.91 +/- 3.67 mm Hg. respectively (P = 0.811). The adjusted difference between groups (analysis of covariance) Lit week 8 was not statistically significant (P = 0.847). Mean baseline WDT peak was 27.79 +/- 4.29 mm Hg in the brimonidine/timolol group and 27.68 +/- 5.46 mm Hg in the dorzolamide/timolol group. After 8 weeks of treatment, mean WDT peaks were 20.94 +/- 3.76 mm Hg (P < 0.001) and 20.98 +/- 4.19 (P < 0.001), respectively. The adjusted difference between groups (analysis of covariance) was not statistically significant (P = 0.469). No statistical difference in terms of adverse events was Found between groups. Conclusions: Both fixed combinations were capable of significantly reducing the mean diurnal IOP, mean diurnal peak, and mean WDT peak after 8 weeks of treatment. Also, both fixed combinations are well tolerated with few side effects.

Self-Esteem, Confidence, and Relationships in Brazilian Men with Erectile Dysfunction Receiving Sildenafil Citrate: A Randomized, Parallel-Group, Double-Blind, Placebo-Controlled Study in Brazil

Psychosocial manifestations of erectile dysfunction (ED) differ across cultures. Understanding the treatment response to ED medications within cultural groups can aid in resource allocation and in developing treatment strategies. Evaluate the effect of sildenafil treatment on self-esteem, confidence, and sexual relationship satisfaction in Brazilian men with ED. The Self-Esteem and Relationship (SEAR) questionnaire, a validated, 14-question instrument developed to specifically address self-esteem and relationship issues within the context of ED. Men aged 18 years or older with a clinical diagnosis of ED (<= 21 on the Sexual Health Inventory for Men) and in a stable relationship with a partner during the study were eligible. The primary end point was a change from baseline in the self-esteem subscale of the SEAR questionnaire. Thirteen Brazilian sites participated in a randomized, double-blind, placebo-controlled trial of sildenafil treatment for ED. Patients were randomized to receive either 50 mg of sildenafil (adjustable to 25 mg or 100 mg based on patient response) or matching placebo approximately 1 hour before anticipated sexual activity but not more than once a day. At the end of double-blind treatment, 63 and 66 patients in the placebo and sildenafil groups, respectively, from 13 Brazilian sites were assessed for efficacy. Brazilian patients receiving sildenafil had significantly greater improvements in their scores on the SEAR self-esteem subscale (42.9 [95% confidence interval 35.7-50.0]) compared with placebo (21.1 [95% confidence interval 13.7-28.6]; P < 0.0001). Effect sizes ranged from 0.91 to 1.25 for individual SEAR components. The psychosocial parameters in Brazilian men with ED assessed by the SEAR questionnaire showed significant improvements in self-esteem, confidence, and relationships after treatment with sildenafil. Glina S, Damiao R, Abdo C, Afif-Abdo J, Tseng L-J, and Stecher V. Self-esteem, confidence, and relationships in Brazilian men with erectile dysfunction receiving sildenafil citrate: A randomized, parallel-group, double-blind, placebo-controlled study in Brazil. J Sex Med 2009;6:268-275.

Developing human minor salivary glands: morphological parallel relation between the expression of TGF-beta isoforms and cytoskeletal markers of glandular maturation

Morphogenesis of salivary glands involves complex coordinated events. Synchronisation between cell proliferation, polarisation and differentiation, which are dependent on epithelial-mesenchymal interactions and on the microenvironment, is a requirement. Growth factors mediate many of these orchestrated biological processes and transforming growth factor-beta (TGF-beta) appear to be relevant. Using immunohistochemistry and immunofluorescence, we have mapped the distribution of TGF-beta 1, 2 and 3 and compared it with the expression of maturation markers in human salivary glands obtained from foetuses ranging from weeks 4 to 24 of gestation. TGF-beta 1 first appeared during canalisation stage in the surrounding mesenchyme and, in the more differentiated stages, was expressed in the cytoplasm of acinar cells throughout the adult gland. TGF-beta 2 was detected since the bud stage of the salivary gland. Its expression was observed in ductal cells and increased along gland differentiation, TGF-beta 3 was detected from the canalisation stage of the salivary gland, being weakly expressed on ductal cells, and it was the only factor detected on myoepithelial cells. The data suggest that TGF-beta have a role to play in salivary gland development and differentiation.

Non-coding RNAs: the architects of eukaryotic complexity

Around 98% of all transcriptional output in humans is noncoding RNA. RNA-mediated gene regulation is widespread in higher eukaryotes and complex genetic phenomena like RNA interference, co-suppression, transgene silencing, imprinting, methylation, and possibly position-effect variegation and transvection, all involve intersecting pathways based on or connected to RNA signaling. I suggest that the central dogma is incomplete, and that intronic and other non-coding RNAs have evolved to comprise a second tier of gene expression in eukaryotes, which enables the integration and networking of complex suites of gene activity. Although proteins are the fundamental effectors of cellular function, the basis of eukaryotic complexity and phenotypic variation may lie primarily in a control architecture composed of a highly parallel system of trans-acting RNAs that relay state information required for the coordination and modulation of gene expression, via chromatin remodeling, RNA-DNA, RNA-RNA and RNA-protein interactions. This system has interesting and perhaps informative analogies with small world networks and dataflow computing.