Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of questions and problems in fully formal languages (see [Dav03]). This becomes even more important for repositories in which properties of the defined functions are not only stated, but also proved correct. In this paper we investiga...

Vernacular building is considered as sustainable in energy consumption and environment and its thermal performance is more and more concerned by researchers. This paper investigates the thermal property of the vernacular building in Lhasa by theoretical analysis on the aspects of building form, envelope and materials etc. The values of thermal resistance and thermal capacity of the envelope are...

Dialectal Arabic (DA) is the spoken vernacular for over 300M people worldwide. DA is emerging as the form of Arabic written in online communication: chats, emails, blogs, etc. However, most existing NLP tools for Arabic are designed for processing Modern Standard Arabic, a variety that is more formal and scripted. Apart from the genre variation that is a hindrance for any language processing, e...

Speech rhythm can be measured acoustically in terms of durational characteristics of consonantal and vocalic intervals. The present paper investigated how acoustically measurable rhythm varies across dialects of Swiss German. Rhythmic measurements (%V, ∆C, ∆V, varcoC, varcoV, rPVI-C, nPVIC, nPVI-V) were carried out on four sentences of six speakers from eight Swiss dialects. Results indicate th...

This paper provides a mathematical analysis of the relationship between vernacular and for-malised derivations of programs; in particular, when the vernacular derivations deploy general recursion. We introduce a calculus VPD to represent vernacular derivations and a constructive theory of operations and types, EOT , to represent formal derivations. We provide an intensional semantics for VPD wi...

Vernacular place names are names that are commonly in use to refer to geographical places. For purposes of effective information retrieval, the spatial extent associated with these names should reflect peoples perception of the place, even though this may differ sometimes from the administrative definition of the same place name. Due to their informal nature, vernacular place names are hard to ...

This paper focuses on the relationship between Hakka vernacular architecture and its traditional environment knowledge. Generally speaking, many scholars and mass-media consider that Hakka vernacular architectures include codes of Central Plain’s culture such as ying-yang, tianrenheyi, fengshui affluently, because the Hakka ancestors are the Han nationality from Central Plain. However, accordin...

The phrase-final accent can typically contain a multitude of simultaneous prosodic signals. In this study, aimed at separating the effects of lexical tone from phrase-final intonation, phrase-final accents of two dialects of Kammu were analyzed. Kammu, a Mon-Khmer language spoken primarily in northern Laos, has dialects with lexical tones and dialects with no lexical tones. Both dialects seem t...

Automatic dialect identification is a necessary Language Technology for processing multidialect languages in which the dialects are linguistically far from each other. Particularly, this becomes crucial where the dialects are mutually unintelligible. Therefore, to perform computational activities on these languages, the system needs to identify the dialect that is the subject of the process. Ku...

introduction        a dialect is a variety of a language used by group of people whose lexicon, syntax, phonetics and phonology are different from those of other people. the existence of many geographical, economic and social barriers among the speakers of a language cause the emergence of many dialects. as such, each language has many dialects and accents and each dialect has many different ac...