Bronchoscopic lung-volume reduction with Exhale airway stents for emphysema (EASE trial): randomised, sham-controlled, multicentre trial

Background Airway bypass is a bronchoscopic lung-volume reduction procedure for emphysema whereby transbronchial passages into the lung are created to release trapped air, supported with paclitaxel-coated stents to ease the mechanics of breathing. The aim of the EASE (Exhale airway stents for emphysema) trial was to evaluate safety and efficacy of airway bypass in people with severe homogeneous emphysema. Methods We undertook a randomised, double-blind, sham-controlled study in 38 specialist respiratory centres worldwide. We recruited 315 patients who had severe hyperinflation (ratio of residual volume [RV] to total lung capacity of >= 0.65). By computer using a random number generator, we randomly allocated participants (in a 2:1 ratio) to either airway bypass (n=208) or sham control (107). We divided investigators into team A (masked), who completed pre-procedure and post-procedure assessments, and team B (unmasked), who only did bronchoscopies without further interaction with patients. Participants were followed up for 12 months. The 6-month co-primary efficacy endpoint required 12% or greater improvement in forced vital capacity (FVC) and 1 point or greater decrease in the modified Medical Research Council dyspnoea score from baseline. The composite primary safety endpoint incorporated five severe adverse events. We did Bayesian analysis to show the posterior probability that airway bypass was superior to sham control (success threshold, 0.965). Analysis was by intention to treat. This study is registered with ClinicalTrials.gov, number NCT00391612. Findings All recruited patients were included in the analysis. At 6 months, no difference between treatment arms was noted with respect to the co-primary efficacy endpoint (30 of 208 for airway bypass vs 12 of 107 for sham control; posterior probability 0.749, below the Bayesian success threshold of 0.965). The 6-month composite primary safety endpoint was 14.4% (30 of 208) for airway bypass versus 11.2% (12 of 107) for sham control (judged non-inferior, with a posterior probability of 1.00 [Bayesian success threshold >0.95]). Interpretation Although our findings showed safety and transient improvements, no sustainable benefit was recorded with airway bypass in patients with severe homogeneous emphysema.

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.

A randomized double-blind placebo-controlled trial to increase feasibility of dobutamine stress echocardiography in patients with hypertension

Objective: To increase dobutamine stress echocardiography feasibility in patients with uncontrolled hypertension, we studied 729 consecutive patients referred for ischemia assessment. Methods: Patients with blood pressure ( BP) levels above 160/ 110 mm Hg were randomized to sublingual placebo or captopril ( 25 mg), and dobutamine stress echocardiography undertaken if BP decreased below 160/ 110 mm Hg after 15 minutes. Results: Of 149 patients ( 20%) with high BP levels, 104 ( 63 +/- 11 years, 51 male) were randomized. Baseline BP levels were similar for captopril ( 178 +/- 15/ 103 +/- 15 mm Hg) and placebo ( 181 +/- 17/ 103 +/- 15 mm Hg) groups. After intervention, 15 patients from captopril and 17 from placebo group had decreased BP ( 11% and 12% for systolic and 13% and 13% for diastolic BP, respectively). Five patients from placebo group ( P =.007) had to prematurely terminate the test because of hypertension ( BP > 220/ 120 mm Hg). Feasibility was similar for captopril and placebo groups ( 35% vs 25%, respectively, P = not significant). Conclusion: Although both captopril and placebo are effective in increasing dobutamine stress echocardiography feasibility in patients with uncontrolled BP, test interruption because of hypertension is less likely to occur after captopril administration.

Rationale and design of a randomized placebo-controlled trial assessing the effects of etiologic treatment in Chagas` cardiomyopathy: The BENznidazole Evaluation For Interrupting Trypanosomiasis (BENEFIT)

Background Benznidazole is effective for treating acute and chronic (recently acquired) Tryponosoma cruzi infection (Chagas` disease). Recent data indicate that parasite persistence plays a pivotal role in the pathogenesis of chronic Chagas` cardiomyopathy. However, the efficacy of trypanocidal therapy in preventing clinical complications in patients with preexisting cardiac disease is unknown. Study Design BENEFIT is a multicenter, randomized, double-blind, placebo-controlled clinical trial of 3,000 patients with Chagas` cardiomyopathy in Latin America. Patients are randomized to receive benznidazole (5 mg/kg per day) or matched placebo, for 60 days. The primary outcome is the composite of death; resuscitated cardiac arrest; sustained ventricular tachycardia; insertion of pacemaker or cardiac defibrillator; cardiac transplantation; and development of new heart failure, stroke, or systemic or pulmonary thromboembolic events. The average follow-up time will be 5 years, and the trial has a 90% power to detect a 25% relative risk reduction. The BENEFIT program also comprises a substudy evaluating the effects of benznidazole on parasite clearance and an echo substudy exploring the impact of etiologic treatment on left ventricular function. Recruitment started in November 2004, and >1,000 patients have been enrolled in 35 centers from Argentina, Brazil, and Colombia to date. Conclusion This is the largest trial yet conducted in Chagas` disease. BENEFIT will clarify the role of trypanocidal therapy in preventing cardiac disease progression and death.

Fatigue life and failure modes of crowns systems with a modified framework design

Objectives: To evaluate the effect of framework design on the fatigue life and failure modes of metal ceramic (MC, Ni-Cr alloy core, VMK 95 porcelain veneer), glass-infiltrated alumina (ICA, In-Ceram Alumina/VM7), and veneered yttria-stabilized tetragonal zirconia polycrystals (Y-TZP, IPSe.max ZirCAD/IPS e.max,) crowns. Methods: Sixty composite resin tooth replicas of a prepared maxillary first molar were produced to receive crowns systems of a standard (MCs, ICAs, and Y-TZPs, n = 10 each) or a modified framework design (MCm, ICAm, and Y-TZPm, n = 10 each). Fatigue loading was delivered with a spherical steel indenter (3.18 mm radius) on the center of the occlusal surface using r-ratio fatigue (30-300 N) until completion of 10(6) cycles or failure. Fatigue was interrupted every 125,000 cycles for damage evaluation. Weibull distribution fits and contour plots were used for examining differences between groups. Failure mode was evaluated by light polarized and SEM microscopy. Results: Weibull analysis showed the highest fatigue life for MC crowns regardless of framework design. No significant difference (confidence bound overlaps) was observed between ICA and Y-TZP with or without framework design modification. Y-TZPm crowns presented fatigue life in the range of MC crowns. No porcelain veneer fracture was observed in the MC groups, whereas ICAs presented bulk fracture and ICAm failed mainly through the veneer. Y-TZP crowns failed through chipping within the veneer, without core fractures. Conclusions: Framework design modification did not improve the fatigue life of the crown systems investigated. Y-TZPm crowns showed comparable fatigue life to MC groups. Failure mode varied according to crown system. (C) 2010 Elsevier Ltd. All rights reserved.

Category-theoretic fibration as an abstraction mechanism in information systems

This paper examines the problem of establishing a formal relationship of abstraction and refinement between abstract enterprise models and the concrete information systems which implement them. It introduces and justifies a number of reasonableness requirements, which turn out to justify the use of category theoretic concepts, particularly fibrations, to precisely specify a semantics for enterprise models which enables them to be considered as abstractions of the conceptual models from which the implementing information systems are built. The category-theoretic concepts are developed towards the problem of testing whether a system satisfies the fibration axioms, and are applied to case studies to demonstrate their practicability.

The evolution of controlled multitasked gene networks: The role of introns and other noncoding RNAs in the development of complex organisms

Eukaryotic phenotypic diversity arises from multitasking of a core proteome of limited size. Multitasking is routine in computers, as well as in other sophisticated information systems, and requires multiple inputs and outputs to control and integrate network activity. Higher eukaryotes have a mosaic gene structure with a dual output, mRNA (protein-coding) sequences and introns, which are released from the pre-mRNA by posttranscriptional processing. Introns have been enormously successful as a class of sequences and comprise up to 95% of the primary transcripts of protein-coding genes in mammals. In addition, many other transcripts (perhaps more than half) do not encode proteins at all, but appear both to be developmentally regulated and to have genetic function. We suggest that these RNAs (eRNAs) have evolved to function as endogenous network control molecules which enable direct gene-gene communication and multitasking of eukaryotic genomes. Analysis of a range of complex genetic phenomena in which RNA is involved or implicated, including co-suppression, transgene silencing, RNA interference, imprinting, methylation, and transvection, suggests that a higher-order regulatory system based on RNA signals operates in the higher eukaryotes and involves chromatin remodeling as well as other RNA-DNA, RNA-RNA, and RNA-protein interactions. The evolution of densely connected gene networks would be expected to result in a relatively stable core proteome due to the multiple reuse of components, implying,that cellular differentiation and phenotypic variation in the higher eukaryotes results primarily from variation in the control architecture. Thus, network integration and multitasking using trans-acting RNA molecules produced in parallel with protein-coding sequences may underpin both the evolution of developmentally sophisticated multicellular organisms and the rapid expansion of phenotypic complexity into uncontested environments such as those initiated in the Cambrian radiation and those seen after major extinction events.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Materialized view selection under the maintenance time constraint

A data warehouse is a data repository which collects and maintains a large amount of data from multiple distributed, autonomous and possibly heterogeneous data sources. Often the data is stored in the form of materialized views in order to provide fast access to the integrated data. One of the most important decisions in designing a data warehouse is the selection of views for materialization. The objective is to select an appropriate set of views that minimizes the total query response time with the constraint that the total maintenance time for these materialized views is within a given bound. This view selection problem is totally different from the view selection problem under the disk space constraint. In this paper the view selection problem under the maintenance time constraint is investigated. Two efficient, heuristic algorithms for the problem are proposed. The key to devising the proposed algorithms is to define good heuristic functions and to reduce the problem to some well-solved optimization problems. As a result, an approximate solution of the known optimization problem will give a feasible solution of the original problem. (C) 2001 Elsevier Science B.V. All rights reserved.