A perspective on specifying and verifying concurrent modules

The specification of a concurrent program module, and the verification of implementations and clients with respect to such a specification, are difficult problems. A specification should be general enough that any reasonable implementation satisfies it, yet precise enough that it can be used by any reasonable client. We survey a range of techniques for specifying concurrent modules, using the example of a counter module to illustrate the benefits and limitations of each. In particular, we highlight four key concepts underpinning these techniques: auxiliary state, interference abstraction, resource ownership and atomicity. We demonstrate how these concepts can be combined to achieve two powerful approaches for specifying concurrent modules and verifying implementations and clients, which remove the limitations highlighted by the counter example

Molecular and electronic structure of terminal and alkali metal-capped uranium(V) nitride complexes

Determining the electronic structure of actinide complexes is intrinsically challenging because inter-electronic repulsion, crystal field, and spin–orbit coupling effects can be of similar magnitude. Moreover, such efforts have been hampered by the lack of structurally analogous families of complexes to study. Here we report an improved method to U≡N triple bonds, and assemble a family of uranium(V) nitrides. Along with an isoelectronic oxo, we quantify the electronic structure of this 5f1 family by magnetometry, optical and electron paramagnetic resonance (EPR) spectroscopies and modelling. Thus, we define the relative importance of the spin–orbit and crystal field interactions, and explain the experimentally observed different ground states. We find optical absorption linewidths give a potential tool to identify spin–orbit coupled states, and show measurement of UV···UV super-exchange coupling in dimers by EPR. We show that observed slow magnetic relaxation occurs via two-phonon processes, with no obvious correlation to the crystal field

The transcriptional repressor protein NsrR senses nitric oxide directly via a [2Fe-2S] cluster

The regulatory protein NsrR, a member of the Rrf2 family of transcription repressors, is specifically dedicated to sensing nitric oxide (NO) in a variety of pathogenic and non-pathogenic bacteria. It has been proposed that NO directly modulates NsrR activity by interacting with a predicted [Fe-S] cluster in the NsrR protein, but no experimental evidence has been published to support this hypothesis. Here we report the purification of NsrR from the obligate aerobe Streptomyces coelicolor. We demonstrate using UV-visible, near UV CD and EPR spectroscopy that the protein contains an NO-sensitive [2Fe-2S] cluster when purified from E. coli. Upon exposure of NsrR to NO, the cluster is nitrosylated, which results in the loss of DNA binding activity as detected by bandshift assays. Removal of the [2Fe-2S] cluster to generate apo-NsrR also resulted in loss of DNA binding activity. This is the first demonstration that NsrR contains an NO-sensitive [2Fe-2S] cluster that is required for DNA binding activity

Complement-Mediated Virus Infectivity Neutralisation by HLA Antibodies Is Associated with Sterilising Immunity to SIV Challenge in the Macaque Model for HIV/AIDS.

Sterilising immunity is a desired outcome for vaccination against human immunodeficiency virus (HIV) and has been observed in the macaque model using inactivated simian immunodeficiency virus (SIV). This protection was attributed to antibodies specific for cell proteins including human leucocyte antigens (HLA) class I and II incorporated into virions during vaccine and challenge virus preparation. We show here, using HLA bead arrays, that vaccinated macaques protected from virus challenge had higher serum antibody reactivity compared with non-protected animals. Moreover, reactivity was shown to be directed against HLA framework determinants. Previous studies failed to correlate serum antibody mediated virus neutralisation with protection and were confounded by cytotoxic effects. Using a virus entry assay based on TZM-bl cells we now report that, in the presence of complement, serum antibody titres that neutralise virus infectivity were higher in protected animals. We propose that complement-augmented virus neutralisation is a key factor in inducing sterilising immunity and may be difficult to achieve with HIV/SIV Env-based vaccines. Understanding how to overcome the apparent block of inactivated SIV vaccines to elicit anti-envelope protein antibodies that effectively engage the complement system could enable novel anti-HIV antibody vaccines that induce potent, virolytic serological response to be developed

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Idiosyncratic deals for older workers: increased heterogeneity among older workers enhance the need for i-Deals

The rapid aging of the workforce throughout the Western world and parts of Asia, including Japan and China, poses many challenges on contemporary organizations (European Commission, 2010 ; Wang & Shultz, 2010 ). The Babyboom generation, consisting of workers born between 1945 and 1965, constitutes a large part of the current workforce. Due to decreased fertility rates, there are fewer younger workers entering the labor market, as a consequence of which the percentage of older workers is rapidly increasing (Truxillo & Fraccaroli, 2013 ). Consequently, organizations are increasingly aware that the employee population is changing, and that strategies to employ, motivate, and retain workers have to be adapted accordingly. It is no longer suffi cient for organizations to focus on employing younger workers (e.g., through designing traineeships for graduates), because the infl ux of younger workers in the labor market is stagnating, which is in particular present in certain sectors, such as technical occupations and health care (Polat, Bal, & Jansen, 2012 ). Hence, organizations increasingly will have to rely on older workers, and try to retain older workers, and motivate them to stay longer in the workforce. Similarly, governments across Europe are also increasing offi cial retirement ages, and making it fi nancially less attractive for older workers to retire early (European Commission)

Children with cerebral malaria or severe malarial anaemia lack immunity to distinct variant surface antigen subsets

Abstract Variant surface antigens (VSAs) play a critical role in severe malaria pathogenesis. Defining gaps, or “lacunae”, in immunity to these Plasmodium falciparum antigens in children with severe malaria would improve our understanding of vulnerability to severe malaria and how protective immunity develops. Using a protein microarray with 179 antigen variants from three VSA families as well as more than 300 variants of three other blood stage P. falciparum antigens, reactivity was measured in sera from Malian children with cerebral malaria or severe malarial anaemia and age-matched controls. Sera from children with severe malaria recognized fewer extracellular PfEMP1 fragments and were less reactive to specific fragments compared to controls. Following recovery from severe malaria, convalescent sera had increased reactivity to certain non-CD36 binding PfEMP1s, but not other malaria antigens. Sera from children with severe malarial anaemia reacted to fewer VSAs than did sera from children with cerebral malaria, and both of these groups had lacunae in their seroreactivity profiles in common with children who had both cerebral malaria and severe malarial anaemia. This microarray-based approach may identify a subset of VSAs that could inform the development of a vaccine to prevent severe disease or a diagnostic test to predict at-risk children

Methodological issues in cross-cultural research

Regardless of whether the research goal is to establish cultural universals or to identify and explain cross-cultural differences, researchers need measures that are comparable across different cultures when conducting cross-cultural studies. In this chapter, we describe two major strategies for enhancing cross-cultural comparability. First, we discuss a priori methods to ensure the comparability of data in cross-cultural surveys. In particular, we review findings on cross-cultural differences based on the psychology of survey response and provide suggestions on how to deal with these cultural differences in the survey design stage. Second, we discuss post hoc methods to ascertain data comparability and enable comparisons in the presence of threats to equivalence

Remarks on Andrew Lang's World Trade Law After Neo-Liberalism

No abstract available

Individual biases, cultural evolution, and the statistical nature of language universals: the case of colour naming systems

Language universals have long been attributed to an innate Universal Grammar. An alternative explanation states that linguistic universals emerged independently in every language in response to shared cognitive or perceptual biases. A computational model has recently shown how this could be the case, focusing on the paradigmatic example of the universal properties of colour naming patterns, and producing results in quantitative agreement with the experimental data. Here we investigate the role of an individual perceptual bias in the framework of the model. We study how, and to what extent, the structure of the bias influences the corresponding linguistic universal patterns. We show that the cultural history of a group of speakers introduces population-specific constraints that act against the pressure for uniformity arising from the individual bias, and we clarify the interplay between these two forces