This paper describes LOGAX, an interactive tutoring tool that gives hints and feedback to a student who stepwise constructs a Hilbert-style axiomatic proof in propositional logic. LOGAX generates proofs to calculate hints and feedback. We compare these generated proofs with expert proofs and student solutions, and conclude that the quality of the…

This article describes an experiment with LogEx, an e-learning environment that supports students in learning how to prove the equivalence between two logical formulae, using standard equivalences such as DeMorgan. In the experiment, we compare two groups of students. The first group uses the complete learning environment, including hints, next…

Formative feedback, aimed at helping students to improve their work, is an important factor in learning. Many tools that offer programming exercises provide automated feedback on student solutions. We have performed a systematic literature review to find out what kind of feedback is provided, which techniques are used to generate the feedback, how…

Hypothesis testing involves a complex stepwise procedure that is challenging for many students in introductory university statistics courses. In this paper we assess how feedback from an Intelligent Tutoring System can address the logic of hypothesis testing and whether such feedback contributes to first-year social sciences students' proficiency…

Interactions between humans and smart products (i.e. digital components integrated in physical Internet of Things devices) are becoming more complex and less visible. Yet designers lack tools to capture these interactions and incorporate them into their design. In this paper we present the Human-Computer-Context Interaction (HCCI) tool that helps…

Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports the stepwise development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints. Programming exercises are added to Ask-Elle by providing a task description for the exercise, one or more…

The article presents the European Universities on Professionalisation on Humanitarian Action (EUPRHA) Project as an initiative that seeks to contribute to the professionalisation and quality assurance of the humanitarian sector. Its purpose is to explain the approach and the process leading to the development of the Humanitarian Action…

Adolescent hearing loss is a public health problem that has eluded effective intervention. A persuasive message strategy was tested for its effectiveness on adolescents' intention to listen to music at a reduced volume. The messages manipulated both type of message frame [positive consequences of listening to music at a reduced volume…

We present a lab that enables students to test the role of genes involved in the regulation of lateral roots growth in the model plant "Arabidopsis thaliana." Here, students design an experiment that follows the effects of the hormone auxin on the stimulation of genes involved in the formation of lateral root initials. These genes, known…

The "interactivity principle" in multimedia learning states that giving learners control over pace and order of instructions decreases cognitive load and increases transfer performance. We tested this guideline by comparing a learner-paced instruction with a system-paced instruction. Time-on-task and interactive behavior were logged, and were also…

Stage theories are prominent and controversial in science. One possible reason for their appeal is that they provide order and predictability. Participants in Experiment 1 rated stage theories as more orderly and predictable (but less credible) than continuum theories. In Experiments 2-5, we showed that order threats increase the appeal of stage…

In this continuously changing contemporary economy, companies have to be able to anticipate technological innovations and to compete with other companies worldwide. This need makes important a company's ability to evolve through its employees' learning and through continuous development. Securing and retaining skilled employees plays an important…

This study examined whether stimulation of immigrant and national pupils' use of high-quality helping behaviour (experimental condition) during cooperative learning (CL) in classrooms boosts their maths-related talk more than in an educational situation in which such stimulation is largely absent (control condition). A total of 59 elementary-age…

In this study we investigated popularity and perceived non-cooperativeness in multiethnic elementary schools. A sample of 94 pupils aged 10-12 years, from five multiethnic elementary schools, were divided into 26 teams and participated in a structured cooperative learning (SCL) curriculum of 11 lessons. Neither teachers nor pupils had prior SCL…

This paper provides a log and discussion of experiments conducted by a five-and-one-half-year-old child under the direction of the author. (SD)