نتایج جستجو برای: توالی ω امگا
تعداد نتایج: 35859 فیلتر نتایج به سال:
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...
هدف از انجام مطالعه حاضر مقایسه ترکیب شیمیایی و پروفایل اسیدهای چرب بافت عضلانی ماهی کپور معمولی دریای خزر، کپور پرورشی و کپور دریایی پرورش داده شده بود. در بین شاخصهای مورد مطالعه (پروتئین، چربی و رطوبت) تفاوت معنیداری بین کپور دریای خزر،کپور دریایی پرورش داده شده و کپور پرورشی مشاهده نشد، اما محتوای خاکستر در کپور دریایی وحشی با کپور دریایی پرورشیاختلاف معنیداری داشت (05/0 ≥p).بررسی پروفای...
به منظور بررسی تأثیر منابع مختلف دانههای روغنی حاوی اسیدهای چرب امگا-3 و امگا-6 بر متابولیتهای خونی، نسبت جنسی و شاخصهای تولیدمثلی، از 102 راس میش نژاد زل در قالب طرح کاملاٌ تصادفی با سه تیمار استفاده شد. تیمارهای آزمایشی به ترتیب شامل: 1- تیمار شاهد، حاوی جیره پایه، 2- تیمار امگا-3، حاوی دانه کلزا و 3- تیمار امگا-6 که حاوی دانه سویا بود. میشها به مدت 56 روز با جیرههای آزمایشی تغذیه شدند. ن...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید