Partiality, revisited: the partiality monad as a quotient inductive-inductive type

Capretta's delay monad can be used to model partial computations, but it has the "wrong" notion of built-in equality, strong bisimilarity. An alternative is to quotient the delay monad by the "right" notion of equality, weak bisimilarity. However, recent work by Chapman et al. suggests that it is impossible to define a monad structure on the resulting construction in common forms of type theory without assuming (instances of) the axiom of countable choice. Using an idea from homotopy type theory - a higher inductive-inductive type - we construct a partiality monad without relying on countable choice. We prove that, in the presence of countable choice, our partiality monad is equivalent to the delay monad quotiented by weak bisimilarity. Furthermore we outline several applications

A novel cell culture model for studying differentiation and apoptosis in the mouse mammary gland.

BACKGROUND: This paper describes the derivation and characterization of a novel, conditionally immortal mammary epithelial cell line named KIM-2. These cells were derived from mid-pregnant mammary glands of a mouse harbouring one to two copies of a transgene comprised of the ovine beta-lactoglobulin milk protein gene promoter, driving expression of a temperature-sensitive variant of simian virus-40 (SV40) large T antigen (T-Ag). RESULTS: KIM-2 cells have a characteristic luminal epithelial cell morphology and a stable, nontransformed phenotype at the semipermissive temperature of 37 degrees C. In contrast, at the permissive temperature of 33 degrees C the cells have an elongated spindle-like morphology and become transformed after prolonged culture. Differentiation of KIM-2 cells at 37 degrees C, in response to lactogenic hormones, results in the formation of polarized dome-like structures with tight junctions. This is accompanied by expression of the milk protein genes that encode beta-casein and whey acidic protein (WAP), and activation of the prolactin signalling molecule, signal transducer and activator of transcription (STAT)5. Fully differentiated KIM-2 cultures at 37 degrees C become dependent on lactogenic hormones for survival and undergo extensive apoptosis upon hormone withdrawal, as indicated by nuclear morphology and flow cytometric analysis. KIM-2 cells can be genetically modified by stable transfection and clonal lines isolated that retain the characteristics of untransfected cells. CONCLUSION: KIM-2 cells are a valuable addition, therefore, to currently available lines of mammary epithelial cells. Their capacity for extensive differentiation in the absence of exogenously added basement membrane, and ability to undergo apoptosis in response to physiological signals will provide an invaluable model system for the study of signal transduction pathways and transcriptional regulatory mechanisms that control differentiation and involution in the mammary gland

Natural mutations of human XDH promote the nitrite (NO2 −)-reductase capacity of xanthine oxidoreductase: A novel mechanism to promote redox health?

Several rare genetic variations of human XDH have been shown to alter xanthine oxidoreductase (XOR) activity leading to impaired purine catabolism. However, XOR is a multi-functional enzyme that depending upon the environmental conditions also expresses oxidase activity leading to both O2·- and H2O2 and nitrite (NO2−) reductase activity leading to nitric oxide (·NO). Since these products express important, and often diametrically opposite, biological activity, consideration of the impact of XOR mutations in the context of each aspect of the biochemical activity of the enzyme is needed to determine the potential full impact of these variants. Herein, we show that known naturally occurring hXDH mutations do not have a uniform impact upon the biochemical activity of the enzyme in terms of uric acid (UA), reactive oxygen species (ROS) and nitric oxide ·NO formation. We show that the His1221Arg mutant, in the presence of xanthine, increases UA, O2·- and NO generation compared to the WT, whilst the Ile703Val increases UA and ·NO formation, but not O2·-. We speculate that this change in the balance of activity of the enzyme is likely to endow those carrying these mutations with a harmful or protective influence over health that may explain the current equipoise underlying the perceived importance of XDH mutations. We also show that, in presence of inorganic NO2−, XOR-driven O2·- production is substantially reduced. We suggest that targeting enzyme activity to enhance the NO2−-reductase profile in those carrying such mutations may provide novel therapeutic options, particularly in cardiovascular disease

Risk of lung cancer associated with domestic use of coal in Xuanwei, China: retrospective cohort study

Objective: To estimate the risk of lung cancer associated with the use of different types of coal for household cooking and heating. Setting: Xuanwei County, Yunnan Province, China. Design: Retrospective cohort study (follow-up 1976-96) comparing mortality from lung cancer between lifelong users of “smoky coal” (bituminous) and “smokeless coal” (anthracite). Participants: 27 310 individuals using smoky coal and 9962 individuals using smokeless coal during their entire life. Main outcome measures: Primary outcomes were absolute and relative risk of death from lung cancer among users of different types of coal. Unadjusted survival analysis was used to estimate the absolute risk of lung cancer, while Cox regression models compared mortality hazards for lung cancer between smoky and smokeless coal users. Results: Lung cancer mortality was substantially higher among users of smoky coal than users of smokeless coal. The absolute risks of lung cancer death before 70 years of age for men and women using smoky coal were 18% and 20%, respectively, compared with less than 0.5% among smokeless coal users of both sexes. Lung cancer alone accounted for about 40% of all deaths before age 60 among individuals using smoky coal. Compared with smokeless coal, use of smoky coal was associated with an increased risk of lung cancer death (for men, hazard ratio 36 (95% confidence interval 20 to 65); for women, 99 (37 to 266)). Conclusions: In Xuanwei, the domestic use of smoky coal is associated with a substantial increase in the absolute lifetime risk of developing lung cancer and is likely to represent one of the strongest effects of environmental pollution reported for cancer risk. Use of less carcinogenic types of coal could translate to a substantial reduction of lung cancer risk

Photodissociation dynamics of methyl iodide probed using femtosecond extreme ultraviolet photoelectron spectroscopy

Femtosecond pump-probe photoelectron spectroscopy measurements using an extreme ultraviolet probe have been made on the photodissociation dynamics of UV (269 nm) excited CH3I. The UV excitation leads to population of the 3Q0 state which rapidly dissociates. The dissociation is manifested as shifts in the measured photoelectron kinetic energy that map the extending C-I bond. The increased energy available in the XUV probe relative to a UV probe means the dynamics are followed over the chemically important region as far as C-I bond lengths of approximately 4 Å

Cost effectiveness of nusinersen for patients with infantile-onset spinal muscular atrophy in US

Background Patients with infantile-onset spinal muscular atrophy (SMA), a rare, genetic neuromuscular disease, do not achieve key motor function milestones (e.g., sitting) and have short life expectancy in the absence of treatment. Nusinersen is a disease-modifying therapy for patients with SMA. Objective The aim of this study was to estimate the cost-effectiveness of nusinersen compared to best supportive care (BSC) in patients diagnosed with infantile-onset SMA in the US. Methods A de novo economic model was developed with the following health states: “permanent ventilation”, “not sitting”, “sitting”, “walking”, and “death”. Short-term data were sourced from the pivotal clinical trials and studies of nusinersen (ENDEAR and SHINE). Motor function milestones achieved at the end of follow-up in the clinical trials were assumed to be sustained until death. Mortality risks were based on survival modelling of relevant published Kaplan–Meier data. Costs, life years (LYs), and quality-adjusted life years (QALYs) were discounted at 3% per annum, and the analyses were performed from a US health care sector perspective. Scenario analyses and sensitivity analyses were conducted to assess the robustness of the results to key parameters. Results In our base-case analysis, nusinersen treatment achieves greater QALYs and more LYs (3.24 and 7.64, respectively) compared with BSC (0.46 QALYs and 2.40 LYs, respectively), resulting in an incremental cost per QALY gained of approximately $1,112,000 and an incremental cost per LY gained of$590,000 for nusinersen compared to BSC. The incremental cost effectiveness ratios did not fall below $990,000 per QALY gained in scenario and sensitivity analyses. Results were most sensitive to the length of survival, background health care costs, and utility in the “not sitting” and “sitting” health states. Conclusions The estimated incremental cost-effectiveness of nusinersen from a US health care sector perspective exceeded traditional cost-effectiveness thresholds. Cost-effectiveness was dependent on assumptions made regarding survival, costs, utilities, and whether the motor function milestones were sustained over lifetime. Given the relatively short-term effectiveness data available for the treatment, a registry to collect long-term data of infantile-onset SMA patients is recommended