نتایج جستجو برای: cham

تعداد نتایج: 937  

2012
Jun-Dong He Min-Sheng Peng Huy Ho Quang Khoa Pham Dang An Vu Trieu Shi-Fang Wu Jie-Qiong Jin Robert W. Murphy Yong-Gang Yao Ya-Ping Zhang

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...

1998
Michel Wermelinger

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.

Journal: :Electr. Notes Theor. Comput. Sci. 2008
Ian Mackie Shinya Sato

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...

Journal: :The Journal of pharmacology and experimental therapeutics 2014
Jeremy R McGarvey Sara Pettaway James A Shuman Craig P Novack Kia N Zellars Parker D Freels Randall L Echols Jason A Burdick Joseph H Gorman Robert C Gorman Francis G Spinale

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...

2012
Cham Bani Yasuko Yoshimoto

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 ...

1998
Michel Wermelinger

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 ...

1995
Paola Inverardi Alexander L. Wolf

|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...

Journal: :Molecular biology and evolution 2010
Min-Sheng Peng Huy Ho Quang Khoa Pham Dang An Vu Trieu Hua-Wei Wang Yong-Gang Yao Qing-Peng Kong Ya-Ping Zhang

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...

2018
Giulia Querio Susanna Antoniotti Federica Foglietta Cinzia M. Bertea Roberto Canaparo Maria P. Gallo Renzo Levi

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...

1993
Jean-Marc Andreoli Lone Leth Thomsen Remo Pareschi Bent Thomsen

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید