Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The technique of cube learning has been developed to help them prune satisfying assignments. Cubes, however, have not been able to achieve the same degree of effectiveness as clauses. In this paper we demonstrate how a circuit...

Objective: Prune-belly syndrome is a rare congenital disorder characterized by musculature deficiency in the abdominal wall, lower urinary tract obstruction, other urinary tract anomalies, and bilateral cryptorchidism. The syndrome is commonly associated with pulmonary, skeletal, cardiac, and gastrointestinal defects. Over 95% of patients are male. Urinary tract disease is the major prognostic ...

BACKGROUND Prune belly syndrome is a rare condition produced by an early mesodermal defect that causes abdominal abnormalities. However, the literature indicates that disturbances related to ectodermal development may also be present. This is the first case report in the literature to suggest that dental abnormalities are part of the broad spectrum of clinical features of prune belly syndrome. ...

The prune belly syndrome is a rare congenital anomaly which is characterized by the triad of an absent or a deficient development of the abdominal muscle, bilateral cryptorchidism and an anomalous urinary tract. In its full form, this condition occurs only in males. However, a similar condition occurs in females in the absence of cryptorchidism. On the other hand, the urorectal septum malformat...

The graph-theoretic operation of rooted subtree prune and regraft is increasingly being used as a tool for understanding and modelling reticulation events in evolutionary biology. In this paper, we show that computing the rooted subtree prune and regraft distance between two rooted binary phylogenetic trees on the same label set is NP-hard. This resolves a longstanding open problem. Furthermore...

Associative classification is characterized by accurate models and high model generation time. Most time is spent in extracting and post-processing a large set of irrelevant rules, which are eventually pruned. We propose I-prune, an item pruning approach that selects uninteresting items by means of an interestingness measure and prunes them as soon as they are detected. Thus, the number of extr...

The prune locus of Drosophila melanogaster lies at the tip of the X chromosome, in a region of reduced recombination in which nearby loci show reduced variation relative to evolutionary divergence from D. simulans. DNA sequencing of prune alleles from D. melanogaster and D. simulans reveals extremely low variation in D. melanogaster but greater variation in D. simulans. Divergence between the t...

Prune-and-search is an excellent algorithmic paradigm for solving various optimization problems. We provide a general scheme for prune-and-search technique and show how to implement it in space-efficient manner. We consider both the in-place and read-only model which have several advantages compared to the traditional model of computation. Our technique can be applied to a large number of probl...