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 extension of the Wagner hierarchy to blind counter automata accepting infinite words with a Muller acceptance condition is effective. We determine precisely this hierarchy.

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...

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...

background: endometriosis is a common chronic inflammation which leads to infertility and chronic pelvic pain in affected women. secretory phospholipase a2 type iia (spla2iia) is an acute phase reactant that is markedly increased in inflammatory disorders. objective: to assess the effects of ω-3 and ω-6 polyunsaturated fatty acids (pufas) administration in endometrial cells culture on spla2iia ...

background: endometriosis, a common chronic inflammatory disorder, is defined by the atypical growth of endometrium- like tissue outside of the uterus. secretory phospholipase a2 group iia (spla2-iia) and fatty acid binding protein4 (fabp4) play several important roles in the inflammatory diseases. objective: due to reported potential anti-inflammatory effects of ω-3 and ω-6 fatty acids, the pu...

one-hundred-sixty-eight 28-wk-old hy-line layers (w-36) were used to evaluate the effect of different levels of linseed (ls) and safflower seed (ss) on antibody titter, blood and yolk cholesterol, yolk fatty acid content and the ratio of omega-6/ omega-3. hens were randomly assaigned in a compeletly randomised design each 3 replicates of 8 hens. they were fed diets contained 0, 4, 7 and 10% ls ...