نتایج جستجو برای: definitions in epirical use
تعداد نتایج: 17144673 فیلتر نتایج به سال:
This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a mea...
this ethnographic case study research was carried out in a private school setting in the context of iran. the research tried to explore the analysis and identity construction of a group of learners and teachers along with the content analysis of books on the basis of four types of commodified, political, national and narrative identities. how english language learners and teachers in an informa...
abstract prediction of death anxiety on the basis of demographic characteristics and sp پیش بینی اضطراب مرگ براساس ویژگی های دموگرافیک و مولفه های معنویت در سالمندان به کوشش الهام حسن زهی معنویت از جمله مفاهیمی است که سالیان متمادی در حوزه روان شناسی جایگاه خود را یافته است پیشینه پژوهش نشان داده است که با متغیرهای فراوانی در روانشناسی در ارتباط بوده است. هدف از پژوهش حاضر این اس...
This paper is a contribution to the formal study and analysis of vernacular forms of program derivation. Specifically, in this paper, our vernacular derivations are elementary program transformations over the natural numbers. We provide an intensional semantics for these transformations within the derivations of the Elementary theory of Operations and Numbers, EON, [Bee85]. This semantics is in...
This paper presents a new metamodel based on partially ordered hypersets. The metamodel is minimalist, its only primitives being atoms, potentially infinite hypersets and partial order. The type system is very loose and supports concurrent extensional and intensional definition of types. Every element of the metamodel can be directly referenced, thanks to a powerful automated reification facili...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید