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

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

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

Usefulness of PCR-based assays to assess drug efficacy in Chagas disease chemotherapy: value and limitations

One major goal of research on Chagas disease is the development of effective chemotherapy to eliminate the infection from individuals who have not yet developed cardiac and/or digestive disease manifestations. Cure evaluation is the more complex aspect of its treatment, often leading to diverse and controversial results. The absence of reliable methods or a diagnostic gold standard to assess etiologic treatment efficacy still constitutes a major challenge. In an effort to develop more sensitive tools, polymerase chain reaction (PCR)-based assays were introduced to detect low amounts of Trypanosoma cruzi DNA in blood samples from chagasic patients, thus improving the diagnosis and follow-up evaluation after chemotherapy. In this article, I review the main problems concerning drug efficacy and criteria used for cure estimation in treated chagasic patients, and the work conducted by different groups on developing PCR methodologies to monitor treatment outcome of congenital infections as well as recent and late chronic T. cruzi infections

J/psi production from proton-proton collisions at sqrt(s) = 200 GeV

J/psi production has been measured in proton-proton collisions at sqrt(s)= 200 GeV over a wide rapidity and transverse momentum range by the PHENIX experiment at RHIC. Distributions of the rapidity and transverse momentum, along with measurements of the mean transverse momentum and total production cross section are presented and compared to available theoretical calculations. The total J/psi cross section is 3.99 +/- 0.61(stat) +/- 0.58(sys) +/- 0.40(abs) micro barns. The mean transverse momentum is 1.80 +/- 0.23(stat) +/- 0.16(sys) GeV/c.Comment: 326 authors, 6 pages text, 4 figures, 1 table, RevTeX 4. To be 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