Transforming deterministic ω-automata into deterministic parity automata is traditionally done using variants of appearance records. We present a more efficient variant of this approach, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and find out that our method produces smaller automata than previous approaches....

We consider two-player games played on finite graphs equipped with costs on edges and introduce two winning conditions, cost-parity and cost-Streett, which require bounds on the cost between requests and their responses. Both conditions generalize the corresponding classical ω-regular conditions as well as the corresponding finitary conditions. For cost-parity games we show that the first playe...

the oil extracted from three major canola cultivars (hyolla401, hyolla420 and rgs003) grown in golestan province was analyzed for physico-chemical properties, fatty acid composition, minerals content, and stability during 16 weeks of storage. according to the results, the highest iodine value and refractive index belonged to hyolla401. the highest saponification value was observed in hyolla420....

 The study aims to determine the influence of frying (shallow and deep) with olive, canola and sunflower oil on fatty acid composition of silver carp < /font>. Frying by olive oil and canola oil increased the monounsaturated fatty acids (MUFA) significantly (p < 0.05) that consequently decreased saturated fatty acids (SFA), polyunsaturated fatty acids (PUFA) and ω-3 fatty acids. Frying by sunfl...