Let n 1 be an integer. The hypercube Qn is the graph whose vertex set isf0;1gn, where two n-tuples are adjacent if they differ in precisely one coordinate. This graph has many applications in Computer sciences and other area of sciences. Inthe graph Qn, the layer Lk is the set of vertices with exactly k 1’s, namely, vertices ofweight k, 1 k n. The hyper-star graph B(n;k) is...

Abstract Evidence is increasing of human responses to the impacts climate change in Africa. However, understanding effectiveness these for adaptation across diversity African contexts still limited. Despite high reliance on indigenous knowledge (IK) and local (LK) by communities, potential IK LK contribute through reducing risk or supporting transformative yet be established. Here, we assess in...

Spider silk is protein fibers with extraordinary mechanical properties. Up to now, it is still poorly understood how silk proteins are kept in a soluble form before spinning into fibers and how the protein molecules are aligned orderly to form fibers. Minor ampullate spidroin is one of the seven types of silk proteins, which consists of four types of domains: N-terminal domain, C-terminal domai...

After massive hemorrhage, adult sheep with genotypically low potassium (LK) red cells temporarily produce high potassium (HK) cells with ouabain-sensitive K+ pump fluxes equivalent to mature HK red cells. In light of recent reports of different red cell volume populations accompanying the HK-LK transition also occurring in newborn LK sheep and the unresolved controversy over the effect of anti-...

PURPOSE To describe an intravitreal injection technique using a commercially available 29-gauge insulin needle syringe (29GN syringe) and a 21-gauge (G) needle, comparing compound waste associated with this technique application and the one described in ranibizumab (Lucentis) kit instructions. METHODS Ten 0.3 ml doses of distilled water were aspirated using the 29GN syringe and 21G needle (PT...

Of the parser generating tools currently in use, yacc (or one of its several variants) is perhaps the most frequently employed. However, because of inherent ambiguities there are some languages (such as C++) that a yacc-generated parser cannot successfully compile. This paper describes a set of minor modifications to yacc-like tools that allows them to be used in a straightforward way to parse ...

Buah mangga boleh dimakan segar atau diproses menjadi jus dan jeruk tetapi hanya isi digunakan bijinya dibuang. Kajian terdahulu mendapati bahawa biji mempunyai lemak seperti koko. Objektif kajian ini adalah untuk menentukan komposisi pemakanan dalam sisa (SBJr) (SBJs); jumlah antara SBJr SBJs melalui pengekstrakan bendalir lampau-genting (SFE); serta asid takat lebur gelincir (SMP) terhadap ko...

Smoothing splines are one of the most popular approaches to nonparametric regression. Wahba (1978,1983) showed that smoothing splines are also Bayes estimates and used the corresponding prior model to derive interval estimates for the regression function. Although the interval estimates work well on a global basis, they can have poor local properties. The source of this problem is the use of a ...

We study the π-calculus, enriched with pairing and non-blocking input, and define a notion of type assignment that uses the type constructor →. We encode the circuits of the calculus X into this variant of π, and show that all reduction (cut-elimination) and assignable types are preserved. Since X enjoys the Curry-Howard isomorphism for Gentzen’s calculus LK, this implies that all proofs in LK ...