Having Fun in Learning Formal Specifications

There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents a game called FormalZ that teachers can use to introduce some variation in their class. Students can have some fun in playing the game and, while doing so, also learn the basics of writing formal specifications in the form of pre- and post-conditions. Unlike existing software engineering themed education games such as Pex and Code Defenders, FormalZ takes the deep gamification approach where playing gets a more central role in order to generate more engagement. This short paper presents our work in progress: the first implementation of FormalZ along with the result of a preliminary users' evaluation. This implementation is functionally complete and tested, but the polishing of its user interface is still future work

MEN1 redefined, a clinical comparison of mutation-positive and mutation-negative patients

Contains fulltext : 170909.pdf (publisher's version ) (Open Access)BACKGROUND: Multiple Endocrine Neoplasia type 1 (MEN1) is diagnosed when two out of the three primary MEN1-associated endocrine tumors occur in a patient. Up to 10-30 % of those patients have no mutation in the MEN1 gene. It is unclear if the phenotype and course of the disease of mutation-negative patients is comparable with mutation-positive patients and if these patients have true MEN1. The present study aims to describe and compare the clinical course of MEN1 mutation-negative patients with two out of the three main MEN1 manifestations and mutation-positive patients during long-term follow-up. METHODS: This is a cohort study performed using the Dutch MEN1 database, including > 90 % of the Dutch MEN1 population. RESULTS: A total of 293 (90.7 %) mutation-positive and 30 (9.3 %) mutation-negative MEN1 patients were included. Median age of developing the first main MEN1 manifestation was higher in mutation-negative patients (46 vs. 33 years) (P = 0.007). Mutation-negative patients did not develop a third main MEN1 manifestation in the course of follow-up compared to 48.3 % of mutation-positive patients (P < 0.001). Median survival in mutation-positive patients was estimated at 73.0 years (95 % CI, 69.5-76.5) compared to 87.0 years (95 % CI not available) in mutation-negative patients (P = 0.001). CONCLUSIONS: Mutation-positive and mutation-negative MEN1 patients have a different phenotype and clinical course. Mutation-negative patients develop MEN1 manifestations at higher age and have a life expectancy comparable with the general population. The apparent differences in clinical course suggest that MEN1 mutation-negative patients do not have true MEN1, but another MEN1-like syndrome or sporadic co-incidence of two neuro-endocrine tumors

Associations of airway inflammation and responsiveness markers in non asthmatic subjects at start of apprenticeship

<p>Abstract</p> <p>Background</p> <p>Bronchial Hyperresponsiveness (BHR) is considered a hallmark of asthma. Other methods are helpful in epidemiological respiratory health studies including Fractional Exhaled Nitric Oxide (FENO) and Eosinophils Percentage (EP) in nasal lavage fluid measuring markers for airway inflammation along with the Forced Oscillatory Technique measuring Airway resistance (AR). Can their outcomes discriminate profiles of respiratory health in healthy subjects starting apprenticeship in occupations with a risk of asthma?</p> <p>Methods</p> <p>Rhinoconjunctivitis, asthma-like symptoms, FEV1 and AR post-Methacholine Bronchial Challenge (MBC) test results, FENO measurements and EP were all investigated in apprentice bakers, pastry-makers and hairdressers not suffering from asthma. Multiple Correspondence Analysis (MCA) was simultaneously conducted in relation to these groups and this generated a synthetic partition (EI). Associations between groups of subjects based on BHR and EI respectively, as well as risk factors, symptoms and investigations were also assessed.</p> <p>Results</p> <p>Among the 441 apprentice subjects, 45 (10%) declared rhinoconjunctivitis-like symptoms, 18 (4%) declared asthma-like symptoms and 26 (6%) suffered from BHR. The mean increase in AR post-MBC test was 21% (sd = 20.8%). The median of FENO values was 12.6 ppb (2.6-132 range). Twenty-six subjects (6.7%) had EP exceeding 14%. BHR was associated with atopy (p < 0.01) and highest FENO values (p = 0.09). EI identified 39 subjects with eosinophilic inflammation (highest values of FENO and eosinophils), which was associated with BHR and atopy.</p> <p>Conclusions</p> <p>Are any of the identified markers predictive of increased inflammatory responsiveness or of development of symptoms caused by occupational exposures? Analysis of population follow-up will attempt to answer this question.</p

Registered nurses' perceptions and experiences of autonomy: a descriptive phenomenological study

Background Professional autonomy is a key concept in understanding nurses’ roles in delivering patient care. Recent research exploring the role of autonomy in the nursing work environment indicated that English and American nurses had differing perceptions of autonomy. This qualitative study aimed to explore the understanding and experiences of autonomy of nurses working in England. Methods A descriptive phenomenological analysis of data from 48 semi-structured interviews with registered nurses from two National Health Service (NHS) hospitals (purposive sample) was used to explore the concept of autonomy. Results Six themes were identified: working independently; working in a team; having professional skills and knowledge; involvement in autonomy; boundaries around autonomy; and developing autonomy requires support. A key finding was that nurses related autonomy to their clinical work and to the immediate work environment of their ward, rather than to a wider professional context. Nurses also perceived that autonomy could be turned off and on rather than comprising an integrated aspect of nursing. Conclusions Findings suggest that nurses in England, as framed by the sample, had a local ward-focused view of autonomy in comparison to nurses in America, who were reported to relate autonomy to a wider involvement in hospital level committees. Findings further indicate that autonomy was practiced occasionally, rather than incorporated into practice. Findings highlight the need for nurses in England to adopt a broader perspective and actively contribute to writing hospital guidelines and policies that recognise the importance of autonomy to nurse training and practice

Mutation analysis of SDHB and SDHC: novel germline mutations in sporadic head and neck paraganglioma and familial paraganglioma and/or pheochromocytoma

BACKGROUND: Germline mutations of the SDHD, SDHB and SDHC genes, encoding three of the four subunits of succinate dehydrogenase, are a major cause of hereditary paraganglioma and pheochromocytoma, and demonstrate that these genes are classic tumor suppressors. Succinate dehydrogenase is a heterotetrameric protein complex and a component of both the Krebs cycle and the mitochondrial respiratory chain (succinate:ubiquinone oxidoreductase or complex II). METHODS: Using conformation sensitive gel electrophoresis (CSGE) and direct DNA sequencing to analyse genomic DNA from peripheral blood lymphocytes, here we describe the mutation analysis of the SDHB and SDHC genes in 37 patients with sporadic (i.e. no known family history) head and neck paraganglioma and five pheochromocytoma and/or paraganglioma families. RESULTS: Two sporadic patients were found to have a SDHB splice site mutation in intron 4, c.423+1G>A, which produces a mis-spliced transcript with a 54 nucleotide deletion, resulting in an 18 amino acid in-frame deletion. A third patient was found to carry the c.214C>T (p.Arg72Cys) missense mutation in exon 4 of SDHC, which is situated in a highly conserved protein motif that constitutes the quinone-binding site of the succinate: ubiquinone oxidoreductase (SQR) complex in E. coli. Together with our previous results, we found 27 germline mutations of SDH genes in 95 cases (28%) of sporadic head and neck paraganglioma. In addition all index patients of five families showing hereditary pheochromocytoma-paraganglioma were found to carry germline mutations of SDHB: four of which were novel, c.343C>T (p.Arg115X), c.141G>A (p.Trp47X), c.281G>A (p.Arg94Lys), and c.653G>C (p.Trp218Ser), and one reported previously, c.136C>T, p.Arg46X. CONCLUSION: In conclusion, these data indicate that germline mutations of SDHB and SDHC play a minor role in sporadic head and neck paraganglioma and further underline the importance of germline SDHB mutations in cases of familial pheochromocytoma-paraganglioma

Cytogenetic and Molecular Predictors of Outcome in Acute Lymphocytic Leukemia: Recent Developments

During the last decade a tremendous technologic progress based on genome-wide profiling of genetic aberrations, structural DNA alterations, and sequence variations has allowed a better understanding of the molecular basis of pediatric and adult B/T- acute lymphoblastic leukemia (ALL), contributing to a better recognition of the biological heterogeneity of ALL and to a more precise definition of risk factors. Importantly, these advances identified novel potential targets for therapeutic intervention. This review will be focused on the cytogenetic/molecular advances in pediatric and adult ALL based on recently published articles

Targeting the hypoxic fraction of tumours using hypoxia activated prodrugs

The presence of a microenvironment within most tumours containing regions of low oxygen tension or hypoxia has profound biological and therapeutic implications. Tumour hypoxia is known to promote the development of an aggressive phenotype, resistance to both chemotherapy and radiotherapy and is strongly associated with poor clinical outcome. Paradoxically, it is recognised as a high priority target and one therapeutic strategies designed to eradicate hypoxic cells in tumours are a group of compounds known collectively as hypoxia activated prodrugs (HAPs) or bioreductive drugs. These drugs are inactive prodrugs that require enzymatic activation (typically by 1 or 2 electron oxidoreductases) to generate cytotoxic species with selectivity for hypoxic cells being determined by (i) the ability of oxygen to either reverse or inhibit the activation process and (ii) the presence of elevated expression of oxidoreductases in tumours. The concepts underpinning HAP development were established over 40 years ago and have been refined over the years to produce a new generation of HAPs that are under preclinical and clinical development. The purpose of this article is to describe current progress in the development of HAPs focusing on the mechanisms of action, preclinical properties and clinical progress of leading examples