Learn More
Breast cancer incidence differs by ethnicity in New Zealand (NZ) with Māori (the indigenous people) women having the highest rates followed by Pakeha (people primarily of British/European descent), Pacific and Asian women, who experience the lowest rates. The reasons for these differences are unclear. Breast density, an important risk factor for breast(More)
Muscle growth occurs during embryonic development and continues in adult life as regeneration. During embryonic muscle growth and regeneration in mature muscle, singly nucleated myoblasts fuse to each other to form myotubes. In muscle growth, singly nucleated myoblasts can also fuse to existing large, syncytial myofibers as a mechanism of increasing muscle(More)
Skeletal muscle is a multinucleated syncytium that develops and is maintained by the fusion of myoblasts to the syncytium. Myoblast fusion involves the regulated coalescence of two apposed membranes. Myoferlin is a membrane-anchored, multiple C2 domain-containing protein that is highly expressed in fusing myoblasts and required for efficient myoblast fusion(More)
belugais a proof environment that provides a rich sophisticated infrastructure for implementing formal systems based on the logical framework LF together with a first-order reasoning language for implementing inductive proofs about them following the Curry-Howard isomorphism. In this paper we describe four significant extensions to beluga: 1) we enrich our(More)
It is undeniable that the increasing costs in healthcare are a concern. Although technological advancements have been made in healthcare systems, the return on investment made by governments and payers has been poor. The current model of care is unsustainable and is due for an upgrade. In developed nations, a law of diminishing returns has been noted in(More)
Indexed data types allow us to specify and verify many interesting invariants about finite data in a general purpose programming language. In this paper we investigate the dual idea: indexed codata types, which allow us to describe data-dependencies about infinite data structures. Unlike finite data which is defined by constructors, we define infinite data(More)