A result on observational equivalence for PCF and innocent strategies, as presented at the Games for Logic and Programming Languages (GaLoP) workshop in York, March 2009. The full abstraction result for PCF using game semantics requires one to identify all innocent strategies that are innocently indistinguishable. This involves a quantification over all innocent tests, cf. quantification over a...

Since the early 1990s the management of children with cystic fibrosis (CF) has come a long way and advances in both nutritional and medical care have resulted in a median age of survival of 30-35 years, as compared with a life expectancy of <1 year in the 1950s. The first definitive reports of glucose intolerance or diabetes in CF are from 1955. The combination of CF and related diabetes (CFRD)...

Opportunistic pathogens are a worldwide cause of mortality and morbidity, and infections with intrinsically antibiotic-resistant pathogens have a large clinical, social and economic impact. Bacteria belonging to the Burkholderia cepacia complex (Bcc), ubiquitous in natural and industrial environments, are notorious pathogens for individuals with cystic fibrosis (CF). In addition, Burkholderia c...

BACKGROUND Cystic fibrosis (CF) is one of the most common fatal autosomal recessive disorders in the Caucasian population caused by mutations of gene for the cystic fibrosis transmembrane conductance regulator (CFTR). New experimental therapeutic strategies for CF propose a diet supplementation to affect the plasma membrane fluidity and to modulate amplified inflammatory response. The objective...

BACKGROUND Although mast cells are regarded as important regulators of inflammation and tissue remodelling, their role in cystic fibrosis (CF) and idiopathic pulmonary fibrosis (IPF) has remained less studied. This study investigates the densities and phenotypes of mast cell populations in multiple lung compartments from patients with CF, IPF and never smoking controls. METHODS Small airways,...

BACKGROUND The identification of strategies to improve mutant CFTR function remains a key priority in the development of new treatments for cystic fibrosis (CF). Previous studies demonstrated that the K⁺ channel opener 1-ethyl-2-benzimidazolone (1-EBIO) potentiates CFTR-mediated Cl⁻ secretion in cultured cells and mouse colon. However, the effects of 1-EBIO on wild-type and mutant CFTR function...

this study is a typological description of written formative feedback in an efl context in iran. twenty m.a. students of tefl participated in the study. they were required to summarize a scholarly article in each session on which the instructor would provide written corrective feedback (cf). written formative comments were extracted, coded, and categorized into various types, such as asking for...