Pop-refinement is an approach to stepwise refinement, carried out inside an interactive theorem prover by constructing a monotonically decreasing sequence of predicates over deeply embedded target programs. The sequence starts with a predicate that characterizes the possible implementations, and ends with a predicate that characterizes a unique program in explicit syntactic form. Compared to ex...

This paper presents Centre-based clustering approaches for clustering Y-STR data. The main goal is to investigate and observe the performance of the fundamental clustering approaches when partitioning Y-STR data. Two fundamental Centre-based hard clustering approaches, k-Means and k-Modes algorithms, and two fundamental Centre-based soft clustering approaches, fuzzy k-Means and fuzzy k-Modes al...

❆❜str❛❝t ✕ ❆ss❡ss✐♥❣ s♦❢t✇❛r❡ q✉❛❧✐t2 ❛ttr✐❜✉t❡s ✭s✉❝❤ ❛s ♣❡r❢♦r♠❛♥❝❡✱ r❡❧✐❛❜✐❧✐t2✱ ❛♥❞ s❡❝✉r✐t2✮ ❢r♦♠ s♦✉r❝❡ ❝♦❞❡ ✐s ♦❢ t❤❡ ✉t♠♦st ✐♠♣♦rt❛♥❝❡✳ ❚❤❡ ♣❡r❢♦r♠❛♥❝❡ ♦❢ ❛ s♦❢t✇❛r❡ s2st❡♠ ❝❛♥ ❜❡ ✐♠♣r♦✈❡❞ ❜2 ✐ts ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥✳ ❚❤❡ ❛✐♠ ♦❢ t❤❡ ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥ ✐s t♦ s♣❡❡❞ ✉♣ ❜2 ♣r♦✈✐❞✐♥❣ t❤❡ ♠❛1✐♠✉♠ ♣♦ss✐❜❧❡ ❝♦♥❝✉rr❡♥❝2 ✐♥ ❡1❡❝✉t✐♥❣ t❤❡ ❞✐str✐❜✉t❡❞ s❡❣♠❡♥ts✳ ■t ✐s ❛...

❆❜str❛❝t ✕ ❆ss❡ss✐♥❣ s♦❢t✇❛r❡ q✉❛❧✐t2 ❛ttr✐❜✉t❡s ✭s✉❝❤ ❛s ♣❡r❢♦r♠❛♥❝❡✱ r❡❧✐❛❜✐❧✐t2✱ ❛♥❞ s❡❝✉r✐t2✮ ❢r♦♠ s♦✉r❝❡ ❝♦❞❡ ✐s ♦❢ t❤❡ ✉t♠♦st ✐♠♣♦rt❛♥❝❡✳ ❚❤❡ ♣❡r❢♦r♠❛♥❝❡ ♦❢ ❛ s♦❢t✇❛r❡ s2st❡♠ ❝❛♥ ❜❡ ✐♠♣r♦✈❡❞ ❜2 ✐ts ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥✳ ❚❤❡ ❛✐♠ ♦❢ t❤❡ ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥ ✐s t♦ s♣❡❡❞ ✉♣ ❜2 ♣r♦✈✐❞✐♥❣ t❤❡ ♠❛1✐♠✉♠ ♣♦ss✐❜❧❡ ❝♦♥❝✉rr❡♥❝2 ✐♥ ❡1❡❝✉t✐♥❣ t❤❡ ❞✐str✐❜✉t❡❞ s❡❣♠❡♥ts✳ ■t ✐s ❛...

❆❜str❛❝t ✕ ❆ss❡ss✐♥❣ s♦❢t✇❛r❡ q✉❛❧✐t2 ❛ttr✐❜✉t❡s ✭s✉❝❤ ❛s ♣❡r❢♦r♠❛♥❝❡✱ r❡❧✐❛❜✐❧✐t2✱ ❛♥❞ s❡❝✉r✐t2✮ ❢r♦♠ s♦✉r❝❡ ❝♦❞❡ ✐s ♦❢ t❤❡ ✉t♠♦st ✐♠♣♦rt❛♥❝❡✳ ❚❤❡ ♣❡r❢♦r♠❛♥❝❡ ♦❢ ❛ s♦❢t✇❛r❡ s2st❡♠ ❝❛♥ ❜❡ ✐♠♣r♦✈❡❞ ❜2 ✐ts ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥✳ ❚❤❡ ❛✐♠ ♦❢ t❤❡ ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥ ✐s t♦ s♣❡❡❞ ✉♣ ❜2 ♣r♦✈✐❞✐♥❣ t❤❡ ♠❛1✐♠✉♠ ♣♦ss✐❜❧❡ ❝♦♥❝✉rr❡♥❝2 ✐♥ ❡1❡❝✉t✐♥❣ t❤❡ ❞✐str✐❜✉t❡❞ s❡❣♠❡♥ts✳ ■t ✐s ❛...

❆❜str❛❝t ✕ ❆ss❡ss✐♥❣ s♦❢t✇❛r❡ q✉❛❧✐t2 ❛ttr✐❜✉t❡s ✭s✉❝❤ ❛s ♣❡r❢♦r♠❛♥❝❡✱ r❡❧✐❛❜✐❧✐t2✱ ❛♥❞ s❡❝✉r✐t2✮ ❢r♦♠ s♦✉r❝❡ ❝♦❞❡ ✐s ♦❢ t❤❡ ✉t♠♦st ✐♠♣♦rt❛♥❝❡✳ ❚❤❡ ♣❡r❢♦r♠❛♥❝❡ ♦❢ ❛ s♦❢t✇❛r❡ s2st❡♠ ❝❛♥ ❜❡ ✐♠♣r♦✈❡❞ ❜2 ✐ts ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥✳ ❚❤❡ ❛✐♠ ♦❢ t❤❡ ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥ ✐s t♦ s♣❡❡❞ ✉♣ ❜2 ♣r♦✈✐❞✐♥❣ t❤❡ ♠❛1✐♠✉♠ ♣♦ss✐❜❧❡ ❝♦♥❝✉rr❡♥❝2 ✐♥ ❡1❡❝✉t✐♥❣ t❤❡ ❞✐str✐❜✉t❡❞ s❡❣♠❡♥ts✳ ■t ✐s ❛...

❆❜str❛❝t ✕ ❆ss❡ss✐♥❣ s♦❢t✇❛r❡ q✉❛❧✐t2 ❛ttr✐❜✉t❡s ✭s✉❝❤ ❛s ♣❡r❢♦r♠❛♥❝❡✱ r❡❧✐❛❜✐❧✐t2✱ ❛♥❞ s❡❝✉r✐t2✮ ❢r♦♠ s♦✉r❝❡ ❝♦❞❡ ✐s ♦❢ t❤❡ ✉t♠♦st ✐♠♣♦rt❛♥❝❡✳ ❚❤❡ ♣❡r❢♦r♠❛♥❝❡ ♦❢ ❛ s♦❢t✇❛r❡ s2st❡♠ ❝❛♥ ❜❡ ✐♠♣r♦✈❡❞ ❜2 ✐ts ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥✳ ❚❤❡ ❛✐♠ ♦❢ t❤❡ ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥ ✐s t♦ s♣❡❡❞ ✉♣ ❜2 ♣r♦✈✐❞✐♥❣ t❤❡ ♠❛1✐♠✉♠ ♣♦ss✐❜❧❡ ❝♦♥❝✉rr❡♥❝2 ✐♥ ❡1❡❝✉t✐♥❣ t❤❡ ❞✐str✐❜✉t❡❞ s❡❣♠❡♥ts✳ ■t ✐s ❛...

❆❜str❛❝t ✕ ❆ss❡ss✐♥❣ s♦❢t✇❛r❡ q✉❛❧✐t2 ❛ttr✐❜✉t❡s ✭s✉❝❤ ❛s ♣❡r❢♦r♠❛♥❝❡✱ r❡❧✐❛❜✐❧✐t2✱ ❛♥❞ s❡❝✉r✐t2✮ ❢r♦♠ s♦✉r❝❡ ❝♦❞❡ ✐s ♦❢ t❤❡ ✉t♠♦st ✐♠♣♦rt❛♥❝❡✳ ❚❤❡ ♣❡r❢♦r♠❛♥❝❡ ♦❢ ❛ s♦❢t✇❛r❡ s2st❡♠ ❝❛♥ ❜❡ ✐♠♣r♦✈❡❞ ❜2 ✐ts ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥✳ ❚❤❡ ❛✐♠ ♦❢ t❤❡ ♣❛r❛❧❧❡❧ ❛♥❞ ❞✐str✐❜✉t❡❞ ❡1❡❝✉t✐♦♥ ✐s t♦ s♣❡❡❞ ✉♣ ❜2 ♣r♦✈✐❞✐♥❣ t❤❡ ♠❛1✐♠✉♠ ♣♦ss✐❜❧❡ ❝♦♥❝✉rr❡♥❝2 ✐♥ ❡1❡❝✉t✐♥❣ t❤❡ ❞✐str✐❜✉t❡❞ s❡❣♠❡♥ts✳ ■t ✐s ❛...

BACKGROUND Pelvic organ prolapse (POP) brings major health issues for women, affecting 40% of postmenopausal women, and directly affects bladder and bowel function, as well as quality of life. In light of the projected growth in demand for care for pelvic floor disorders, determining the etiology and progression of POP has important public health implications. MATERIAL AND METHODS Uterosacral l...