This paper outlines the design requirements of a GPS car navigation system for the elderly and the young by proposing a set of new guidelines for designing such systems. Our study...
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa...
At any given time, the stability of a community depends on the right balance of trust and distrust. Furthermore, we face information overload, increased uncertainty and risk takin...
We introduce a novel method for three-dimensional metamorphosis between two polyhedral objects with different topologies. The 3D objects are represented as multiple 2D images and ...
Having a better way to represent and to interact with large geological models are topics of high interest in geoscience, and especially for oil and gas companies. We present in th...