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

TCF7L2 rs7903146 variant does not associate with smallness for gestational age in the French population

<p>Abstract</p> <p>Background</p> <p>In adults, the <it>TCF7L2 </it>rs7903146 T allele, commonly associated with type 2 diabetes (T2D), has been also associated with a lower body mass index (BMI) in T2D individuals and with a smaller waist circumference in subjects with impaired glucose tolerance.</p> <p>Methods</p> <p>The present association study aimed at analyzing the contribution of the rs7903146 SNP to smallness for gestational age (SGA) and metabolic profiles in subjects with SGA or appropriate for gestational age birth weight (AGA). Two groups of French Caucasian subjects were selected on birth data: SGA (birth weight < 10^thpercentile; n = 764), and AGA (25^th< birth weight < 75^thpercentile; n = 627). Family-based association tests were also performed in 3,012 subjects from 628 SGA and AGA pedigrees.</p> <p>Results</p> <p>The rs7903146 genotypic distributions between AGA (30.7%) and SGA (29.0%) were not statistically different (allelic OR = 0.92 [0.78–1.09], p = 0.34). Family association-based studies did not show a distortion of T allele transmission in SGA subjects (p = 0.52). No significant effect of the T allele was detected on any of the metabolic parameters in the SGA group. However, in the AGA group, trends towards a lower insulin secretion (p = 0.03) and a higher fasting glycaemia (p = 0.002) were detected in carriers of the T allele.</p> <p>Conclusion</p> <p>The <it>TCF7L2 </it>rs7903146 variant neither increases the risk for SGA nor modulates birth weight and young adulthood glucose homeostasis in French Caucasian subjects born with SGA.</p

Trabecular bone volume and osteoprotegerin expression in uremic rats given high calcium

Calcium (Ca)-containing phosphate binders have been recommended for the treatment of hyperphosphatemia in children with chronic kidney disease. To study the effects of high Ca levels on trabecular bone volume (BV) and osteoprotegerin (OPG) expression in uremic young rats, a model of marked overcorrection of secondary hyperparathyroidism was created by providing a diet of high Ca to 5/6 nephrectomized young rats (Nx-Ca) for 4 weeks. The results of chondrocyte proliferation and apoptosis, osteoclastic activity, OPG expression and BV were compared among intact rats given the control diet, intact rats given a high Ca diet and 5/6 nephrectomized rats given the control diet (Nx-Control) and the high Ca diet (Nx-Ca). Ionized Ca levels were higher and parathyroid hormone levels were lower in Nx-Ca rats than in the other groups. Final weight, final length and final tibial length of Nx-Ca rats were significantly less than those of the other groups, although the length gain did not differ among the groups. The hypertrophic zone width was markedly enlarged in Nx-Ca rats. Chondrocyte proliferation rates did not differ among the groups, whereas osteoclastic activity was decreased in Nx-Ca rats compared with the Nx-Control animals. The OPG expression and BV were increased in Nx-Ca rats compared with the Nx-Control rats. Increased BV should improve bone strength, whereas disturbance of osteoclastogenesis interferes with bone remodeling. Bone quality has yet to be determined in high Ca-fed uremic young rats

Four models of HIV counseling and testing: utilization and test results in South Africa.

BACKGROUND: HIV Counseling and Testing (HCT) is the point-of-entry for pathways of HIV care and prevention. However, HCT is not reaching many who are HIV infected and this may be related to the HCT provision model. We describe HCT utilization and HIV diagnosis using four models of HCT delivery: clinic-based, urban mobile, rural mobile, and stand-alone. METHODS: Using cross-sectional data from routine HCT provided in South Africa, we described client characteristics and HIV test results from information collected during service delivery between January 2009 and June 2012. RESULTS: 118,358 clients received services at clinic-based units, 18,597; stand-alone, 28,937; urban mobile, 38,840; and rural mobile, 31,984. By unit, clients were similar in terms of median age (range 28-31), but differed in sex distribution, employment status, prior testing, and perceived HIV risk. Urban mobile units had the highest proportion of male clients (52%). Rural mobile units reached the highest proportion of clients with no prior HCT (61%) and reporting no perceived HIV risk (64%). Overall, 10,862 clients (9.3%) tested HIV-positive. CONCLUSIONS: Client characteristics varied by HCT model. Importantly, rural and urban mobile units reached more men, first-time testers, and clients who considered themselves to be at low risk for HIV

Optical biosensor differentiates signaling of endogenous PAR1 and PAR2 in A431 cells

<p>Abstract</p> <p>Background</p> <p>Protease activated receptors (PARs) consist of a family of four G protein-coupled receptors. Many types of cells express several PARs, whose physiological significance is mostly unknown.</p> <p>Results</p> <p>Here, we show that non-invasive resonant waveguide grating (RWG) biosensor differentiates signaling of endogenous protease activated receptor subtype 1 (PAR₁) and 2 (PAR₂) in human epidermoid carcinoma A431 cells. The biosensor directly measures dynamic mass redistribution (DMR) resulted from ligand-induced receptor activation in adherent cells. In A431, both PAR₁and PAR₂agonists, but neither PAR₃nor PAR₄agonists, trigger dose-dependent Ca²⁺mobilization as well as G_q-type DMR signals. Both Ca²⁺flux and DMR signals display comparable desensitization patterns upon repeated stimulation with different combinations of agonists. However, PAR₁and PAR₂exhibit distinct kinetics of receptor re-sensitization. Furthermore, both trypsin- and thrombin-induced Ca²⁺flux signals show almost identical dependence on cell surface cholesterol level, but their corresponding DMR signals present different sensitivities.</p> <p>Conclusion</p> <p>Optical biosensor provides an alternative readout for examining receptor activation under physiologically relevant conditions, and differentiates the signaling of endogenous PAR₁and PAR₂in A431.</p

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Severe Pandemic H1N1 2009 Infection Is Associated with Transient NK and T Deficiency and Aberrant CD8 Responses

BACKGROUND: It is unclear why the severity of influenza varies in healthy adults or why the burden of severe influenza shifts to young adults when pandemic strains emerge. One possibility is that cross-protective T cell responses wane in this age group in the absence of recent infection. We therefore compared the acute cellular immune response in previously healthy adults with severe versus mild pandemic H1N1 infection. METHODS AND PRINCIPAL FINDINGS: 49 previously healthy adults admitted to the National Hospital of Tropical Diseases, Viet Nam with RT-PCR-confirmed 2009 H1N1 infection were prospectively enrolled. 39 recovered quickly whereas 10 developed severe symptoms requiring supplemental oxygen and prolonged hospitalization. Peripheral blood lymphocyte subset counts and activation (HLADR, CD38) and differentiation (CD27, CD28) marker expression were determined on days 0, 2, 5, 10, 14 and 28 by flow cytometry. NK, CD4 and CD8 lymphopenia developed in 100%, 90% and 60% of severe cases versus 13% (p<0.001), 28%, (p = 0.001) and 18% (p = 0.014) of mild cases. CD4 and NK counts normalized following recovery. B cell counts were not significantly associated with severity. CD8 activation peaked 6-8 days after mild influenza onset, when 13% (6-22%) were HLADR+CD38+, and was accompanied by a significant loss of resting/CD27+CD28+ cells without accumulation of CD27+CD28- or CD27-CD28- cells. In severe influenza CD8 activation peaked more than 9 days post-onset, and/or was excessive (30-90% HLADR+CD38+) in association with accumulation of CD27+CD28- cells and maintenance of CD8 counts. CONCLUSION: Severe influenza is associated with transient T and NK cell deficiency. CD8 phenotype changes during mild influenza are consistent with a rapidly resolving memory response whereas in severe influenza activation is either delayed or excessive, and partially differentiated cells accumulate within blood indicating that recruitment of effector cells to the lung could be impaired

WDR55 Is a Nucleolar Modulator of Ribosomal RNA Synthesis, Cell Cycle Progression, and Teleost Organ Development

The thymus is a vertebrate-specific organ where T lymphocytes are generated. Genetic programs that lead to thymus development are incompletely understood. We previously screened ethylnitrosourea-induced medaka mutants for recessive defects in thymus development. Here we report that one of those mutants is caused by a missense mutation in a gene encoding the previously uncharacterized protein WDR55 carrying the tryptophan-aspartate-repeat motif. We find that WDR55 is a novel nucleolar protein involved in the production of ribosomal RNA (rRNA). Defects in WDR55 cause aberrant accumulation of rRNA intermediates and cell cycle arrest. A mutation in WDR55 in zebrafish also leads to analogous defects in thymus development, whereas WDR55-null mice are lethal before implantation. These results indicate that WDR55 is a nuclear modulator of rRNA synthesis, cell cycle progression, and embryonic organogenesis including teleost thymus development

Transmission-Blocking Vaccines: Focus on Anti-Vector Vaccines against Tick-Borne Diseases

Tick-borne diseases are a potential threat that account for significant morbidity and mortality in human population worldwide. Vaccines are not available to treat several of the tick-borne diseases. With the emergence and resurgence of several tick-borne diseases, emphasis on the development of transmission-blocking vaccines remains increasing. In this review, we provide a snap shot on some of the potential candidates for the development of anti-vector vaccines (a form of transmission-blocking vaccines) against wide range of hard and soft ticks that include Ixodes, Haemaphysalis, Dermacentor, Amblyomma, Rhipicephalus and Ornithodoros species

Diagnosis and management of Silver–Russell syndrome: first international consensus statement

This Consensus Statement summarizes recommendations for clinical diagnosis, investigation and management of patients with Silver–Russell syndrome (SRS), an imprinting disorder that causes prenatal and postnatal growth retardation. Considerable overlap exists between the care of individuals born small for gestational age and those with SRS. However, many specific management issues exist and evidence from controlled trials remains limited. SRS is primarily a clinical diagnosis; however, molecular testing enables confirmation of the clinical diagnosis and defines the subtype. A 'normal' result from a molecular test does not exclude the diagnosis of SRS. The management of children with SRS requires an experienced, multidisciplinary approach. Specific issues include growth failure, severe feeding difficulties, gastrointestinal problems, hypoglycaemia, body asymmetry, scoliosis, motor and speech delay and psychosocial challenges. An early emphasis on adequate nutritional status is important, with awareness that rapid postnatal weight gain might lead to subsequent increased risk of metabolic disorders. The benefits of treating patients with SRS with growth hormone include improved body composition, motor development and appetite, reduced risk of hypoglycaemia and increased height. Clinicians should be aware of possible premature adrenarche, fairly early and rapid central puberty and insulin resistance. Treatment with gonadotropin-releasing hormone analogues can delay progression of central puberty and preserve adult height potential. Long-term follow up is essential to determine the natural history and optimal management in adulthood