Control systems are becoming ever more commonly used in everyday life. This is true both in industry and in the domestic domain, in the form of e.g., smart home systems. The quality of such systems can be increased by using formal verification methods, such as the model checking technique, to make sure that the designed system fulfills all user…

Physical experiments in classrooms have many benefits for student learning, including increased student interest, participation and knowledge retention. While experiments are common in engineering and physics classes, they are seldom used in first-year calculus, where the focus is on solving problems analytically and, occasionally, numerically. In…

Artificial Intelligence (AI) can foster education but can also be misused to breach academic integrity. Large language models like ChatGPT are able to generate solutions for individual assessments that are expected to be completed independently. There are a number of automated detectors for AI assisted work. However, most of them are not dedicated…

This paper introduces a teaching process to develop students' problem-solving and programming efficacy in an introductory computer programming course. The proposed teaching practice provides step-by-step guidelines on using worked-out examples of code to demonstrate the applications of programming concepts. These coding demonstrations explicitly…

We describe an automated assessment process for team-coding assignments based on DevOps best practices. This system and methodology includes the definition of Team Performance Metrics measuring properties of the software developed by each team, and their correct use of DevOps techniques. It tracks the progress on each of metric by each group. The…

University students in other disciplines without prior knowledge in statistics and/or programming language are introduced to the statistical method of decision trees in the programming language R during a 45-minute teaching and practice session. Statistics and programming skills are now frequently required within a wide variety of research fields…

Project-based learning (PBL) engages students deeply with course concepts and empowers them to drive their own learning through the development of solutions to real-world challenges. By taking ownership of and completing a project that they designed, students develop and demonstrate creativity, critical thinking, and collaboration skills. This…

We present a Scratch task we designed and implemented for teaching and learning coordinates in a dynamic and engaging way. We use the 5Es framework to describe the students' interactions with the task and offer suggestions of how other teachers may adopt it to successfully implement Scratch tasks.

The COVID-19 pandemic has accelerated the digitalization of assessment, creating new challenges for measurement professionals, including big data management, test security, and analyzing new validity evidence. In response to these challenges, "Machine Learning" (ML) emerges as an increasingly important skill in the toolbox of measurement…

In this paper, we describe an educational activity involving the use of a digital artifact, implemented in a visual programming environment, for mediating the learning of axial symmetry in primary school through algorithmics and computer programming. The educational activity was designed with the aim of bringing out increasingly…

Constructionism, long before it had a name, was intimately tied to the field of Artificial Intelligence. Soon after the birth of Logo at BBN, Seymour Papert set up the Logo Group as part of the MIT AI Lab. Logo was based upon Lisp, the first prominent AI programming language. Many early Logo activities involved natural language processing,…

This short paper presents an educational approach to teaching three popular methods for encoding DNA sequences: one-hot encoding, binary encoding, and integer encoding. Aimed at bioinformatics and computational biology students, our learning intervention focuses on developing practical skills in implementing these essential techniques for…

Many 4-year public institutions face significant pedagogical challenges due to the high ratio of students to teaching team members. To address the issue, we developed a workflow using the programming language R as a method to rapidly grade multiple-choice questions, adjust for errors, and grade answer-dependent style multiple-choice questions,…

This article presents a novel approach to introducing principal component analysis (PCA), using summary tables and descriptive statistics. Given its applicability across a variety of academic disciplines, this topic offers abundant opportunity for class discussion and activities. However, teaching PCA in an introductory class can be challenging…

The author describes an assignment in an undergraduate game theory course in which students work together in class to develop a computer algorithm to identify Nash equilibria. This assignment builds basic computer science skills while applying game theory knowledge to real-world situations. Students work as a team to delineate the steps and write…