Learn More
We present a tableau-based algorithm for deciding satisfiability for propositional dynamic logic (P DL) which builds a finite rooted tree with ancestor loops and passes extra information from children to parents to separate good loops from bad loops during backtracking. It is easy to implement, with potential for parallelisation, because it constructs a(More)
The Tableau Workbench (TWB) is a generic framework for building automated theorem provers for arbitrary propositional logics. The TWB has a small core that defines its general architecture, some extra machinery to specify tableau-based provers and an abstraction language for expressing tableau rules. This language allows users to " cut and paste " tableau(More)
BACKGROUND Inflammatory cells are increased in the airways of endurance athletes, but their role in causing exercise-induced respiratory symptoms and bronchoconstriction, or their possible long-term consequences, are uncertain. AIM To put the results of athlete studies in perspective, by analysing the pathogenesis of airway cell changes and their impact(More)
Because endurance exercise causes release of mediators and growth factors active on the bone marrow, we asked whether it might affect circulating hematopoietic progenitor cells (HPCs) in amateur runners [n = 16, age: 41.8 +/- 13.5 (SD) yr, training: 93.8 +/- 31.8 km/wk] compared with sedentary controls (n = 9, age: 39.4 +/- 10.2 yr). HPCs, plasma cortisol,(More)
Maintenance of component-based software platforms often has to face rapid evolution of software components. Component dependencies, conflicts, and package managers with dependency solving capabilities are the key ingredients of prevalent software maintenance technologies that have been proposed to keep software installations synchronized with evolving(More)
Component-based systems often describe context requirements in terms of explicit inter-component dependencies. Studying large instances of such systems — such as free and open source software (FOSS) distributions — in terms of declared dependencies between packages is appealing. It is however also misleading when the language to express(More)
PURPOSE To assess whether entrainment of breathing (E) during exercise: 1) differed according to the test protocol in well-trained triathletes, and 2) improved ventilatory efficiency during exercise. METHODS Eight triathletes performed three incremental tests until exhaustion: while cycling (CE), while running at increasing grade and constant speed(More)
BACKGROUND Marathon runners and elite swimmers showed increased inflammatory cells in the airways at baseline. Although airway neutrophils increase further after a marathon race, the airway response to swimming is unknown. The aim of this study was to assess the effects of swimming on airway cells. To avoid the concomitant effects of chronic exposure to(More)