3D mesh refinement procedure using the bisection and rivara algorithms with mesh quality assessment

Mesh refinement procedures for the solution of three dimensional problems are described. The computational\ud domain is represented by an assembly of tetrahedral elements and the mesh refinement is acheived by the bisection\ud and Rivara methods using an explicit mesh density function coupled with an automatic 3D mesh generator.\ud A couple of benchmark examples is used to compare the performance of both refinement methods in terms of mesh\ud and size qualities, number of generated elements and CPU time consume

Statistical Confirmation of a Stellar Upper Mass Limit

We derive the expectation value for the maximum stellar mass (m_max) in an ensemble of N stars, as a function of the IMF upper-mass cutoff (m_up) and N. We statistically demonstrate that the upper IMF of the local massive star census observed thus far in the Milky Way and Magellanic Clouds clearly exhibits a universal upper mass cutoff around 120 - 200 M_sun for a Salpeter IMF, although the result is more ambiguous for a steeper IMF.Comment: PDF, 5 pages, 4 figures. Accepted to the Astrophysical Journal Letter

A double whammy for aging? Rapamycin extends lifespan and inhibits cancer in inbred female mice

Comment on: Anisimov VN, et al. Cell Cycle 2011; 10:4230-6

Colouring random graphs and maximising local diversity

We study a variation of the graph colouring problem on random graphs of finite average connectivity. Given the number of colours, we aim to maximise the number of different colours at neighbouring vertices (i.e. one edge distance) of any vertex. Two efficient algorithms, belief propagation and Walksat are adapted to carry out this task. We present experimental results based on two types of random graphs for different system sizes and identify the critical value of the connectivity for the algorithms to find a perfect solution. The problem and the suggested algorithms have practical relevance since various applications, such as distributed storage, can be mapped onto this problem.Comment: 10 pages, 10 figure

Behavior of heuristics and state space structure near SAT/UNSAT transition

We study the behavior of ASAT, a heuristic for solving satisfiability problems by stochastic local search near the SAT/UNSAT transition. The heuristic is focused, i.e. only variables in unsatisfied clauses are updated in each step, and is significantly simpler, while similar to, walksat or Focused Metropolis Search. We show that ASAT solves instances as large as one million variables in linear time, on average, up to 4.21 clauses per variable for random 3SAT. For K higher than 3, ASAT appears to solve instances at the ``FRSB threshold'' in linear time, up to K=7.Comment: 12 pages, 6 figures, longer version available as MSc thesis of first author at http://biophys.physics.kth.se/docs/ardelius_thesis.pd

Mammalian models of extended healthy lifespan

Over the last two centuries, there has been a significant increase in average lifespan expectancy in the developed world. One unambiguous clinical implication of getting older is the risk of experiencing age-related diseases including various cancers, dementia, type-2 diabetes, cataracts and osteoporosis. Historically, the ageing process and its consequences were thought to be intractable. However, over the last two decades or so, a wealth of empirical data has been generated which demonstrates that longevity in model organisms can be extended through the manipulation of individual genes. In particular, many pathological conditions associated with the ageing process in model organisms, and importantly conserved from nematodes to humans, are attenuated in long-lived genetic mutants. For example, several long-lived genetic mouse models show attenuation in age-related cognitive decline, adiposity, cancer and glucose intolerance. Therefore, these long-lived mice enjoy a longer period without suffering the various sequelae of ageing. The greatest challenge in the biology of ageing is to now identify the mechanisms underlying increased healthy lifespan in these model organisms. Given that the elderly are making up an increasingly greater proportion of society, this focused approach in model organisms should help identify tractable interventions that can ultimately be translated to humans

Lifelongα-tocopherol supplementation increases the median life span of C57BL/6 mice in the cold but has only minor effects on oxidative damage

The effects of dietary antioxidant supplementation on oxidative stress and life span are confused. We maintained C57BL/6 mice at 7 ± 2°C and supplemented their diet with α-tocopherol from 4 months of age. Supplementation significantly increased (p = 0.042) median life span by 15% (785 days, n = 44) relative to unsupplemented controls (682 days, n = 43) and also increased maximum life span (oldest 10%, p = 0.028). No sex or sex by treatment interaction effects were observed on life span, with treatment having no effect on resting or daily metabolic rate. Lymphocyte and hepatocyte oxidative DNA damage and hepatic lipid peroxidation were unaffected by supplementation, but hepatic oxidative DNA damage increased with age. Using a cDNA macroarray, genes associated with xenobiotic metabolism were significantly upregulated in the livers of female mice at 6 months of age (2 months supplementation). At 22 months of age (18 months supplementation) this response had largely abated, but various genes linked to the p21 signaling pathway were upregulated at this time. We suggest that α-tocopherol may initially be metabolized as a xenobiotic, potentially explaining why previous studies observe a life span extension generally when lifelong supplementation is initiated early in life. The absence of any significant effect on oxidative damage suggests that the life span extension observed was not mediated via any antioxidant properties of α-tocopherol. We propose that the life span extension observed following α-tocopherol supplementation may be mediated via upregulation of cytochrome p450 genes after 2 months of supplementation and/or upregulation of p21 signaling genes after 18 months of supplementation. However, these signaling pathways now require further investigation to establish their exact role in life span extension following α-tocopherol supplementation

Exponentially hard problems are sometimes polynomial, a large deviation analysis of search algorithms for the random Satisfiability problem, and its application to stop-and-restart resolutions

A large deviation analysis of the solving complexity of random 3-Satisfiability instances slightly below threshold is presented. While finding a solution for such instances demands an exponential effort with high probability, we show that an exponentially small fraction of resolutions require a computation scaling linearly in the size of the instance only. This exponentially small probability of easy resolutions is analytically calculated, and the corresponding exponent shown to be smaller (in absolute value) than the growth exponent of the typical resolution time. Our study therefore gives some theoretical basis to heuristic stop-and-restart solving procedures, and suggests a natural cut-off (the size of the instance) for the restart.Comment: Revtex file, 4 figure