Month: November 2011

Multimodal mobile interaction – making the most of our users’ capabilities by Stephen Brewster, University of Glasgow

Title: Multimodal mobile interaction – making the most of our users’ capabilities Mobile user interfaces are commonly based on techniques developed for desktop computers in the 1970s, often including buttons, sliders, windows and progress bars. These can be hard to use on the move which then limits the way we use our devices and the … Multimodal mobile interaction – making the most of our users’ capabilities by Stephen Brewster, University of Glasgow

Baby Fish Fry

Why has there been so much activity and excitement around the fish tank this week? Baby Cichlids have been spotted hiding amongst the rocks. Let’s hope they grow large enough, not be eaten, when they make a bid for freedom. Photographing the camera shy proved rather tricky. Masih finally succeeded this morning.

Proof engineering, from the Four Color to the Odd Order Theorem by Dr Georges Gonthier

Thirty five years ago computers made a dramatic debut in mathematics with the famous proof of the Four Color Theorem by Appel and Haken. Their role has been expanding recently, from computational devices to tools that can tackle deduction and proofs too complex for (most) human minds, such as the Kepler conjecture or the Classification … Proof engineering, from the Four Color to the Odd Order Theorem by Dr Georges Gonthier