This study investigated the balance and emphasis of scientific literacy themes in Zambian high school physics course in an attempt to find out its potential of contributing to preparation of scientifically literate citizens. Results show that the national syllabus and examinations emphasized the investigative nature of science while textbooks placed most emphasis on basic knowledge of science. ...

This paper presents the use of full-context video to motivate and aid non-literate, first-time users of PCs to successfully navigate a computer application with minimal assistance. Following previous work focused on non-literate users, we observed that in spite of our subjects’ understanding of the UI mechanics, they experienced barriers beyond illiteracy in interacting with the computer: lack ...

This paper reports the results of an action-research case study that investigated the efforts undertaken by technology-literate school leaders to facilitate the implementation of a school-wide 1:1 iPad program and the subsequent influence those efforts had on teachers’ technology self-efficacy. The investigation highlights what the study’s authors have determined to be a critical component in t...

From 2013 to 2017, Hollywood actor Scarlett Johansson was the star vehicle in four unrelated science fiction films that saw her portray a posthuman female enabled by artificially intelligent technology. As such technologies become ever more ubiquitous world, so too are burgeoning discourses around posthumanism and artificial intelligence, which predominantly disseminated non-specialists through...

Both mechanical proof scripts and programs benefit from documentation and modularity. Designed to be an industrial-strength theorem prover, ACL2 provides powerful support for both of these. The standard distribution includes hundreds of pages of documentation that are automatically generated from function doc-strings in the source code. However, it is still difficult to write easily understanda...

The utility of digital over traditional imaging methods in terms of data delivery, access, and manipulation are undeniable and well recognized. Data literacy in such digital matters is well established. What is not yet developed, but slowly emerging, is an accompanying image literacy; the ability to measure, test, and visually recognize good images from bad ones, based on project requirements L...

The assurance argument that a trusted system satis es its information security requirements must be convincing, because the argument supports the accreditation decision to allow the computer to process classi ed information in an operational environment. Assurance is achieved through understanding, but some evidence that supports the assurance argument can be di cult to understand. This paper d...