Amending Contracts for Choreographies

Distributed interactions can be suitably designed in terms of choreographies. Such abstractions can be thought of as global descriptions of the coordination of several distributed parties. Global assertions define contracts for choreographies by annotating multiparty session types with logical formulae to validate the content of the exchanged messages. The introduction of such constraints is a critical design issue as it may be hard to specify contracts that allow each party to be able to progress without violating the contract. In this paper, we propose three methods that automatically correct inconsistent global assertions. The methods are compared by discussing their applicability and the relationships between the amended global assertions and the original (inconsistent) ones.Comment: In Proceedings ICE 2011, arXiv:1108.014

Deuteron and antideuteron production in Au+Au collisions at sqrt(s_NN)=200 GeV

The production of deuterons and antideuterons in the transverse momentum range 1.1 < p_T < 4.3 GeV/c at mid-rapidity in Au + Au collisions at sqrt(s_NN)=200 GeV has been studied by the PHENIX experiment at RHIC. A coalescence analysis comparing the deuteron and antideuteron spectra with those of protons and antiprotons, has been performed. The coalescence probability is equal for both deuterons and antideuterons and increases as a function of p_T, which is consistent with an expanding collision zone. Comparing (anti)proton yields p_bar/p = 0.73 +/- 0.01, with (anti)deuteron yields: d_bar/d = 0.47 +/- 0.03, we estimate that n_bar/n = 0.64 +/- 0.04.Comment: 326 authors, 6 pages text, 5 figures, 1 Table. Submitted to PRL. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Single Electrons from Heavy Flavor Decays in p+p Collisions at sqrt(s) = 200 GeV

The invariant differential cross section for inclusive electron production in p+p collisions at sqrt(s) = 200 GeV has been measured by the PHENIX experiment at the Relativistic Heavy Ion Collider over the transverse momentum range $0.4 <= p_T <= 5.0 GeV/c at midrapidity (eta <= 0.35). The contribution to the inclusive electron spectrum from semileptonic decays of hadrons carrying heavy flavor, i.e. charm quarks or, at high p_T, bottom quarks, is determined via three independent methods. The resulting electron spectrum from heavy flavor decays is compared to recent leading and next-to-leading order perturbative QCD calculations. The total cross section of charm quark-antiquark pair production is determined as sigma_(c c^bar) = 0.92 +/- 0.15 (stat.) +- 0.54 (sys.) mb.Comment: 329 authors, 6 pages text, 3 figures. Submitted to Phys. Rev. Lett. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Antimicrobial activity of Agave sisalana

This study was carried out to evaluate the antimicrobial activity of extracts of the leaves and leaf waste discarded in the process of obtaining the hard fibers of Agave sisalana. The antimicrobial activity was determined by the paper disk diffusion method using Gram-positive and Gram-negative bacteria (nonresistant and resistant to antibiotics) and a fungus. The hydroalcoholic extract obtained from leaves and from sisal waste showed significant inhibition of Candida albicans, on the other hand, it was inactive against three strains of Staphylococcus aureus, two strains of Escherichia coli, a strain ofMicrococcus luteus, Bacillus cereus, Pseudomonas aeruginosa and Salmonella choleraesuis. The methanol extract of leaves showed weaker reduction in the inhibitory action of C. albicans when compared with the above extracts, and it was also inert against the other microorganisms tested

Production of phi mesons at mid-rapidity in sqrt(s_NN) = 200 GeV Au+Au collisions at RHIC

We present the first results of meson production in the K^+K^- decay channel from Au+Au collisions at sqrt(s_NN) = 200 GeV as measured at mid-rapidity by the PHENIX detector at RHIC. Precision resonance centroid and width values are extracted as a function of collision centrality. No significant variation from the PDG accepted values is observed. The transverse mass spectra are fitted with a linear exponential function for which the derived inverse slope parameter is seen to be constant as a function of centrality. These data are also fitted by a hydrodynamic model with the result that the freeze-out temperature and the expansion velocity values are consistent with the values previously derived from fitting single hadron inclusive data. As a function of transverse momentum the collisions scaled peripheral.to.central yield ratio RCP for the is comparable to that of pions rather than that of protons. This result lends support to theoretical models which distinguish between baryons and mesons instead of particle mass for explaining the anomalous proton yield.Comment: 326 authors, 24 pages text, 23 figures, 6 tables, RevTeX 4. To be submitted to Physical Review C as a regular article. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Measurement of Transverse Single-Spin Asymmetries for Mid-rapidity Production of Neutral Pions and Charged Hadrons in Polarized p+p Collisions at sqrt(s) = 200 GeV

The transverse single-spin asymmetries of neutral pions and non-identified charged hadrons have been measured at mid-rapidity in polarized proton-proton collisions at sqrt(s) = 200 GeV. The data cover a transverse momentum (p_T) range 0.5-5.0 GeV/c for charged hadrons and 1.0-5.0 GeV/c for neutral pions, at a Feynman-x (x_F) value of approximately zero. The asymmetries seen in this previously unexplored kinematic region are consistent with zero within statistical errors of a few percent. In addition, the inclusive charged hadron cross section at mid-rapidity from 0.5 < p_T < 7.0 GeV/c is presented and compared to NLO pQCD calculations. Successful description of the unpolarized cross section above ~2 GeV/c using NLO pQCD suggests that pQCD is applicable in the interpretation of the asymmetry results in the relevant kinematic range.Comment: 331 authors, 6 pages text, 2 figures, 3 tables. Submitted to Phys. Rev. Lett. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Identification of Continuous Human B-Cell Epitopes in the Envelope Glycoprotein of Dengue Virus Type 3 (DENV-3)

BACKGROUND:Dengue virus infection is a growing global public health concern in tropical and subtropical regions of the world. Dengue vaccine development has been hampered by concerns that cross-reactive immunological memory elicited by a candidate vaccine could increase the risk of development of more severe clinical forms. One possible strategy to reduce risks associated with a dengue vaccine is the development of a vaccine composed of selected critical epitopes of each of the serotypes. METHODOLOGY/PRINCIPAL FINDINGS:Synthetic peptides were used to identify B-cell epitopes in the envelope (E) glycoprotein of dengue virus type 3 (DENV-3). Eleven linear, immunodominant epitopes distributed in five regions at amino acid (aa) positions: 51-65, 71-90, 131-170, 196-210 and 246-260 were identified by employing an enzyme- linked immunosorbent assay (ELISA), using a pool of human sera from dengue type 3 infected individuals. Peptides 11 (aa51-65), 27 and 28 (aa131-150) also reacted with dengue 1 (DENV-1) and dengue 2 (DENV-2) patient sera as analyzed through the ROC curves generated for each peptide by ELISA and might have serotype specific diagnostic potential. Mice immunized against each one of the five immunogenic regions showed epitopes 51-65, 131-170, 196-210 and 246-260 elicited the highest antibody response and epitopes131-170, 196-210 and 246-260, elicited IFN-gamma production and T CD4+ cell response, as evaluated by ELISA and ELISPOT assays respectively. CONCLUSIONS/SIGNIFICANCE:Our study identified several useful immunodominant IgG-specific epitopes on the envelope of DENV-3. They are important tools for understanding the mechanisms involved in antibody dependent enhancement and immunity. If proven protective and safe, in conjunction with others well-documented epitopes, they might be included into a candidate epitope-based vaccine