22 novembre 2012
One of the most interesting features of type-theory based proof assistants is the possibility of...
Tu sei qui
Seminari di ricerca
22 novembre 2012
A Smart Grid is an electricity network that can intelligently integrate the actions of all users,...
20 novembre 2012
Network science have been focused on the properties of a single isolated network that does not...
19 novembre 2012
There is still no consensus on the causes of the increase of earnings instability in the US in the...
14 novembre 2012
We take a fresh look at strong probabilistic bisimulations for processes which exhibit both non-...
12 novembre 2012
Using a theory based gravity equation, we first show that cultural dissimilarity dampens bilateral...
7 novembre 2012
We propose a novel language construct called communicating transactions, obtained by dropping the...
5 novembre 2012
This paper investigates the institutional process that characterized political change and state...
31 ottobre 2012
The sense of tele-presence is known to be essential in vehicle tele-operation environments, where...
31 ottobre 2012
What is the source of complex dynamics in financial markets? Do markets dutifully track the course...