MathCheck is a relatively new online tool that gives students feedback on their solutions to elementary university mathematics and theoretical computer science exercises. MathCheck was designed with constructivism learning theory in mind and it differs from other online tools as it checks the solutions step by step and shows a counter-example if…

Digital intercultural training tools play an important role in helping people to mediate cultural misunderstandings. In recent years, these tools were made to teach about specific cultures, but there has been little attention for the design of a tool to teach about differences across a wide range of cultures. In this work, we take the first steps…

This paper presents a hybrid approach for correcting grammatical errors in the sentences uttered by Korean learners of English. The error correction system plays an important role in GenieTutor, which is a dialogue-based English learning system designed to teach English to Korean students. During the talk with GenieTutor, grammatical error…

Visual representation has been recognized as a powerful learning tool in many learning domains. Based on the assumption that visual representations can support deeper understanding, we examined the effects of visual representations on learning performance and cognitive load in the domain of mathematics. An experimental condition with visual…

In recent years, gloss presentation format or the location where a gloss appears with respect to its related target word has received renewed attention. Research suggested that different gloss presentation formats could have differential effects on reading comprehension and/or vocabulary learning. This study hypothesized that the effectiveness of…

The objective of the instructional experiment was to examine if the use of thinking styles is flexible in traditional and hypermedia learning environments, and if a hypermedia learning environment possesses obvious advantages than a traditional environment in adapting to students with different thinking styles. The participant university students…

Assigning difficulty level indicators to the knowledge units helps the learners plan their learning activities more efficiently. This paper focuses on how to use the topology of a knowledge map to compute and rank the difficulty levels of knowledge units. Firstly, the authors present the hierarchical structure and properties of the knowledge map.…

This paper proposes modelling based learning as a tool for learning and teaching mathematics. The example of modelling real world problems leading to the exponential function as the solution of differential equations is described, as well as the observations about students' activities during the process. The students were acquainted with the…

Geometry theorem proving involves skills that are difficult to learn. Instead of working with abstract and complicated representations, students might start with concrete, graphical representations. A proof tree is a graphical representation of a formal proof, with each node representing a proposition or given conditions. A computer-assisted…

The objective of this research is to validate the algorithm of learning effort which is an indicator of a new real-time and non-interfering based diagnostic technique. IC3 Mentor, the adaptive e-learning platform fulfilling the requirements of intelligent tutor system, was applied to 165 university students. The learning records of the subjects…

Undergraduate students (N = 97) used an introductory text and a computer simulation to learn fundamental concepts about statistical analyses (e.g., analysis of variance, regression analysis and General Linear Model). Each learner was randomly assigned to one cell of a 2 (with or without instructional advice) x 2 (with or without time advice) x 2…

In this paper the augmentation of worked examples with animations for teaching problem-solving skills in mathematics is advocated as an effective instructional method. First, in a cognitive task analysis different knowledge prerequisites are identified for solving mathematical word problems. Second, it is argued that so called hybrid animations…

This research demonstrates the design of a Joyful Classroom Learning System (JCLS) with flexible, mobile and joyful features. The theoretical foundations of this research include the experiential learning theory, constructivist learning theory and joyful learning. The developed JCLS consists of the robot learning companion (RLC), sensing input…

Analytical competency in classroom situations can be seen as a crucial aspect of teachers' professional competency. While case-based learning is considered to have great potential for teacher education, particularly with respect to the promotion of teachers' analytical skills, there have been very few attempts to investigate the effects of…

This paper reports on a case-study design experiment in the domain of fraction as number-measure. We designed and implemented a set of exploratory tasks concerning comparison and ordering of fractions as well as operations with fractions. Two groups of 12-year-old students worked collaboratively using paper and pencil as well as a specially…