As countries move toward malaria elimination, imported infections become increasingly significant as they often represent the majority of cases, can sustain transmission, cause resurgences, and lead to mortality. Here we review and critique current methods to prevent malaria importation in countries pursuing elimination and explore methods applied in other transmission settings and to other dis...

An infectious disease will be eradicated only if it is eliminated everywhere, including in the hardest-to-reach, most vaccine-wary communities. If eradication is successful, it promises a dividend in the form of avoided infections and vaccinations. However, success is never certain unless and until eradication is achieved, and claiming the dividend means bearing the possibly great risk of re-em...

The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and Disproof-number Search (PDS), and at the second level a best-first PN search. First, we thoroughly investigate four established algorithms in the domain of LOA endgame positions: PN, PN, PDS and αβ search. It turns out that PN a...

twentieth century french theatre has strongly been affected by world wars i and ii, obviously resulting in a change of existing dramatic principles. samuel beckett well known innovator in the field of the avant-garde, probed the theatre with a naked form and far from conventional regulations and dramatic arrangements. beckett's theatre is known as the beginning of the new method in writing...

breakthrough is a recent race based board game usually played on size 8 8. We describe a method to solve 6 5 boards based on race patterns and an extension of Job-Level Proof Number Search (JLPNS). Race patterns is a new domain speci c technique that allows early endgame detection. The patterns we use enable positions as far as 7 moves from the end to be safely and statically pruned. We also pr...

This article has three chief aims: (1) To show the wide utility of multilinear algebraic formalism for high-performance computing. (2) To describe an application of this formalism in the analysis of chess endgames, and results obtained thereby that would have been impossible to compute using earlier techniques, including a win requiring a record 243 moves. (3) To contribute to the study of the ...

The fact that the strong side cannot enforce a win in KNNK makes many chess players (both humans and computers) prematurely regard KNNKB and KNNKN to be trivially drawn too. This is not true, however, because there are several tricky mate themes in KNNKB and KNNKN which occur more frequently and require more complicated handling than common wisdom thinks. The text analyzes the mate themes and d...