We present a simple framework for classifying mutually exclusive behavioural states within the geospatial lifelines of animals. This method involves use of three sequentially applied statistical procedures: (1) behavioural change point analysis to partition movement trajectories into discrete bouts of same-state behaviours, based on abrupt changes in the spatio-temporal autocorrelation structur...

The growing number of computer viruses and the detection of zero day malware have been the concern for security researchers for a large period of time. Existing antivirus products (AVs) rely on detecting virus signatures which do not provide a full solution to the problems associated with these viruses. The use of logic formulae to model the behaviour of viruses is one of the most encouraging r...

We present an analysis of the behaviour of an IC Linux driver, by means of model checking with the mCRL2 toolset and static analysis with UNO. We have reverse engineered the source code to obtain the structure and interactions of the driver. Based on these results, we have semi-automatically created an mCRL2 model of the behaviour of the driver, on which we have checked mutual exclusion propert...

Explicit behavioural protocols are now accepted as a mandatory feature of components to address architectural analysis. Behavioural protocol languages must be able to deal with data types and with rich communication means. Symbolic Transition Systems are an adequate component model which takes into account dynamic aspects and data types. However, verification of components described with STS pr...

OBJECTIVE To verify the sensitivity of the conventional subtests of the Behavioral Inattention Test (BIT) in the diagnosis of hemineglect after stroke. METHOD One hundred and two patients with cerebral infarct or hemorrhage were prospectively evaluated. In 22, hemineglect was diagnosed using standard BIT criteria. The frequency of hemineglect using 6 commonly used screening subtests of this b...

Petri net systems have been successfully applied for modelling business processes and analysing their behavioural properties. In this domain, analysis techniques that are grounded on behavioural relations defined between pairs of transitions emerged recently. However, different use cases motivated different definitions of behavioural relation sets. This paper focusses on two prominent examples,...

OBJECTIVE To determine whether visual evoked magnetic fields (VEFs) elicited by right and left hemifield stimulation differ in patients with unilateral spatial neglect (USN) that results from cerebrovascular accident. METHODS Pattern-reversal stimulation of the right and left hemifield was performed in three patients with left USN. Magnetoencephalography (MEG) was recorded using a 160-channel...

Mistakenly-tagged low prices are harmful to online merchants but difficult to avoid completely, thus it is meaningful to track shoppers' abnormal response to them and develop resolutions accordingly. In light of relevant issues received rare attention from both practitioners and researchers, this work aimed to identify shoppers’ typical behavioural reactions to ultra-low prices at Internet merc...

We develop foundations for structuring behavioural specifications based on the logic tradition of hidden algebra. This includes an analysis of a number of important technical compositional properties for behavioural signatures, such as pushouts, inclusions and unions, as well as an investigation of algebraic rules for behavioural module composition. As a particularity of behavioural specificati...

The limited success to date, by the public health community, to address the dramatic rise in non-communicable diseases (NCDs) has prompted growing attention to the commercial determinants of health. This has led to a much needed shift in attention, from metabolic and behavioural risk factors, to the production and consumption of health-harming products by the commercial...