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…

Although much has been said about ergonomics in interface and in computer tools and interface design, very few articles in major journals have addressed this topic in relation to language testing. This article describes an experiment carried out at the Polytechnic University of Valencia, Spain, in which 27 Media and Communication students provided…

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…