نتایج جستجو برای: and verified significantly
تعداد نتایج: 16836002 فیلتر نتایج به سال:
abstract the variables affecting the nature of reading comprehension can be classified into two general categories: reader’s variables, and text variables (alderson, 2000). despite the wave of research on vocabulary knowledge as reader’s variable, the role of this knowledge in c-test as a text-dependent test and its interaction with lexical cohesion of the test as a text feature has remained a...
abstract cooperative learning refers to small groups of learners working together as a team to solve a problem, complete a task, or accomplish a common goal. in a cooperative environment one’s success is directly related to the success of other members because the focus on the individual shifts towards the group. to test the effectiveness of the method, using jigsaw technique, a study was cond...
چکیده معضل چاقی به عنوان عارضه ای جدی برای زندگی بی تحرک و ماشینی، مورد توجه اغلب مراکز بهداشتی و درمانی دنیا قرار گرفته است. چاقی عامل زمینه ساز و در واقع عامل خطری برای بروز بیماری های قلبی - عروقی است که عموماً با کاهش طول عمر مورد انتظار و افزایش بیماری همراه است. هدف پژوهش حاضر تأثیر 12 هفته تمرینات ویبریشن کل بدن، تمرینات هوازی و تمرینات ترکیبی( هوازی و ویبریشن کل بدن) بر ترکیب بدنی زنان ...
The L4.verified project has produced a formal, machinechecked Isabelle/HOL proof that the C code of the seL4 OS microkernel correctly implements its abstract implementation. This paper briefly summarises the proof, its main implications and assumptions, reports on the experience in conducting such a large-scale verification, and finally lays out a vision how this formally verified kernel may be...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید