Today’s software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security and trustworthiness are crucial aspects for the correctness of these systems. Behavioural types, which extend data types by describing also the structured behaviour of programs, are a widely studied approach to the enf...

BACKGROUND Despite current interest in attachment disorder, there is concern about its discrimination from other disorders and an unproven assumption of an environmental aetiology. AIMS To test whether behaviours suggestive of attachment disorder are distinct from other childhood behavioural and emotional problems and are solely environmentally determined. METHOD In a community sample of 13...

user financial incentives (ufis) have emerged as a powerful tool for health promotion. strong evidence suggests that large enough incentives paid to individuals, conditional on behaviour they can control, encourages more of the desired behaviour. however, such interventions can have unintended consequences for non-targeted behaviours. implementation difficulties that result in individuals not u...

background and aim: the aim of this article was to critically discuss the clinical application of a cognitive behaviour therapy (cbt) protocol for the treatment of hyperacusis and its asso­ciated distress. methods: narrative review recent findings: reviewing the research lit­erature suggests that hyperacusis, anxiety and safety seeking behaviours may be linked. therefore, it seems reasonable to...

This article concerns two important problems with the statistical analysis of behavioural latency measures: they typically have severely skewed distributions, and are often censored (truncated). These problems, however, were not generally recognised by animal behaviour researchers: most people either allot an arbitrary score to all censored values or simply ignore them. Yet, such treatments cou...

Behavioural analysis of criminal law exploits social science methodologies (behavioural economics, psychology and even sociology) to explore the effects of criminal law norms on criminals, judges, juries and other decision-makers, to determine the optimal type and size of criminal sanctions, to identify the optimal design of the enforcement system and the rules of evidence. Behavioural analysis...

Reactive behavioural models are well known to support the problem-oriented development of embedded systems. Rigorous modelling tools allow developers to verify models automatically and to generate executable code for system implementations. Moreover, as we will show, the expressive power of rigorous modelling notations can be exploited further by supporting automated views of implicit model pro...

Process compliance measurement is getting increasing attention in companies due to stricter legal requirements and market pressure for operational excellence. In order to judge on compliance of the business processing, the degree of behavioural deviation of a case, i.e., an observed execution sequence, is quantified with respect to a process model (referred to as fitness, or recall). Recently, ...

This paper reviews the characteristics of clinical perfectionism and proposes a new definition of the phenomenon. It is suggested that the defining feature of clinically significant perfectionism is the overdependence of self-evaluation on the determined pursuit (and achievement) of self-imposed personally demanding standards of performance in at least one salient domain, despite the occurrence...

BACKGROUND Depression is a common, disabling condition for which psychological treatments, in particular cognitive behavioural therapies are recommended. Promising results in recent randomized trials have renewed interest in behavioural therapy. This systematic review sought to identify all randomized trials of behavioural therapy for depression, determine the effect of such interventions and e...