Generating a checking sequence with a minimum number of reset transitions

Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)

Clinical, angiographic, and procedural predictors of angiographic restenosis after sirolimus-eluting stent implantation in complex patients

BACKGROUND: The factors associated with the occurrence of restenosis after sirolimus-eluting stent (SES) implantation in complex cases are currently unknown. METHODS AND RESULTS: A cohort of consecutive complex patients treated with SES implantation was selected according to the following criteria: (1) treatment of acute myocardial infarction, (2) treatment of in-stent restenosis, (3) 2.25-mm diameter SES, (4) left main coronary stenting, (5) chronic total occlusion, (6) stented segment >36 mm, and (7) bifurcation stenting. The present study population was composed of 238 patients (441 lesions) for whom 6-month angiographic follow-up data were obtained (70% of eligible patients). Significant clinical, angiographic, and procedural predictors of post-SES restenosis were evaluated. Binary in-segment restenosis was diagnosed in 7.9% of lesions (6.3% in-stent, 0.9% at the proximal edge, 0.7% at the distal edge). The following characteristics were identified as independent multivariate predictors: treatment of in-stent restenosis (OR 4.16, 95% CI 1.63 to 11.01; P<0.01), ostial location (OR 4.84, 95% CI 1.81 to 12.07; P<0.01), diabetes (OR 2.63, 95% CI 1.14 to 6.31; P=0.02), total stented length (per 10-mm increase; OR 1.42, 95% CI 1.21 to 1.68; P<0.01), reference diameter (per 1.0-mm increase; OR 0.46, 95% CI 0.24 to 0.87; P=0.03), and left anterior descending artery (OR 0.30, 95% CI 0.10 to 0.69; P<0.01). CONCLUSIONS: Angiographic restenosis after SES implantation in complex patients is an infrequent event, occurring mainly in association with lesion-based characteristics and diabetes mellitus

Everolimus-eluting stents and paclitaxel-eluting stents in patients presenting with myocardial infarction: Insights from the two-year results of the COMPARE prospective randomised controlled trial

Aims: Although large clinical trials have shown that everolimus-eluting stents (EES) significantly reduce target vessel revascularisation (TVR), myocardial infarction (MI) and stent thrombosis (ST) compared to paclitaxel-eluting stents (PES) in diverse populations, there is a paucity of data comparing EES and PES in patients presenting with MI. Methods and results: We performed a post hoc subgroup analysis on COMPARE, an all-comer trial comparing EES to PES. We identified 863 patients (EES=434, PES=429 treated for MI: 452 ST-elevation MI (STEMI) and 411 non ST-elevation MI (NSTEMI). EES was associated with a significant reduction in the primary endpoint, a composite of all-cause mortality, MI, and TVR, at two years (RR=0.57; 95% CI: 0.40-0.83, p=0.002). While the effect was more marked in the STEMI (RR=0.51; 95% CI: 0.30-0.87, p=0.01) than the NSTEMI subgroup (RR=0.65; 95% CI: 0.39-1.08, p=0.09),

Rhinovirus infection in nonasthmatic subjects: effects on intrapulmonary airways.

The common cold is a highly prevalent, uncomplicated upper airway disease. However, rhinovirus (RV) infection can lead to exacerbation of asthma, with worsening in airway hyperresponsiveness and bronchial inflammation. The current authors questioned whether such involvement of the intrapulmonary airways is disease specific. Twelve nonatopic, healthy subjects (forced expiratory volume in one second (FEV1) >80% predicted, provocation concentration causing a 20% fall in FEV1 (PC20) >8 mg x mL(-1)) were experimentally infected with RV16. Next to PC20 and the maximal response to methacholine (MFEV1 and MV'40p), the numbers of mucosal inflammatory cells and epithelial intercellular adhesion molecule (ICAM)-1 expression in bronchial biopsies were assessed before and 6 days after RV16 inoculation. RV16 infection induced a small but consistent increase in maximal airway narrowing, without a change in PC20. There was a significant increase in bronchial epithelial ICAM-1 expression after RV16, whereas inflammatory cell counts did not change. Nevertheless, the change in the number of submucosal CD3+ cells was correlated with the change in MV'40p. In conclusion, rhinovirus infection in normal subjects induces a limited, but significant increase in maximal airway narrowing, which is associated with changes in bronchial T-cell numbers. Together with the upregulation of bronchial epithelial intercellular adhesion molecule-1, these findings indicate that, even in healthy subjects, rhinovirus infection affects the intrapulmonary airways

Rhinovirus-induced airway inflammation in asthma: effect of treatment with inhaled corticosteroids before and during experimental infection.

Asthma exacerbations are frequently linked to rhinovirus infections. However, the associated inflammatory pathways are poorly understood, and treatment of exacerbations is often unsatisfactory. In the present study we investigated whether antiinflammatory treatment with inhaled corticosteroids prevents any rhinovirus-induced worsening of lower airway inflammation. To that end, we selected 25 atopic patients with mild asthma who underwent experimental rhinovirus 16 (RV16) infection, while receiving double-blind, placebo-controlled treatment with the inhaled corticosteroid budesonide (800 microg twice a day) throughout the study period, starting 2 wk before infection. We assessed inflammatory cell numbers in the bronchial mucosa as obtained by bronchial biopsies 2 d before and 6 d after RV16 infection, and analyzed those in relation to cold symptoms, changes in blood leukocyte counts, airway obstruction, and airway hyperresponsiveness. RV16 colds induced an increase in CD3(+) cells in the lamina propria (p = 0.03) and tended to decrease the numbers of epithelial eosinophils (p = 0.06) in both groups analyzed as a whole. The T cell accumulation was positively associated with cold symptoms. Budesonide pretreatment improved airway hyperresponsiveness (p = 0.02) and eosinophilic airways inflammation (p = 0.04). Yet it did not significantly affect the RV16-associated changes in the numbers of any of the inflammatory cell types. We conclude that RV16 infection by itself induces only subtle worsening of airway inflammation in asthma, which is not improved (or worsened) by inhaled corticosteroids. The latter finding is in keeping with the limited protection of inhaled corticosteroids against acute asthma exacerbations

Rhinovirus-induced airway inflammation in asthma: effect of treatment with inhaled corticosteroids before and during experimental infection.

Contains fulltext : 185764.pdf (publisher's version ) (Closed access)Asthma exacerbations are frequently linked to rhinovirus infections. However, the associated inflammatory pathways are poorly understood, and treatment of exacerbations is often unsatisfactory. In the present study we investigated whether antiinflammatory treatment with inhaled corticosteroids prevents any rhinovirus-induced worsening of lower airway inflammation. To that end, we selected 25 atopic patients with mild asthma who underwent experimental rhinovirus 16 (RV16) infection, while receiving double-blind, placebo-controlled treatment with the inhaled corticosteroid budesonide (800 microg twice a day) throughout the study period, starting 2 wk before infection. We assessed inflammatory cell numbers in the bronchial mucosa as obtained by bronchial biopsies 2 d before and 6 d after RV16 infection, and analyzed those in relation to cold symptoms, changes in blood leukocyte counts, airway obstruction, and airway hyperresponsiveness. RV16 colds induced an increase in CD3(+) cells in the lamina propria (p = 0.03) and tended to decrease the numbers of epithelial eosinophils (p = 0.06) in both groups analyzed as a whole. The T cell accumulation was positively associated with cold symptoms. Budesonide pretreatment improved airway hyperresponsiveness (p = 0.02) and eosinophilic airways inflammation (p = 0.04). Yet it did not significantly affect the RV16-associated changes in the numbers of any of the inflammatory cell types. We conclude that RV16 infection by itself induces only subtle worsening of airway inflammation in asthma, which is not improved (or worsened) by inhaled corticosteroids. The latter finding is in keeping with the limited protection of inhaled corticosteroids against acute asthma exacerbations

Shared Decision-Making for Patients Hospitalized with Acute Myocardial Infarction: A Randomized Trial

Objective: Adherence to guideline-recommended medications after acute myocardial infarction (AMI) is suboptimal. Patient fidelity to treatment regimens may be related to their knowledge of the risk of death following AMI, the pros and cons of medications, and to their involvement in treatment decisions. Shared decision-making may improve both patients' knowledge and involvement in treatment decisions. Methods: In a pilot trial, patients hospitalized with AMI were randomized to the use of the AMI Choice conversation tool or to usual care. AMI Choice includes a pictogram of the patient's estimated risk of mortality at 6 months with and without guidelinerecommended medications, ie, aspirin, statins, beta-blockers, and angiotensin-converting enzyme inhibitors. Primary outcomes were patient knowledge and conflict with the decision made assessed via post-encounter surveys. Secondary outcomes were patient involvement in the decision-making process (observer-based OPTION12 scale) and 6-month medication adherence. Results: Patient knowledge of the expected survival benefit from taking medications was significantly higher (62% vs 16%, p<0.0001) in the AMI Choice group (n = 53) compared to the usual care group (n = 53). Both groups reported similarly low levels of conflict with the decision to start the medications (13 (SD 24.2) vs 16 (SD 22) out of 100; p=0.16). The extent to which clinicians in the AMI Choice group involved their patients in the decision-making process was high (OPTION12 score 53 out of 100, SD 12). Medication adherence at 6-months was relatively high in both groups and not different between groups. Conclusion: The AMI Choice conversation tool improved patients' knowledge of their estimated risk of short-term mortality after an AMI and the pros and cons of treatments to reduce this risk. The effect on patient fidelity to recommended medications of using this SDM tool and of SDM in general should be tested in larger trials enrolling patients at high risk for nonadherence