We investigate an unsuspected connection between logical connectives with non-harmonious deduction rules, such as Prior's tonk, and quantum computing. argue that these model the information-erasure, non-reversibility, non-determinism occur, among other places, in measurement. introduce intuitionistic propositional logic a connective sup two interstitial show proof language of this forms core pr...

Wikipedia articles in different languages have been mined to support various tasks, such as Cross-Language Information Retrieval (CLIR) and Statistical Machine Translation (SMT). Articles on the same topic in different languages are often connected by inter-language links, which can be used to identify similar or comparable content. In this work, we investigate the correlation between similarit...

This paper discusses user study outcomes with teachers who used Language Muse SM a webbased teacher professional development (TPD) application designed to enhance teachers’ linguistic awareness, and support teachers in the development of language-based instructional scaffolding (support) for their English language learners (ELL). System development was grounded in literature that supports the n...

We analyzed existing test data and student background data from four different school sites nationwide to examine whether standardized test results may be confounded by the lack of language proficiency of English language learners. Several analyses comparing the performance of limited English proficient (LEP) students and their non-LEP classmates revealed major differences. A Disparity Index wa...

This paper discusses user study outcomes with teachers who used Language Muse SM a webbased teacher professional development (TPD) application designed to enhance teachers’ linguistic awareness, and support teachers in the development of language-based instructional scaffolding (support) for their English language learners (ELL). System development was grounded in literature that supports the n...

We propose Marve, a system for extracting measurement values, units, and related words from natural language text. Marve uses conditional random €elds (CRF) to identify measurement values and units, followed by a rule-based system to €nd related entities, descriptors and modi€ers within a sentence. Sentence tokens are represented by an undirected graphical model, and rules are based on part-of-...

Model driven model measurement: a generative approach Model-Driven Engineering (MDE) is an approach to software development that uses models as primary artifacts, from which validation, code, test and documentation are derived. Several metamodels are used in the same process. They range from general purpose ones (e.g.; UML), to domain (e.g.; for real-time systems) and company metamodels. Measur...