نتایج جستجو برای: cham
تعداد نتایج: 937 فیلتر نتایج به سال:
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...
We feel that the Chemical Abstract Machine (CHAM) is a useful formal description technique for static and dynamic software architectures that facilitates analysis and testing. Our position is based on work done so far and on the potential of rewriting approaches, of which the CHAM is a special case.
Interaction nets are graph rewriting systems which are a generalisation of proof nets for classical linear logic. The linear chemical abstract machine (CHAM) is a term rewriting system which corresponds to classical linear logic, via the Curry-Howard isomorphism. We can obtain a textual calculus for interaction nets which is surprisingly similar to linear CHAM based on the multiplicative fragme...
A treatment target for progressive left ventricular (LV) remodeling prevention following myocardial infarction (MI) is to affect structural changes directly within the MI region. One approach is through targeted injection of biocomposite materials, such as calcium hydroxyapatite microspheres (CHAM), into the MI region. In this study, the effects of CHAM injections upon key cell types responsibl...
This paper examines Hồi giáo, a state-recognized religion translated as “Islam” in Vietnam, and will focus on the Islamic religious practices of the Cham Bani, one of two groups of Muslims in Vietnam. While it is recognized that diverse Islamic religious practices have taken root in various areas, there is a tendency to view religious practices such as the Quran recital, Ramadan, Salat, and so ...
The Chemical Abstract Machine (CHAM) is a general-purpose, simple, intuitive and operational programming model that has been used for the speciication and analysis of the computational behaviour of software architectures. It therefore seems to be a good candidate to describe also the dynamics of the architecture itself and the coordination between the two processes. We also explore the ability ...
|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...
Tracing the Austronesian footprint in Mainland Southeast Asia: a perspective from mitochondrial DNA.
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید