406 research outputs found

    Automatically generating streamlined constraint models with ESSENCE and CONJURE

    Get PDF
    Streamlined constraint reasoning is the addition of uninferred constraints to a constraint model to reduce the search space, while retaining at least one solution. Previously, effective streamlined models have been constructed by hand, requiring an expert to examine closely solutions to small instances of a problem class and identify regularities. We present a system that automatically generates many conjectured regularities for a given Essence specification of a problem class by examining the domains of decision variables present in the problem specification. These conjectures are evaluated independently and in conjunction with one another on a set of instances from the specified class via an automated modelling tool-chain comprising of Conjure, Savile Row and Minion. Once the system has identified effective conjectures they are used to generate streamlined models that allow instances of much larger scale to be solved. Our results demonstrate good models can be identified for problems in combinatorial design, Ramsey theory, graph theory and group theory - often resulting in order of magnitude speed-ups.Postprin

    Ramified rectilinear polygons: coordinatization by dendrons

    Full text link
    Simple rectilinear polygons (i.e. rectilinear polygons without holes or cutpoints) can be regarded as finite rectangular cell complexes coordinatized by two finite dendrons. The intrinsic l1l_1-metric is thus inherited from the product of the two finite dendrons via an isometric embedding. The rectangular cell complexes that share this same embedding property are called ramified rectilinear polygons. The links of vertices in these cell complexes may be arbitrary bipartite graphs, in contrast to simple rectilinear polygons where the links of points are either 4-cycles or paths of length at most 3. Ramified rectilinear polygons are particular instances of rectangular complexes obtained from cube-free median graphs, or equivalently simply connected rectangular complexes with triangle-free links. The underlying graphs of finite ramified rectilinear polygons can be recognized among graphs in linear time by a Lexicographic Breadth-First-Search. Whereas the symmetry of a simple rectilinear polygon is very restricted (with automorphism group being a subgroup of the dihedral group D4D_4), ramified rectilinear polygons are universal: every finite group is the automorphism group of some ramified rectilinear polygon.Comment: 27 pages, 6 figure

    Idiopathic radiographic apical root resorption in wind instrument players

    Get PDF
    Root resorption of the permanent teeth involves an elaborate interaction among inflammatory cells resulting in loss of dental hard tissues. This report describes three clinical cases where idiopathic root resorption occurred in wind instrument playing patients. These patients produce adequate non-orthodontic forces, while playing their instruments, to expose their teeth to root resorbing force. Careful clinical monitoring of patients' teeth should be undertaken, as the additive effects of orthodontic treatment and musical habits are unknown

    Indications and outcome of repeat penetrating keratoplasty in India

    Get PDF
    BACKGROUND: Repeat penetrating keratoplasty is quite often required as there is high chance of failure of the primary graft particularly in the developing world. We planned a study to analyze the indications and outcome of repeat penetrating keratoplasty in a tertiary care centre in India. METHODS: A retrospective analysis of all the patients who underwent repeat penetrating keratoplasty, between January 1999 and December 2001 was performed. The parameters evaluated were indication for the primary penetrating keratoplasty, causes of failure of the previous graft, and final visual outcome and clarity of the repeat corneal grafts. RESULTS: Of fifty-three eyes of 50 patients with repeat penetrating keratoplasty (three patients underwent bilateral corneal regrafts), 37 eyes had undergone one regraft each, 14 eyes two regrafts and two eyes had three regrafts. The follow-up of the patients ranged from one to three years. The most common primary etiologic diagnosis was vascularized corneal scars (66%), of which the scars related to infection were most common (68.5%). Twenty-eight regrafts (52.8%) remained clear at a mean follow-up of 1.54 ± 0.68 years, of which 25 were single regrafts (89.3%). The commonest cause of failure of regraft was infection to the corneal graft (recurrence of herpetic infection in 9 eyes and perforated graft ulcers in 3 eyes). Three (18.6%) of the 16 eyes with multiple corneal regrafts achieved a BCVA of 6/60. Overall, only five eyes (all with single regraft) achieved a BCVA of 6/18 or better at the end of follow-up. CONCLUSION: Graft infection is the leading cause of failure of repeat keratoplasty in this part of the world. Prognosis for visual recovery and graft survival is worse in eyes undergoing multiple regrafts
    corecore