MPI datatypes are a convenient abstraction for manipulating complex data structures and are useful in a number of contexts. In some cases, these descriptions need to be preserved o...
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
Abstract-- Embedded software plays an increasingly important role in implementing modern embedded systems. Development of embedded software, and of Hardware-dependent Software in p...
We introduce vlogs as a type of rich human interaction which is multimodal in nature and suitable for new largescale behavioral data analysis. The automatic analysis of vlogs is u...
Abstract. In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the...