Using a realistic model of activity dependent dynamical synapse, which includes both depressing and facilitating mechanisms, we study the conditions in which a postsynaptic neuron...
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Recommender Systems, based on collaborative filtering (CF), aim to accurately predict user tastes, by minimising the mean error achieved on hidden test sets of user ratings, afte...
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
In this paper, we propose micro-climate sensing as an effective means of enhancing conventional RF-based localization. Our system targets people tracking applications in dynamic i...