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