A Comparison of BDD-Based Parity Game Solvers

Parity games are two player games with omega-winning conditions, played on finite graphs. Such games play an important role in verification, satisfiability and synthesis. It is therefore important to identify algorithms that can efficiently deal with large games that arise from such applications. In this paper, we describe our experiments with BDD-based implementations of four parity game solving algorithms, viz. Zielonka's recursive algorithm, the more recent Priority Promotion algorithm, the Fixpoint-Iteration algorithm and the automata based APT algorithm. We compare their performance on several types of random games and on a number of cases taken from the Keiren benchmark set.Comment: In Proceedings GandALF 2018, arXiv:1809.0241

Aspects of competence-based education as footholds to improve the connectivity between learning in school and in the workplace

Recent developments in competence-based education have motivated institutions of vocational education and training (VET) to improve the links or connectivity between learning in school and learning in the workplace, which has been a problem for decades. In previous research, a theoretical framework describing the underlying aspects of competence-based education was developed. In this study, three aspects of this framework were used to analyse connectivity between learning in school and learning in the workplace. These aspects were: i) authenticity, ii) selfresponsibility, and iii) the role of the teacher as expert and coach. Three stakeholder groups (i.e., students, teachers, and workplace training supervisors) involved in secondary VET programs in the field of life sciences in the Netherlands were questioned on these aspects. Based on their interviews, it is concluded that these aspects provide information about the process of connectivity. Because stakeholder groups hold different conceptions of workplace learning and often do not communicate adequately about mutual responsibilities, the implementation of these aspects of competence-based education has not significantly improved the connectivity situation. Nevertheless, these aspects of competence-based education can guide stakeholder groups in making clearer agreements about mutual responsibilities, which may improve connectivity in the futur

Persistence, spatial distribution and implications for progression detection of blind parts of the visual field in glaucoma: A clinical cohort study

Background: Visual field testing is an essential part of glaucoma care. It is hampered by variability related to the disease itself, response errors and fatigue. In glaucoma, blind parts of the visual field contribute to the diagnosis but - once established - not to progression detection; they only increase testing time. The aims of this study were to describe the persistence and spatial distribution of blind test locations in standard automated perimetry in glaucoma and to explore how the omission of presumed blind test locations would affect progression detection. Methodology/Principal Findings: Data from 221 eyes of 221 patients from a cohort study with the Humphrey Field Analyzer with 30-2 grid were used. Patients were stratified according to baseline mean deviation (MD) in six strata of 5 dB width each. For one, two, three and four consecutive 0.1 for all strata). Omitting test locations with three consecutive <0 dB sensitivities at baseline did not affect the performance of the MD-based Nonparametric Progression Analysis progression detection algorithm. Conclusions/Significance: Test locations that have been shown to be reproducibly blind tend to display a reasonable blindness persistence and do no longer contribute to progression detection. There is no clinically useful universal MD cut-off value beyond which testing can be limited to 10 degree eccentricity