نتایج جستجو برای: نمایه z

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

2001
Geoff Kassel Graeme Smith

This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned with preserving the semantics of the original specification, but also with how efficiently the resulting specification can be model checked. Hence, the paper investigates alternative translation schemes and compares how e...

Journal: :Pediatrics 2013
Gehan Roberts Jeanie Cheong Gillian Opie Elizabeth Carse Noni Davis Julianne Duff Katherine J Lee Lex Doyle

OBJECTIVES To determine changes in height, weight, and BMI of extremely preterm (EPT; gestational age <28 completed weeks) survivors from birth to 18 years of age, compared with term controls. METHODS Birth, discharge, and follow-up at ages 2, 5, 8, and 18 years of consecutive EPT survivors and contemporaneous term controls born in 1991-1992 in Victoria, Australia. Weight, height, and BMI wer...

عباسپور, حسن, مهدی زاده, زرخاتون ,

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

ژورنال: :دوفصلنامه علمی-پژوهشی مطالعات اقتصاد اسلامی 2013
مهدی رعایائی

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده ریاضی و کامپیوتر خوانسار 1389

فرض کنیم w یک زیر مجموعه ناتهی از یک گروه آزاد باشد. خودریختی ? از یک گروه g را یک خودریختی حاشیه ای می نامیم اگر برای هر x?g داشته باشیم x^(-1) ?(x)?w^* (g)، جایی که w^* (g) زیرگروه حاشیه ای گروه g است. در این پایان نامه ثابت می کنیم که اگر g یک گروه باشد و w یک زیر مجموعه غیرتهی از f_? باشد به طوری که w^* (g)?w(g)?z(g)، آن گاه ?aut?_(w^* ) (g)?hom(g/w(g) ,w^* (g)) و هم چنین برای هر -pگروه متن...

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

فرض کنید h^2 فضای هاردی باشد. عملگر ضربی(انتقال به جلو) m_(z(f)=zf(z)) تعریف می شود با توجه به قضیه بورلینگ: aیک زیر فضای بسته ی پایای m_z است اگر و تنها اگرh^2 a=?؛ که ? یک تابع داخلی است. اگرu یک گوی واحد، p?uو u) ? z) (z): =(p-z)/(1-p ?z) ?_p برای هر عدد صحیح نامنفی n، فرض کنید ??_p (z))?^n ) (z)= ?((1-?|p|?^2)/(1-p ?z)) b_n b_n ها پایه برای فضای هاردی h^2 می باشد که به پایه گایکر معرو...

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

هدف: هدف اصلی این پژوهش بررسی گرایش روش شناختی مقالات نمایه شده دانشگاه علوم پزشکی جندی شاپور اهواز در نمایه های بین المللی در سال 2015 است. روش: پژوهش حاضر کاربردی و از نوع تحلیلی – مقطعی است. جمع‌آوری داده‌ها به روش سرشماری و با استفاده از سیاهه وارسی انجام شد. داده های جمع آوری شده با استفاده از آمار توصیفی شامل فراوانی و درصد فراوانی با رسم جدول و نمودار و آمار تحلیلی شامل آزمون آماری...

Journal: :International Mathematics Research Notices 2018

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

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