Dynamic Race Prediction in Linear Time

Writing reliable concurrent software remains a huge challenge for today's programmers. Programmers rarely reason about their code by explicitly considering different possible inter-leavings of its execution. We consider the problem of detecting data races from individual executions in a sound manner. The classical approach to solving this problem has been to use Lamport's happens-before (HB) relation. Until now HB remains the only approach that runs in linear time. Previous efforts in improving over HB such as causally-precedes (CP) and maximal causal models fall short due to the fact that they are not implementable efficiently and hence have to compromise on their race detecting ability by limiting their techniques to bounded sized fragments of the execution. We present a new relation weak-causally-precedes (WCP) that is provably better than CP in terms of being able to detect more races, while still remaining sound. Moreover it admits a linear time algorithm which works on the entire execution without having to fragment it.Comment: 22 pages, 8 figures, 1 algorithm, 1 tabl

Screening of respiratory pathogens by Respiratory Multi Well System (MWS) r-gene™ assay in hospitalized patients

Novel respiratory viruses have been identified as possible agents of upper and lower respiratory tract infections. Multiplex real-time PCRs have been developed to identify clinically relevant respiratory pathogens. In this study, 178 respiratory samples already screened for influenza virus types A and B by Flu A/B ASR real-time PCR kit were retrospectively analyzed with the Respiratory Multi Well System (MWS) r-gene™ real-time PCR kit which detects a wide spectrum of respiratory pathogens. The goal was to demonstrate the importance of a wide spectrum screening compared to a single diagnostic request. The Flu A/B ASR kit detected influenza B virus in 1.7% of the samples (3/178) and no influenza A virus. The MWS r-gene™ kit detected influenza virus in 6.7% (12/178) of samples (0.6% influenza A, and 6.2% influenza B), while the overall detection rate for respiratory pathogens was 54% (96/178). Co-infections were detected in 8/178 (4.5%) samples. Adenovirus was the infectious agent detected most frequently, followed by respiratory syncytial virus. The risk of being infected by respiratory syncytial virus is almost threefold higher in patients older than 65 years compared to the younger age group (OR:2.7, 95% CI: 1.2-6.2). Wide spectrum screening of respiratory pathogens by real-time PCR is an effective means of detecting clinically relevant viral pathogens

Gestational age and hospital utilization : three-years follow-up of an area-based birth cohort

OBJECTIVE: To investigate differences by gestational age in emergency department visits and re-hospitalizations during the three years following childbirth discharge. METHODS: We performed a historical cohort study in Lazio Region, Italy, for infants born in 2007-2008 to resident mothers. Health administrative data were used. Analysis was performed by multinomial logistic regression. RESULTS: Of 90 545 infants, more than 50% had at least one emergency department visit, and 18.8% at least one re-hospitalization. After the exclusion of infants with congenital anomalies, relative risk ratios of re-hospitalization and, to a lesser extent, of emergency department visits increased by decreasing gestational age; the two events were also higher for mothers ≤35 years of age, with low education and of Italian nationality. Residency outside the metropolitan area was associated with an increased risk of re-hospitalization and a decreased risk of emergency department visits. CONCLUSION: During the three years following childbirth discharge, re-hospitalizations and, to a lesser extent, emergency department use are inversely related to gestational age at birth; socio-demographic factors have an effect on the risk of infant use of hospital resources independent of gestational age

Tick-borne encephalitis in north-east Italy: a 14-year retrospective study, January 2000 to December 2013

Italy is considered at low incidence of tick-borne encephalitis (TBE), and the occurrence of human cases of TBE appears to be geographically restricted to the north east of the country. However, most information to date derives from case series, with no systematic data collection. To estimate incidence rates (IR) and spatial distribution of TBE cases, we conducted a retrospective study in north-eastern Italy. Data were collected through the infectious disease units and public health districts of three regions (Friuli Venezia Giulia, Trentino Alto Adige and Veneto) between 2000 and 2013. Overall, 367 cases were identified (IR: 0.38/100,000). The cases' median age was 56 years and 257 (70%) were male. Central nervous system involvement was reported in 307 cases (84%). Annual fluctuations in case numbers occurred, with peaks in 2006 and in 2013, when 44 and 42 cases were respectively observed. A strong seasonality effect was noted, with the highest number of cases in July. In terms of geographical location, three main endemic foci with high TBE IR (> 10/100,000) were identified in three provinces, namely Belluno (Veneto region), Udine (Friuli Venezia Giulia) and Trento (Trentino Alto-Adige). When investigating the whole study area in terms of altitude, the IR between 400 and 600\u2009m was greater (2.41/100,000) than at other altitudes (p< 0.01). In conclusion, the incidence of TBE in Italy is relatively low, even considering only the three known affected regions. However, three endemic foci at high risk were identified. In these areas, where the risk of TBEV infection is likely high, more active offer of TBE vaccination could be considere

Risk of Kaposi's sarcoma and of other cancers in Italian renal transplant patients

A follow-up study of 1844 renal transplant patients in Italy showed a 113-fold increased risk for Kaposi's sarcoma. Kaposi's sarcoma risk was higher in persons born in southern than in northern Italy. Significant increases were also observed for cancers of the lip, liver, kidney and for non-Hodgkin's lymphoma

Associations between cardiac arrhythmia, incident disability in activities of daily living and physical performance: the ILSA study

Background: Cardiac arrhythmias are common conditions in older people. Unfortunately, there is limited literature on associations between cardiac arrhythmias and physical performance or disability. We therefore aimed to prospectively investigate associations between cardiac arrhythmias and changes in disability and physical performance during 8 years of follow-up, using data from the Italian Longitudinal Study on Aging (ILSA). Methods: Cardiac arrhythmias diagnosis was posed through a screening phase, confirmed by a physician. The onset of disability in activities of daily living (ADL) and the changes in several physical performance tests during follow-up were considered as outcomes. Fully-adjusted and propensity-score Cox Proportional Hazard models and mixed models were used for exploring associations between cardiac arrhythmia and the outcomes of interest. Results: The prevalence of cardiac arrhythmia at baseline was 23.3%. People reporting cardiac arrhythmia at the baseline were significantly older, more frequently male, smokers and reported a higher presence of all medical conditions investigated (hypertension, heart failure, angina, myocardial infarction, diabetes, stroke), but no difference in dementia, Parkinsonism, cognitive or mood disorder. Cardiac arrhythmia at baseline was significantly associated with the incidence of disability in ADL (HR = 1.23; 95%: CI: 1.01–1.50; P = 0.0478 in propensity score analyses; HR = 1.28; 95% CI: 1.01–1.61; P = 0.0401 in fully adjusted models). Cardiac arrhythmia at baseline was also associated with a significant worsening in balance test (P = 0.0436). Conclusions: The presence of cardiac arrhythmia at baseline was associated with a significant higher risk of disability and of worsening in some physical performance tests, particularly those relating to balance. Screening and frequently assessing physical performance in older people affected by cardiac arrhythmia can be important to prevent a loss of physical performance, with further, potential, complications of medical management

Prevalence and association of asthma and allergic sensitization with dietary factors in schoolchildren: data from the french six cities study

International audienceBackground: The prevalence of asthma and allergy has recently risen among children. This increase in prevalence might be related to various factors, particularly diet. The aim of this study is to assess the prevalence and association of asthma and allergic sensitization with dietary factors in the French Six Cities Study. Methods: Cross-sectional studies were performed among 7432 schoolchildren aged 9-11 years in Bordeaux, Clermont-Ferrand, Creteil, Marseille, Reims, and Strasbourg. Parental questionnaires, based on the International Study on Asthma and Allergies in Childhood (ISAAC), were used to collect information on allergic diseases and potential exposure factors including a food frequency questionnaire to evaluate dietary habits. Skin prick testing to common allergens for allergic sensitization and bronchial hyper-responsiveness (BHR) testing to exercise were performed. Confounders control was performed with multiple logistic regressions. Results: Asthma symptoms, asthma and allergic sensitization were more prevalent in boys than in girls and were more prevalent in the South than in the North of France. After adjustment for confounders, fruit juice intake was associated with a low prevalence of lifetime asthma (ORa [95 % CI]; 0.73 [0.56-0.97]), butter intake was positively associated with atopic wheeze (1.48 [1.07-2.05]) and having lunch at the canteen 1-2 times/week compared to never or occasionally was associated with a lower prevalence of past year wheeze (0.71 [0.52-0.96]), lifetime asthma (0.76 [0.60-0.96]) and allergic sensitization (0.80 [0.67-0.95]). Meat intake was inversely related to past year wheeze among atopic children (0.68 [0.50-0.98]) while fast food consumption and butter intake were associated with an increase prevalence of asthma (2.39 [1.47-3.93] and 1.51 [1.17-2.00] respectively). Fish intake was associated with a lower prevalence of asthma among non-atopic children (0.61 [0.43-0.87]. None of the dietary factors was associated with BHR. Conclusions: Diet is associated with wheeze, asthma and allergic sensitization but not with BHR in children. These results provide further evidence that adherence to a healthy diet including fruits, meat and fish seems to have a protective effect on asthma and allergy in childhood. However, prospective and experimental studies are needed to provide causal evidence concerning the effect of diet on asthma and atopy