apermanent anti-graffiti clear polyurethane coating, using a silicone additive, was prepared and studied. various techniques, such as contact angle measurements and edx were employed to characterize and investigate thesurface properties of the coatings. the results revealed that with inclusion of silicon additive to clear coating, according to wu method, surface free energy was decreased from 4...

Let m ≥ 0, n ≥ 0 be fixed integers with m + n 6= 0 and let R be a ring. It is our aim in this paper to investigate additive mapping T : R → R satisfying the relation (m + n)T (x2) = mT (x)x + nxT (x) for all x ∈ R. This research is a continuation of our earlier work ([11]). Throughout, R will represent an associative ring with center Z(R). Given an integer n ≥ 2, a ring R is said to be n−torsio...

in this paper, the performance of a natural gas hcci engine is studied through a thermodynamic model including detailed chemical kinetics. it is shown that as hydroxyl radical has important effects on natural gas combustion, it is possible to quantify soc with hydroxyl concentration variations. meanwhile the influence of using formaldehyde as an additive on the engine characteristics has been i...

Model checking of recursion schemes, known as higher-order model checking, has actively been studied recently and is becoming a basis for verification of higher-order programs. Some practical model checking algorithms have been developed based on the reduction from model checking to intersection type inference, but they are not completely satisfactory. We propose a novel approach to developing ...

We extend an existing first-order typing system for strictness analysis to the fully higher-order case, covering both the derivation system and the inference algorithm. The resulting strictness typing system has expressive capabilities far beyond that of traditional strictness analysis systems. This extension is developed with the explicit aim of formally proving soundness of higher-order stric...

The cosimplicial scheme ∆• = ∆ →∆1 → → → . . . ; ∆ n := Spec ( k[t0, . . . , tn]/( ∑ ti − t) ) was used in[3] to define higher Chow groups. In this note, we let t tend to 0 and replace ∆• by a degenerate version Q• = Q →Q1 → → → . . . ; Q n := Spec ( k[t0, . . . , tn]/( ∑ ti) ) to define an additive version of the higher Chow groups. For a field k, we show the Chow group of 0-cycles on Q in thi...

The main purpose of this research is to characterize generalized (left) derivations and Jordan (*,*)-derivations on Banach algebras rings using some functional identities. Let A be a unital semiprime algebra let F,G : ? linear mappings satisfying F(x) =-x2G(x-1) for all x Inv(A), where Inv(A) denotes the set invertible elements A. Then both F G are Another result in regard as follows. n > 1 ...

After introducing double derivations of $n$-Lie algebra $L$ we‎ ‎describe the relationship between the algebra $mathcal D(L)$ of double derivations and the usual‎ ‎derivation Lie algebra $mathcal Der(L)$‎. ‎In particular‎, ‎we prove that the inner derivation algebra $ad(L)$‎ ‎is an ideal of the double derivation algebra $mathcal D(L)$; we also show that if $L$ is a perfect $n$-Lie algebra‎ ‎wit...

The objective of this study was to estimate heritability, heterosis, and genetic parameters involved in the control of forage yield and quality in kenaf populations, using analysis of generation means. Two crosses were used; Cuba 2032×Accession 75-71 and IX51×Everglade 41. Experimental material comprised of P1 and P2, their F1 and F2 and BC1P1 and BC1P2 generations. The effects of generations w...

The Lie derivation of multivector fields along multivector fields has been introduced by Schouten (see cite{Sc, S}), and studdied for example in cite{M} and cite{I}. In the present paper we define the Lie derivation of differential forms along multivector fields, and we extend this concept to covariant derivation on tangent bundles and vector bundles, and find natural relations between them and...