Model checking is an established technique for automatically verifying that a model satisfies given temporal property. When the violates property, checker returns counterexample, which sequence of actions leading to state where property not satisfied. Understanding this counterexample debugging specification complicated task several reasons: (i) can contain large number actions, (ii) mostly ach...

Applications of a constitutive framework providing compound complexity analysis and indexing of coarse-grained self-similar time series representing behavioural data are presented. A notion of behavioural entropy and hysteresis is introduced as two different forms of compound measures. These measures provide clinically applicable complexity analysis of behavioural patterns yielding scalar chara...

Behavioural analysis is set up in a hierarchical way, starting with the primary screen. The behavioural primary screen consists of the modified hole board test, which was specifically developed for effective high-throughput behavioural analysis of lab rodents (2), and offers a comprehensive first overview on locomotor, exploratory, emotional and social behaviour as well as object recognition me...

To the Editor: The incidence of unilateral spatial neglect (USN) has been described in up to 30%270% after an injury to the right hemisphere. USN is one of the strongest predictors of poor functional recovery, which can lead to more prolonged hospitalization and disrupt rehabilitation and recovery of functional disabilities after stroke, thus limiting independence. However, USN is not usually a...