Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

Well being of obstetric patients on minimal blood transfusions (WOMB trial)

Background: Primary postpartum haemorrhage is an obstetrical emergency often causing acute anaemia that may require immediate red blood cell (RBC) transfusion. This anaemia results in symptoms such as fatigue, whic

Perceptions of, and reactions to, environmental heat: a brief note on issues of concern in relation to occupational health

Average temperatures around the world are already increasing, and climate change projections suggest that global mean temperatures will continue to rise. As the effects, and projected effects, of climate change are becoming clearer, it is more apparent that the health effects of heat exposure will need further investigation. The risks associated with heat exposure are especially relevant to understandings of occupational health for people involved in labouring or agricultural work in low-income countries. This review is a partial look at the ways in which issues surrounding heat exposure and occupational health have been treated in some of the available literature. This literature focuses on military-related medical understandings of heat exposure as well as heat exposure in working environments. The ways that these issues have been treated throughout the literature reflect the ways in which technologies of observation are intertwined with social attitudes. The effects of heat on the health of working people, as well as identification of risk groups, will require further research in order to promote prophylactic measures as well as to add to understandings of the actual and potential consequences of climatic change

Psychological rumination and recovery from work in Intensive Care Professionals : associations with stress, burnout, depression, and health

Background The work demands of critical care can be a major cause of stress in intensive care unit (ICU) professionals and lead to poor health outcomes. In the process of recovery from work, psychological rumination is considered to be an important mediating variable in the relationship between work demands and health outcomes. This study aimed to extend our knowledge of the process by which ICU stressors and differing rumination styles are associated with burnout, depression and risk of psychiatric morbidity among ICU professionals. Methods Ninety-six healthcare professionals (58 doctors and 38 nurses) who work in ICUs in the UK completed a questionnaire on ICU-related stressors, burnout, work-related rumination, depression and risk of psychiatric morbidity. Results Significant associations between ICU stressors, affective rumination, burnout, depression and risk of psychiatric morbidity were found. Longer working hours were also related to increased ICU stressors. Affective rumination (but not problem-solving pondering or distraction detachment) mediated the relationship between ICU stressors, burnout, depression and risk of psychiatric morbidity, such that increased ICU stressors, and greater affective rumination, were associated with greater burnout, depression and risk of psychiatric morbidity. No moderating effects were observed. Conclusions Longer working hours were associated with increased ICU stressors, and increased ICU stressors conferred greater burnout, depression and risk of psychiatric morbidity via increased affective rumination. The importance of screening healthcare practitioners within intensive care for depression, burnout and psychiatric morbidity has been highlighted. Future research should evaluate psychological interventions which target rumination style and could be made available to those at highest risk. The efficacy and cost effectiveness of delivering these interventions should also be considered

Mapping the Anthocyaninless (anl) Locus in Rapid-Cycling Brassica rapa (RBr) to Linkage Group R9

<p>Abstract</p> <p>Background</p> <p>Anthocyanins are flavonoid pigments that are responsible for purple coloration in the stems and leaves of a variety of plant species. <it>Anthocyaninless </it>(<it>anl</it>) mutants of <it>Brassica rapa </it>fail to produce anthocyanin pigments. In rapid-cycling <it>Brassica rapa</it>, also known as Wisconsin Fast Plants, the anthocyaninless trait, also called non-purple stem, is widely used as a model recessive trait for teaching genetics. Although anthocyanin genes have been mapped in other plants such as <it>Arabidopsis thaliana</it>, the <it>anl </it>locus has not been mapped in any <it>Brassica </it>species.</p> <p>Results</p> <p>We tested primer pairs known to amplify microsatellites in <it>Brassicas </it>and identified 37 that amplified a product in rapid-cycling <it>Brassica rapa</it>. We then developed three-generation pedigrees to assess linkage between the microsatellite markers and <it>anl</it>. 22 of the markers that we tested were polymorphic in our crosses. Based on 177 F₂offspring, we identified three markers linked to <it>anl </it>with LOD scores ≥ 5.0, forming a linkage group spanning 46.9 cM. Because one of these markers has been assigned to a known <it>B. rapa </it>linkage group, we can now assign the <it>anl </it>locus to <it>B. rapa </it>linkage group R9.</p> <p>Conclusion</p> <p>This study is the first to identify the chromosomal location of an anthocyanin pigment gene among the <it>Brassicas</it>. It also connects a classical mutant frequently used in genetics education with molecular markers and a known chromosomal location.</p

Collaboration with general practitioners: preferences of medical specialists – a qualitative study

BACKGROUND: Collaboration between general practitioners (GPs) and specialists has been the focus of many collaborative care projects during the past decade. Unfortunately, quite a number of these projects failed. This raises the question of what motivates medical specialists to initiate and continue participating with GPs in new collaborative care models. The following question is addressed in this study: What motivates medical specialists to initiate and sustain new models for collaborating with GPs? METHODS: We conducted semi-structured interviews with eighteen medical specialists in the province of Groningen, in the North of The Netherlands. The sampling criteria were age, gender, type of hospital in which they were practicing, and specialty. The interviews were recorded, fully transcribed, and analysed by three researchers working independently. The resulting motivational factors were grouped into categories. RESULTS: 'Teaching GPs' and 'regulating patient flow' (referrals) appeared to dominate when the motivational factors were considered. In addition, specialists want to develop relationships with the GPs on a more personal level. Most specialists believe that there is not much they can learn from GPs. 'Lack of time', 'no financial compensation', and 'no support from colleagues' were considered to be the main concerns to establishing collaborative care practices. Additionally, projects were often experienced as too complex and time consuming whereas guidelines were experienced as too restrictive. CONCLUSION: Specialists are particularly interested in collaborating because the GP is the gatekeeper for access to secondary health care resources. Specialists feel that they are able to teach the GPs something, but they do not feel that they have anything to learn from the GPs. With respect to professional expertise, therefore, specialists do not consider GPs as equals. Once personal relationships with the GPs have been established, an informal network with incidental professional contact seems to be sufficient to satisfy the collaborative needs of the specialist. The concerns seem to outweigh any positive motivational forces to developing new models of collaborative practice

A machine learning pipeline for quantitative phenotype prediction from genotype data

<p>Abstract</p> <p>Background</p> <p>Quantitative phenotypes emerge everywhere in systems biology and biomedicine due to a direct interest for quantitative traits, or to high individual variability that makes hard or impossible to classify samples into distinct categories, often the case with complex common diseases. Machine learning approaches to genotype-phenotype mapping may significantly improve Genome-Wide Association Studies (GWAS) results by explicitly focusing on predictivity and optimal feature selection in a multivariate setting. It is however essential that stringent and well documented Data Analysis Protocols (DAP) are used to control sources of variability and ensure reproducibility of results. We present a genome-to-phenotype pipeline of machine learning modules for quantitative phenotype prediction. The pipeline can be applied for the direct use of whole-genome information in functional studies. As a realistic example, the problem of fitting complex phenotypic traits in heterogeneous stock mice from single nucleotide polymorphims (SNPs) is here considered.</p> <p>Methods</p> <p>The core element in the pipeline is the L1L2 regularization method based on the naïve elastic net. The method gives at the same time a regression model and a dimensionality reduction procedure suitable for correlated features. Model and SNP markers are selected through a DAP originally developed in the MAQC-II collaborative initiative of the U.S. FDA for the identification of clinical biomarkers from microarray data. The L1L2 approach is compared with standard Support Vector Regression (SVR) and with Recursive Jump Monte Carlo Markov Chain (MCMC). Algebraic indicators of stability of partial lists are used for model selection; the final panel of markers is obtained by a procedure at the chromosome scale, termed ’saturation’, to recover SNPs in Linkage Disequilibrium with those selected.</p> <p>Results</p> <p>With respect to both MCMC and SVR, comparable accuracies are obtained by the L1L2 pipeline. Good agreement is also found between SNPs selected by the L1L2 algorithms and candidate loci previously identified by a standard GWAS. The combination of L1L2-based feature selection with a saturation procedure tackles the issue of neglecting highly correlated features that affects many feature selection algorithms.</p> <p>Conclusions</p> <p>The L1L2 pipeline has proven effective in terms of marker selection and prediction accuracy. This study indicates that machine learning techniques may support quantitative phenotype prediction, provided that adequate DAPs are employed to control bias in model selection.</p

Perspectives of patients with type 1 or insulin-treated type 2 diabetes on self-monitoring of blood glucose: a qualitative study

<p>Abstract</p> <p>Background</p> <p>Self-monitoring of blood glucose (SMBG), including self-regulation, is an important tool to achieve good glycemic control. However, many patients measure their glucose concentrations less often than is recommended. This study investigates patients' perspectives of SMBG and all relevant aspects influencing SMBG in patients with type 1 and insulin-treated type 2 diabetes.</p> <p>Methods</p> <p>In depth interviews were conducted with 13 patients with type 1 diabetes from an outpatient clinic and 15 patients with type 2 diabetes from general practices. All interviews were transcribed verbatim and analyzed using the Grounded Theory approach.</p> <p>Results</p> <p>A wide variety of SMBG was encountered. Perceptions, goals of SMBG and personal and contextual factors were identified, influencing the respondents' perspective of SMBG, and leading to this variety. Respondents experienced a discrepancy between their own and the professionals' perceptions and goals. Respondents' perception of SMBG ranged along a continuum from 'friend' to 'foe'. With respect to the goals, the respondents experienced tension between achieving good glycemic control and quality of life, and deliberately made their own choices. The performance of SMBG was tailored to their perceptions and personal goals. Personal and contextual factors such as hypo- or hyper (un)awareness, knowledge, and contact with professionals acted as either facilitating factors or as barriers to SMBG, depending on the respondents' perspective. A SMBG model was developed providing a representation of the factors and their interrelations.</p> <p>Respondents with type 1 diabetes seemed more resigned to their situation and SMBG was more integrated into their lives.</p> <p>Conclusions</p> <p>From the patients' perspective, professionals positively present SMBG as a 'friend' in order to achieve strict glycemic control. Whereas patients can also perceive SMBG as a 'foe'. They primarily seek a personal balance between achieving glycemic control and quality of life, leading them to deliberately make other choices regarding SMBG performance than was recommended. Gaining insight and discussing all factors affecting SMBG will help professionals and patients come to mutually agreed goals and to tailor the performance of SMBG to the individual patient. This should result in a more optimal use of SMBG, an improved quality of life, and improved clinical parameters.</p

Assessment of perinatal outcome after sustained tocolysis in early labour (APOSTEL-II trial)

Contains fulltext : 80242.pdf (publisher's version ) (Open Access)BACKGROUND: Preterm labour is the main cause of perinatal morbidity and mortality in the Western world. At present, there is evidence that tocolysis for 48 hours is useful in women with threatened preterm labour at least before 32 weeks. This allows transfer of the patient to a perinatal centre, and maximizes the effect of corticosteroids for improved neonatal survival. It is questionable whether treatment with tocolytics should be maintained after 48 hours. METHODS/DESIGN: The APOSTEL II trial is a multicentre placebo-controlled study. Pregnant women admitted for threatened preterm labour who have been treated with 48 hours corticosteroids and tocolysis will be eligible to participate in the trial between 26+0 and 32+2 weeks gestational age. They will be randomly allocated to nifedipine (intervention) or placebo (control) for twelve days or until delivery, whatever comes first.Primary outcome is a composite of perinatal death, and severe neonatal morbidity up to evaluation at 6 months after birth. Secondary outcomes are gestational age at delivery, number of days in neonatal intensive care and total days of the first 6 months out of hospital. In addition a cost-effectiveness analysis will be performed. Analysis will be by intention to treat. The power calculation is based on an expected 11% difference in adverse neonatal outcome. This implies that 406 women have to be randomised (two sided test, beta 0.2 at alpha 0.05). DISCUSSION: This trial will provide evidence as to whether maintenance tocolysis reduces severe perinatal morbidity and mortality in women with threatened preterm labour before 32 weeks. TRIAL REGISTRATION: Clinical trial registration: http://www.trialregister.nl, NTR 1336, date of registration: June 3rd 2008

Optimization of Suture-Free Laser-Assisted Vessel Repair by Solder-Doped Electrospun Poly(ε-caprolactone) Scaffold

Poor welding strength constitutes an obstacle in the clinical employment of laser-assisted vascular repair (LAVR) and anastomosis. We therefore investigated the feasibility of using electrospun poly(ε-caprolactone) (PCL) scaffold as reinforcement material in LAVR of medium-sized vessels. In vitro solder-doped scaffold LAVR (ssLAVR) was performed on porcine carotid arteries or abdominal aortas using a 670-nm diode laser, a solder composed of 50% bovine serum albumin and 0.5% methylene blue, and electrospun PCL scaffolds. The correlation between leaking point pressures (LPPs) and arterial diameter, the extent of thermal damage, structural and mechanical alterations of the scaffold following ssLAVR, and the weak point were investigated. A strong negative correlation existed between LPP and vessel diameter, albeit LPP (484 ± 111 mmHg) remained well above pathophysiological pressures. Histological analysis revealed that thermal damage extended into the medial layer with a well-preserved internal elastic lamina and endothelial cells. Laser irradiation of PCL fibers and coagulation of solder material resulted in a strong and stiff scaffold. The weak point of the ssLAVR modality was predominantly characterized by cohesive failure. In conclusion, ssLAVR produced supraphysiological LPPs and limited tissue damage. Despite heat-induced structural/mechanical alterations of the scaffold, PCL is a suitable polymer for weld reinforcement in medium-sized vessel ssLAVR