This paper presents the Durham Mathematical Vernacular (MV) project. The project aims to develop the technology for interactive tools based on proof checking with type theory, which allow mathematicians to develop mathematics in their usual vernacular. Its sub-goals are to develop type theory technology to support MV and to develop the corresponding NL technology. Mathematical language has many...

The variation patterns of the variable (ING) in an American college fraternity are explained by analyzing individual men's contextualized discourse. While most of the fraternity men predictably use a lower rate of the `vernacular' variant in weekly meetings, several men use a higher rate. I argue that all of the men index alignment roles associated with power, but that these alignment roles are...

An analysis of taxa used and that are salient to Vietnamese in Hawai‘i compared with southern Vietnam reflects an evolution of the assemblage of food plants demonstrated by substitutions, insertions, and deletions of plant taxa. Replications occur as the Vietnamese in Hawai‘i have access to many similar plant taxa as those in Vietnam, possibly due to the location of Hawai‘i as a place where sim...

This paper is a contribution to the formal study and analysis of vernacular forms of program derivation. Specifically, in this paper, our vernacular derivations are elementary program transformations over the natural numbers. We provide an intensional semantics for these transformations within the derivations of the Elementary theory of Operations and Numbers, EON, [Bee85]. This semantics is in...

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

OBJECTIVES To design and implement a real world application using a terminology server to assist patients and physicians who use common language search terms to find specialist physicians with a particular clinical expertise. METHOD Terminology servers have been developed to help users encoding of information using complicated structured vocabulary during data entry tasks, such as recording c...