Lamin Pamung Tawai is the vernacular house of Dayak Kenyah tribe living on Samarinda City's outskirts. Along with development times and flow globalization, local or regional culture displaced. This research was conducted so that there documentation Tawai. In addition, raising values ​​of wisdom contained in construction this can be a lesson for academics, architects, government, society, especi...

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

Following the rapid development and urbanization in China over recent decades, sustainable renovation of urban residences has become an important issue. This study aimed to develop architectural teaching program integrating local climate, vernacular buildings, climate-responsive design strategies, simulation tools. A house a high-density neighborhood Guangzhou, China, hot-humid climate area was...

The article is focused on vernacular dwellings in different parts of Europe: southern Italy and Lithuania that have their own traditions. authors note the attitude towards traditional architecture has largely changed due to ongoing research this domail. Nevertheless, despite persistent continuity architecture, was affected by rise development modernist ideology neglected realm tradition. discus...

During the past decades, many traditional vernacular buildings have been forced to be demolished or abandoned due accelerating trend of urbanisation in China, which has resulted regional culture, historical memory, and architectural narratives being gradually lost. The contemporary development courtyard-style architecture under influence Confucianism, an important form that carries Chinese rema...