In this chapter, we present an overview of some of the general themes and topics that can be seen in research into formal methods in human–computer interaction. We discuss how the contents of the rest of the book relate to these topics. In particular, we show how themes have evolved into particular branches of research and where the book contents fit with this. We also discuss the areas of rese...

This report overviews the work that was conducted on the grant NASA NAG 2-1535. Six general research thrust areas are described relating to addressing clutter effects, three dimensional displays, varying display size, comparing auditory and visual displays, using imperfect diagnostic automation, and modeling human attention and automation interaction. Each thrust area is associated with a set o...

This report describes an experiment in subject enhancement conducted at an academic research library. Subjects and contents notes were added to online catalog records for a group of previously uncirculated social science essay collections, and circulation was monitored over one academic year. A control group, plus a third group with added contents notes but no extra sub. jects, were also monito...

<span>Competence in research is an attractive feature that should be established for all practitioners because specialists with training and expertise will recognize strategic thinking, interpretation, synthesizing more easily. Hence, this study aimed to describe the knowledge competency among junior high school mathematics teachers on processes applied contents of various sections a quan...