نتایج جستجو برای: us mso
تعداد نتایج: 349842 فیلتر نتایج به سال:
آزمایشهای هستهای هند و پاکستان در سال 1377، به عنوان تحولی کلیدی در شرق...
We study the Weak MSO logic in relationship to infinitary λ-calculus. We show that for every formula φ of Weak MSO there exists a finitary model of infinitary λ-calculus recognizing the set of infinitary λ-terms whose Böhm tree satisfies φ. The model is effective, in the sense that for every λY -term we can effectively compute its value in the model. In particular, given a finite λY -term, one ...
مقاله حاضر به بررسی شیوه عمل سلاحهای بیولوژیک و روشه...
Objective: Trauma is a disease of modern societies and one of the reasons for the deaths of all ages in those societies. It is estimated that each year about 8.5 million people worldwide lose their lives as a result of trauma. Among the types of injuri...
تلاش نمایندگان قربانیان جرایم ادعایی لوبانگا، شعبه بدوی دیوان کیفری بینالمللی را متقاعد کرد که با اختیارات حاصل از ماده 55 آییننامه دیوان کیفری بینالمللی، عنوان قانونی اتهامات وی را برای دربرگرفتن اتهامات جدید اصلاح کند. اما شعبه تجدیدنظر دیوان، این رویه را در تعارض با مواد (2)74 و (9)61 اساسنامه رم شناسایی و قرار اصلاح ات...
در این مقاله جامعه کنونی ایران از منظر دو «گونه» جنبش و به روش کیفی توصیف و تفسیر میشود. طبق این مطالعه ایران دارای پتانسیل جنبشی باقابل توجهی اس...
We compare the expressiveness of two extensions of monadic second-order logic (MSO) over the class of finite structures. The first, counting monadic second-order logic (CMSO), extends MSO with first-order modulo-counting quantifiers, allowing the expression of queries like “the number of elements in the structure is even”. The second extension allows the use of an additional binary predicate, n...
The main goal of this research is to provide a more detailed investigation of the size-dependent response of magneto-electro-thermo-elastic (METE) nanobeams subjected to propagating wave, ...
در تاریخ 11 سپتامبر 2001 رخدادی بزرگوعجیب در قلب تجاریونظامی آمریکا نیویورکو واشنگتن...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید