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…

The first books in Polish about the Pascal programming language appeared in the late 1970s, and were soon followed by a Polish translation of Niklaus Wirth's book "Algorithms + Data Structures = Programs." At that time, many efforts were made to prepare teachers to teach informatics in schools, and Pascal was one of the topics taught,…

The purpose of this study was to investigate how the 8th graders interpreted the equal sign in the pan balance activities they created on Scratch. Five eighth graders (4 girls and 1 boy) in Turkey participated in this study. Case study was employed as a qualitative research method. Data was gathered through the Scratch files created by the…

In the wake of the so-called fourth industrial revolution, computer programming has become a foundational competency across engineering disciplines. Yet engineering students often resist the notion that computer programming is a skill relevant to their future profession. Here are presented two activities aimed at supporting the early development…

Large language models (LLMs), such as Codex, hold great promise in enhancing programming education by automatically generating feedback for students. We investigate using LLMs to generate feedback for fixing syntax errors in Python programs, a key scenario in introductory programming. More concretely, given a student's buggy program, our goal is…

Prior programming knowledge of students has a major impact on introductory programming courses. Those with prior experience often seem to breeze through the course. Those without prior experience see others breeze through the course and disengage from the material or drop out. The purpose of this study is to demonstrate that novice student…

Educators across disciplines are implementing lessons and activities that integrate computing concepts into their curriculum to broaden participation in computing. Out of myriad important introductory computing skills, it is unknown which--and to what extent--these concepts are included in these integrated experiences, especially when compared to…

Automated detection of facial emotions has been an interesting topic for multiple decades in social and behavioral research but is only possible very recently. In this tutorial, we review three popular artificial intelligence based emotion detection programs that are accessible to R programmers: Google Cloud Vision, Amazon Rekognition, and…

Research has shown that even though standardized financial education has gained prevalence to promote financial literacy over the past decade, it has had little effect on personal financial planning. The present study used a randomized control trial to examine the effectiveness of a Python-based personalized financial projection on young working…

This article introduces a collection of four datasets, similar to Anscombe's quartet, that aim to highlight the challenges involved when estimating causal effects. Each of the four datasets is generated based on a distinct causal mechanism: the first involves a collider, the second involves a confounder, the third involves a mediator, and the…

Recently, creativity has been acknowledged for its importance in improving computer science learning and attitudes. However, very little is known about how to integrate creativity in preservice teacher computing education. Toward this end, we developed a creativity-enhancement intervention in an online Creative Computing instructional module to…

Meta-analysis is a useful tool in clinical research, as it combines the results of multiple clinical studies to improve precision when answering a particular scientific question. While there has been a substantial increase in publications using meta-analysis in various clinical research topics, the number of published meta-analyses in metabolomics…

As traditionally conceived, publication bias arises from selection operating on a collection of individually unbiased estimates. A canonical form of such selection across studies (SAS) is the preferential publication of affirmative studies (i.e., those with significant, positive estimates) versus nonaffirmative studies (i.e., those with…

Concurrency is often perceived as difficult by students. One reason for this may be due to the fact that abstractions used in concurrent programs leave more situations undefined compared to sequential programs (e.g., in what order statements are executed), which makes it harder to create a proper mental model of the execution environment. Students…

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…