MPI-I/O is a part of the MPI-2 specification defining file I/O operations for parallel MPI applications. Compared to regular POSIX style I/O functions, MPI I/O offers features ...
Abstract. We propose a novel model-based approach to activity recognition using high-level primitives that are derived from a human body model estimated from sensor data. Using sho...
The present study is focused on usability issues related to laparoscopy, emphasizing the surgeon’s overall satisfaction with the mediated perception of reality. We were particul...
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...
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...