Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
Understanding rework, the causes of rework, and the relationship between issues, decisions and the associated actions, is crucial in minimizing the fundamental industrial problems ...
Caroline Chibelushi, Bernadette Sharp, Andy Salter
Although one of the fundamental goals of AI is to understand and develop intelligent systems that have all of the capabilities of humans, there is little active research directly ...
Widespread access to the Internet has led to the formation of geographically dispersed scientific communities collaborating through the network. The tools supporting such collabor...
Energy feedback systems, particularly residential energy feedback systems (REFS), have emerged as a key area for HCI and interaction design. However, we argue that HCI researchers...
James Pierce, Chloe Fan, Derek Lomas, Gabriela Mar...