Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design and validation activities. This paper shows how the B formal technique can be used for user tasks modelling and validation. A trace based semantics is used to describe either the HCI or the user tasks. Each task is modell...

representations were depictions of selftracking data where the relationship between the data and its representation were not obvious to the viewer. As illustrated in the findings, these representations took inspiration from the visual arts. They were forms of self-expression, as illustrated in Tomasz’ visualisation of skateboarding. Furthermore, these representations were made deliberately ambi...

The mid 20 century witnessed some serious attempts in studies of play and games with an emphasis on their importance within culture. Most prominently, Johan Huizinga (1944) maintained in his book Homo Ludens that the earliest stage of culture is in the form of play and that culture proceeds in the shape and the mood of play. He also claimed that some elements of play crystallised as knowledge s...

Citation for published version (APA): Woods, M., Maxwell, D., Makri, S., Bental, D., Kefalidou, G., & Sharples, S. (2012). Designing a semantic sketchbook to create opportunities for serendipity. In BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers. (pp. 357-362). (Electronic Workshops in Computing (eWiC)). Swinton: British Computer S...

We compare two gesture sets for interactive surfaces—a set of gestures created by an end-user elicitation method and a set of gestures authored by three HCI researchers. Twenty-two participants who were blind to the gestures’ authorship evaluated 81 gestures presented and performed on a Microsoft Surface. Our findings indicate that participants preferred gestures authored by larger groups of pe...

Finite-bandwidth effects on the temperature dependence of the mobility of injected carriers in pure organic crystals are explored for a simplifed case of impurity scattering. Temperature-dependent bandwidth effects are discussed briefly through a simplified combination of band and polaronic concepts.

Null-hypothesis statistical testing has been seriously criticised in other domains, to the extent of some advocating a complete ban on publishing p-values. This short position paper aims to introduce the argument to the mobile-HCI research community, who make extensive use of the controversial testing methods.

This topic introduces the concept of Hot Swapping DC power buses and why hotswapping has become a mainstream requirement, particularly in the telecommunications industry. Several methods of implementing hot swap will be provided along with the pros and cons of each method. Finally, a hot swap design utilizing a Hot Swap Power Manager will be presented for a typical -48V telecom

Musical instruments keep hobbyist musicians highly engaged for years. In this theoretical paper, we discuss qualities of musical instruments affording this long-term engagement, in the hopes that HCI developers will begin to design interfaces with these qualities. This will result in interfaces that users find more engaging in the long term. Such interfaces would be useful in many applications,...