Chemical characteristics, fatty acid composition, antioxidant and antimicrobial activities ofPrunus armeniaca kernel oil were evaluated in this study. The hexane extracts of kernel of P.armeniaca, which were collected from northwestern Iran, were obtained by Soxhlet apparatus.The fatty acids were derived to methyl esters and determined by gas chromatography/flameionization detector (GC/FID) and...

The extension of the Wagner hierarchy to blind counter automata accepting infinite words with a Muller acceptance condition is effective. We determine precisely this hierarchy.

The study of extremal Kähler metric is initiated by the seminal works of Calabi [4], [5]. Let (M, [ω]) be a compact Kähler manifold with fixed Kähler class [ω]. For any Kähler metrics g in the fixed Kähler class [ω], the Calabi energy C(g) is defined as C(g) = M s 2 dµ, where s is the scalar curvature of g. The extremal Kähler metric is the critical point of the Calabi energy. The Euler-Lagrang...

Plukenetia volubilis or commonly known as sacha inchi is reported to produce wide range of health-promoting bioactive metabolites. These metabolites functions supplements in eradicating various types diseases. Sacha has large edible seeds that are rich phenolic content, minerals and essential fatty acid, such omega 3 (ω-3), 6 (ω-6), 7 (ω-7), 9 (ω-9). In vitro cultures could serve alternative pr...

Runtime enforcement is a powerful technique to ensure that a program will respect a given security policy. We extend previous works on this topic in several directions. Firstly, we propose a generic notion of enforcement monitors based on a memory device and finite sets of control states and enforcement operations. Moreover, we specify their enforcement abilities w.r.t. the general safety-progr...

We reexamine the ω → π0 π0 γ decay, adding the effect of ω−ρ mixing to the amplitude calculated with the aid of chiral perturbation theory and vector meson dominance. We predict the neutral decay to occur with a width of Γ(ω → π0 π0 γ ) = (323 ± 80)eV and also analyze the effect of the ω − ρ mixing on the Γ(ω → π0 π0 γ )/Γ(ω → π+ π γ ) ratio. Several remarks on the effect of ω − ρ mixing on cer...

SMT-based bounded synthesis uses an SMT solver to synthesize systems from LTL properties by going through co-Büchi automata. In this paper, we show how to extend the ranking functions used in Bounded Synthesis, and thus the bounded synthesis approach, to Büchi, Parity, Rabin, and Streett conditions. We show that we can handle both existential and universal properties this way, and therefore, th...