Effort estimation of FLOSS projects: A study of the Linux kernel

This is the post-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2011 SpringerEmpirical research on Free/Libre/Open Source Software (FLOSS) has shown that developers tend to cluster around two main roles: “core” contributors differ from “peripheral” developers in terms of a larger number of responsibilities and a higher productivity pattern. A further, cross-cutting characterization of developers could be achieved by associating developers with “time slots”, and different patterns of activity and effort could be associated to such slots. Such analysis, if replicated, could be used not only to compare different FLOSS communities, and to evaluate their stability and maturity, but also to determine within projects, how the effort is distributed in a given period, and to estimate future needs with respect to key points in the software life-cycle (e.g., major releases). This study analyses the activity patterns within the Linux kernel project, at first focusing on the overall distribution of effort and activity within weeks and days; then, dividing each day into three 8-hour time slots, and focusing on effort and activity around major releases. Such analyses have the objective of evaluating effort, productivity and types of activity globally and around major releases. They enable a comparison of these releases and patterns of effort and activities with traditional software products and processes, and in turn, the identification of company-driven projects (i.e., working mainly during office hours) among FLOSS endeavors. The results of this research show that, overall, the effort within the Linux kernel community is constant (albeit at different levels) throughout the week, signalling the need of updated estimation models, different from those used in traditional 9am–5pm, Monday to Friday commercial companies. It also becomes evident that the activity before a release is vastly different from after a release, and that the changes show an increase in code complexity in specific time slots (notably in the late night hours), which will later require additional maintenance efforts

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Brane-World Gravity

The observable universe could be a 1+3-surface (the "brane") embedded in a 1+3+\textit{d}-dimensional spacetime (the "bulk"), with Standard Model particles and fields trapped on the brane while gravity is free to access the bulk. At least one of the \textit{d} extra spatial dimensions could be very large relative to the Planck scale, which lowers the fundamental gravity scale, possibly even down to the electroweak ($\sim$ TeV) level. This revolutionary picture arises in the framework of recent developments in M theory. The 1+10-dimensional M theory encompasses the known 1+9-dimensional superstring theories, and is widely considered to be a promising potential route to quantum gravity. At low energies, gravity is localized at the brane and general relativity is recovered, but at high energies gravity "leaks" into the bulk, behaving in a truly higher-dimensional way. This introduces significant changes to gravitational dynamics and perturbations, with interesting and potentially testable implications for high-energy astrophysics, black holes, and cosmology. Brane-world models offer a phenomenological way to test some of the novel predictions and corrections to general relativity that are implied by M theory. This review analyzes the geometry, dynamics and perturbations of simple brane-world models for cosmology and astrophysics, mainly focusing on warped 5-dimensional brane-worlds based on the Randall--Sundrum models. We also cover the simplest brane-world models in which 4-dimensional gravity on the brane is modified at \emph{low} energies -- the 5-dimensional Dvali--Gabadadze--Porrati models. Then we discuss co-dimension two branes in 6-dimensional models.Comment: A major update of Living Reviews in Relativity 7:7 (2004) "Brane-World Gravity", 119 pages, 28 figures, the update contains new material on RS perturbations, including full numerical solutions of gravitational waves and scalar perturbations, on DGP models, and also on 6D models. A published version in Living Reviews in Relativit

The perceptions of social responsibility for community resilience to flooding: the impact of past experience, age, gender and ethnicity

Community resilience to flooding depends, to a large extent, on the participation of community members to take more responsibility for enhancing their own resilience. The perception of social responsibility (SR) which is argued to be one of the antecedents influencing individual’s willingness to undertake resilient behaviours can significantly contribute to community resilience through individual and collective actions. Understanding of factors influencing the perceptions of SR of individuals within community might help with developing strategies to increase the perceptions of SR. This research explores perceptions of SR in relation to flooding for householders and local businesses and establishes their relationships with experience of flooding and demographic factors of age, gender and ethnicity. The data were obtained via a questionnaire survey of three communities in Birmingham and one community in South East London, UK, three with experience of flooding and one without. A total of 414 responses were received and used in the multiple regression analysis. The analysis identified ‘experience of flooding’, ‘age’ and ‘South Asian’ ethnic group as significant variables, suggesting that older individuals from South Asian ethnic groups with previous experience of flooding are likely to be more socially responsible than others without these attributes

The Immunomodulatory Role of Adjuvants in Vaccines Formulated with the Recombinant Antigens Ov-103 and Ov-RAL-2 against Onchocerca volvulus in Mice.

BACKGROUND: In some regions in Africa, elimination of onchocerciasis may be possible with mass drug administration, although there is concern based on several factors that onchocerciasis cannot be eliminated solely through this approach. A vaccine against Onchocerca volvulus would provide a critical tool for the ultimate elimination of this infection. Previous studies have demonstrated that immunization of mice with Ov-103 and Ov-RAL-2, when formulated with alum, induced protective immunity. It was hypothesized that the levels of protective immunity induced with the two recombinant antigens formulated with alum would be improved by formulation with other adjuvants known to enhance different types of antigen-specific immune responses. METHODOLOGY/ PRINCIPAL FINDINGS: Immunizing mice with Ov-103 and Ov-RAL-2 in conjunction with alum, Advax 2 and MF59 induced significant levels of larval killing and host protection. The immune response was biased towards Th2 with all three of the adjuvants, with IgG1 the dominant antibody. Improved larval killing and host protection was observed in mice immunized with co-administered Ov-103 and Ov-RAL-2 in conjunction with each of the three adjuvants as compared to single immunizations. Antigen-specific antibody titers were significantly increased in mice immunized concurrently with the two antigens. Based on chemokine levels, it appears that neutrophils and eosinophils participate in the protective immune response induced by Ov-103, and macrophages and neutrophils participate in immunity induced by Ov-RAL-2. CONCLUSIONS/SIGNIFICANCE: The mechanism of protective immunity induced by Ov-103 and Ov-RAL-2, with the adjuvants alum, Advax 2 and MF59, appears to be multifactorial with roles for cytokines, chemokines, antibody and specific effector cells. The vaccines developed in this study have the potential of reducing the morbidity associated with onchocerciasis in humans

Worldwide trends in diabetes since 1980: a pooled analysis of 751 population-based studies with 4.4 million participants

BACKGROUND: One of the global targets for non-communicable diseases is to halt, by 2025, the rise in the age-standardised adult prevalence of diabetes at its 2010 levels. We aimed to estimate worldwide trends in diabetes, how likely it is for countries to achieve the global target, and how changes in prevalence, together with population growth and ageing, are affecting the number of adults with diabetes. METHODS: We pooled data from population-based studies that had collected data on diabetes through measurement of its biomarkers. We used a Bayesian hierarchical model to estimate trends in diabetes prevalence—defined as fasting plasma glucose of 7·0 mmol/L or higher, or history of diagnosis with diabetes, or use of insulin or oral hypoglycaemic drugs—in 200 countries and territories in 21 regions, by sex and from 1980 to 2014. We also calculated the posterior probability of meeting the global diabetes target if post-2000 trends continue. FINDINGS: We used data from 751 studies including 4 372 000 adults from 146 of the 200 countries we make estimates for. Global age-standardised diabetes prevalence increased from 4·3% (95% credible interval 2·4–7·0) in 1980 to 9·0% (7·2–11·1) in 2014 in men, and from 5·0% (2·9–7·9) to 7·9% (6·4–9·7) in women. The number of adults with diabetes in the world increased from 108 million in 1980 to 422 million in 2014 (28·5% due to the rise in prevalence, 39·7% due to population growth and ageing, and 31·8% due to interaction of these two factors). Age-standardised adult diabetes prevalence in 2014 was lowest in northwestern Europe, and highest in Polynesia and Micronesia, at nearly 25%, followed by Melanesia and the Middle East and north Africa. Between 1980 and 2014 there was little change in age-standardised diabetes prevalence in adult women in continental western Europe, although crude prevalence rose because of ageing of the population. By contrast, age-standardised adult prevalence rose by 15 percentage points in men and women in Polynesia and Micronesia. In 2014, American Samoa had the highest national prevalence of diabetes (>30% in both sexes), with age-standardised adult prevalence also higher than 25% in some other islands in Polynesia and Micronesia. If post-2000 trends continue, the probability of meeting the global target of halting the rise in the prevalence of diabetes by 2025 at the 2010 level worldwide is lower than 1% for men and is 1% for women. Only nine countries for men and 29 countries for women, mostly in western Europe, have a 50% or higher probability of meeting the global target. INTERPRETATION: Since 1980, age-standardised diabetes prevalence in adults has increased, or at best remained unchanged, in every country. Together with population growth and ageing, this rise has led to a near quadrupling of the number of adults with diabetes worldwide. The burden of diabetes, both in terms of prevalence and number of adults affected, has increased faster in low-income and middle-income countries than in high-income countries. FUNDING: Wellcome Trust

Primary care follow up of patients discharged from the emergency department: a retrospective study

BACKGROUND: The visit to the emergency department (ED) constitutes a brief, yet an important point in the continuum of medical care. The aim of our study was to evaluate the continuity of care of adult ED visitors. METHODS: We retrospectively reviewed all ED discharge summaries for over a month 's period. The ED chart, referral letter and the patient's primary care file were reviewed. Data collected included: age, gender, date and hour of ED visit, documentation of ED referral and ED discharge letter in the primary care file. RESULTS: 359 visits were eligible for the study. 192 (53.5%) of the patients were women, average age 54.1 ± 18.7 years (mean ± SD). 214 (59.6%) of the visits were during working hours of primary care clinics ("working hours"), while the rest were "out of hours" visits. Only 196 (54.6%) of patients had a referral letter, usually from their family physician. A third (71/214) of "working hours" visits were self referrals, the rate rose to 63.5% (92/145) of "out of hours" visits (p < 0.0001). The ED discharge letter was found in 50% (179/359) of the primary care files. A follow-up visit was documented in only 31% (111/359). Neither follow up visit nor discharge letter were found in 43% of the files (153/359). CONCLUSIONS: We have found a high rate of ED self referrals throughout the day together with low documentation rates of ED visits in the primary care charts. Our findings point to a poor continuity of care of ED attendees

Peritonitis in children on peritoneal dialysis in Cape Town, South Africa: epidemiology and risks

Peritonitis is a frequent complication of peritoneal dialysis (PD) in children as well in adults. Data on PD and peritonitis in pediatric patients are very scarce in developing countries. A retrospective cohort study was performed between 2000 and 2008 with the aim to evaluate PD treatment and peritonitis epidemiology in pediatric patients in South Africa and identify risk factors for peritonitis. Baseline characteristics and potential risk factors of peritonitis were recorded, including housing, socio-economic circumstances, distance to PD center, type of PD, mode of catheter placement, race, presence of gastrostomy tube, weight, and height. Outcome indices for peritonitis were peritonitis rate, time to first peritonitis, and number of peritonitis-free patients. The patient cohort comprised 67 patients who were on PD for a total of 544 months. The total number of peritonitis episodes was 129. Median peritonitis rate was one episode every 4.3 patient months (2.8 episodes/patient-year, range 0–21.2). Median time to first infection was 2.03 months (range 0.1–21.5 months), and 28.4% of patients remained free from peritonitis. Patients with good housing and good socio-economic circumstances had a significantly lower peritonitis rate and a longer time to first peritonitis episode. Peritonitis rate was high in this cohort, compared to numbers reported for the developed world; the characteristics of causative organisms are comparable. The most important risk factors for the development of peritonitis were poor housing and poor socio-economic circumstances. More intensive counseling may be beneficial, but improvement of general socio-economic circumstances will have the greatest influence on PD success

Disparities in dialysis treatment and outcomes for Dutch and Belgian children with immigrant parents

BACKGROUND: In Belgium and the Netherlands, up to 40% of the children on dialysis are children with immigrant parents of non-Western European origin (non-Western). Concerns exist regarding whether these non-Western patients receive the same quality of care as children with parents of Western European origin (Western). We compared initial dialysis, post-initial treatment, and outcomes between non-Western and Western patients on dialysis. METHODS: All children <19 years old on chronic dialysis in the Netherlands and Belgium between September 2007 and May 2011 were included in the study. Non-Western patients were defined as children of whom one or both parents were born in non-Western countries. RESULTS: Seventy-nine of the 179 included patients (44%) were non-Western children. Compared to Western patients, non-Western patients more often were treated with hemodialysis (HD) instead of peritoneal dialysis (PD) as first dialysis mode (52 vs. 37%, p = 0.046). Before renal transplantation, non-Western patients were on dialysis for a median (range) of 30 (5-99) months, vs. 15 (0-66) months in Western patients (p = 0.007). Renal osteodystrophy was diagnosed in 34% of non-Western vs. 18% of Western patients (p = 0.028). The incidence rate ratio [95% confidence interval] for acute peritonitis was 2.44 [1.43-4.17] (p = 0.032) for non-Western compared to Western patients. CONCLUSIONS: There are important disparities between children on chronic dialysis with parents from Western European origin and those from non-Western European origin in the choice of modality, duration, and outcomes of dialysis therapy

Identification of Mycobacterium tuberculosis-Specific Th1, Th17 and Th22 Cells Using the Expression of CD40L in Tuberculous Pleurisy

Important advances have been made in the immunodiagnosis of tuberculosis (TB) based on the detection of Mycobacterium tuberculosis (MTB)-specific T cells. However, the sensitivity and specificity of the immunological approach are relatively low because there are no specific markers for antigen-specific Th cells, and some of the Th cells that do not produce cytokines can be overlooked using this approach. In this study, we found that MTB-specific peptides of ESAT-6/CFP-10 can stimulate the expression of CD40L specifically in CD4+ T cells but not other cells from pleural fluid cells (PFCs) in patients with tuberculous pleurisy (TBP). CD4+CD40L+ but not CD4+CD40L− T cells express IFN-γ, IL-2, TNF-α, IL-17 or IL-22 after stimulation with MTB-specific peptides. In addition, CD4+CD40L+ T cells were found to be mostly polyfunctional T cells that simultaneously produce IFN-γ, IL-2 and TNF-α and display an effector or effector memory phenotype (CD45RA−CD45RO+CCR7−CD62L−ICOS−). To determine the specificity of CD4+CD40L+ T cells, we incubated PFCs with ESTA-6/CFP-10 peptides and sorted live CD4+CD40L+ and CD4+CD40L− T cells by flow cytometry. We further demonstrated that sorted CD4+CD40L+, but not CD4+CD40L− fractions, principally produced IFN-γ, IL-2, TNF-α, IL-17 and IL-22 following restimulation with ESTA-6/CFP-10 peptides. Taken together, our data indicate that the expression of CD40L on MTB-specific CD4+ T cells could be a good marker for the evaluation and isolation of MTB-specific Th cells and might also be useful in the diagnosis of TB