Weighted decomposition in high-performance lattice-Boltzmann simulations: Are some lattice sites more equal than others?

Obtaining a good load balance is a significant challenge in scaling up lattice-Boltzmann simulations of realistic sparse problems to the exascale. Here we analyze the effect of weighted decomposition on the performance of the HemeLB lattice-Boltzmann simulation environment, when applied to sparse domains. Prior to domain decomposition, we assign wall and in/outlet sites with increased weights which reflect their increased computational cost. We combine our weighted decomposition with a second optimization, which is to sort the lattice sites according to a space filling curve. We tested these strategies on a sparse bifurcation and very sparse aneurysm geometry, and find that using weights reduces calculation load imbalance by up to 85 %, although the overall communication overhead is higher than some of our runs.This work has received funding from the CRESTA and MAPPER projects within the EC-FP7 (ICT-2011.9.13) under Grant Agreements nos. 287703 and 261507, and from EPSRC Grants EP/I017909/1 (www.2020science.net) and EP/I034602/1

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown coefficients. Lagrange interpolation allows us to find constraints with less unknown coefficients. Counterexample-guided refinement furthermore generates linear constraints that pinpoint the desired quantitative invariants. We evaluate our technique by several case studies with polynomial quantitative loop invariants in the experiments

Coalesced communication: a design pattern for complex parallel scientific software

We present a new design pattern for high-performance parallel scientific software, named coalesced communication. This pattern allows for a structured way to improve the communication performance through coalescence of multiple communication needs using two communication management components. We apply the design pattern to several simulations of a lattice-Boltzmann blood flow solver with streaming visualisation which engenders a reduction in the communication overhead of approximately 40%

Design considerations in a clinical trial of a cognitive behavioural intervention for the management of low back pain in primary care : Back Skills Training Trial

Background Low back pain (LBP) is a major public health problem. Risk factors for the development and persistence of LBP include physical and psychological factors. However, most research activity has focused on physical solutions including manipulation, exercise training and activity promotion. Methods/Design This randomised controlled trial will establish the clinical and cost-effectiveness of a group programme, based on cognitive behavioural principles, for the management of sub-acute and chronic LBP in primary care. Our primary outcomes are disease specific measures of pain and function. Secondary outcomes include back beliefs, generic health related quality of life and resource use. All outcomes are measured over 12 months. Participants randomised to the intervention arm are invited to attend up to six weekly sessions each of 90 minutes; each group has 6–8 participants. A parallel qualitative study will aid the evaluation of the intervention. Discussion In this paper we describe the rationale and design of a randomised evaluation of a group based cognitive behavioural intervention for low back pain

Atomic-scale combination of germanium-zinc nanofibers for structural and electrochemical evolution

Alloys are recently receiving considerable attention in the community of rechargeable batteries as possible alternatives to carbonaceous negative electrodes; however, challenges remain for the practical utilization of these materials. Herein, we report the synthesis of germanium-zinc alloy nanofibers through electrospinning and a subsequent calcination step. Evidenced by in situ transmission electron microscopy and electrochemical impedance spectroscopy characterizations, this one-dimensional design possesses unique structures. Both germanium and zinc atoms are homogenously distributed allowing for outstanding electronic conductivity and high available capacity for lithium storage. The as-prepared materials present high rate capability (capacity of similar to 50% at 20 C compared to that at 0.2 C-rate) and cycle retention (73% at 3.0 C-rate) with a retaining capacity of 546 mAh g(-1) even after 1000 cycles. When assembled in a full cell, high energy density can be maintained during 400 cycles, which indicates that the current material has the potential to be used in a large-scale energy storage system

Documentation of best interest by intensivists: a retrospective study in an Ontario critical care unit

<p>Abstract</p> <p>Background</p> <p>Intensive care physicians often must rely on substitute decision makers to address all dimensions of the construct of "best interest" for incapable, critically ill patients. This task involves identifying prior wishes and to facilitate the substitute decision maker's understanding of the incapable patient's condition and their likely response to treatment. We sought to determine how well such discussions are documented in a typical intensive care unit.</p> <p>Methods</p> <p>Using a quality of communication instrument developed from a literature search and expert opinion, 2 investigators transcribed and analyzed 260 handwritten communications for 105 critically ill patients who died in the intensive care unit between January and June 2006. Cohen's kappa was calculated before analysis and then disagreements were resolved by consensus. We report results on a per-patient basis to represent documented communication as a process leading up to the time of death in the ICU. We report frequencies and percentages for discrete data, median (m) and interquartile range (IQR) for continuous data.</p> <p>Results</p> <p>Our cohort was elderly (m 72, IQR 58-81 years) and had high APACHE II scores predictive of a high probability of death (m 28, IQR 23-36). Length of stay in the intensive care unit prior to death was short (m 2, IQR 1-5 days), and withdrawal of life support preceded death for more than half (n 57, 54%). Brain death criteria were present for 18 patients (17%). Although intensivists' communications were timely (median 17 h from admission to critical care), the person consenting on behalf of the incapable patient was explicitly documented for only 10% of patients. Life support strategies at the time of communication were noted in 45% of charts, and options for their future use were presented in 88%. Considerations relevant to determining the patient's best interest in relation to the treatment plan were not well documented. While explicit survival estimates were noted in 50% of charts, physicians infrequently documented their own predictions of the patient's functional status (20%), anticipated need for chronic care (0%), or post ICU quality of life (3%). Similarly, documentation of the patient's own perspectives on these ranged from 2-18%.</p> <p>Conclusions</p> <p>Intensivists' documentation of their communication with substitute decision makers frequently outlined the proposed plan of treatment, but often lacked evidence of discussion relevant to whether the treatment plan was expected to improve the patient's condition. Legislative standards for determination of best interest, such as the Health Care Consent Act in Ontario, Canada, may provide guidance for intensivists to optimally document the rationales for proposed treatment plans.</p

Elevated aluminium concentration in acidified headwater streams lowers aquatic hyphomycete diversity and impairs leaf-litter breakdown.

Aquatic hyphomycetes play an essential role in the decomposition of allochthonous organic matter which is a fundamental process driving the functioning of forested headwater streams. We studied the effect of anthropogenic acidification on aquatic hyphomycetes associated with decaying leaves of Fagus sylvatica in six forested headwater streams (pH range, 4.3-7.1). Non-metric multidimensional scaling revealed marked differences in aquatic hyphomycete assemblages between acidified and reference streams. We found strong relationships between aquatic hyphomycete richness and mean Al concentration (r = -0.998, p < 0.0001) and mean pH (r = 0.962, p < 0.002), meaning that fungal diversity was severely depleted in acidified streams. By contrast, mean fungal biomass was not related to acidity. Leaf breakdown rate was drastically reduced under acidic conditions raising the issue of whether the functioning of headwater ecosystems could be impaired by a loss of aquatic hyphomycete species

The Demographic and Socioeconomic Factors Predictive for Populations at High-Risk for La Crosse Virus Infection in West Virginia

Although a large body of literature exists for the environmental risk factors for La Crosse virus (LACV) transmission, the demographic and socioeconomic risk factors for developing LACV infection have not been investigated. Therefore, this study investigated the demographic and socioeconomic risk factors for LACV infection in West Virginia from 2003 to 2007, using two forward stepwise discriminant analyses. The discriminant analyses were used to evaluate a number of demographic and socioeconomic factors for their ability to predict: 1) those census tracts with at least one reported case of LACV infection versus those census tracts with no reported cases of LACV infection and 2) to evaluate significantly high-risk clusters for LACV infection versus significantly low-risk clusters for LACV infection. In the first model, a high school education diploma or a general education diploma or less and a lower housing densit