نتایج جستجو برای: cham
تعداد نتایج: 937 فیلتر نتایج به سال:
A coordination style programming language, T-Cham, is proposed. It is based on the paradigm of the chemical abstract machine (Cham) and transaction programming paradigm. Hierarchical tuple spaces, where the \molecules" of the Cham reside, are used to coordinate the concurrent transactions, which could be written in any language, such as C, Pascal, or Fortran etc., even T-Cham itself, as long as...
Eastern Cham is an Austronesian language spoken in south-central Vietnam. The sociolinguistic situation of Eastern Cham communities is characterized by a combination of diglossia and widespread Cham-Vietnamese bilingualism. These factors have had an important impact on the effectiveness of recent and controversial attempts to standardize and revitalize the traditional Cham script, akhăr thrah. ...
A bacterial strain capable of growing on cyclohexylamine (CHAM) was isolated by using enrichment and isolation techniques. The strain isolated, strain IH-35A, was classified as a member of the genus Brevibacterium. The results of growth and enzyme studies are consistent with degradation of CHAM via cyclohexanone (CHnone), 6-hexanolactone, 6-hydroxyhexanoate, and adipate. Cell extracts obtained ...
In this paper, we propose a family of lightweight block ciphers CHAM that has remarkable efficiency on resource-constrained devices. The family consists of three ciphers, CHAM-64/128, CHAM-128/128, and CHAM-128/256 which are of the generalized 4-branch Feistel structure based on ARX(Addition, Rotation, XOR) operations. In hardware implementations, CHAM requires smaller areas (73% on average) th...
A large number of specimens used as original material for the description of new species were destroyed in the bombing of the Berlin-Dahlem herbarium, B, in 1943. Six lectotypes are designated here for Cordia discolor Cham., Cordia multispicata Cham., Cordia tobagensis Urb. and its variety broadwayi Urb. in the Cordiaceae and for Tournefortia paniculata Cham. and Tournefortia ulei Vaupel in the...
The genus Lippia (Verbenaceae) comprise around 160 species spread out mainly in South and Central Americas with few African species, some of them with potential medicinal use. Brazil is one the most important centers of diversity with approximately 75% of the species described so far. Innumerous species are endemic and poorly studied especially at a cytological level. Here, chromosomal length, ...
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 ...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید