Batalin-Vilkovisky Integrals in Finite Dimensions

The Batalin-Vilkovisky method (BV) is the most powerful method to analyze functional integrals with (infinite-dimensional) gauge symmetries presently known. It has been invented to fix gauges associated with symmetries that do not close off-shell. Homological Perturbation Theory is introduced and used to develop the integration theory behind BV and to describe the BV quantization of a Lagrangian system with symmetries. Localization (illustrated in terms of Duistermaat-Heckman localization) as well as anomalous symmetries are discussed in the framework of BV.Comment: 35 page

Quiescent consistency: Defining and verifying relaxed linearizability

Concurrent data structures like stacks, sets or queues need to be highly optimized to provide large degrees of parallelism with reduced contention. Linearizability, a key consistency condition for concurrent objects, sometimes limits the potential for optimization. Hence algorithm designers have started to build concurrent data structures that are not linearizable but only satisfy relaxed consistency requirements. In this paper, we study quiescent consistency as proposed by Shavit and Herlihy, which is one such relaxed condition. More precisely, we give the first formal definition of quiescent consistency, investigate its relationship with linearizability, and provide a proof technique for it based on (coupled) simulations. We demonstrate our proof technique by verifying quiescent consistency of a (non-linearizable) FIFO queue built using a diffraction tree. © 2014 Springer International Publishing Switzerland

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

We previously developed a polymorphic type system and a type checker for a multithreaded lock-based polymorphic typed assembly language (MIL) that ensures that well-typed programs do not encounter race conditions. This paper extends such work by taking into consideration deadlocks. The extended type system verifies that locks are acquired in the proper order. Towards this end we require a language with annotations that specify the locking order. Rather than asking the programmer (or the compiler's backend) to specifically annotate each newly introduced lock, we present an algorithm to infer the annotations. The result is a type checker whose input language is non-decorated as before, but that further checks that programs are exempt from deadlocks

Lipid-soluble Vitamins A, D, and E in HIV-Infected Pregnant women in Tanzania.

There is limited published research examining lipid-soluble vitamins in human immunodeficiency virus (HIV)-infected pregnant women, particularly in resource-limited settings. This is an observational analysis of 1078 HIV-infected pregnant women enrolled in a trial of vitamin supplementation in Tanzania. Baseline data on sociodemographic and anthropometric characteristics, clinical signs and symptoms, and laboratory parameters were used to identify correlates of low plasma vitamin A (<0.7 micromol/l), vitamin D (<80 nmol/l) and vitamin E (<9.7 micromol/l) status. Binomial regression was used to estimate risk ratios and 95% confidence intervals. Approximately 35, 39 and 51% of the women had low levels of vitamins A, D and E, respectively. Severe anemia (hemoglobin <85 g/l; P<0.01), plasma vitamin E (P=0.02), selenium (P=0.01) and vitamin D (P=0.02) concentrations were significant correlates of low vitamin A status in multivariate models. Erythrocyte Sedimentation Rate (ESR) was independently related to low vitamin A status in a nonlinear manner (P=0.01). The correlates of low vitamin D status were CD8 cell count (P=0.01), high ESR (ESR >81 mm/h; P<0.01), gestational age at enrollment (nonlinear; P=0.03) and plasma vitamins A (P=0.02) and E (P=0.01). For low vitamin E status, the correlates were money spent on food per household per day (P<0.01), plasma vitamin A concentration (nonlinear; P<0.01) and a gestational age <16 weeks at enrollment (P<0.01). Low concentrations of lipid-soluble vitamins are widely prevalent among HIV-infected women in Tanzania and are correlated with other nutritional insufficiencies. Identifying HIV-infected persons at greater risk of poor nutritional status and infections may help inform design and implementation of appropriate interventions

Higher education and unemployment in Europe : an analysis of the academic subject and national effects

This paper examines the impact of an academic degree and field of study on short and long-term unemployment across Europe (EU15). Labour Force Survey (LFS) data on over half a million individuals are utilised for that purpose. The harmonized LFS classification of level of education and field of study overcomes past problems of comparability across Europe. The study analyses (i) the effect of an academic degree at a European level, (ii) the specific effect of 14 academic subjects and (iii) country specific effects. The results indicate that an academic degree is more effective on reducing the likelihood of short-term than long-term unemployment. This general pattern even though it is observed for most of the academic subjects its levels show significant variation across disciplines and countries

On Correctness of Data Structures under Reads-Write Concurrency

Abstract. We study the correctness of shared data structures under reads-write concurrency. A popular approach to ensuring correctness of read-only operations in the presence of concurrent update, is read-set validation, which checks that all read variables have not changed since they were first read. In practice, this approach is often too conserva-tive, which adversely affects performance. In this paper, we introduce a new framework for reasoning about correctness of data structures under reads-write concurrency, which replaces validation of the entire read-set with more general criteria. Namely, instead of verifying that all read conditions over the shared variables, which we call base conditions. We show that reading values that satisfy some base condition at every point in time implies correctness of read-only operations executing in parallel with updates. Somewhat surprisingly, the resulting correctness guarantee is not equivalent to linearizability, and is instead captured through two new conditions: validity and regularity. Roughly speaking, the former re-quires that a read-only operation never reaches a state unreachable in a sequential execution; the latter generalizes Lamport’s notion of regular-ity for arbitrary data structures, and is weaker than linearizability. We further extend our framework to capture also linearizability. We illus-trate how our framework can be applied for reasoning about correctness of a variety of implementations of data structures such as linked lists.

Hidradenitis suppurativa and rheumatoid arthritis: evaluating the bidirectional association

Despite some common pathogenic themes, the association of hidradenitis suppurativa (HS) and rheumatoid arthritis (RA) has been poorly investigated. We aimed to evaluate the bidirectional association between HS and RA. A population-based study was conducted to compare HS patients (n = 6779) with age-, sex- and ethnicity-matched control subjects (n = 33,260) with regard to the incidence of new-onset and the prevalence of preexisting RA. Adjusted hazard ratios (HRs) and adjusted odds ratios (ORs) were estimated. The prevalence of preexisting RA was greater among patients with HS relative to controls (0.5% vs 0.3%. respectively; p = 0.019). The odds of being diagnosed with HS were 1.6-fold higher in patients with a history of RA (fully-adjusted OR, 1.66; 95% CI, 1.11–2.49; p = 0.014). The incidence rate of new-onset RA was estimated at 4.3 (95% CI, 2.5–6.8) and 2.4 (95% CI, 1.8–3.2) cases per 10,000 person-years among patients with HS and controls, respectively. The risk of RA was comparable between patients with HS and controls (fully-adjusted HR, 1.45; 95% CI, 0.77–2.72; p = 0.249). Compared to other patients with HS, those with HS and comorbid RA were older, had a higher prevalence of diabetes mellitus, hypertension, and hyperlipidemia, and had a comparable risk of all-cause mortality. In conclusions, a preexisting diagnosis of RA predisposes individuals to develop HS. Clinicians managing patients with HS and RA should be aware of this association. Further research is required to delineate the underlying pathomechanism of this observation