نتایج جستجو برای: type means

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

1994
Torben Amtoft

We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typings. Although this set in general does not possess a minimal element, it can be represented compactly by means of symbolic expressions in normal form – such expressions have the property that once values for the constraint var...

Journal: :European Journal of Pure and Applied Mathematics 2020

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اراک - دانشکده فنی 1393

رشد روزافزون تجارت الکترونیکی و استقبال مشتریان از این شیوه تجارت سبب ازدیاد حجم اطلاعات و تنوع محصولات و در نتیجه سخت شدن انتخاب برای مشتریان شده است. سیستمهای پیشنهاددهنده در حل این مشکل به کمک بشر آمده اند و در این راستا از شیوه پالایش اطلاعات استفاده می کنند که از جمله آنها روشهای خوشه بندی ترکیبی می باشد. یکی از روشها، ترکیب الگوریتمهای تکاملی با الگوریتمهای خوشه بندی پایه است. در این مقال...

Journal: :International Journal of Pure and Apllied Mathematics 2015

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 1388

فرض کنیم g یک گروه آبلی دلخواه و t زیرگروه تابدار ازg باشد. اگر a نسبت به خاصیت مجزا بودن از t ماکسیمال باشد آنگاه a یک زیرگروه t-بلند از g خوانده می شود. در این پایان نامه ابتدا نشان می دهیم که زیرگروه t-بلند l از گروه آبلی g از رتبه بی تاب یک وجود دارد بطوریکه برای هر زیرگروه t-بلند a از g داشته باشیم (type (l) ≤ type (a. در مرحله ی بعد گروههای آبلی از رتبه بی تاب یک که همه ی زیرگروههای t-بل...

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

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