We show that the fundamental group of the complement of any irreducible tame torus sextics in P is isomorphic to Z2 ∗ Z3 except one class. The exceptional class has the configuration of the singularities {C3,9, 3A2} and the fundamental group is bigger than Z2 ∗ Z3. In fact, the Alexander polynomial is given by (t 2 − t + 1). For the proof, we first reduce the assertion to maximal curves and the...

Modified ultrafiltration (MUF) is available for the salvage of post-cardiopulmonary bypass circuit blood. This study evaluated the extent of hemolysis, the mechanical fragility index (MFI), and the amount of plasma free hemoglobin (PFHb) created after processing with the MUF device. Several RBC parameters were measured on pre- and post-MUF device processed samples of blood from 12 patients unde...

BACKGROUND The National Surgical Adjuvant Breast and Bowel Project (NSABP) Protocol B-06, a clinical trial sponsored by the National Cancer Institute (NCI), has provided evidence of the value of lumpectomy and breast irradiation for treating women with breast cancer in an early stage. Publicity generated by the discovery that the study included fraudulent data on patients enrolled by St. Luc Ho...

We present an integration of the constraint solving kernel of the ProB model checker with the SMT solver Z3. We apply the combined solver to B and Event-B predicates, featuring higher-order datatypes and constructs like set comprehensions. To do so we rely on the finite set logic of Z3 and provide a new translation from B to Z3, better suited for constraint solving. Predicates can then be solve...

Homologous chromosomes must pair and establish stable connections during prophase I of meiosis to segregate reliably from each other at anaphase I. In most organisms, the stable connections, called chiasmata, arise from crossovers. In Drosophila males, homologs pair and segregate without crossing over. Chiasmata are replaced by a homolog conjunction complex that includes the Stromalin in Meiosi...