نتایج جستجو برای: us mso

تعداد نتایج: 349842  

ژورنال: مطالعات راهبردی 2012
سید محمد کاظم سجادپور مائده کریمی قهرودی

آزمایش‌های هسته‌ای هند و پاکستان در سال 1377، به عنوان تحولی کلیدی در شرق...

2016
Paweł Parys Szymon Toruńczyk

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

ژورنال: مطالعات راهبردی 2002
جاناتان‌ بی‌. تاکر رابرت‌ پی‌. کادلک‌ سیدمجتبی‌ عزیزی‌

مقاله‌ حاضر به‌ بررسی‌ شیوه‌ عمل‌ سلاحهای‌ بیولوژیک‌ و روشه...

Behzad Yousefi Kavous Shahsavari Nia Paria Habibollahi Samad Shams Vahdati, Sarvin Dalil,

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 اساسنامه رم شناسایی و قرار اصلاح ات...

حمیدرضا جلایی پور

در این مقاله جامعه کنونی ایران از منظر دو «گونه» جنبش و به روش کیفی توصیف و تفسیر می‌شود. طبق این مطالعه ایران دارای پتانسیل جنبشی باقابل توجهی اس...

2008
Tobias Ganzow Sasha Rubin

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

ژورنال: مطالعات راهبردی 2003
بیژن‌ اسدی

در تاریخ‌ 11 سپتامبر 2001 رخدادی‌ بزرگ‌وعجیب‌ در قلب‌ تجاری‌ونظامی‌ آمریکا نیویورک‌و واشنگتن‌...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید