نتایج جستجو برای: level and compositional
تعداد نتایج: 16897132 فیلتر نتایج به سال:
Introduction: Previously, 186Re and 188Re radioisotopes have been produced through appropriate activities, and each of them has been used for therapeutic applications. The 186Re and 188Re have unique properties, which make them proper for the treatment of tumors in different sizes. The long-range 188Re, is suitabl...
abstract amino acids are building blocks of proteins, and play a vital role in living beings existence and their functionality. the interaction of these compounds with metal ions is of great importance to biochemists, and chemists, because their functions can be utilized as a model in understanding enzymes mechanism for transport of metal ions to tissues. among twenty essential amino acids w...
بررسی رابطه بین یادگیری سازمانی و توانمندسازی مدیران و معاونین مدارس شهرستان میانه دکتر محمد اورکی1، دکتر هاشم نعمتی، گلسیما عزیزی* استادیار گروه علوم تربیتی ، دانشگاه پیام نور تهران جنوب استادیار گروه علوم تربیتی. ، دانشگاه پیام نور مشهد دانشجوی کارشناسی ارشد مدیریت آموزشی ، دانشگاه پیام نور تهران جنوب [email protected] میانه- دانشگاه پیام نور میانه مدیر آموزشی، 2226062 – 0423، ت...
the present study was conducted to investigate the effect of implicit focus on form through input flooding and the effect of noticing, explicit focus on form on linguistic accuracy. to fulfill the purpose of the study, 86 iranian pre-intermediate efl learners of one of the language institutes were chosen by means of administering ket as the homogeneity test. these learners were pretested throug...
It is widely believed that low-level languages with jumps must be difficult to reason about by being inherently non-modular. We have recently argued that this in untrue and proposed a novel method for developing compositional natural semantics and Hoare logics for low-level languages and demonstrated its viability on the example of a simple low-level language with expressions (Saabas & Uustalu ...
In this paper a compositional verification method for models of knowledge-based systems is introduced. Required properties of the system are formally verified by deriving them from assumptions that themselves are properties of sub-components, which in their turn may be derived from assumptions on sub-sub-components, and so on. The method is based on properties that are formalised in terms of te...
the following null hypothesis was proposed: h : there is no significant difference between the use of semantically or communicatively translates scientific texts. to test the null hypothesis, a number of procedures were taken first, two passages were selected form soyrcebooks of food and nutrition industry and gardening deciplines. each, in turn, was following by a number of comprehension quest...
burnout is a response to the chronic work stress which is prevalent mostly among the people who do people job, like teaching. the purpose of this study was to develop a valid and reliable instrument that can measure burnout in foreign language teachers. although some widely used instruments were developed before which measured burnout in teachers, a specific instrument which include specific sy...
Hierarchical Interface-based Supervisory Control (HISC) decomposes a discreteevent system into a high-level subsystem which communicates through interfaces with several low-level subsystems. The framework provides a set of local conditions that can be checked for each subsystem individually to conclude global conditions such as nonblocking and controllability. The size of HISC systems that can ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید