The Chemical Abstract Machine (CHAM) of Berry and Boudol provides a commonly accepted, uniform framework for describing the operational semantics of various process calculi and languages, such as for example CCS, the π calculus and coordination languages like Linda. In its original form the CHAM is purely non-deterministic and thus only describes what reactions are possible but not how long it ...

Modern high performance computer systems continue to increase in size and complexity. Tools to measure application performance in these increasingly complex environments must also increase the richness of their measurements to provide insights into the increasingly intricate ways in which software and hardware interact. PAPI (the Performance API) has provided consistent platform and operating s...

The partner and localizer of breast cancer 2 susceptibility protein (PALB2) is crucial for the repair of DNA damage by homologous recombination. Here, we report that chromatin-association motif (ChAM), an evolutionarily conserved motif in PALB2, is necessary and sufficient to mediate its chromatin association in both unperturbed and damaged cells. ChAM is distinct from the previously described ...

We present CLL, a concurrent programming language that symmetrically integrates functional and concurrent logic programming. First, a core functional language is obtained from a proof-term assignment to a variant of intuitionistic linear logic, called FOMLL, via the Curry-Howard isomorphism. Next, we introduce a Chemical Abstract Machine (CHAM) whose molecules are typed terms of this functional...

We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose operational effectiveness criteria in the form of confluence, coherence and standardization properties on an oriented version of the structural laws. We revisit Berry and Boudol’s Chemical Abstract Machine (Cham) framew...

Various genomic islands, PAPI-1, PAPI-2, PAGI-1, PAGI-2, PAGI-3, and PAGI-4, and the element pKLC102 have been characterized in different P. aeruginosa strains from diverse habitats and geographical locations. Chromosomal DNA macroarray of 100 P. aeruginosa strains isolated from 85 unrelated patients hospitalized in an intensive care unit was created to assess the occurrence of these genomic is...

One purpose of the end-user tools described in this paper is to give users a graphical representation of performance information that has been gathered by instrumenting an application with the PAPI library. PAPI is a project that specifies a standard API for accessing hardware performance counters available on most modern microprocessors. These counters exist as a small set of registers that co...

The Cham people are the major Austronesian speakers of Mainland Southeast Asia (MSEA) and the reconstruction of the Cham population history can provide insights into their diffusion. In this study, we analyzed non-recombining region of the Y chromosome markers of 177 unrelated males from four populations in MSEA, including 59 Cham, 76 Kinh, 25 Lao, and 17 Thai individuals. Incorporating publish...