Improving Formal Models and Usability: Research in IR at Glasgow University - Introduction