A problem that often arises in using abstraction is the generation of abstract states, called spurious states, that are—in the abstract space—reachable from some abstract image of a state s, but which have no corre-image of a state s, but which have no corresponding state in the original space reachable from s. Spurious states can have a negative effect on pattern database sizes and heuristic q...

A problem that often arises in using abstraction is the generation of abstract states, called spurious states, that are—in the abstract space—reachable from some abstract image of a state s, but which have no corresponding state in the original space reachable from s. Spurious states can have a negative effect on pattern database sizes and heuristic quality. We formally define a property—the do...

hyperleukocytosis is an oncological emergency but is extremely rare in non-malignant conditions. nucleated rbcs give rise to spuriously high total leucocyte count and cause clinical dilemma. thalassemia major patients are known to have leucocytosis even after correction for nucleated rbcs. we report a case of undiagnosed thalassemia major in a 4 month old infant with total leucocyte count highe...

In the numerical solution of initial value ordinary differential equations, to what extent does local error control confer global properties? This work concentrates on global steady states or fixed points. It is shown that, for systems of equations, spurious fixed points generally cease to exist when local error control is used. For scalar problems, on the other hand, locally adaptive algorithm...

Abstraction is a powerful technique for speeding up planning and search. A problem that can arise in using abstraction is the generation of abstract states, called spurious states, from which the goal state is reachable in the abstract space but for which there is no corresponding state in the original space from which the goal state can be reached. Spurious states can be harmful, in practice, ...

Hyperleukocytosis is an oncological emergency but is extremely rare in non-malignant conditions. Nucleated RBCs give rise to spuriously high total leucocyte count and cause clinical dilemma. Thalassemia major patients are known to have leucocytosis even after correction for nucleated RBCs. We report a case of undiagnosed Thalassemia major in a 4 month old infant with total leucocyte count highe...