نتایج جستجو برای: while the large

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

2011
Asma Louhichi Olfa Mraihi Wided Ghardallou Lamia Labed Jilani Khaled Bsaies Ali Mili

Since their introduction more than four decades ago, invariant assertions have, justifiably, dominated the analysis of while loops, and have been the focus of sustained research interest in the seventies and eighties, and renewed interest in the last decade. In this paper, we tentatively submit an alternative concept for the analysis of while loops, explore its attributes, its applications, and...

2011
Asma Louhichi Olfa Mraihi Wided Ghardallou Lamia Labed Jilani Khaled Bsaies Ali Mili

Since their introduction more than four decades ago, invariant assertions have, justifiably, dominated the analysis of while loops, and have been the focus of sustained research interest in the seventies and eighties, and renewed interest in the last decade. In this paper, we tentatively submit an alternative concept for the analysis of while loops, explore its attributes, and its relationship ...

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

هدف تحقیق حاضر بررسی تاثیر نشانه های فرا گفتمان متنی بر فهم متون انگلیسی به وسیله ی زبان اموزان فارسی زبان است.این تحقیق علاوه بر این کوشیده است تا میزان اگاهی این زبان اموزان و نحوه ی تعامل انان را با متون خوانده شده در زبان انگلیسی به وسیله ی پرسش نامه ی تهیه شده بررسی کند.بر اساس محتوای یک متن انگلیسی یازده سوال درست /غلط طرح گردید و یک مرتبه با ان متن و یک مرتبه با نسخه ای که نشانه ها...

2012
Abhijit Banerjee Esther Duflo Daniel Keniston Nina Singh

2011
Michael Lipschultz Diane J. Litman Pamela W. Jordan Sandra Katz

We examine a corpus of reflective tutorial dialogues between human tutor and student after the student completed introductory physics problems, to predict when the tutor abstracted from the student’s preceding turn or when the tutor specialized from the student’s preceding turn. Tutor abstraction occurs when the tutor repeats a segment of the student’s turn using more general terms. Tutor speci...

The search for finding the local minimization in unconstrained optimization problems and a fixed point of the gradient system of ordinary differential equations are two close problems. Limited-memory algorithms are widely used to solve large-scale problems, while Rang Kuta's methods are also used to solve numerical differential equations. In this paper, using the concept of sub-space method and...

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

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