This report describes a modelling framework that is to be used in the AIDA decentralisation tool-set for design and early analysis of control system implementations in distributed computer architectures. The modelling framework includes three basic groups of models: application, computer system and mechanics. Each model group is divided into three modelling levels: the structural, the behaviour...

This paper describes the method used in the design of a 26 million transistors chip at BULL to verify the timing performance using the hierarchical timing analysis tool HiTas as well as the interactive path browser Xtas. Those tools have been designed at UPMC and are now commercialized by AVERTEC. The complexity is handled by partitioning the analysis according to the hierarchical partitioning ...

We discuss the di erent ways of de ning channel capacity for certain types of illicit communication channels. We also correct some errors from the literature, o er new proofs of some historical results, and give bounds for channel capacity. Special function techniques are employed to express the results in closed form. We conclude with examples.

the purpose of this study was the effect of time of training and first night of sleep on implicit (accuracy) and motor (timing) components of timed motor sequences task (tmst) enhancement. forty-eight right-handed students (19-25 years old), who have had adequate sleep quality, were divided into three equal groups according to purdue hand and fingers' fine motor skills test and simple reac...

We report on the functional and timing relations between head movements and the overlapping verbal-vocal feedback expressions. We investigate the effect of a distraction task on head gesture behaviour and the co-occurring verbal feedback. The results show that head movements overlapping with verbal expressions in a distraction task differ in terms of several features from a default, non-perturb...

We study the effect of intrinsic heterogeneity on the activity of a population of leaky integrateand-fire neurons. By rescaling the dynamical equation, we derive mathematical relations between multiple neuronal parameters and a fluctuating input noise. To this end, common input to heterogeneous neurons is conceived as an identical noise with neuron-specific mean and variance. As a consequence, ...

Most of the Latin America countries which have introduced market-friendly economic reforms during the course of the last two decades have also suffered serious increases in inequality; the systematic timing coincidence of the two events suggests that the reforms have been one of the causes of the worsening distribution. That major increases in inequality have occurred in many Latin American cou...

We introduce the Generative Template of Features (GTF), a parts-based model for visual object category detection. The GTF consists of a number of parts, and for each part there is a corresponding spatial location distribution and a distribution over ‘visual words’ (clusters of invariant features). The performance of the GTF is evaluated for object localisation, and it is shown that such a relat...