نتایج جستجو برای: downward continuation is well defined
تعداد نتایج: 7637812 فیلتر نتایج به سال:
abstract this study examines the relationship between reading anxiety and difficulty of texts as well as the relationship between reading anxiety and students perceived difficulty of the texts. since difficulty is a relative concept, i limited its definition by sticking to the readability formula. we also took students perceived difficulty levels into account. therefore, in the present study, ...
Logical relations, defined inductively on the structure of types, provide a powerful tool to characterize higher-order functions. They often enable us to prove correctness of a program transformer written with higher-order functions concisely. This paper demonstrates that the technique of logical relations can be used to characterize call-by-value functions as well as delimited continuations. B...
to discuss my point, i have collected quite a number of articles, anthologies, and books about "wuthering heights" applying various ideas and theories to this fantastic story. hence, i have come to believe that gadamer and jauss are rightful when they claim that "the individaul human mind is the center and origin of all meaning," 3 that reading literature is a reader-oriented activity, that it ...
Current operating systems lack well-defined protocols for interaction with device drivers. We argue that this hinders the development of reliable drivers and thereby undermines overall system stability. We present an approach to specify driver protocols using a formalism based on state machines. We show that it can simplify device programming, facilitate static analysis of drivers against proto...
(4) For every function yielding function f holds Subf rng f = rng f . (5) For all sets A, B, x and for every function f such that x ∈ A and f ∈ BA holds f (x) ∈ B. (6) For all sets A, B, C such that if C = / 0, then B = / 0 or A = / 0 and for every function f from A into CB holds domκ f (κ) = A 7−→ B. Let us mention that / 0 is function yielding. In the sequel n denotes a natural number and p, ...
this thesis basically deals with the well-known notion of the bear-invariant of groups, which is the generalization of the schur multiplier of groups. in chapter two, section 2.1, we present an explicit formula for the bear-invariant of a direct product of cyclic groups with respect to nc, c>1. also in section 2.2, we caculate the baer-invatiant of a nilpotent product of cyclic groups wuth resp...
Two triethoxysilyl-functionalized N-heterocyclic carbene ligands have been synthesized and used to prepare the corresponding second-generation ruthenium olefin metathesis catalysts. These complexes were then grafted onto silica gel, and the resulting materials were efficient heterogeneous catalysts for a number of metathesis reactions. The solid-supported catalysts were shown to be recyclable o...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید