نتایج جستجو برای: and verified significantly

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

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده ادبیات و علوم انسانی 1390

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه دریانوردی و علوم دریایی چابهار - دانشکده ادبیات و زبانهای خارجی 1390

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

Journal: :Theoretical Computer Science 2003

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

چکیده معضل چاقی به عنوان عارضه ای جدی برای زندگی بی تحرک و ماشینی، مورد توجه اغلب مراکز بهداشتی و درمانی دنیا قرار گرفته است. چاقی عامل زمینه ساز و در واقع عامل خطری برای بروز بیماری های قلبی - عروقی است که عموماً با کاهش طول عمر مورد انتظار و افزایش بیماری همراه است. هدف پژوهش حاضر تأثیر 12 هفته تمرینات ویبریشن کل بدن، تمرینات هوازی و تمرینات ترکیبی( هوازی و ویبریشن کل بدن) بر ترکیب بدنی زنان ...

Journal: :Cor et Vasa 2010

2010
Gerwin Klein

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

Journal: :Electronic Proceedings in Theoretical Computer Science 2014

Journal: :Proceedings of the ACM on Programming Languages 2017

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

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