Online courses are a large and growing part of the undergraduate education landscape, but many biology instructors are skeptical about the effectiveness of online instruction. We reviewed studies comparing the effectiveness of online and face-to-face (F2F) undergraduate biology courses. Five studies compared student performance in multiple course sections at community colleges, while eight were...

Bayesian Knowledge Tracing (BKT) is one of the most widely adopted student modeling methods in Intelligent Tutoring Systems (ITSs). Conventional BKT mainly leverages sequences of observations (e.g. correct, incorrect) from student-system interaction log files to infer student latent knowledge states (e.g. unlearned, learned). However, the model does not take into account the instructional inter...

The growing prevalence in the types, severity, and percentage of mental illnesses in young adults ages 18 to 25 years, the age group of college students and studentathletes, is being recognized. Given the National Collegiate Athletic Association student-athlete participation rates of more than 450 000 in 2011–2012, the probability of encountering 1 or more student-athletes with psychological co...

This study aimed to investigate pre-service Arabic language teachers’ perceptions of the impact of integrating WhatsApp mobile instant messaging on the enhancement of their instructional interaction. It also sought to identify the challenges of using this application as a mobile learning tool. The data was collected using semi-structured interviews and an analysis of the postings on WhatsApp pl...

Traditional approaches to developing user models, especially for computer-based learning environments, are notoriously difficult and time-consuming because they rely heavily on expert-elicited knowledge about the target application and domain. Furthermore, because the necessary expert knowledge is application and domain specific, the entire model development process must be repeated for each ne...

The present study demonstrates the application of cluster analysis to examine the typology of student categories of novice Luxembourgish teachers. Student categories are mental representations of groups of students in which teachers classify their students. The investigation of student categories is a relevant topic in education, because subsequent assessments of students may be biased by prior...

Dedukti [11] is a formal proof checker based on a logical framework called the λΠ-calculus modulo, which is an extension of the simply-typed lambdacalculus with dependent types (e.g. lists of size n) and an equivalence relation on types generated by user-defined rewrite rules (like in Agda or Haskell). Proofs obtained by some proof assistants (e.g. HOL, Coq, Matita) can be checked in Dedukti by...

Bayesian Knowledge Tracing (BKT) models were in active use in the Intelligent Tutoring Systems (ITS) field for over 20 years. They have been intensively studied, and a number of useful extensions to them were proposed and experimentally tested. Among the most widely researched extensions to BKT models are various types of individualization. Individualization, broadly defined, is a way to accoun...