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.

The UNSW node of the Hot Carrier Solar Cell project is investigating absorbers which slow the rate of carrier cooling an essential element of a successful cell. It has also further developed the work on energy selective contacts for Hot Carrier cells. This work includes modelling the limiting efficiencies of cells using real material properties and modelling the phonon dispersions of ordered ar...

We present the results of our time-resolved measurements of hot-carrier luminescence from passively quenched Geiger-mode avalanche photodiodes. In time-correlated photon-counting (TCPC) experiments, hot-carrier luminescence interferes overwhelmingly with the coincidence spectrum, which results in artifacts. This potential problem should be taken into account in setting up TCPC experiments.