Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

Machado-Joseph disease in a Nigerian family: mutational origin and review of the literature

Machado-Joseph disease (MJD) has been described in Africans, but no cases have been reported from Nigeria. Current MJD global distribution results from both the ancestral populations-of-origin and the founder effects of mutations, some as a consequence of the Portuguese sea travels in the 15th to 16th century. Two main ancestral haplotypes have been identified: the Machado lineage, which is more recent, predominant in families of Portuguese extraction, and the Joseph lineage, which is much older and worldwide spread, postulated to have an Asian origin. We report a Nigerian family with MJD from Calabar, once settled by Portuguese slave traders, and assessed its mutational origin. The proband was a 33-year-old man with progressive unsteady gait, weakness of all limbs, dysphagia, dysarthria, urinary frequency and diaphoresis. He had end-of-gaze nystagmus, spastic quadriparesis and atrophic small muscles of the hand. He showed fibrillation potentials on EMG, and nerve conduction studies suggested a central axonopathy without demyelination. This family bears the Joseph haplotype, which has a founder effect in the island of Flores, in the Azores (and their descendants in North-America), but is also the most common in non-Portuguese populations worldwide, with an estimated mutation age of around 7000 years.SM is the recipient of a scholarship (SFRH/BPD/77969/2011) from the Portuguese Foundation for Science and Technology (FCT); IPATIMUP is partially supported by FCT. This work was co-financed by the European Social Fund (Human Potential Thematic Operational Programme)

Cytokine Production but Lack of Proliferation in Peripheral Blood Mononuclear Cells from Chronic Chagas' Disease Cardiomyopathy Patients in Response to T. cruzi Ribosomal P Proteins

Background:Trypanosoma cruzi ribosomal P proteins, P2β and P0, induce high levels of antibodies in patients with chronic Chagas' disease Cardiomyopathy (CCC). It is well known that these antibodies alter the beating rate of cardiomyocytes and provoke apoptosis by their interaction with β1-adrenergic and M2-muscarinic cardiac receptors. Based on these findings, we decided to study the cellular immune response to these proteins in CCC patients compared to non-infected individuals.Methodology/Principal findings:We evaluated proliferation, presence of surface activation markers and cytokine production in peripheral blood mononuclear cells (PBMC) stimulated with P2β, the C-terminal portion of P0 (CP0) proteins and T. cruzi lysate from CCC patients predominantly infected with TcVI lineage. PBMC from CCC patients cultured with P2β or CP0 proteins, failed to proliferate and express CD25 and HLA-DR on T cell populations. However, multiplex cytokine assays showed that these antigens triggered higher secretion of IL-10, TNF-α and GM-CSF by PBMC as well as both CD4+ and CD8+ T cells subsets of CCC subjects. Upon T. cruzi lysate stimulation, PBMC from CCC patients not only proliferated but also became activated within the context of Th1 response. Interestingly, T. cruzi lysate was also able to induce the secretion of GM-CSF by CD4+ or CD8+ T cells.Conclusions/Significance:Our results showed that although the lack of PBMC proliferation in CCC patients in response to ribosomal P proteins, the detection of IL-10, TNF-α and GM-CSF suggests that specific T cells could have both immunoregulatory and pro-inflammatory potential, which might modulate the immune response in Chagas' disease. Furthermore, it was possible to demonstrate for the first time that GM-CSF was produced by PBMC of CCC patients in response not only to recombinant ribosomal P proteins but also to parasite lysate, suggesting the value of this cytokine to evaluate T cells responses in T. cruzi infection.Fil: Longhi, Silvia Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Investigaciones en Ingeniería Genética y Biología Molecular "Dr. Héctor N. Torres"; Argentina. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; ArgentinaFil: Atienza, Augusto. Gobierno de la Ciudad de Buenos Aires. Hospital General de Agudos "Ramos Mejía"; ArgentinaFil: Perez Prados, Graciela. Gobierno de la Ciudad de Buenos Aires. Hospital General de Agudos "Juan A. Fernández"; ArgentinaFil: Buying, Alcinette. Torrey Pines Institute for Molecular Studies; Estados UnidosFil: Balouz, Virginia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Investigaciones Biotecnológicas. Universidad Nacional de San Martín. Instituto de Investigaciones Biotecnológicas; ArgentinaFil: Buscaglia, Carlos Andres. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Investigaciones Biotecnológicas. Universidad Nacional de San Martín. Instituto de Investigaciones Biotecnológicas; ArgentinaFil: Santos, Radleigh. Torrey Pines Institute for Molecular Studies; Estados UnidosFil: Tasso, Laura Mónica. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Investigaciones en Ingeniería Genética y Biología Molecular "Dr. Héctor N. Torres"; ArgentinaFil: Bonato, Ricardo. Gobierno de la Ciudad de Buenos Aires. Hospital General de Agudos "Ramos Mejía"; ArgentinaFil: Chiale, Pablo. Gobierno de la Ciudad de Buenos Aires. Hospital General de Agudos "Ramos Mejía"; ArgentinaFil: Pinilla, Clemencia. Torrey Pines Institute for Molecular Studies; Estados UnidosFil: Judkowski, Valeria A.. Torrey Pines Institute for Molecular Studies; Estados UnidosFil: Gomez, Karina Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Investigaciones en Ingeniería Genética y Biología Molecular "Dr. Héctor N. Torres"; Argentina. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; Argentin

The genomes of two key bumblebee species with primitive eusocial organization

Background: The shift from solitary to social behavior is one of the major evolutionary transitions. Primitively eusocial bumblebees are uniquely placed to illuminate the evolution of highly eusocial insect societies. Bumblebees are also invaluable natural and agricultural pollinators, and there is widespread concern over recent population declines in some species. High-quality genomic data will inform key aspects of bumblebee biology, including susceptibility to implicated population viability threats. Results: We report the high quality draft genome sequences of Bombus terrestris and Bombus impatiens, two ecologically dominant bumblebees and widely utilized study species. Comparing these new genomes to those of the highly eusocial honeybee Apis mellifera and other Hymenoptera, we identify deeply conserved similarities, as well as novelties key to the biology of these organisms. Some honeybee genome features thought to underpin advanced eusociality are also present in bumblebees, indicating an earlier evolution in the bee lineage. Xenobiotic detoxification and immune genes are similarly depauperate in bumblebees and honeybees, and multiple categories of genes linked to social organization, including development and behavior, show high conservation. Key differences identified include a bias in bumblebee chemoreception towards gustation from olfaction, and striking differences in microRNAs, potentially responsible for gene regulation underlying social and other traits. Conclusions: These two bumblebee genomes provide a foundation for post-genomic research on these key pollinators and insect societies. Overall, gene repertoires suggest that the route to advanced eusociality in bees was mediated by many small changes in many genes and processes, and not by notable expansion or depauperation

Loss of tolerance to gut immunity protein; glycoprotein 2 (GP2) is associated with progressive disease course in primary sclerosing cholangitis

Abstract Glycoprotein 2[GP2] is a specific target of pancreatic autoantibodies[PAbs] in Crohn’s disease(CD) and is involved in gut innate immunity processes. Our aim was to evaluate the prevalence and prognostic potential of PAbs in primary sclerosing cholangitis(PSC). Sixty-five PSC patients were tested for PAbs by indirect immunofluorescence and compared with healthy (n = 100) and chronic liver disease controls(CLD, n = 488). Additionally, a panel of anti-microbial antibodies and secretory (s)IgA levels were measured, as markers of bacterial translocation and immune dysregulation. PAbs were more frequent in PSC(46.2%) compared to controls(healthy:0% and CLD:4.5%), [P < 0.001, for each]. Occurrence of anti-GP2 antibody was 30.8% (20/65) and was exclusively of IgA isotype. Anti-GP2 IgA positive patients had higher sIgA levels (P = 0.021). With flow-cytometry, 68.4% (13/19) of anti-GP2 IgA antibodies were bound with secretory component, suggesting an active retro-transportation of anti-GP2 from the gut lumen to the mucosa. Anti-GP2 IgA was associated with shorter transplant-free survival [PLogRank < 0.01] during the prospective follow-up (median, IQR: 87 [9–99] months) and remained an independent predictor after adjusting for Mayo risk score(HR: 4.69 [1.05–21.04], P = 0.043). These results highlight the significance of gut-liver interactions in PSC. Anti-GP2 IgA might be a valuable tool for risk stratification in PSC and considered as a potential therapeutic target

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO