We present a new threat based search algorithm that outperforms other threat based search algorithms and selective knowledge-based for open life and death problem solving in the game of Go. It generalizes the Iterative Widening algorithm which consists in iteratively increasing the threat searched at the root. The main idea of Generalized Widening is to perform Iterative Widening at all max nod...

We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither plain Sharing nor its non-redundant (but equivalent) abstraction scale well to real programs, we consider the domain proposed by C. Fecht [11, 12]. This domain consists of a combination of Pos with a quite weak abstraction of Sharing. While verifying that this domain ...

Although spontaneous thrombosis of a giant intracranial aneurysm is relatively common, occlusion of its parent artery is rare. We describe two recent patients in whom the parent artery spontaneously occluded. One patient had severe stenosis of the left internal carotid artery, with delayed appearance of a faint shadow of vascular widening near the posterior clinoid process. One month later, com...

Although spontaneous thrombosis of a giant intracranial aneurysm is relatively common, occlusion of its parent artery is rare. We describe two recent patients in whom the parent artery spontaneously occluded. One patient had severe stenosis of the left internal carotid artery, with delayed appearance of a faint shadow of vascular widening near the posterior clinoid process. One month later, com...

INTRODUCTION Not only repolarization, but also depolarization ECG indexes reflect the progression of ischemic injury. The aim was to assess the QRS duration and morphology dynamics during the prolonged coronary occlusion and their association with the myocardial area at risk (MaR) and final infarct size (IS). METHODS In pigs, myocardial infarction was induced by inflation of an angioplasty ba...

We present lookahead widening, a novel technique for using existing widening and narrowing operators to improve the precision of static analysis. This technique is both self-contained and fully-automatic in the sense that it does not rely on separate analyzes or human involvement. We show how to integrate lookahead widening into existing analyzers with minimal effort. Experimental results indic...

background: tricyclic antidepressants (tcas) poisoning is the most common poisoning in the poisoning emergency department of noor hospital, isfahan, iran. the objective of this study was to compare qrs interval duration with ravr³3mm and r/savr³ 0.7 in predicting: serious complications of acute tca toxicity. methods and materials: this study was descriptive – analytic and prospective cohort. tc...

We propose a method to gradually expand the moves to consider at the nodes of game search trees. The algorithm begins with an iterative deepening search using the minimal set of moves, and if the search does not succeed, iteratively widens the set of possible moves, performing a complete iterative deepening search after each widening. When designing carefully the different sets of possible move...

Simultaneous ischemia in two myocardial regions is a potentially lethal clinical condition often unrecognized whose corresponding electrocardiographic (ECG) patterns have not yet been characterized. Thus, this study aimed to determine the QRS complex and ST-segment changes induced by concurrent ischemia in different myocardial regions elicited by combined double occlusion of the three main coro...