The paper analyzes the “Origin” and the “Derivative” of Hakka Enclosed Dwelling’s by a specific transmutation instance of Longsheng House of Liuzhou in Qing Dynasty, and researches on Hakka Enclosed Dwelling’s layout, size, and the transmutation of forms. It points out that as one of the fittest to the environment among the vernacular dwelling, Enclosed Dwelling’s construction site and defence ...

In conservation science, assessments of trends and priorities for actions often focus on species as the management unit. Studies on species coverage in online media are commonly conducted by using species vernacular names. However, the use of species vernacular names for web-based data search is problematic due to the high risk of mismatches in results. While the use of Latin names may produce ...

The vernacular students will now obtain a practical training in pharmacy, hospital details, and clinical medicine and surgery, which they have never had the opportunity hitherto of receiving. We augur the-best results from the change which has now been accomplished, and believe that the " Vernacular Licentiates" who will now issue from the new vernacular medical school will be more thoroughly a...

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...

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...