Our first year biomedical engineering course exposes students to multiple engineering and design techniques within an overarching theme of understanding health inequity. Currently, the semester-long curriculum excludes computational methods such as Python programming and Machine Learning, which are usually not introduced until more advanced BME…

Computational thinking, programming, coding, and analytical thinking are high-demand skills in today's educational and occupational arenas (Wing, 2006 & 2014). In addition to these skills, students need the ability to think creatively, work collaboratively, and develop design solutions to complex problems to succeed in school and a…

As science teachers continue preparing for implementation of the "Next Generation Science Standards," one recommendation is to use computer programming as a promising context to efficiently integrate science and engineering. In this article, a interdisciplinary team of educational researchers and computer scientists describe how to use…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

In this article, we discuss the use of Pellerin's Four Dimension Leadership System (4-D) as a way to manage teams in a classroom setting. Over a 5-year period, we used a modified version of the 4-D model to manage teams within a senior level Software Engineering capstone course. We found that this approach for team management in a classroom…

The residue number system (RNS) has been an important research field in computer arithmetic for many decades, mainly because of its carry-free nature, which can provide high-performance computing architectures with superior delay specifications. Recently, research on RNS has found new directions that have resulted in the introduction of efficient…

This paper reports on a novel approach taken by the author to the teaching of an Internet programming course targeted at final year diploma and second year degree students. The uniqueness of engineers and their identity is discussed, as is the self-constructed world and ways of knowing in which humankind operates. The novel approach to teaching a…