ASHISH Sethi - Academia.edu (original) (raw)
Related Authors
Università degli Studi di Milano - State University of Milan (Italy)
Uploads
Papers by ASHISH Sethi
We use the uniform framework of abstract congruence closure to study the congruence closure algor... more We use the uniform framework of abstract congruence closure to study the congruence closure algorithms described by Nelson and Oppen [9], Downey, Sethi and Tarjan [7], and Shostak [11]. The descriptions thus obtained abstract from certain implementation details while still allowing for comparison between these different algorithms. Experimental results are presented to illustrate the relative efficiency and explain differences in performance of these three algorithms. The transition rules for computation of abstract congruence closure are obtained from rules for standard completion enhanced with an extension rule that enlarges a given signature by new constants.
International Orthopaedics, 1995
Seventeen patients with haematogenous osteomyelitis and long diaphyseal sequestra are reported. T... more Seventeen patients with haematogenous osteomyelitis and long diaphyseal sequestra are reported. Treatment was incision and drainage with antibiotics for at least 6 to 8 weeks, the limb being protected in plaster for a long time. The sequestra became incorporated in every case. Sequestrectomy should only be undertaken when successive radiographs show no reduction in size of the sequestrum and an increase in the amount of the involucrum. Etude de 17 patients, le plus jeune âgé de 7 mois et le plus vieux de 20 ans porteurs d'une ostéomyélite hématogène avec grande séquestration diaphysaire. L'incorporation du séquestre diaphysaire sera finalement obtenue dans tous les cas. Nous pensons que l'ostéomyélite hématogène chronique avec séquestration diaphysaire doit être traitée avec une intervention chirurgicale à minima sous forme d'incision et de drainage et d'un traitement antibiotique (de 6 à 8 semaines initialement et éventuellement répété selon l'évolution) et d'une immobilisation plâtrée de longue durée. L'indication de séquestrectomie sera posée seulement si la surveillance radiologique ne montre pas de réduction en taille du séquestre et une augmentation de l'involucrum.
International Orthopaedics, 1995
Seventeen patients with haematogenous osteomyelitis and long diaphyseal sequestra are reported. T... more Seventeen patients with haematogenous osteomyelitis and long diaphyseal sequestra are reported. Treatment was incision and drainage with antibiotics for at least 6 to 8 weeks, the limb being protected in plaster for a long time. The sequestra became incorporated in every case. Sequestrectomy should only be undertaken when successive radiographs show no reduction in size of the sequestrum and an increase in the amount of the involucrum. Etude de 17 patients, le plus jeune âgé de 7 mois et le plus vieux de 20 ans porteurs d'une ostéomyélite hématogène avec grande séquestration diaphysaire. L'incorporation du séquestre diaphysaire sera finalement obtenue dans tous les cas. Nous pensons que l'ostéomyélite hématogène chronique avec séquestration diaphysaire doit être traitée avec une intervention chirurgicale à minima sous forme d'incision et de drainage et d'un traitement antibiotique (de 6 à 8 semaines initialement et éventuellement répété selon l'évolution) et d'une immobilisation plâtrée de longue durée. L'indication de séquestrectomie sera posée seulement si la surveillance radiologique ne montre pas de réduction en taille du séquestre et une augmentation de l'involucrum.
We use the uniform framework of abstract congruence closure to study the congruence closure algor... more We use the uniform framework of abstract congruence closure to study the congruence closure algorithms described by Nelson and Oppen [9], Downey, Sethi and Tarjan [7], and Shostak [11]. The descriptions thus obtained abstract from certain implementation details while still allowing for comparison between these different algorithms. Experimental results are presented to illustrate the relative efficiency and explain differences in performance of these three algorithms. The transition rules for computation of abstract congruence closure are obtained from rules for standard completion enhanced with an extension rule that enlarges a given signature by new constants.
International Orthopaedics, 1995
Seventeen patients with haematogenous osteomyelitis and long diaphyseal sequestra are reported. T... more Seventeen patients with haematogenous osteomyelitis and long diaphyseal sequestra are reported. Treatment was incision and drainage with antibiotics for at least 6 to 8 weeks, the limb being protected in plaster for a long time. The sequestra became incorporated in every case. Sequestrectomy should only be undertaken when successive radiographs show no reduction in size of the sequestrum and an increase in the amount of the involucrum. Etude de 17 patients, le plus jeune âgé de 7 mois et le plus vieux de 20 ans porteurs d'une ostéomyélite hématogène avec grande séquestration diaphysaire. L'incorporation du séquestre diaphysaire sera finalement obtenue dans tous les cas. Nous pensons que l'ostéomyélite hématogène chronique avec séquestration diaphysaire doit être traitée avec une intervention chirurgicale à minima sous forme d'incision et de drainage et d'un traitement antibiotique (de 6 à 8 semaines initialement et éventuellement répété selon l'évolution) et d'une immobilisation plâtrée de longue durée. L'indication de séquestrectomie sera posée seulement si la surveillance radiologique ne montre pas de réduction en taille du séquestre et une augmentation de l'involucrum.
International Orthopaedics, 1995
Seventeen patients with haematogenous osteomyelitis and long diaphyseal sequestra are reported. T... more Seventeen patients with haematogenous osteomyelitis and long diaphyseal sequestra are reported. Treatment was incision and drainage with antibiotics for at least 6 to 8 weeks, the limb being protected in plaster for a long time. The sequestra became incorporated in every case. Sequestrectomy should only be undertaken when successive radiographs show no reduction in size of the sequestrum and an increase in the amount of the involucrum. Etude de 17 patients, le plus jeune âgé de 7 mois et le plus vieux de 20 ans porteurs d'une ostéomyélite hématogène avec grande séquestration diaphysaire. L'incorporation du séquestre diaphysaire sera finalement obtenue dans tous les cas. Nous pensons que l'ostéomyélite hématogène chronique avec séquestration diaphysaire doit être traitée avec une intervention chirurgicale à minima sous forme d'incision et de drainage et d'un traitement antibiotique (de 6 à 8 semaines initialement et éventuellement répété selon l'évolution) et d'une immobilisation plâtrée de longue durée. L'indication de séquestrectomie sera posée seulement si la surveillance radiologique ne montre pas de réduction en taille du séquestre et une augmentation de l'involucrum.