Kraft’s inequality [9] is essential for the classical theory of noiseless coding [1, 8]. In algorithmic information theory [5, 7, 2] one needs an extension of Kraft’s condition from finite sets to (infinite) recursively enumerable sets. This extension, known as Kraft-Chaitin Theorem, was obtained by Chaitin in his seminal paper [4] (see also, [3, 2], [10]). The aim of this note is to offer a si...

We propose a modest conservative extension to ML that allows semiexplicit first-class polymorphism while preserving the essential properties of type inference. In our proposal, the introduction of polymorphic types is fully explicit, that is, both introduction points and exact polymorphic types are to be specified. However, the elimination of polymorphic types is semiimplicit: only elimination ...

We propose a modest conservative extension to ML that allows semi-explicit higher-order polymorphism while preserving the essential properties of ML. In our proposal, the introduction of polymorphic types remains fully explicit, that is, both the introduction and the exact polymorphic type must be speci ed. However, the elimination of polymorphic types is now semi-implicit: only the elimination...

BPMN is the standard for business process modeling. It includes a rich set of constructs control-flow, inter-process communication, and time-related concerns. However, spatial concerns are left apart while being essential to several application domains. We propose comprehensive extension deal with this. Our proposal an integrated notation, first-order logic semantics extension, tool-supported v...

Kinesin-5 plays an essential role in spindle formation and function, and serves as a potential target for anti-cancer drugs. The aim of this study was to elucidate the molecular properties of the N-terminal extension of the Schizosaccharomyces pombe kinesin-5, Cut7. This extension is rich in charged amino acids and predicted to be intrinsically disordered. In S. pombe cells, a Cut7 construct la...

An in-depth characterization of PDMAEMA prepared by ATRP was conducted, with a focus on end group analysis. This work discusses analytical tools providing essential information about the extent control over DMAEMA polymerization and chain extension.

The present research is conducted to find out the services and facilities of tobacco companies in promotion of tobacco crop in Malakand division of Khyber Pakhtunkhwa, Pakistan. A multi-stage sampling technique applied for selection sample size. In this method, 135 tobacco growers were selected from fifteen villages of tobacco growers. The principle researcher interviewed selected respondents f...

tuberose is one of the most important floral crops in iran. long spikes of fragrant flowers make it excellent for cut flower. due to the beauty and sweet fragrance of flowers, it used in all seasons for flower arrangements. production of high quality flowers and vase life extension is important for competition in world markets. for this reason this research was conducted on polianthes tuberosa ...

This study examined the accuracy between extension professionals and farmers regarding their perceptions of privatization and commercialization of agricultural extension services. The study was carried out in Delta State, Nigeria and it had a sample size of 224 respondents comprising of 134 extension professionals of the Delta State Agricultural Programme (DTADP) and 90 farmers that were random...

Mesencephalic astrocyte-derived neurotrophic factor (MANF) is an endoplasmic reticulum (ER) resident protein with neuroprotective effects. Previous studies have shown that MANF expression is altered in the developing rodent cortex in a spatiotemporal manner. However, the role of MANF in mammalian neurogenesis is not known. The aim of this study was to determine the role of MANF in neural stem c...