نتایج جستجو برای: by introducing two counterexamples
تعداد نتایج: 8032901 فیلتر نتایج به سال:
abstract the present study investigated the effects of task types and involvement load hypothesis on incidental learning of 10 target words (tws) in junior high schools (jhss) in givi, ardabil. the tasks deployed in this study were two input-based tasks (reading plus dictionary use with an involvement index of 3, and reading plus gap-fill task with an involvement index of 2), and one output-ba...
A counterexample to the satisfaction of a linear property ψ in a system S is an infinite computation of S that violates ψ. When ψ is a safety property, a counterexample to its satisfaction need not be infinite. Rather, it is a bad-prefix for ψ: a finite word all whose extensions violate ψ. The existence of finite counterexamples is very helpful in practice. Liveness properties do not have bad-p...
the major purpose of this study was to develop the translation teacher competency test (ttct) and examine its construct and predictive validity. the present study was conducted in two phases: a qualitative phase as well as a quantitative phase. in the first phase of the study, the author attempted to find out the major areas of competency required for an academic translation teacher. the second...
this thesis seeks to present a critical reading of virginia woolf’s mrs. dalloway and michael cunningham’s the hours in terms of an intertextual approach, concentrating on dialogic imagination, negativity, transposition and allusion. this study attempts to evaluate cunninghams perception of woolfs life and work by adopting kristevas conception of intertextuality and her consideration of the hou...
We explore a family of supraclassical consequence relations obtained by varying the criteria according to which counterexamples to classical entailment may be deemed tolerable. This provides a different perspective on the rational consequence relations of nonmonotonic logic, as well as introducing new kinds of entailment with a diversity of potential contextual applications.
Several of the finest unclaimed prizes in directed graph theory involve the packing of directed joins. One difficulty in claiming these prizes is that the broad conjecture posed by Edmonds and Giles, whether the maximum number of disjoint directed joins equals the smallest weight of a directed cut in every weighted directed graph, is not true in general. This is despite the fact that the conjec...
abstract objectives gradual increase length and complexity of utterance (gilcu) therapy method is a form of operant conditioning. this type of treatment is very precise and controlled that is done in 54 steps in 3 speech situations consisted of monologue, reading and conversation. this study aimed to examine the effects of gilcu treatment method on reduction of speech dysfluency of school-age...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید