|We are exploring an approach to formally specifying and analyzing software architectures that is based on viewing software systems as chemicals whose reactions are controlled by explicitly stated rules. This powerful metaphor was devised in the domain of theoretical computer science by Ban^ atre and Le M etayer and then reformulated as the Chemical Abstract Machine, or CHAM, by Berry and Boudo...

As the relic of the ancient Champa Kingdom, the Cham people represent the major Austronesian speakers in Mainland Southeast Asia (MSEA) and their origin is evidently associated with the Austronesian diffusion in MSEA. Hitherto, hypotheses stemming mainly from linguistic and cultural viewpoints on the origin of the Cham people remain a welter of controversies. Among the points of dissension is t...

Endothelial cells surround the lumen of blood vessels and modulate many physiological processes, including vascular tone, blood fluidity, inflammation, immunity and neovascularization. Many pathological conditions, including hyperglycemia, may alter endothelial function through oxidative stress, leading to impaired nitric oxide bioavailability and to the onset of an inflammatory state. As widel...

We deene a true concurrency semantics for LO, a reactive programming language characterized by dynamically reconngurable agents (processes), with interagent communication implemented as broadcasting and logical operators corresponding to Linear Logic connectives. Our semantic model is given by the well-known Chemical Abstract Machine formalism, where concurrent events happen in the form of chem...

This Special Issue brings together a selection of papers orally presented at the conference Phonetics and Phonology in Iberia (PaPI), held in Lisbon in 2013. (www.labfon.letras.ulisboa.pt/papi2013). For 10 years the PaPI conferences have been a highly productive setting for the sharing and discussion of investigation within phonology and phonetics and their interactions, and have undoubtedly pl...

Adherence of uropathogenic Escherichia coli to host tissue is required for infection and is mediated by fimbriae, such as pyelonephritis-associated pili (Pap). Expression of P fimbriae is regulated by phase variation, and to date, phase transition frequencies have been measured only for pap regulatory region constructs integrated into the E. coli K-12 chromosome. The aim of this work was to mea...

A cross-linked poly(ethylene oxide) (PEO)-based electrolyte with polyaryl polymethylene isocyanate (PAPI) as the cross-linking agent is synthesized by a facile one-pot reaction. The PEO chains are PAPI through reaction between hydroxyl groups (−OH) and (−N=C=O). effects of on electrochemical performance PEO-based stability electrolyte/electrode interface investigated. PEO–PAPI has an ionic cond...

This report introduces a formal description of the operational semantics of multiagent organizations expressed in the AALAADIN generic model. This formalization is based on the -calculus and the Chemical Abstract Machine (CHAM). By mapping an agent to a set of -calculus processes and groups to CHAM solutions, we show that it is possible to associate a precise semantics for the definition and dy...

Technological progress has experienced very rapid development. Technology that developed began to slowly replace the conventional way of becoming more modern, especially in terms psychological tests. The test known as a is carried out measure aspects individual psychologically. One these tests PAPI Kostick Test which an inventory report person's personality work environment. online was using HT...