Experience with mural in formalising Dust-Expert

The mural system was an outcome of a significant effort to develop a support tool for the effective use of a full formal methods development cycle. Experience with it, however, has been limited to a small number of illustrative examples that have been carried out by those closely associated with its development and implementation. This paper aims to remedy this situation by describing the experience of using mural for specifying Dust-Expert, an expert system for the relief venting of dust explosions in chemical processes. The paper begins by summarising the main requirements for Dust-Expert, and then gives a ¯avour of the VDM speci®cation that was formalised using mural. The experience of using mural is described with respect to users' expectations that a formal methods tool should: (i) spot any inconsistencies; (ii) help manage and organise the specifications and allow one to easily add, access, update and delete specifications; (iii) help manage and carry out the refinement process; (iv) help manage and organise theories; (v) help manage and carry out proofs. The paper concludes by highlighting the strengths and weaknesses of mural that could be of interest to those developing the next generation of formal methods development tools

Validation of methods for converting the original Disease Activity Score (DAS) to the DAS28

© The Author(s) 2018.The Disease Activity Score (DAS) is integral in tailoring the clinical management of rheumatoid arthritis (RA) patients and is an important measure in clinical research. Different versions have been developed over the years to improve reliability and ease of use. Combining the original DAS and the newer DAS28 data in both contemporary and historical studies is important for both primary and secondary data analyses. As such, a methodologically robust means of converting the old DAS to the new DAS28 measure would be invaluable. Using data from The Early RA Study (ERAS), a sub-sample of patients with both DAS and DAS28 data were used to develop new regression imputation formulas using the total DAS score (univariate), and using the separate components of the DAS score (multivariate). DAS were transformed to DAS28 using an existing formula quoted in the literature, and the newly developed formulas. Bland and Altman plots were used to compare the transformed DAS with the recorded DAS28 to ascertain levels of agreement. The current transformation formula tended to overestimate the true DAS28 score, particularly at the higher end of the scale. A formula which uses all separate components of the DAS was found to estimate the scores with a higher level of precision. A new formula is proposed that can be used by other early RA cohorts to convert the original DAS to DAS28.Peer reviewedFinal Published versio

Contrasting Worldviews in Revival: Ferryden, Scotland, in 1859

Objective-To investigate mortality, functional capacity; and prognostic factors for mortality in an inception cohort of patients with recently diagnosed RA followed up for up to 10 years. Methods-The observed mortality of this inception cohort with recently diagnosed RA, was analysed in relation to the expected mortality, calculated with the aid of life tables of the general population of the Netherlands (matched for age and sex). Functional capacity was measured by the Health Assessment Questionnaire. Prognostic factors for mortality were analysed multivariately by the Cox proportional hazards model. Results-Between January 1985 and April 1997, 622 patients entered the study, and were included in the analysis of mortality. The death rate in the first 10 years of the disease was not significantly different from that of the general population. Fifty five patients from the study group died (16% up to 10 years of follow up). The most commonly reported causes of death were of cardiovascular and respiratory origin. The other causes of death could be classified into cancer, sepsis, amyloidosis, leukaemia, renal insufficiency of unknown cause, perforation of the oesophagus, probably related to the treatment with non-steroidal anti-inflammatory drugs, and pancytopenia during aurothioglucose treatment. Functional capacity improved significantly during the first six years compared with the value at start. Statistically significant predictors for death were age at the start and male sex. Conclusions-In contrast with earlier studies performed, no excess mortality in the first 10 years of an inception cohort of patients with RA was seen. In addition, the functional capacity was relatively constant during the first six years after an initial improvement from baseline. Age at start and male sex were the only statistically significant predictors for death

CDKN1B, encoding the cyclin-dependent kinase inhibitor 1B (p27), is located in the minimally deleted region of 12p abnormalities in myeloid malignancies and its low expression is a favorable prognostic marker in acute myeloid leukemia

The online version of this article has a Supplementary Appendix. Background Alterations of the short arm of chromosome 12 (12p) occur in various hematologic malignancies and ETV6 and CDKN1B, which are located on 12p, have been implicated as leukemogenic genes of interest. Design and Methods We selected seven patients with myeloid malignancies and small 12p deletions detected by fluorescence in situ hybridization encompassing only the region centromeric of ETV6 and further evaluated them by single nucleotide polymorphism microarrays. Results The minimally deleted region contained only nine genes. These genes were subsequently analyzed by microarray expression profiling in an independent cohort of 781 patients, most, but not all, of whom had different hematologic malignancies CREBL2, MANSC1, and CDKN1B were expressed in more than 25% of cases, while the other six genes were expressed in only a minority of cases. As CDKN1B is a cell cycle regulator and functions as a tumor suppressor gene, this gene was selected for further expression studies in 286 patients with acute myeloid leukemia. When comparing patients with low CDKN1B expression (expression level <1,160; 1 st quartile) with those with intermediate or high expression (2 nd -4 th quartiles), certain mutations were observed more frequently in the former: RUNX1-RUNX1T1 (11/83, 13.3% versus 5/203; 2.5%; P=0.001), PML-RARA rearrangements (11/83, 13.3% versus 4/203, 2.0%; P<0.001), 11q23/MLL rearrangements (6/83, 7.2% versus 4/203, 2.0%; P=0.038), and FLT3-TKD mutations (7/63, 11.1% versus 6/167, 3.6%; P=0.047). The median overall survival of patients with low CDKN1B expression was longer than that of patients with intermediate/high expression (not reached versus 14.9 months; P=0.005). Likewise, patients with low CDKN1B expression had a longer event-free survival than those with intermediate/high expression (31.0 versus 9.7 months; P=0.013). Conclusions CDKN1B is an interesting candidate gene as a potential biomarker for prognostication in acute myeloid leukemia. Key words: 12p deletion, ETV6, CDKN1B, acute myeloid leukemia (AML), prognosis. leukemia. Haematologica 2011;96(6):829-836. doi:10.3324/haematol.2010 CDKN1B, encoding the cyclin-dependent kinase inhibitor 1B (p27), is located in the minimally deleted region of 12p abnormalities in myeloid malignancies and its low expression is a favorable prognostic marker in acute myeloid leukemia Citation: Haferlach C, Bacher U, Kohlmann A, Schindela S, Alpermann T, Kern W, Schnittger S, and Haferlach T. CDKN1B, encoding the cyclin-dependent kinase inhibitor 1B (p27), is located in the minimally deleted region of 12p abnormalities in myeloid malignancies and its low expression is a favorable prognostic marker in acute myeloi

Correlation of the score for subjective pain with physical disability, clinical and radiographic scores in recent onset rheumatoid arthritis

BACKGROUND: To analyse the relationship between subjective pain score and other measures of clinical, radiographic and functional status; in particular Larsen radiographic scores and Health Assessment Questionnaire (HAQ); in patients with severe rheumatoid arthritis (RA) with a disease duration of less than 3 years. METHODS: In this cross sectional study of 105 patients with RA (76 women, 29 men: mean age 50.93; mean disease duration 15.86 months; 71% rheumatoid factor positive) subjective pain was assessed according to the Visual Analog Scale (VAS). Correlation coefficients between pain score and disease activity measures (patients' global assessment of disease by VAS, number of tender and swollen joints, morning stiffness, erythrocyte sedimentation rate [ESR], C-reactive protein [CRP] and titre of rheumatoid factor, radiographic evaluations (Larsen-Dale scores for radiographic damage of the small joints of the hands, wrist and feet), disability measures (health assessment questionnaire [HAQ]), and demographic variables were calculated; hierarchical regression analysis was done with subjective pain score as the dependent variable. RESULTS: The Spearman's correlation coefficient comparing subjective pain and HAQ was 0.421 (p < 0.001), between subjective pain and global assessment of disease and morning stiffness was 0.573 (p < 0.001) and 0.427 (p < 0.001) respectively, and between pain and number of tender and swollen joints 0.037 and 0.050 respectively (p > 0.05). In regression analysis, global assessment of disease by patients explained 32.8% of the variation in pain intensity score, morning stiffness 10.7%, CRP 4.0%, HAQ 3.8% and Larsen-Dale scores explained 2.1%; other variables were not significant in the model. CONCLUSIONS: Pain scores of patients with early severe rheumatoid arthritis are correlated at higher levels with patients' global assessment of disease and with morning stiffness rather than with radiographic or other clinical variables such as number of tender and swollen joints

Voice-based assessments of trustworthiness, competence, and warmth in blind and sighted adults

The study of voice perception in congenitally blind individuals allows researchers rare insight into how a lifetime of visual deprivation affects the development of voice perception. Previous studies have suggested that blind adults outperform their sighted counterparts in low-level auditory tasks testing spatial localization and pitch discrimination, as well as in verbal speech processing; however, blind persons generally show no advantage in nonverbal voice recognition or discrimination tasks. The present study is the first to examine whether visual experience influences the development of social stereotypes that are formed on the basis of nonverbal vocal characteristics (i.e., voice pitch). Groups of 27 congenitally or early-blind adults and 23 sighted controls assessed the trustworthiness, competence, and warmth of men and women speaking a series of vowels, whose voice pitches had been experimentally raised or lowered. Blind and sighted listeners judged both men’s and women’s voices with lowered pitch as being more competent and trustworthy than voices with raised pitch. In contrast, raised-pitch voices were judged as being warmer than were lowered-pitch voices, but only for women’s voices. Crucially, blind and sighted persons did not differ in their voice-based assessments of competence or warmth, or in their certainty of these assessments, whereas the association between low pitch and trustworthiness in women’s voices was weaker among blind than sighted participants. This latter result suggests that blind persons may rely less heavily on nonverbal cues to trustworthiness compared to sighted persons. Ultimately, our findings suggest that robust perceptual associations that systematically link voice pitch to the social and personal dimensions of a speaker can develop without visual input

The relationship between change in subjective outcome and change in disease: a potential paradox

Contains fulltext : 87756.pdf (publisher's version ) (Closed access)BACKGROUND: Response shift theory suggests that improvements in health lead patients to change their internal standards and re-assess former health states as worse than initially rated when using retrospective ratings via the then-test. The predictions of response shift theory can be illustrated using prospect theory, whereby a change in current health causes a change in reference frame. Therefore, if health deteriorates, the former health state will receive a better rating, whereas if it improves, the former health state will receive a worse rating. OBJECTIVE: To explore the predictions of response shift and prospect theory by relating subjective change to objective change. METHODS: Baseline and 3-month follow-up data from a cohort of rheumatoid arthritis patients (N = 197) starting on TNFalpha-blocking agents were used. Objective disease change was classified according to a disease-specific clinical outcome measure (DAS28). Visual analogue scales (VAS) for general health (GH) and pain were used as self-reported measures. Three months after starting on anti-TNFalpha, patients used the then-test to re-rate their baseline health with regard to general health and pain. Differences between then-test value and baseline values were calculated and tested between improved, non-improved and deteriorated patients by the Student t-test. RESULTS: At 3 months, 51 (25.9%) patients had good improvement in health, 83 (42.1%) had moderate improvement, and 63 (32.0%) had no improvement or deteriorated in health. All patients no matter whether they improved, did not improve, or even became worse rated their health as worse retrospectively. The difference between the then-test rating and the baseline value was similarly sized in all groups. CONCLUSION: More positive ratings of retrospective health are independent of disease change. This suggests that patients do not necessarily change their standards in line with their disease change, and therefore it is inappropriate to use the then-test to correct for such a change. If a then-test is used to correct for shifts in internal standards, it might lead to the paradoxical result that patients who do not improve or even deteriorate increase significantly on self-reported health and pain. An alternative explanation for differences in retrospective and prospective ratings of health is the implicit theory of change which is more successful in explaining our results than prospect theory.1 september 201