منابع مشابه
Delimiting diagrams
We introduce the unifying notion of delimiting diagram. Hitherto unrelated results such as: Minimality of the internal needed strategy for orthogonal first-order term rewriting systems, maximality of the limit strategy for orthogonal higher-order pattern rewrite systems (with maximality of the strategy F∞ for the λ-calculus as a special case), and uniform normalisation of balanced weak Church–R...
متن کاملDelimiting the Scope of Eeects
Program fragments in functional languages may be observationally congruent in a language without eeects (continuations, state, exceptions) but not in an extension with eeects. We give a generic way to preserve pure functional congruences by means of an eeects delimiter. The eeects delimiter is deened semantically using the retraction techniques of 14], but can also be given an operational seman...
متن کاملExternal dose measurements in the Eloor industrial area in the Ernakulam district of Kerala, India
Background: Natural background radiation of a particular region is one of the distinctive factors defining the status of environment. Eloor Island is an industrial area in Ernakulum District of the state of Kerala, India. The indoor and outdoor gamma level measurements have been carried out for the region for evaluating the annual effective dose to the population residing in this area. Mate...
متن کاملDelimiting the Sydney Speech Community Author(s):
Quantitative analyses of large data sets make use of both linguistic and sociological categories in sociolinguistic studies. While the linguistic categories are generally well-defined and there are sufficient tokens for further definition based on mathematical manipulation, the social characteristics such as socioeconomic class or ethnicity are neither. The familiar problem of grouping speakers...
متن کاملArea-Specification affected by Industrial-Mineral Pollution in Isfahan Province
Air pollution is a consequence of human activities, especially in the period after industrial revolution, which has many (direct and indirect) effects on the human and the environment around him. Among different kinds of pollutions, those related to industries and mines are much more dangerous. Therefore, it is necessary to identify these pollutions and specify them so as to reduce the harmful ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of The Tohoku Geographycal Asocciation
سال: 1972
ISSN: 0387-2777,1884-1244
DOI: 10.5190/tga1948.24.191