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…

Effect sizes are important because they are an accessible way to indicate the practical importance of observed associations or differences. Standardized mean difference (SMD) effect sizes, such as Cohen's d, are widely used in education and the social sciences -- in part because they are relatively easy to calculate. However, SMD effect sizes…

The process of diffusion is intimately related to random molecular displacement and is central to many problems in chemistry. Here, we provide an intuitive derivation of the diffusion equation based on the analysis of the random trajectories of particles generated and plotted by simple MATLAB and Python scripts. The codes are very simple and…

The procedures of carrying out factorial invariance to validate a construct were well developed to ensure the reliability of the construct that can be used across groups for comparison and analysis, yet mainly restricted to the frequentist approach. This motivates an update to incorporate the growing Bayesian approach for carrying out the Bayesian…

In using software to write a scientific, technical, or other scholarly document, authors have essentially two options. They can either write it in a 'what you see is what you get' (WYSIWYG) editor such as a word processor, or write it in a text editor using a markup language such as HTML, LATEX, Markdown, or AsciiDoc. This paper gives an overview…

Laboratory automation and data science are valuable new skills for all chemists, but most pedagogical activities involving automation to date have focused on upper-level coursework. Herein, we describe a combined computational and experimental lab suitable for a first-year undergraduate general chemistry course, in which these topics are…

The COVID-19 pandemic has forced the Bioinformatics course to switch from on-site teaching to remote learning. This shift has prompted a change in teaching methods and laboratory activities. Students need to have a basic understanding of DNA sequences and how to analyze them using custom scripts. To facilitate learning, we have modified the course…

Teaching software engineering (SWE) as a core computer science course (ACM, 2013) is a challenging task. The challenge lies in the emphasis on what a large-scale software means, implementing teamwork, and teaching abstraction in software design while simultaneously engaging students into reasonable coding tasks. The abstraction of the system…

This article reports a workshop from the 2021 IUBMB/ASBMB Teaching Science with Big Data conference held virtually in June 2021 where participants learned to explore and visualize large quantities of protein PBD data using Jupyter notebooks and the Python programming language. This activity instructs participants using Jupyter notebooks, Python…

The automatic code generation is the process of generating source code snippets from a program, i.e., code for generating code. Its importance lies in facilitating software development, particularly important is helping in the implementation of software designs such as engineering diagrams, in such a case, automatic code generation copes with the…

One of the biggest hurdles of teaching data science and programming techniques to beginners is simply getting started with the technology. With multiple versions of the same coding language available (e.g., Python 2 and Python 3), various additional libraries and packages to install, as well as integrated development environments to navigate, the…

Structural equation models comprise a large class of popular statistical models, including factor analysis models, certain mixed models, and extensions thereof. Model estimation is complicated by the fact that we typically have multiple interdependent response variables and multiple latent variables (which may also be called random effects or…

The objective of this study is to present and discuss how data visualization can be incorporated into teaching approaches by business faculty in introductory business statistics to strengthen business students' practical skills. Data visualization lessens difficulties in learning statistics by providing opportunities to illustrate analytical…

It has become increasingly important for future business professionals to understand statistical computing methods as data science has gained widespread use in contemporary organizational decision processes in recent years. Used by scores of academics and practitioners in a variety of fields, Monte Carlo simulation is one of the most broadly…

Electronic sports (e-sports) can be defined as digital games played competitively for an audience (Hodge et al., 2017). With a global consumer base of roughly 450 million people and projected 2019 revenues of US$1.1 billion, the e-sports industry continues to grow (Pannekeet, 2019). Behind this growth is a thriving ecosystem which includes…