In this article, we state an interesting geometric conservation property between the three angle bisectors of three similar right triangles and provide a proof without words for its justification. A GeoGebra applet is also presented to help with the understanding of the progression of the proof from inductive to deductive stage.

As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

Although it is commonly believed that automation aids human decision-making, conflicting evidence raises questions about whether individuals would gain greater advantages from automation in difficult tasks. Our study examines the combined influence of task difficulty and automation reliability on aided decision-making. We assessed decision…

Courses: This activity can be used in writing-based (communication) courses across various disciplines including, but not limited to, introduction to writing and rhetoric, business communication, and communication research methods. Objectives: On completion of this activity, students will develop critical reading, thinking, and writing skills as…

It is of critical importance to be aware of the historical discrimination embedded in the data and to consider a fairness measure to reduce bias throughout the predictive modeling pipeline. Given various notions of fairness defined in the literature, investigating the correlation and interaction among metrics is vital for addressing unfairness.…

The role of virus is an essential material that is not discussed completely in the lesson because of the limited information presented in the reference book. The role of viruses is important to learn because it can increase knowledge and know the role of viruses in life. This research aims to (1) develop interactive learning media based on…

Mathematical proof, often regarded as the heart of mathematics, is essential for interconnected mathematical knowledge. However, proof-writing skills do not develop inherently. Effective learning environments are vital for university students to enhance these skills. This study investigates the impact of the ISMAT model on pre-service teachers'…

This study aims to examine the mathematical reasoning and proof processes of gifted students within the framework of Toulmin's Argumentation Model. Grounded in the Rich Teaching Model, the instructional design included seven differentiated lesson plans. The research was conducted with two 9th-grade students in a Science and Art Centre over 20…

Background and context: There were few studies indicating if students' computational thinking (CT) self-efficacy and their CT performance were aligned with each other. Objectives: The study was to investigate if there was a discrepancy between students' CT self-efficacy and their CT performance. Method: Involving 104 non-CS undergraduate students…

Researchers often study dynamic processes of latent variables in everyday life, such as the interplay of positive and negative affect over time. An intuitive approach is to first estimate the measurement model of the latent variables, then compute factor scores, and finally use these factor scores as observed scores in vector autoregressive…

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…

Purpose: Artificial intelligence (AI) is more capable and accessible than ever before. But what does this mean for clinical practice? How can speech-language clinicians evaluate the efficacy, validity, and reliability of AI and machine learning tools for automating assessment and treatment? How can speech-language clinicians ethically use these…

As generative artificial intelligence tools like ChatGPT become increasingly integrated into educational environments, understanding their impact on critical thinking is crucial. Despite growing concerns about AI's potential to diminish students' independent reasoning, there is a lack of research tools specifically designed to evaluate students'…

Contract cheating is a significant concern in higher education, requiring a multifaceted teaching and learning approach to address it. Quizzing students about their writing to promote engagement, confirm authorship and detect cheating has not yet been investigated systematically. Therefore, in this study, our objective was to explore the validity…

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…