PRIMARY OBJECTIVE The purpose was to evaluate a new self-reporting scale for assessment of mental fatigue and its usefulness in describing mental fatigue after neurological diseases and injuries. Mental fatigue is suggested to comprise a spectrum of items including sensory, emotional and cognitive symptoms. METHODS AND PROCEDURES Mental fatigue and related symptoms were measured with a self-a...

OBJECTIVE This pilot study examines the potential utility of the Perception of Interprofessional Collaboration Model and the shared decision-making scales in evaluating the quality of partnership in child mental health collaborative care. METHODS Ninety-six primary care professionals working with children and youth responded to an internet survey which included the Perception of Interprofessi...

Bounded model-checking is a technique for finding bugs in very large designs. Bounded model-checking by itself is incomplete: it can find bugs, but it cannot prove that a system satisfies a specification. A dynamic completeness criterion can allow bounded model-checking to prove properties. A dynamic completeness criterion typically searches for a “beginning” of a bug or bad behavior; if no suc...

We consider the problem of partitioning a graph G = (V; E) into two sets V 1 and V 2 such that jV 1 \ V 2 j is no more than an integer d, and such that P u2V 1 ?V 2 ;v2V 2 ?V 1 (u; v) is minimized. We show that this problem is NP-hard in general. It remains NP-hard if jV 1 j = jV 2 j, or if we insist that, for any bipartition, v 1 2 V 1 and v 2 2 V 2 for two speciic nodes v 1 ; v 2 2 V. The pro...

The study of situated systems that are capable of reactive and goal-directed behaviour has received increased attention in recent years. One approach to the design of such systems is based upon agent-oriented architectures, in which the system is viewed as a rational agent having certain mental attitudes. The description of these mental attitudes has led to the development of expressive, but co...