نتایج جستجو برای: by introducing two counterexamples

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

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

abstract the present study was conducted to investigate the effect of using model essays on the development of writing proficiency of iranian pre-intermediate efl learners. to fulfill the purpose of the study, 55 pre- intermediate learners of parsa language institute were chosen by means of administering proficiency test. based on the results of the pretest, two matched groups, one as the expe...

Journal: :St. Petersburg Mathematical Journal 2007

Journal: :European Journal of Combinatorics 2022

Gross, Mansour and Tucker introduced the partial-dual orientable genus polynomial Euler polynomial. They showed that for an ribbon graph is interpolating gave analogous conjecture: The Euler-genus any non-orientable interpolating. In this paper, we first give some counterexamples to conjecture. Then motivated by these counterexamples, further find two infinite classes of counterexamples.

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

building on previous studies on the effectiveness of different types of written corrective feedback, the present study aimed at investigating whether direct focused corrective feedback and direct unfocused corrective feedback produced any differential effects on the accurate use of english articles by efl learners across two different proficiency levels (low and high). in current study, the par...

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

since the modern art is chosen to discuss, it means a wide expansion of art courses are affected by modernism that enter to the new realms. because of expanded subject, lack of sources and also the close relationship between painting and animation, this thesis emphasizes on the painting and it is recommended to use the phrase “modern painting” instead of modern art (which is more general). thi...

2009
Tingting Han

This dissertation considers three important aspects of model checking Markov models: diagnosis — generating counterexamples, synthesis — providing valid parameter values and analysis — verifying linear real-time properties. The three aspects are relatively independent while all contribute to developing new theory and algorithms in the research field of probabilistic model checking. We start by ...

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

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