HELIN Data Analytics Task Force Final Report

The main task undertaken by the HELIN Data Analytics Task Force was to conduct a proof-of-concept usability test of HELIN OneSearch, which is the Consortium’s brand name for the Encore Duet discovery service. After the initial meeting in November 2014, the Task Force met 6 times in 2015 to plan and execute a prototype test. Staff members from EBSCO Information Services’ User Research group acted as usability test advisers and coordinators and attended all meetings, either onsite or via WebEx. Task Force members collaborated to come up with specific scenarios and personas which would best emphasize patron likes, dislikes and general understanding of OneSearch. Using a small sample of volunteer student test subjects from 3 different HELIN institutions, testing took place in mid-April. The results were analyzed by EBSCO and presented at the final meeting of the Task Force on April 28. Based on this limited testing, general findings were as follows: Students who don’t receive prior information instruction are generally not aware of OneSearch. Students who do know about OneSearch do not necessarily understand the difference between OneSearch and the HELIN Catalog. Most students still continue to do their research by searching database lists, LibGuides, the Journal A to Z list, and the HELIN catalog (although not necessarily in that order). When features and operation of OneSearch are explained to students, they recognize its usefulness (especially facets, which many referred to as “filters”). Lack of clarity on how to get directly to full text items causes frustration. A larger and more comprehensive usability test would be needed to draw out more specific conclusions. Secondary tasks undertaken by the Task Force included trials and reviews of 5 data analysis tools, as well as a review of EBSCO User Research, which is quantitative data on the use of OneSearch available directly from EBSCO. The remainder of this document is a detailed account of the proceedings of the HELIN Data Analytics Task Force

Type-Directed Program Transformations for the Working Functional Programmer

We present preliminary research on Deuce+, a set of tools integrating plain text editing with structural manipulation that brings the power of expressive and extensible type-directed program transformations to everyday, working programmers without a background in computer science or mathematical theory. Deuce+ comprises three components: (i) a novel set of type-directed program transformations, (ii) support for syntax constraints for specifying "code style sheets" as a means of flexibly ensuring the consistency of both the concrete and abstract syntax of the output of program transformations, and (iii) a domain-specific language for specifying program transformations that can operate at a high level on the abstract (and/or concrete) syntax tree of a program and interface with syntax constraints to expose end-user options and alleviate tedious and potentially mutually inconsistent style choices. Currently, Deuce+ is in the design phase of development, and discovering the right usability choices for the system is of the highest priority

Usability testing in a library web site redesign project

An intuitive library information gateway is critical to meeting the information needs of library users in the digital age. This article describes the process involved in redesigning a library Web site. In addition to first determining the goals and requirements for the library Web site, a user and task analysis was conducted for defining the library\u27s user base and types of tasks which users might be performing at the site. Usability testing methods, such as observational interviews, provided fresh insights about how users are interacting with the library Web interface as they approach various information seeking tasks. These usability studies uncovered problems related to unclear terminology, proper use of color, size and location of navigational links, and the need for context sensitive help, built-in redundancy, and clear and consistent navigation

Usability evaluation of a virtual museum interface

The Augmented Representation of Cultural Objects (ARCO) system provides software and interface tools to museum curators to develop virtual museum exhibitions, as well as a virtual environment for museum visitors over the World Wide Web or in informative kiosks. The main purpose of the system is to offer an enhanced educative and entertaining experience to virtual museum visitors. In order to assess the usability of the system, two approaches have been employed: a questionnaire based survey and a Cognitive Walkthrough session. Both approaches employed expert evaluators, such as domain experts and usability experts. The result of this study shows a fair performance of the followed approach, as regards the consumed time, financial and other resources, as a great deal of usability problems has been uncovered and many aspects of the system have been investigated. The knowledge gathered aims at creating a conceptual framework for diagnose usability problems in systems in the area of Virtual Cultural Heritage

User-friendly Support for Common Concepts in a Lightweight Verifier

Machine verification of formal arguments can only increase our confidence in the correctness of those arguments, but the costs of employing machine verification still outweigh the benefits for some common kinds of formal reasoning activities. As a result, usability is becoming increasingly important in the design of formal verification tools. We describe the "aartifact" lightweight verification system, designed for processing formal arguments involving basic, ubiquitous mathematical concepts. The system is a prototype for investigating potential techniques for improving the usability of formal verification systems. It leverages techniques drawn both from existing work and from our own efforts. In addition to a parser for a familiar concrete syntax and a mechanism for automated syntax lookup, the system integrates (1) a basic logical inference algorithm, (2) a database of propositions governing common mathematical concepts, and (3) a data structure that computes congruence closures of expressions involving relations found in this database. Together, these components allow the system to better accommodate the expectations of users interested in verifying formal arguments involving algebraic and logical manipulations of numbers, sets, vectors, and related operators and predicates. We demonstrate the reasonable performance of this system on typical formal arguments and briefly discuss how the system's design contributed to its usability in two case studies

Exploiting the potential of large databases of electronic health records for research using rapid search algorithms and an intuitive query interface.

Objective: UK primary care databases, which contain diagnostic, demographic and prescribing information for millions of patients geographically representative of the UK, represent a significant resource for health services and clinical research. They can be used to identify patients with a specified disease or condition (phenotyping) and to investigate patterns of diagnosis and symptoms. Currently, extracting such information manually is time-consuming and requires considerable expertise. In order to exploit more fully the potential of these large and complex databases, our interdisciplinary team developed generic methods allowing access to different types of user. Materials and methods: Using the Clinical Practice Research Datalink database, we have developed an online user-focused system (TrialViz), which enables users interactively to select suitable medical general practices based on two criteria: suitability of the patient base for the intended study (phenotyping) and measures of data quality. Results: An end-to-end system, underpinned by an innovative search algorithm, allows the user to extract information in near real-time via an intuitive query interface and to explore this information using interactive visualization tools. A usability evaluation of this system produced positive results. Discussion: We present the challenges and results in the development of TrialViz and our plans for its extension for wider applications of clinical research. Conclusions: Our fast search algorithms and simple query algorithms represent a significant advance for users of clinical research databases

Adaptive development and maintenance of user-centric software systems

A software system cannot be developed without considering the various facets of its environment. Stakeholders – including the users that play a central role – have their needs, expectations, and perceptions of a system. Organisational and technical aspects of the environment are constantly changing. The ability to adapt a software system and its requirements to its environment throughout its full lifecycle is of paramount importance in a constantly changing environment. The continuous involvement of users is as important as the constant evaluation of the system and the observation of evolving environments. We present a methodology for adaptive software systems development and maintenance. We draw upon a diverse range of accepted methods including participatory design, software architecture, and evolutionary design. Our focus is on user-centred software systems

Survey of Web Developers in Academic Libraries

A survey was sent to library web designers from randomly selected institutions to determine the background, tools, and methods used by those designers. Results, grouped by Carnegie Classification type, indicated that larger schools were not necessarily working with more resources or more advanced levels of technology than other institutions