نتایج جستجو برای: the variables
تعداد نتایج: 16073859 فیلتر نتایج به سال:
In this paper, we introduce a new fragment of the rst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satissability problem for monodic formulas in various linear time structures can be reduced to the satissability problem for a certain fragment of classical rst-order...
the aim of this study has been to find answers for the following questions: 1. what is the effect of immediate correction on students pronunciation errors? 2. what would be the effect of teaching the more rgular patterns of english pronunciation? 3. is there any significant difference between the two methods of dealing with pronuciation errore, i. e., correction and the teaching of the regular ...
چکیده رقابت پذیری معیاری کلیدی برای ارزیابی درجه موفقیت کشورها،صنایع و بنگاهها در میدان های رقابتی سیاسی،اقتصادی و نجاری به حساب می آید.بدین معنی که هر کشور،صنعت یا بنگاهی که از توان رقابتی بالایی در بازارهای رقابتی برخوردار باشد،می توان گفت که از رقابت پذیری بالاتری برخوردار می باشد.در تحقیقات مختلف، رقابت پذیری در سه سطح ملی،صنعت و بنگاه مورد توجه قرار گرفته که در این میان سطح بنگاه از د...
iv abstract this study examined the linguistic behaviors of two iranian efl teachers each of them teaching learners of two similar proficiency levels, a beginner level and an intermediate level, to investigate the relationship between the learners proficiency levels and the amounts and purposes for l1 use by the two teachers. the study was carried out to investigate whether there were differe...
Without shared understanding, hardly any group learning takes place. Though much has been written about the essence of shared understanding, less is known about how to assess the process of reaching shared understanding. Therefore, the study focuses on ways of assessing shared understanding. A conceptual framework is described that makes a distinction between the process of reaching shared unde...
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems
In the effort to develop critical cyberphysical systems, existing computing formalisms are extended to include continuous behaviour. This may happen in a way that neglects elements necessary for correct continuous properties and correct physical properties. A simple language is taken to illustrate this. Issues and risks latent in this kind of approach are identified and discussed under the umbr...
the current thesis is composed in five chapters in the following fashion: chapter two encompasses the applied framework of the project in details; the methodology of carl gustav jung to explain the process of individuation, the major archetypes and their attributes and his techniques to assess the mind’s strata are all explained. moreover, the austrian psychoanalysts, heinz kohut’s models of a...
chapter i provides an overview of structural linguistics and touches upon the saussurean dichotomies with the final goal of exploring their relevance to the stylistic studies of literature. to provide evidence for the singificance of the study, chapter ii deals with the controversial issue of linguistics and literature, and presents opposing views which, at the same time, have been central to t...
OF THE DISSERTATION xii
if the precise implementation of the principle of proportion and:balance between the violation and the penalty as well as the other dimensions could be considered as a stick yard for the imptementation of justice any lack of preciseness in carrying out such principle would not indeed be much too far from injustice . naturally ,if it would be imagined that the objective of balance between...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید