Explanatory item response models (EIRMs) have been applied to investigate the effects of person covariates, item covariates, and their interactions in the fields of reading education and psycholinguistics. In practice, it is often assumed that the relationships between the covariates and the logit transformation of item response probability are…

Explanatory item response models (EIRMs) have been applied to investigate the effects of person covariates, item covariates, and their interactions in the fields of reading education and psycholinguistics. In practice, it is often assumed that the relationships between the covariates and the logit transformation of item response probability are…

The automatic code generation is the process of generating source code snippets from a program, i.e., code for generating code. Its importance lies in facilitating software development, particularly important is helping in the implementation of software designs such as engineering diagrams, in such a case, automatic code generation copes with the…

Background: The ability to translate concrete manipulatives into abstract mathematical formulas can aid in the solving of mathematical word problems among students, and metacognitive prompts play a significant role in enhancing this process. Aims: Based on the concept of semantic congruence, we explored the effects of metacognitive prompts and…

In the context of an analytical geometry, this study considers the mathematical understanding and activity of seven students analyzed simultaneously through two knowledge frameworks: (1) the Van Hiele levels (Van Hiele, 1986, 1999) and register and domain knowledge (Hibert, 1988); and (2) three action frameworks: the SOLO taxonomy (Biggs, 1999;…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

Automatic processing of mathematical information on the web imposes some difficulties. This paper presents a novel technique for automatic generation of mathematical equations semantic and Arabic translation on the web. The proposed system facilitates unambiguous representation of mathematical equations by correlating equations to their known…

We present an analysis of students' formal constructions in mathematics regarding to syntactic, semantic and pragmatic aspects. The analyzed tasks correspond to students of the Course of Mathematics for the admission to the university. Our study was qualitative, consisted in the identification, analysis and interpretation, focused in logic…

This article discusses a variety of examples in errors in mathematical reasoning, the source of which is due to the tension between the syntax (form of mathematical expression) and semantics (underlying ideas or meaning). This article suggests that the heightened awareness of syntactic and semantic reasoning, and the consequent resolution of the…

Online discussion forums provide open workspace allowing learners to share information, exchange ideas, address problems and discuss on specific themes. But the substantial impediment to its promotion as effective e-learning facility lies in the continuously increasing messages but with discrete and incoherent structure as well as the loosely-tied…

Describes a model for a front end query processor to deal with incomplete information in a database. The effectiveness of the processor in restricting the number of objects to be processed in a query and in aiding the interpretation of a query is discussed. (26 references) (Author/CLB)

Presents an indexing and information retrieval method that, based on the vector space model, incorporates term dependencies and thus obtains semantically richer representations of documents. Highlights include term context vectors; techniques for estimating the dependencies among terms; term weights; experimental results on four text collections;…

Discussion of the failure of individual keywords to identify conceptual content of documents in retrieval systems highlights Metric Similarity Modeling, a method for creating vector space representation of documents based on modeling target interdocument similarity values. Semantic relatedness, latent semantic indexing, an indexing and retrieval…

Discussion of methodologies for the semantic integration of databases focuses on formalizing the notion of schema equivalence and the schema integration process. Topics include common data model; the Entity-Relationship (ER)model; transformation of ER models; transformational, mapping, and behavioral schema equivalence; and knowledge-based…

Discussion of data repositories available in global information systems focuses on facilitating access by providing semantic views. Highlights include the mapping relation; syntax and semantics of the mapping; query formulation and processing; terminological systems for semantic views; and relational algebraic expressions. (LRW)