7 March 2014
We give a summary of our recent research developments on multiparty session types, and our...
You are here
Research seminaries
7 March 2014
How are interactive systems conceived, prototyped, tested and deployed? Examples of of a wide...
6 March 2014
In the past 15 years there has been a great expansion in the use of interactive technologies in...
5 March 2014
Critical physical infrastructures—the power grid, transportation systems, building environments—are...
28 February 2014
This presentation deals with the multitude of forms citizens may engaged in informal economic...
27 February 2014
This paper will examine why on the one hand museums feel it necessary to keep material 'in...
27 February 2014
Reinforced concrete beams in flexure exhibit three different collapse mechanisms by varying the...
24 February 2014
The scenario approach addresses uncertain convex optimization problems. This includes robust linear...
21 February 2014
Three years ago, researchers at Google labs extracted some 10 million images from YouTube and fed...
20 February 2014
Civil wars often involve complicated webs of alliances and rivalries with multiple actors. Examples...