A domain-specific language for the hybridization and static condensation of finite element methods

In this paper, we introduce a domain-specific language (DSL) for concisely expressing localized linear algebra on finite element tensors and its integration within a code-generation framework. This DSL is general enough to facilitate the automatic generation of element-based dense linear algebra kernels necessary for the implementation of static condensation methods and local solvers for a variety of problems. We demonstrate its use for the static condensation of continuous Galerkin problems, and systems arising from hybridizing finite element discretizations. We also describe how this DSL can be used to execute local post-processing procedures to construct superconvergent approximations to mixed problems. This work also features high-level implementations of static condensation and hybrid-mixed methods as preconditioners conforming to PETSc's interface for solving linear systems. These preconditioning interfaces provide reduced operators, which are obtained from locally assembled expressions, with the necessary context to specify full solver configurations on the resulting linear systems. We validate our implementations within the context of model second-order elliptic problems. Finally, we conclude with a performance comparison highlighting the use of a hybrid-mixed method as an efficient preconditioner in a semi-implicit method for the nonlinear rotating shallow water equations

Evaluating priority setting success in healthcare: a pilot study

<p>Abstract</p> <p>Background</p> <p>In healthcare today, decisions are made in the face of serious resource constraints. Healthcare managers are struggling to provide high quality care, manage resources effectively, and meet changing patient needs. Healthcare managers who are constantly making difficult resource decisions desire a way to improve their priority setting processes. Despite the wealth of existing priority setting literature (for example, program budgeting and marginal analysis, accountability for reasonableness, the 'describe-evaluate-improve' strategy) there are still no tools to evaluate how healthcare resources are prioritised. This paper describes the development and piloting of a process to evaluate priority setting in health institutions. The evaluation process was designed to examine the procedural and substantive dimensions of priority setting using a multi-methods approach, including a staff survey, decision-maker interviews, and document analysis.</p> <p>Methods</p> <p>The evaluation process was piloted in a mid-size community hospital in Ontario, Canada while its leaders worked through their annual budgeting process. Both qualitative and quantitative methods were used to analyze the data.</p> <p>Results</p> <p>The evaluation process was both applicable to the context and it captured the budgeting process. In general, the pilot test provided support for our evaluation process and our definition of success, (i.e., our conceptual framework).</p> <p>Conclusions</p> <p>The purpose of the evaluation process is to provide a simple, practical way for an organization to better understand what it means to achieve success in its priority setting activities and identify areas for improvement. In order for the process to be used by healthcare managers today, modification and contextualization of the process are anticipated. As the evaluation process is applied in more health care organizations or applied repeatedly in an organization, it may become more streamlined.</p

Gene-enhanced tissue engineering for dental hard tissue regeneration: (2) dentin-pulp and periodontal regeneration

Potential applications for gene-based tissue engineering therapies in the oral and maxillofacial complex include the delivery of growth factors for periodontal regeneration, pulp capping/dentin regeneration, and bone grafting of large osseous defects in dental and craniofacial reconstruction. Part 1 reviewed the principals of gene-enhanced tissue engineering and the techniques of introducing DNA into cells. This manuscript will review recent advances in gene-based therapies for dental hard tissue regeneration, specifically as it pertains to dentin regeneration/pulp capping and periodontal regeneration

Eculizumab treatment: stochastic occurrence of C3 binding to individual PNH erythrocytes

C5 blockade by eculizumab prevents complement-mediated intravascular hemolysis in paroxysmal nocturnal hemoglobinuria (PNH). However, C3-bound PNH red blood cells (RBCs), arising in almost all treated patients, may undergo extravascular hemolysis reducing clinical benefits. Despite the uniform deficiency of CD55 and of CD59, there are always two distinct populations of PNH RBCs, with (C3+) and without (C3-) C3 binding

A genome-wide genetic map of NB-LRR disease resistance loci in potato

Like all plants, potato has evolved a surveillance system consisting of a large array of genes encoding for immune receptors that confer resistance to pathogens and pests. The majority of these so-called resistance or R proteins belong to the super-family that harbour a nucleotide binding and a leucine-rich-repeat domain (NB-LRR). Here, sequence information of the conserved NB domain was used to investigate the genome-wide genetic distribution of the NB-LRR resistance gene loci in potato. We analysed the sequences of 288 unique BAC clones selected using filter hybridisation screening of a BAC library of the diploid potato clone RH89-039-16 (S. tuberosum ssp. tuberosum) and a physical map of this BAC library. This resulted in the identification of 738 partial and full-length NB-LRR sequences. Based on homology of these sequences with known resistance genes, 280 and 448 sequences were classified as TIR-NB-LRR (TNL) and CC-NB-LRR (CNL) sequences, respectively. Genetic mapping revealed the presence of 15 TNL and 32 CNL loci. Thirty-six are novel, while three TNL loci and eight CNL loci are syntenic with previously identified functional resistance genes. The genetic map was complemented with 68 universal CAPS markers and 82 disease resistance trait loci described in literature, providing an excellent template for genetic studies and applied research in potato

The epidemiology and patterns of acute and chronic toxicity associated with recreational ketamine use

Ketamine was originally synthesised for use as a dissociative anaesthetic, and it remains widely used legitimately for this indication. However, there is increasing evidence of non-medical recreational use of ketamine, particularly in individuals who frequent the night-time economy. The population-level and sub-population (clubbers) prevalence of recreational use of ketamine is not known but is likely to be similar, or slightly lower than, that of other recreational drugs such as cocaine, MDMA, and amphetamine

Systematic review of the evidence relating FEV1 decline to giving up smoking

<p>Abstract</p> <p>Background</p> <p>The rate of forced expiratory volume in 1 second (FEV₁) decline ("beta") is a marker of chronic obstructive pulmonary disease risk. The reduction in beta after quitting smoking is an upper limit for the reduction achievable from switching to novel nicotine delivery products. We review available evidence to estimate this reduction and quantify the relationship of smoking to beta.</p> <p>Methods</p> <p>Studies were identified, in healthy individuals or patients with respiratory disease, that provided data on beta over at least 2 years of follow-up, separately for those who gave up smoking and other smoking groups. Publications to June 2010 were considered. Independent beta estimates were derived for four main smoking groups: never smokers, ex-smokers (before baseline), quitters (during follow-up) and continuing smokers. Unweighted and inverse variance-weighted regression analyses compared betas in the smoking groups, and in continuing smokers by amount smoked, and estimated whether beta or beta differences between smoking groups varied by age, sex and other factors.</p> <p>Results</p> <p>Forty-seven studies had relevant data, 28 for both sexes and 19 for males. Sixteen studies started before 1970. Mean follow-up was 11 years. On the basis of weighted analysis of 303 betas for the four smoking groups, never smokers had a beta 10.8 mL/yr (95% confidence interval (CI), 8.9 to 12.8) less than continuing smokers. Betas for ex-smokers were 12.4 mL/yr (95% CI, 10.1 to 14.7) less than for continuing smokers, and for quitters, 8.5 mL/yr (95% CI, 5.6 to 11.4) less. These betas were similar to that for never smokers. In continuing smokers, beta increased 0.33 mL/yr per cigarette/day. Beta differences between continuing smokers and those who gave up were greater in patients with respiratory disease or with reduced baseline lung function, but were not clearly related to age or sex.</p> <p>Conclusion</p> <p>The available data have numerous limitations, but clearly show that continuing smokers have a beta that is dose-related and over 10 mL/yr greater than in never smokers, ex-smokers or quitters. The greater decline in those with respiratory disease or reduced lung function is consistent with some smokers having a more rapid rate of FEV₁decline. These results help in designing studies comparing continuing smokers of conventional cigarettes and switchers to novel products.</p

Interpretative and predictive modelling of Joint European Torus collisionality scans

Transport modelling of Joint European Torus (JET) dimensionless collisionality scaling experiments in various operational scenarios is presented. Interpretative simulations at a fixed radial position are combined with predictive JETTO simulations of temperatures and densities, using the TGLF transport model. The model includes electromagnetic effects and collisions as well as □(→┬E ) X □(→┬B ) shear in Miller geometry. Focus is on particle transport and the role of the neutral beam injection (NBI) particle source for the density peaking. The experimental 3-point collisionality scans include L-mode, and H-mode (D and H and higher beta D plasma) plasmas in a total of 12 discharges. Experimental results presented in (Tala et al 2017 44th EPS Conf.) indicate that for the H-mode scans, the NBI particle source plays an important role for the density peaking, whereas for the L-mode scan, the influence of the particle source is small. In general, both the interpretative and predictive transport simulations support the experimental conclusions on the role of the NBI particle source for the 12 JET discharges