Let Gk denote the quotient of the fundamental group G of a link in S 3 by the product of the (k + 2)-nd lower cental series terms of the normal closures of meridians, k > 0. In contrast to a theorem of Waldhausen, we show that Gk is the finest (in certain sense) quotient of G, invariant under k-quasi-isotopy (which is a higher order analogue of link homotopy, studied in [MR1]) and at the same t...

This paper presents a formalization of a sequent presentation of intuitionisitic propositional logic and proof of decidability. The proof is implemented in the Nuprl system and the resulting proof object yields a “correct-by-construction” program for deciding intuitionisitc propositional sequents. The extracted program turns out to be an implementation of the tableau algorithm. If the argument ...

one of the most important problems in the system reliability optimization is redundancy allocation problem that has been studied in different system configurations. k-out-of-n structure is a general system configuration and offers enhanced capabilities for analyzing more design problems. hence, in this paper, the redundancy allocation problem of k-out-of-n systems is studied. in the most previo...

the purpose of this study was to investigate the polymorphism of k-casein (k-cn), β-lactoglobulin (b-lg) and leptin (lp) genes in iranian holstein cattle by polymerase chain reaction-restriction fragment length polymorphism (pcr-rflp) technique. dna was extracted from blood samples of 139 cows using a modified phenol chloroform method. association between k-cn, b-lg and lp genes’ polymorphism w...

We study a supervised clustering problem seeking to cluster either features, tasks or sample points using losses extracted from supervised learning problems. We formulate a unified optimization problem handling these three settings and derive algorithms whose core iteration complexity is concentrated in a k-means clustering step, which can be approximated efficiently. We test our methods on bot...

introduction: the aim of the present study was to compare hand stainless steel k-files and nickel-titanium profile 0.04 taper 29 series rotary instruments for their efficiency, procedural errors and time consumed in preparation of root canal system. materials and methods: a total of 46 maxillary and mandibular first premolars extracted for orthodontic purposes were collected (two contralateral ...

We study a supervised clustering problem seeking to cluster either features, tasks or sample points using losses extracted from supervised learning problems. We formulate a unified optimization problem handling these three settings and derive algorithms whose core iteration complexity is concentrated in a k-means clustering step, which can be approximated efficiently. We test our methods on bot...