Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions

In this paper we turn the spotlight on a class of lexicographic ranking functions introduced by Bradley, Manna and Sipma in a seminal CAV 2005 paper, and establish for the first time the complexity of some problems involving the inference of such functions for linear-constraint loops (without precondition). We show that finding such a function, if one exists, can be done in polynomial time in a way which is sound and complete when the variables range over the rationals (or reals). We show that when variables range over the integers, the problem is harder -- deciding the existence of a ranking function is coNP-complete. Next, we study the problem of minimizing the number of components in the ranking function (a.k.a. the dimension). This number is interesting in contexts like computing iteration bounds and loop parallelization. Surprisingly, and unlike the situation for some other classes of lexicographic ranking functions, we find that even deciding whether a two-component ranking function exists is harder than the unrestricted problem: NP-complete over the rationals and $\Sigma^P_2$-complete over the integers.Comment: Technical report for a corresponding CAV'15 pape

Simulating Reionization: Character and Observability

In recent years there has been considerable progress in our understanding of the nature and properties of the reionization process. In particular, the numerical simulations of this epoch have made a qualitative leap forward, reaching sufficiently large scales to derive the characteristic scales of the reionization process and thus allowing for realistic observational predictions. Our group has recently performed the first such large-scale radiative transfer simulations of reionization, run on top of state-of-the-art simulations of early structure formation. This allowed us to make the first realistic observational predictions about the Epoch of Reionization based on detailed radiative transfer and structure formation simulations. We discuss the basic features of reionization derived from our simulations and some recent results on the observational implications for the high-redshift Ly-alpha sources.Comment: 3 pages, to appear in the Proceedings of First Stars III, Santa Fe, July 2007, AIP Conference Serie

Photoaffinity cross-linking and unnatural amino acid mutagenesis reveal insights into calcitonin gene-related peptide binding to the calcitonin receptor-like receptor/receptor activity-modifying protein 1 (CLR/RAMP1) complex

Calcitonin gene-related peptide (CGRP) binds to the complex of the calcitonin receptor-like receptor (CLR) with receptor activity-modifying protein 1 (RAMP1). How CGRP interacts with the transmembrane domain (including the extracellular loops) of this family B receptor remains unclear. In this study, a photoaffinity cross-linker, p-azido l-phenylalanine (azF), was incorporated into CLR, chiefly in the second extracellular loop (ECL2) using genetic code expansion and unnatural amino acid mutagenesis. The method was optimized to ensure efficient photolysis of azF residues near the transmembrane bundle of the receptor. A CGRP analogue modified with fluorescein at position 15 was used for detection of ultraviolet-induced cross-linking. The methodology was verified by confirming the known contacts of CGRP to the extracellular domain of CLR. Within ECL2, the chief contacts were I284 on the loop itself and L291, at the top of the fifth transmembrane helix (TM5). Minor contacts were noted along the lip of ECL2 between S286 and L290 and also with M223 in TM3 and F349 in TM6. Full length molecular models of the bound receptor complex suggest that CGRP sits at the top of the TM bundle, with Thr6 of the peptide making contacts with L291 and H295. I284 is likely to contact Leu12 and Ala13 of CGRP, and Leu16 of CGRP is at the ECL/extracellular domain boundary of CLR. The reduced potency, Emax, and affinity of [Leu16Ala]-human α CGRP are consistent with this model. Contacts between Thr6 of CGRP and H295 may be particularly important for receptor activation

Topology by Design in Magnetic nano-Materials: Artificial Spin Ice

Artificial Spin Ices are two dimensional arrays of magnetic, interacting nano-structures whose geometry can be chosen at will, and whose elementary degrees of freedom can be characterized directly. They were introduced at first to study frustration in a controllable setting, to mimic the behavior of spin ice rare earth pyrochlores, but at more useful temperature and field ranges and with direct characterization, and to provide practical implementation to celebrated, exactly solvable models of statistical mechanics previously devised to gain an understanding of degenerate ensembles with residual entropy. With the evolution of nano--fabrication and of experimental protocols it is now possible to characterize the material in real-time, real-space, and to realize virtually any geometry, for direct control over the collective dynamics. This has recently opened a path toward the deliberate design of novel, exotic states, not found in natural materials, and often characterized by topological properties. Without any pretense of exhaustiveness, we will provide an introduction to the material, the early works, and then, by reporting on more recent results, we will proceed to describe the new direction, which includes the design of desired topological states and their implications to kinetics.Comment: 29 pages, 13 figures, 116 references, Book Chapte

Multiple populations in globular clusters. Lessons learned from the Milky Way globular clusters

Recent progress in studies of globular clusters has shown that they are not simple stellar populations, being rather made of multiple generations. Evidence stems both from photometry and spectroscopy. A new paradigm is then arising for the formation of massive star clusters, which includes several episodes of star formation. While this provides an explanation for several features of globular clusters, including the second parameter problem, it also opens new perspectives about the relation between globular clusters and the halo of our Galaxy, and by extension of all populations with a high specific frequency of globular clusters, such as, e.g., giant elliptical galaxies. We review progress in this area, focusing on the most recent studies. Several points remain to be properly understood, in particular those concerning the nature of the polluters producing the abundance pattern in the clusters and the typical timescale, the range of cluster masses where this phenomenon is active, and the relation between globular clusters and other satellites of our Galaxy.Comment: In press (The Astronomy and Astrophysics Review

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV

Study of the reaction e^{+}e^{-} -->J/psi\pi^{+}\pi^{-} via initial-state radiation at BaBar

We study the process $e^+e^-\to J/\psi\pi^{+}\pi^{-}$ with initial-state-radiation events produced at the PEP-II asymmetric-energy collider. The data were recorded with the BaBar detector at center-of-mass energies 10.58 and 10.54 GeV, and correspond to an integrated luminosity of 454 $\mathrm{fb^{-1}}$. We investigate the $J/\psi \pi^{+}\pi^{-}$ mass distribution in the region from 3.5 to 5.5 $\mathrm{GeV/c^{2}}$. Below 3.7 $\mathrm{GeV/c^{2}}$ the $\psi(2S)$ signal dominates, and above 4 $\mathrm{GeV/c^{2}}$ there is a significant peak due to the Y(4260). A fit to the data in the range 3.74 -- 5.50 $\mathrm{GeV/c^{2}}$ yields a mass value $4244 \pm 5$ (stat) $\pm 4$ (syst)$\mathrm{MeV/c^{2}}$ and a width value $114 ^{+16}_{-15}$ (stat)$\pm 7$(syst)$\mathrm{MeV}$ for this state. We do not confirm the report from the Belle collaboration of a broad structure at 4.01 $\mathrm{GeV/c^{2}}$. In addition, we investigate the $\pi^{+}\pi^{-}$ system which results from Y(4260) decay

Study of avidity of antigen-specific antibody as a means of understanding development of long-term immunological memory after Vibrio cholerae O1 infection

The avidity of antibodies to specific antigens and the relationship of avidity to memory B cell responses to these antigens have not been studied in patients with cholera or those receiving oral cholera vaccines. We measured the avidity of antibodies to cholera toxin B subunit (CTB) and Vibrio cholerae O1 lipopolysaccharide (LPS) in Bangladeshi adult cholera patients (n = 30), as well as vaccinees (n = 30) after administration of two doses of a killed oral cholera vaccine. We assessed antibody and memory B cell responses at the acute stage in patients or prior to vaccination in vaccinees and then in follow-up over a year. Both patients and vaccinees mounted CTB-specific IgG and IgA antibodies of high avidity. Patients showed longer persistence of these antibodies than vaccinees, with persistence lasting in patients up to day 270 to 360. The avidity of LPS-specific IgG and IgA antibodies in patients remained elevated up to 180 days of follow-up. Vaccinees mounted highly avid LPS-specific antibodies at day 17 (3 days after the second dose of vaccine), but the avidity waned rapidly to baseline by 30 days. We examined the correlation between antigen-specific memory B cell responses and avidity indices for both antigens. We found that numbers of CTB- and LPS-specific memory B cells significantly correlated with the avidity indices of the corresponding antibodies (P < 0.05; Spearman's ρ = 0.28 to 0.45). These findings suggest that antibody avidity after infection and immunization is a good correlate of the development and maintenance of memory B cell responses to Vibrio cholerae O1 antigens

Factors influencing participant enrolment in a diabetes prevention program in general practice: lessons from the Sydney diabetes prevention program

Background: The effectiveness of lifestyle interventions in reducing diabetes incidence has been well established. Little is known, however, about factors influencing the reach of diabetes prevention programs. This study examines the predictors of enrolment in the Sydney Diabetes Prevention Program (SDPP), a community-based diabetes prevention program conducted in general practice, New South Wales, Australia from 2008&ndash;2011.Methods: SDPP was an effectiveness trial. Participating general practitioners (GPs) from three Divisions of General Practice invited individuals aged 50&ndash;65 years without known diabetes to complete the Australian Type 2 Diabetes Risk Assessment tool. Individuals at high risk of diabetes were invited to participate in a lifestyle modification program. A multivariate model using generalized estimating equations to control for clustering of enrolment outcomes by GPs was used to examine independent predictors of enrolment in the program. Predictors included age, gender, indigenous status, region of birth, socio-economic status, family history of diabetes, history of high glucose, use of anti-hypertensive medication, smoking status, fruit and vegetable intake, physical activity level and waist measurement.Results: Of the 1821 eligible people identified as high risk, one third chose not to enrol in the lifestyle program. In multivariant analysis, physically inactive individuals (OR: 1.48, P = 0.004) and those with a family history of diabetes (OR: 1.67, P = 0.000) and history of high blood glucose levels (OR: 1.48, P = 0.001) were significantly more likely to enrol in the program. However, high risk individuals who smoked (OR: 0.52, P = 0.000), were born in a country with high diabetes risk (OR: 0.52, P = 0.000), were taking blood pressure lowering medications (OR: 0.80, P = 0.040) and consumed little fruit and vegetables (OR: 0.76, P = 0.047) were significantly less likely to take up the program.Conclusions: Targeted strategies are likely to be needed to engage groups such as smokers and high risk ethnic groups. Further research is required to better understand factors influencing enrolment in diabetes prevention programs in the primary health care setting, both at the GP and individual level.<br /

Relationships between paranoid thinking, self-esteem and the menstrual cycle.

This study aimed to investigate whether paranoid experiences and levels of self-esteem fluctuate over the menstrual cycle and whether levels of self-esteem are lower when perceived persecution is felt to be deserved. Measures of anxiety, depression, persecution, deservedness and self-esteem were completed on-line by 278 women over their menstrual cycle. Responses were compared at the paramenstrual (3 days before and after menses onset) and mid-cycle phase. At the paramenstrual phase persecution, negative self-esteem, anxiety and depression were higher and positive self-esteem was lower than at mid-cycle. A greater proportion of women experienced persecution as deserved at the paramenstrual phase. This was associated with higher depression and negative self-esteem scores. Increased levels of deservedness significantly strengthened the relationship between persecution and negative, but not positive, self-esteem. These findings suggest that the paramenstrual phase is a time of vulnerability to increased paranoid experiences, an increased likelihood that feelings of persecution will feel deserved and lowered self-esteem. The findings support the view that interpersonal sensitivities may be key to menstrual cycle symptoms and have an impact on relationships. Further, the study illustrated that ideas developed for psychosis could make a valuable contribution to understanding and managing this aspect of menstruation-related distress