We consider the problem of checking whether an organization conforms to a body of regulation. Conformance is studied in a runtime verification setting. The regulation is translated to a logic, from which we synthesize monitors. The monitors are evaluated as the state of an organization evolves over time, raising an alarm if a violation is…

Although software testing has been well-studied in computer science, it has received little attention in natural language processing. Nonetheless, a fully developed methodology for glass box evaluation and testing of language processing applications already exists in the field methods of descriptive linguistics. This work lays out a number of…

One important task of any semantic theory of plurals is to account for the collective/distributive ambiguity. The goal of this dissertation is to achieve greater understanding of plurality and the collectivity/distributivity distinction from a cross-linguistic perspective by examining the phenomenon of distributivity in Mandarin Chinese. I show…

Natural language poses several challenges to developing computational systems for modeling it. Natural language is not a precise problem but is rather ridden with a number of uncertainties in the form of either alternate words or interpretations. Furthermore, natural language is a generative system where the problem size is potentially infinite.…

Natural language makes considerable use of recurrent formulaic patterns of words. This article triangulates the construct of "formula" from corpus linguistic, psycholinguistic, and educational perspectives. It describes the corpus linguistic extraction of pedagogically useful formulaic sequences for academic speech and writing. It determines…

BIT BY BIT is an encryption game that is designed to improve students' understanding of natural language processing in computers. Participants encode clear words into binary code using an encryption key and exchange them in the game. BIT BY BIT enables participants who do not understand the concept of binary numbers to perform the process of…

In the United States, English learners (EL) often do not have the academic language proficiency, literacy skills, cultural background, and content knowledge necessary to succeed in kindergarten through 12th grade classrooms. This leads to large achievement gaps. Also, classroom texts are often riddled with linguistically unfamiliar elements,…

Researchers that investigate the media's coverage of health have historically relied on keyword searches to retrieve relevant health news coverage, and manual content analysis methods to categorize and score health news text. These methods are problematic. Manual content analysis methods are labor intensive, time consuming, and inherently…

This paper describes My Science Tutor (MyST), an intelligent tutoring system designed to improve science learning by students in 3rd, 4th and 5th grades (7 to 11 years old) through conversational dialogs with a virtual science tutor. In our study, individual students engage in spoken dialogs with the virtual tutor Marni during 15 to 20 minute…

Using the theory of mental models to account for the process of human mental information processing and representation has become an important approach in the field of knowledge engineering. Most methods of knowledge assessment are based on graphical concept mapping techniques. Tools like MITOCAR complement the graphical approaches by…

Multilingual lexicons are needed in various applications, such as cross-lingual information retrieval, machine translation, and some others. Often, these applications suffer from the ambiguity of dictionary items, especially when an intermediate natural language is involved in the process of the dictionary construction, since this language adds…

The introduction of the concept of the variable represents a critical point in the arithmetic-algebraic transition. This concept is complex because it is used with different meanings in different situations. Its management depends on the particular way of using it in problem-solving. The aim of this paper was to analyse whether the notion of…

Various writing assistance tools have been developed through efforts in the areas of natural language processing with different degrees of success of curriculum integration depending on their functional rigor and pedagogical designs. In this paper, we developed a system, WriteAhead, that provides six types of suggestions when non-native graduate…

The availability and use of computers in teaching has seen an increase in the rate of plagiarism among students because of the wide availability of electronic texts online. While computer tools that have appeared in recent years are capable of detecting simple forms of plagiarism, such as copy-paste, a number of recent research studies devoted to…

Web analytics measure, collect, analyze, and report Internet data that help website managers improve the effectiveness of the site and its marketing efforts by allowing them to better understand how users interact with the site. Applying this data can help drive the right people to the website and keep them there. According to Joshua Dodson, Web…