A formal proof of the Kepler conjecture

This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project

Hemoglobin levels and anemia evaluation during pregnancy in the highlands of Tibet: a hospital-based study

<p>Abstract</p> <p>Background</p> <p>Anemia is regarded as a major risk factor for unfavorable pregnancy outcomes, but there have been no previous studies describing the pattern of hemoglobin concentration during pregnancy in Tibet and the relationship between altitude and Hb concentration in the pregnant women living in Tibet still has not been clearly established. The main objectives of this study were to study the hemoglobin levels and prevalence of anemia among pregnant women living in the highlands of Tibet and to evaluate potential associations of hemoglobin and anemia with women's characteristics.</p> <p>Methods</p> <p>The hospital-based study was conducted in 380 pregnant women. Their blood samples were tested and related sociodemographic information was collected. Multiple linear regression model and multiple logistic regression model were used to assess the association of pregnant women's characteristics with hemoglobin level and the occurrence of anemia. Centers for Disease Control (CDC), Dirren et al. and Dallman et al. methods were used to adjust the hemoglobin measurements based on altitude for estimating the prevalence of anemia.</p> <p>Results</p> <p>The mean hemoglobin concentration was 127.6 g/L (range: 55.0-190.0 g/L). Prevalence rate of anemia in this study was 70.0%, 77.9% and 41.3%, respectively for three altitude-correction methods for hemoglobin (CDC method, Dirren et al. method, and Dallman et al. method). Gestational age, ethnicity, residence and income were significantly associated with the hemoglobin concentration and prevalence of anemia in the study population. Specially, the hemoglobin concentration of pregnant women decreased with increase in gestational age.</p> <p>Conclusion</p> <p>The hemoglobin level was low and prevalence rate of anemia was high among pregnant women in Lhasa, Tibet. Gestational age, ethnicity, residence and income were found to be significantly associated with the hemoglobin level and the occurrence of anemia in the study population.</p

Reproductive tract infections in women seeking abortion in Vietnam

<p>Abstract</p> <p>Background</p> <p>Women requesting abortion are at increased risk of developing RTI complications. However, RTI control in many resource-poor countries including Vietnam have been faced with logistical and methodological problems due to lack of standardized definitions of RTIs, lack of well-validated diagnostic criteria, lack of accurate laboratory tests, and lack of diagnostic equipment and skills. This article investigates the prevalence of RTIs among Vietnamese abortion-seeking women, to evaluate the available diagnostic techniques, and to assess antibiotic resistance among aetiological agents of RTI.</p> <p>Method</p> <p>The study was conducted in Phu-San hospital (PSH) from December 2003 through April 2004 among 748 abortion clients. A structured questionnaire was used to collect data on socio-economic and reproductive characteristics. Specimens were collected for laboratory analyses of chlamydia, gonorrhoea, trichomoniasis, vaginal candidiasis (VC), bacterial vaginosis (BV) and syphilis. To assess the validity of the obtained results, the study was repeated among 100 women and the duplicate samples were analysed at PSH and Copenhagen University Hospital (CUH).</p> <p>Results</p> <p>In all 54% of the women were diagnosed as having an RTI, including 3.3% with sexually transmitted infections. Endogenous infections were most prevalent (VC 34% and BV 12%) followed by chlamydia (1.3%) and trichomoniasis (0.7%). The sensitivity of culture for VC and BV was 30% and 88%, respectively, when tests in PSH were measured against tests in CUH. Antibiotic resistance was common among bacterial isolates.</p> <p>Conclusion</p> <p>RTIs are common among women seeking abortion. The presence of RTIs is associated with an increased risk of developing iatrogenic infections, routine administration of prophylactic antibiotic to all women undergoing abortion should be considered. However, the choice of routine prophylactic antibiotics should be based on relevant surveillance data of antibiotic resistance. Moreover, since the accuracy of diagnosis is doubtful and to address the problem of under-diagnosed and treated RTIs new investment in diagnostic facilities with simple performed microscopy or improved rapid tests should also be taken into consideration.</p

A Potential Role for Shed Soluble Major Histocompatibility Class I Molecules as Modulators of Neurite Outgrowth

The neurobiological activities of classical major histocompatibility class I (MHCI) molecules are just beginning to be explored. To further examine MHCI's actions during the formation of neuronal connections, we cultured embryonic mouse retina explants a short distance from wildtype thalamic explants, or thalami from transgenic mice (termed “NSE-Db”) whose neurons express higher levels of MHCI. While retina neurites extended to form connections with wildtype thalami, we were surprised to find that retina neurite outgrowth was very stunted in regions proximal to NSE-Db thalamic explants, suggesting that a diffusible factor from these thalami inhibited retina neurite outgrowth. It has been long known that MHCI-expressing cells release soluble forms of MHCI (sMHCI) due to the shedding of intact MHCI molecules, as well as the alternative exon splicing of its heavy chain or the action proteases which cleave off it's transmembrane anchor. We show that the diffusible inhibitory factor from the NSE-Db thalami is sMHCI. We also show that COS cells programmed to express murine MHCI release sMHCI that inhibits neurite outgrowth from nearby neurons in vitro. The neuroinhibitory effect of sMHCI could be blocked by lowering cAMP levels, suggesting that the neuronal MHCI receptor's signaling mechanism involves a cyclic nucleotide-dependent pathway. Our results suggest that MHCI may not only have neurobiological activity in its membrane-bound form, it may also influence local neurons as a soluble molecule. We discuss the involvement of complement proteins in generating sMHCI and new theoretical models of MHCI's biological activities in the nervous system

Severely Impaired Learning and Altered Neuronal Morphology in Mice Lacking NMDA Receptors in Medium Spiny Neurons

The striatum is composed predominantly of medium spiny neurons (MSNs) that integrate excitatory, glutamatergic inputs from the cortex and thalamus, and modulatory dopaminergic inputs from the ventral midbrain to influence behavior. Glutamatergic activation of AMPA, NMDA, and metabotropic receptors on MSNs is important for striatal development and function, but the roles of each of these receptor classes remain incompletely understood. Signaling through NMDA-type glutamate receptors (NMDARs) in the striatum has been implicated in various motor and appetitive learning paradigms. In addition, signaling through NMDARs influences neuronal morphology, which could underlie their role in mediating learned behaviors. To study the role of NMDARs on MSNs in learning and in morphological development, we generated mice lacking the essential NR1 subunit, encoded by the Grin1 gene, selectively in MSNs. Although these knockout mice appear normal and display normal 24-hour locomotion, they have severe deficits in motor learning, operant conditioning and active avoidance. In addition, the MSNs from these knockout mice have smaller cell bodies and decreased dendritic length compared to littermate controls. We conclude that NMDAR signaling in MSNs is critical for normal MSN morphology and many forms of learning

Accommodating practices during episodes of disillusionment with mobile IT

This study investigates how tablet users react when technology falls short of their expectations. We deploy a data/frame model to study this process and investigate resistance-related reactions and the deployment of accommodating practices at the individual level. Analyzing user blogs that provide narratives on user interaction with tablets, we identify triggers of episodes of disillusionment and illustrate five sensemaking paths that users follow, eventually leading to one of three practices: 1) users choose to defer tasks until the situation changes, or they abandon the platform altogether; 2) they develop workarounds at different levels of proficiency; or 3) they proceed by reframing their expectations of the platform. By revealing user decision-making process during episodes of disillusionment, the findings contribute to information systems post-adoption research. At a practical level, the findings inform IT artifact and application design by offering insights on how users process discrepancies between their expectations and actual use experience

The impact of self-monitoring in chronic illness on healthcare utilisation: a systematic review of reviews

Background: Self-management interventions have been found to reduce healthcare utilisation in people with long-term conditions, but further work is needed to identify which components of these interventions are most effective. Self-monitoring is one such component and is associated with significant clinical benefits. The aim of this systematic review of reviews is to assess the impact of self-monitoring interventions on healthcare utilisation across a range of chronic illnesses. Methods: An overview of published systematic reviews and meta-analyses. Multiple databases were searched (MEDLINE, CINAHL, PsycINFO, EMBASE, AMED, EBM and HMIC) along with the reference lists of included reviews. A narrative synthesis was performed, accompanied by calculation of the Corrected Cover Area to understand the impact of overlapping primary research papers. Results: A total of 17 systematic reviews and meta-analyses across three chronic conditions, heart failure, hypertension and chronic obstructive pulmonary disease, were included. Self-monitoring was associated with significant reductions in hospitalisation and re-admissions to hospital. Conclusions: Self-monitoring has the potential to reduce the pressure placed on secondary care services, but this may lead to increase in services elsewhere in the system. Further work is needed to determine how these findings affect healthcare costs

MAP4 Mechanism that Stabilizes Mitochondrial Permeability Transition in Hypoxia: Microtubule Enhancement and DYNLT1 Interaction with VDAC1

Mitochondrial membrane permeability has received considerable attention recently because of its key role in apoptosis and necrosis induced by physiological events such as hypoxia. The manner in which mitochondria interact with other molecules to regulate mitochondrial permeability and cell destiny remains elusive. Previously we verified that hypoxia-induced phosphorylation of microtubule-associated protein 4 (MAP4) could lead to microtubules (MTs) disruption. In this study, we established the hypoxic (1% O2) cell models of rat cardiomyocytes, H9c2 and HeLa cells to further test MAP4 function. We demonstrated that increase in the pool of MAP4 could promote the stabilization of MT networks by increasing the synthesis and polymerization of tubulin in hypoxia. Results showed MAP4 overexpression could enhance cell viability and ATP content under hypoxic conditions. Subsequently we employed a yeast two-hybrid system to tag a protein interacting with mitochondria, dynein light chain Tctex-type 1 (DYNLT1), by hVDAC1 bait. We confirmed that DYNLT1 had protein-protein interactions with voltage-dependent anion channel 1 (VDAC1) using co-immunoprecipitation; and immunofluorescence technique showed that DYNLT1 was closely associated with MTs and VDAC1. Furthermore, DYNLT1 interactions with MAP4 were explored using a knockdown technique. We thus propose two possible mechanisms triggered by MAP4: (1) stabilization of MT networks, (2) DYNLT1 modulation, which is connected with VDAC1, and inhibition of hypoxia-induced mitochondrial permeabilization