Aanvoerder, kiezen of delen?

Praktisch handboekje naar aanleiding van onderzoek naar leiderschap onder aanvoerders van voetbalteams. Wat is een goede aanvoerder? En wie kies je als aanvoerder? Dit boekje is een eerste stap naar beter leiderschap binnen sportteams

Applying SMT Solvers to the Test Template Framework

The Test Template Framework (TTF) is a model-based testing method for the Z notation. In the TTF, test cases are generated from test specifications, which are predicates written in Z. In turn, the Z notation is based on first-order logic with equality and Zermelo-Fraenkel set theory. In this way, a test case is a witness satisfying a formula in that theory. Satisfiability Modulo Theory (SMT) solvers are software tools that decide the satisfiability of arbitrary formulas in a large number of built-in logical theories and their combination. In this paper, we present the first results of applying two SMT solvers, Yices and CVC3, as the engines to find test cases from TTF's test specifications. In doing so, shallow embeddings of a significant portion of the Z notation into the input languages of Yices and CVC3 are provided, given that they do not directly support Zermelo-Fraenkel set theory as defined in Z. Finally, the results of applying these embeddings to a number of test specifications of eight cases studies are analysed.Comment: In Proceedings MBT 2012, arXiv:1202.582

Exploring discordance between Health Literacy Questionnaire scores of people with RMDs and assessment by treating health professionals

OBJECTIVES: We studied discordance between health literacy of people with rheumatic and musculoskeletal diseases (RMDs) and assessment of health literacy by their treating health professionals, and explored whether discordance is associated with the patients' socioeconomic background. METHODS: Patients with rheumatoid arthritis (RA), spondyloarthritis (SpA), or gout from three Dutch outpatient rheumatology clinics completed the nine-domain Health Literacy Questionnaire (HLQ). Treating health professionals assessed their patients on each HLQ domain. Discordance per domain was defined as a ≥ 2-point difference on a 0-10 scale (except if both scores were below three or above seven), leading to three categories: "negative discordance" (i.e. professional scored lower), "probably the same", or "positive discordance" (i.e. professional scored higher). We used multivariable multilevel multinomial regression models with patients clustered by health professionals to test associations with socioeconomic factors (age, gender, education level, migration background, employment, disability for work, living alone). RESULTS: We observed considerable discordance (21-40% of patients) across HLQ domains. Most discordance occurred for "Critically appraising information" (40.5%, domain 5). Comparatively, positive discordance occurred more frequently. Negative discordance was more frequently and strongly associated with socioeconomic factors, specifically lower education level and non-Western migration background (for five HLQ domains). Associations between socioeconomic factors and positive discordance were less consistent. CONCLUSION: Frequent discordance between patients' scores and professionals' estimations indicates there may be hidden challenges in communication and care, which differ between socioeconomic groups. Successfully addressing patients' health literacy needs cannot solely depend on health professionals' estimations but will require measurement and dialogue

The role of the locus coeruleus in mediating the attentional blink: A neurocomputational theory.

The attentional blink refers to the transient impairment in perceiving the 2nd of 2 targets presented in close temporal proximity. In this article, the authors propose a neurobiological mechanism for this effect. The authors extend a recently developed computational model of the potentiating influence of the locus coeruleus-norepinephrine system on information processing and hypothesize that a refractoriness in the function of this system may account for the attentional blink. The model accurately simulates the time course of the attentional blink, including Lag 1 sparing. The theory also offers an account of the close relationship of the attentional blink to the electrophysiological P3 component. The authors report results from two behavioral experiments that support a critical prediction of their theory regarding the time course of Lag 1 sparing. Finally, the relationship between the authors' neurocomputational theory and existing cognitive theories of the attentional blink is discussed. Copyright 2005 by the American Psychological Association

Top-down control is not lost in the attentional blink: evidence from intact endogenous cuing.

The attentional blink (AB) refers to the finding that performance on the second of two targets (T1 and T2) is impaired when the targets are presented at a target onset asynchrony (TOA) of less than 500 ms. One account of the AB assumes that the processing load of T1 leads to a loss of top-down control over stimulus selection. The present study tested this account by examining whether an endogenous spatial cue that indicates the location of a following T2 can facilitate T2 report even when the cue and T2 occur within the time window of the AB. Results from three experiments showed that endogenous cuing had a significant effect on T2 report, both during and outside of the AB; this cuing effect was modulated by both the cue-target onset asynchrony and by cue validity, while it was invariant to the AB. These results suggest that top-down control over target selection is not lost during the AB. © 2007 Springer-Verlag