Background & Objective: FLT3-ITD mutation detection has been an integral part of diagnostic work ups focused on acute myeloid leukemia. However, some studies have indicated that the mutation is unstable during the various stages of the disease. The purpose of this study was to evaluate the stability of this marker in paired diagnosis-relapse samples using Delta-PCR method. Materials & Methods:...

We develop a doubly exponential decision procedure for the satisfiability problem of guarded separation logic —a novel fragment featuring user-supplied inductive predicates, Boolean connectives, and separating including restricted (guarded) versions negation, magic wand, septraction. Moreover, we show that dropping guards any preceding connectives leads to an undecidable fragment. further apply...

In the Fragment on Evil, Hume announces that he ‘shall not employ any rhetoric in a philosophical argument, where reason alone ought to be hearkened to’. To rhetorical strategy, context of Fragment, just is ‘enumerate all evils, incident human life, and display them, with eloquence, their proper colours’. However, Part 11 Dialogues Concerning Natural Religion, employs precisely this strategy. I...