Nowadays, SPOCs (Small Private Online Courses) have been used as complementary methods to support classroom teaching. SPOCs are courses that apply the usage of MOOCs (Massive Open Online Courses), combining classroom with online education, making them an exciting alternative for contexts such as emergency remote teaching. Although SPOCs have been…

We have maintained the customer grade system that is being implemented to customers with excellent performance through customer segmentation for years. Currently, financial institutions that operate the customer grade system provide similar services based on the score calculation criteria, but the score calculation criteria vary from the financial…

Purpose: This study investigates the impact of AI-assisted pair programming on undergraduate students' intrinsic motivation, programming anxiety, and performance, relative to both human-human pair programming and individual programming approaches. Methods: A quasi-experimental design was conducted over two academic years (2023-2024) with 234…

This study investigates the validity and reliability of generative large language models (LLMs), specifically ChatGPT and Google's Bard, in grading student essays in higher education based on an analytical grading rubric. A total of 15 experienced English as a foreign language (EFL) instructors and two LLMs were asked to evaluate three student…

Software security is inevitably dependent on developers' ability to to design and implement software without security bugs. Perhaps unsurprisingly, developers often fail to do this. Our goal is to understand this from a usability perspective, identifying how we might best train developers and equip them with the right software tools. To this end,…

In this paper, we investigate how a research mathematician conjectures and proves when conducting her research. To be precise, the aim of this study is to achieve a comprehensive understanding of the way this research mathematician develops these mathematical practices and thus gain insight to improve the teaching and learning of these two…

Access to body-based resources has been shown to augment cognitive processes, but not all movements equally aid reasoning. Interactive technologies, like dynamic geometry systems (DGS), potentially amplify the link between movement and geometric representation, thereby deepening students' understanding of geometric properties. This study…

Typical Bayesian methods for models with latent variables (or random effects) involve directly sampling the latent variables along with the model parameters. In high-level software code for model definitions (using, e.g., BUGS, JAGS, Stan), the likelihood is therefore specified as conditional on the latent variables. This can lead researchers to…

We present two types of validity evidence to support inferences and decisions about use of easyCBMs in relation to state testing programs. The first type involves the use of Benchmarks in reading to use in making predictions of performance on the Smarter Balanced (SB) test. These predictions can be made both well in advance (several months) or…

The purpose of this paper is to follow the reasoning of high school students when asked to explain the standard trigonometric limit lim/[theta][right arrow] sin[theta]/[theta]. An observational study was conducted in four different phases in order to investigate if visualization, by means of an interactive technology environment (Geogebra), can…

Introduction: This study examined the concurrent validity and inter-pair reliability of the proximity detection function on Bluetooth-enabled accelerometers across manufacturer-specified ranges. If valid, this method could be used for objectively measuring shared physical activity participation. Method: Thirty-six dyads aged 21.6 (2.1) years wore…

The present research paper introduces a translation evaluation method called Calibrated Parsing Items Evaluation (CPIE hereafter). This evaluation method maximizes translators' performance through identifying the parsing items with an optimal p-docimology and d-index (item discrimination). This method checks all the possible parses (annotations)…

This research aims to: (1) develop a feasible Android-based comic media of Gajah Mungkur Dam, and (2) reveal the effectiveness of the developed comic media in improving mathematical representation and critical thinking abilities on the materials of work and energy. The research subjects are senior high school students, consisting of 262 students…

This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra. The new tools are based on symbolic computation algorithms, allowing the automatic and rigorous proving and discovery of theorems on constructed geometric figures. Some…

This study aims to the comparison of body image satisfaction levels of athletes in individual and team sports. The sample of the study was selected by 34 athletes engaged in athletics, 52 athletes engaged in boxing, 45 athletes engaged in wrestling, 37 athletes engaged in weightlifting, 36 athletes engaged in handball, 35 athletes engaged in…