Verified lifting of stencil computations

This paper demonstrates a novel combination of program synthesis and verification to lift stencil computations from low-level Fortran code to a high-level summary expressed using a predicate language. The technique is sound and mostly automated, and leverages counter-example guided inductive synthesis (CEGIS) to find provably correct translations. Lifting existing code to a high-performance description language has a number of benefits, including maintainability and performance portability. For example, our experiments show that the lifted summaries can enable domain specific compilers to do a better job of parallelization as compared to an off-the-shelf compiler working on the original code, and can even support fully automatic migration to hardware accelerators such as GPUs. We have implemented verified lifting in a system called STNG and have evaluated it using microbenchmarks, mini-apps, and real-world applications. We demonstrate the benefits of verified lifting by first automatically summarizing Fortran source code into a high-level predicate language, and subsequently translating the lifted summaries into Halide, with the translated code achieving median performance speedups of 4.1X and up to 24X for non-trivial stencils as compared to the original implementation.United States. Department of Energy. Office of Science (Award DE-SC0008923)United States. Department of Energy. Office of Science (Award DE-SC0005288

Screening for Pancreatic Adenocarcinoma in BRCA2 Mutation Carriers: Results of a Disease Simulation Model

Background: BRCA2 mutation carriers are at increased risk for multiple cancers including pancreatic adenocarcinoma (PAC). Our goal was to compare the effectiveness of different PAC screening strategies in BRCA2 mutation carriers, from the standpoint of life expectancy. Methods: A previously published Markov model of PAC was updated and extended to incorporate key aspects of BRCA2 mutation carrier status, including competing risks of breast- and ovarian-cancer specific mortality. BRCA2 mutation carriers were modeled and analyzed as the primary cohort for the analysis. Additional higher risk BRCA2 cohorts that were stratified according to the number of first-degree relatives (FDRs) with PAC were also analyzed. For each cohort, one-time screening and annual screening were evaluated, with screening starting at age 50 in both strategies. The primary outcome was net gain in life expectancy (LE) compared to no screening. Sensitivity analysis was performed on key model parameters, including surgical mortality and MRI test performance. Findings: One-time screening at age 50 resulted in a LE gain of 3.9 days for the primary BRCA2 cohort, and a gain of 5.8 days for those with BRCA2 and one FDR. Annual screening resulted in LE loss of 12.9 days for the primary cohort and 1.3 days for BRCA2 carriers with 1 FDR, but resulted in 20.6 days gained for carriers with 2 FDRs and 260 days gained for those with 3 FDRs. For patients with ≥ 3 FDRs, annual screening starting at an earlier age (i.e. 35–40) was optimal. Interpretation Among BRCA2 mutation carriers, aggressive screening regimens may be ineffective unless additional indicators of elevated risk (e.g., 2 or more FDRs) are present. More clinical studies are needed to confirm these findings. Funding American Cancer Society – New England Division – Ellison Foundation Research Scholar Grant (RSG-15-129-01-CPHPS)

Antimicrobial resistance among migrants in Europe: a systematic review and meta-analysis

BACKGROUND: Rates of antimicrobial resistance (AMR) are rising globally and there is concern that increased migration is contributing to the burden of antibiotic resistance in Europe. However, the effect of migration on the burden of AMR in Europe has not yet been comprehensively examined. Therefore, we did a systematic review and meta-analysis to identify and synthesise data for AMR carriage or infection in migrants to Europe to examine differences in patterns of AMR across migrant groups and in different settings. METHODS: For this systematic review and meta-analysis, we searched MEDLINE, Embase, PubMed, and Scopus with no language restrictions from Jan 1, 2000, to Jan 18, 2017, for primary data from observational studies reporting antibacterial resistance in common bacterial pathogens among migrants to 21 European Union-15 and European Economic Area countries. To be eligible for inclusion, studies had to report data on carriage or infection with laboratory-confirmed antibiotic-resistant organisms in migrant populations. We extracted data from eligible studies and assessed quality using piloted, standardised forms. We did not examine drug resistance in tuberculosis and excluded articles solely reporting on this parameter. We also excluded articles in which migrant status was determined by ethnicity, country of birth of participants' parents, or was not defined, and articles in which data were not disaggregated by migrant status. Outcomes were carriage of or infection with antibiotic-resistant organisms. We used random-effects models to calculate the pooled prevalence of each outcome. The study protocol is registered with PROSPERO, number CRD42016043681. FINDINGS: We identified 2274 articles, of which 23 observational studies reporting on antibiotic resistance in 2319 migrants were included. The pooled prevalence of any AMR carriage or AMR infection in migrants was 25·4% (95% CI 19·1-31·8; I2 =98%), including meticillin-resistant Staphylococcus aureus (7·8%, 4·8-10·7; I2 =92%) and antibiotic-resistant Gram-negative bacteria (27·2%, 17·6-36·8; I2 =94%). The pooled prevalence of any AMR carriage or infection was higher in refugees and asylum seekers (33·0%, 18·3-47·6; I2 =98%) than in other migrant groups (6·6%, 1·8-11·3; I2 =92%). The pooled prevalence of antibiotic-resistant organisms was slightly higher in high-migrant community settings (33·1%, 11·1-55·1; I2 =96%) than in migrants in hospitals (24·3%, 16·1-32·6; I2 =98%). We did not find evidence of high rates of transmission of AMR from migrant to host populations. INTERPRETATION: Migrants are exposed to conditions favouring the emergence of drug resistance during transit and in host countries in Europe. Increased antibiotic resistance among refugees and asylum seekers and in high-migrant community settings (such as refugee camps and detention facilities) highlights the need for improved living conditions, access to health care, and initiatives to facilitate detection of and appropriate high-quality treatment for antibiotic-resistant infections during transit and in host countries. Protocols for the prevention and control of infection and for antibiotic surveillance need to be integrated in all aspects of health care, which should be accessible for all migrant groups, and should target determinants of AMR before, during, and after migration. FUNDING: UK National Institute for Health Research Imperial Biomedical Research Centre, Imperial College Healthcare Charity, the Wellcome Trust, and UK National Institute for Health Research Health Protection Research Unit in Healthcare-associated Infections and Antimictobial Resistance at Imperial College London

Surgical site infection after gastrointestinal surgery in high-income, middle-income, and low-income countries: a prospective, international, multicentre cohort study

Background: Surgical site infection (SSI) is one of the most common infections associated with health care, but its importance as a global health priority is not fully understood. We quantified the burden of SSI after gastrointestinal surgery in countries in all parts of the world. Methods: This international, prospective, multicentre cohort study included consecutive patients undergoing elective or emergency gastrointestinal resection within 2-week time periods at any health-care facility in any country. Countries with participating centres were stratified into high-income, middle-income, and low-income groups according to the UN's Human Development Index (HDI). Data variables from the GlobalSurg 1 study and other studies that have been found to affect the likelihood of SSI were entered into risk adjustment models. The primary outcome measure was the 30-day SSI incidence (defined by US Centers for Disease Control and Prevention criteria for superficial and deep incisional SSI). Relationships with explanatory variables were examined using Bayesian multilevel logistic regression models. This trial is registered with ClinicalTrials.gov, number NCT02662231. Findings: Between Jan 4, 2016, and July 31, 2016, 13 265 records were submitted for analysis. 12 539 patients from 343 hospitals in 66 countries were included. 7339 (58·5%) patient were from high-HDI countries (193 hospitals in 30 countries), 3918 (31·2%) patients were from middle-HDI countries (82 hospitals in 18 countries), and 1282 (10·2%) patients were from low-HDI countries (68 hospitals in 18 countries). In total, 1538 (12·3%) patients had SSI within 30 days of surgery. The incidence of SSI varied between countries with high (691 [9·4%] of 7339 patients), middle (549 [14·0%] of 3918 patients), and low (298 [23·2%] of 1282) HDI (p < 0·001). The highest SSI incidence in each HDI group was after dirty surgery (102 [17·8%] of 574 patients in high-HDI countries; 74 [31·4%] of 236 patients in middle-HDI countries; 72 [39·8%] of 181 patients in low-HDI countries). Following risk factor adjustment, patients in low-HDI countries were at greatest risk of SSI (adjusted odds ratio 1·60, 95% credible interval 1·05–2·37; p=0·030). 132 (21·6%) of 610 patients with an SSI and a microbiology culture result had an infection that was resistant to the prophylactic antibiotic used. Resistant infections were detected in 49 (16·6%) of 295 patients in high-HDI countries, in 37 (19·8%) of 187 patients in middle-HDI countries, and in 46 (35·9%) of 128 patients in low-HDI countries (p < 0·001). Interpretation: Countries with a low HDI carry a disproportionately greater burden of SSI than countries with a middle or high HDI and might have higher rates of antibiotic resistance. In view of WHO recommendations on SSI prevention that highlight the absence of high-quality interventional research, urgent, pragmatic, randomised trials based in LMICs are needed to assess measures aiming to reduce this preventable complication

Large expert-curated database for benchmarking document similarity detection in biomedical literature search

Document recommendation systems for locating relevant literature have mostly relied on methods developed a decade ago. This is largely due to the lack of a large offline gold-standard benchmark of relevant documents that cover a variety of research fields such that newly developed literature search techniques can be compared, improved and translated into practice. To overcome this bottleneck, we have established the RElevant LIterature SearcH consortium consisting of more than 1500 scientists from 84 countries, who have collectively annotated the relevance of over 180 000 PubMed-listed articles with regard to their respective seed (input) article/s. The majority of annotations were contributed by highly experienced, original authors of the seed articles. The collected data cover 76% of all unique PubMed Medical Subject Headings descriptors. No systematic biases were observed across different experience levels, research fields or time spent on annotations. More importantly, annotations of the same document pairs contributed by different scientists were highly concordant. We further show that the three representative baseline methods used to generate recommended articles for evaluation (Okapi Best Matching 25, Term Frequency-Inverse Document Frequency and PubMed Related Articles) had similar overall performances. Additionally, we found that these methods each tend to produce distinct collections of recommended articles, suggesting that a hybrid method may be required to completely capture all relevant articles. The established database server located at https://relishdb.ict.griffith.edu.au is freely available for the downloading of annotation data and the blind testing of new methods. We expect that this benchmark will be useful for stimulating the development of new powerful techniques for title and title/abstract-based search engines for relevant articles in biomedical research.Peer reviewe

Retrospective evaluation of whole exome and genome mutation calls in 746 cancer samples

Funder: NCI U24CA211006Abstract: The Cancer Genome Atlas (TCGA) and International Cancer Genome Consortium (ICGC) curated consensus somatic mutation calls using whole exome sequencing (WES) and whole genome sequencing (WGS), respectively. Here, as part of the ICGC/TCGA Pan-Cancer Analysis of Whole Genomes (PCAWG) Consortium, which aggregated whole genome sequencing data from 2,658 cancers across 38 tumour types, we compare WES and WGS side-by-side from 746 TCGA samples, finding that ~80% of mutations overlap in covered exonic regions. We estimate that low variant allele fraction (VAF < 15%) and clonal heterogeneity contribute up to 68% of private WGS mutations and 71% of private WES mutations. We observe that ~30% of private WGS mutations trace to mutations identified by a single variant caller in WES consensus efforts. WGS captures both ~50% more variation in exonic regions and un-observed mutations in loci with variable GC-content. Together, our analysis highlights technological divergences between two reproducible somatic variant detection efforts

Progress and emerging techniques for biomaterial-based derivation of mesenchymal stem cells (MSCs) from pluripotent stem cells (PSCs)

Abstract The use of mesenchymal stem cells (MSCs) for clinical purposes has skyrocketed in the past decade. Their multilineage differentiation potentials and immunomodulatory properties have facilitated the discovery of therapies for various illnesses. MSCs can be isolated from infant and adult tissue sources, which means they are easily available. However, this raises concerns because of the heterogeneity among the various MSC sources, which limits their effective use. Variabilities arise from donor- and tissue-specific differences, such as age, sex, and tissue source. Moreover, adult-sourced MSCs have limited proliferation potentials, which hinders their long-term therapeutic efficacy. These limitations of adult MSCs have prompted researchers to develop a new method for generating MSCs. Pluripotent stem cells (PSCs), such as embryonic stem cells and induced PSCs (iPSCs), can differentiate into various types of cells. Herein, a thorough review of the characteristics, functions, and clinical importance of MSCs is presented. The existing sources of MSCs, including adult- and infant-based sources, are compared. The most recent techniques for deriving MSCs from iPSCs, with a focus on biomaterial-assisted methods in both two- and three-dimensional culture systems, are listed and elaborated. Finally, several opportunities to develop improved methods for efficiently producing MSCs with the aim of advancing their various clinical applications are described

High-Speed Production of Crystalline Semiconducting Polymer Line Arrays by Meniscus Oscillation Self-Assembly

© Evaporative self-assembly of semiconducting polymers is a low-cost route to fabricating micrometer and nanoscale features for use in organic and flexible electronic devices. However, in most cases, rate is limited by the kinetics of solvent evaporation, and it is challenging to achieve uniformity over length- and time-scales that are compelling for manufacturing scale-up. In this study, we report high-throughput, continuous printing of poly(3-hexylthiophene) (P3HT) by a modified doctor blading technique with oscillatory meniscus motion - meniscus-oscillated self-assembly (MOSA), which forms P3HT features ∼100 times faster than previously reported techniques. The meniscus is pinned to a roller, and the oscillatory meniscus motion of the roller generates repetitive cycles of contact-line formation and subsequent slip. The printed P3HT lines demonstrate reproducible and tailorable structures: nanometer scale thickness, micrometer scale width, submillimeter pattern intervals, and millimeter-to-centimeter scale coverage with highly defined boundaries. The line width as well as interval of P3HT patterns can be independently controlled by varying the polymer concentration levels and the rotation rate of the roller. Furthermore, grazing incidence wide-angle X-ray scattering (GIWAXS) reveals that this dynamic meniscus control technique dramatically enhances the crystallinity of P3HT. The MOSA process can potentially be applied to other geometries, and to a wide range of solution-based precursors, and therefore will develop for practical applications in printed electronics.Inha University research grant (59398-1)NSF-CAREER Award (CMMI- 134663)NSF-GOALI (1463181)National Research Foundation of Korea (2013R1A3A2042196

Effect of Soybean Meal and Soluble Starch on Biogenic Amine Production and Microbial Diversity Using Rumen Fermentation

This study was conducted to investigate the effect of soybean meal (SM) and soluble starch (SS) on biogenic amine production and microbial diversity using in vitro ruminal fermentation. Treatments comprised of incubation of 2 g of mixture (expressed as 10 parts) containing different ratios of SM to SS as: 0:0, 10:0, 7:3, 5:5, 3:7, or 0:10. In vitro ruminal fermentation parameters were determined at 0, 12, 24, and 48 h of incubation while the biogenic amine and microbial diversity were determined at 48 h of incubation. Treatment with highest proportion of SM had higher (p<0.05) gas production than those with higher proportions of SS. Samples with higher proportion of SS resulted in lower pH than those with higher proportion of SM after 48 h of incubation. The largest change in NH3-N concentration from 0 to 48 h was observed on all SM while the smallest was observed on exclusive SS. Similarly, exclusive SS had the lowest NH3-N concentration among all groups after 24 h of incubation. Increasing methane (CH4) concentrations were observed with time, and CH4 concentrations were higher (p<0.05) with greater proportions of SM than SS. Balanced proportion of SM and SS had the highest (p<0.05) total volatile fatty acid (TVFA) while propionate was found highest in higher proportion of SS. Moreover, biogenic amine (BA) was higher (p<0.05) in samples containing greater proportions of SM. Histamines, amine index and total amines were highest in exclusive SM followed in sequence mixtures with increasing proportion of SS (and lowered proportion of SM) at 48 h of incubation. Nine dominant bands were identified by denaturing gradient gel electrophoresis (DGGE) and their identity ranged from 87% to 100% which were mostly isolated from rumen and feces. Bands R2 (uncultured bacterium clone RB-5E1) and R4 (uncultured rumen bacterium clone L7A_C10) bands were found in samples with higher proportions of SM while R3 (uncultured Firmicutes bacterium clone NI_52), R7 (Selenomonas sp. MCB2), R8 (Selenomonas ruminantium gene) and R9 (Selenomonas ruminantium strain LongY6) were found in samples with higher proportions of SS. Different feed ratios affect rumen fermentation in terms of pH, NH3-N, CH4, BA, volatile fatty acid and other metabolite concentrations and microbial diversity. Balanced protein and carbohydrate ratios are needed for rumen fermentation