Programming Model to Develop Supercomputer Combinatorial Solvers

© 2017 IEEE. Novel architectures for massively parallel machines offer better scalability and the prospect of achieving linear speedup for sizable problems in many domains. The development of suitable programming models and accompanying software tools for these architectures remains one of the biggest challenges towards exploiting their full potential. We present a multi-layer software abstraction model to develop combinatorial solvers on massively-parallel machines with regular topologies. The model enables different challenges in the design and optimization of combinatorial solvers to be tackled independently (separation of concerns) while permitting problem-specific tuning and cross-layer optimization. In specific, the model decouples the issues of inter-node communication, n ode-level scheduling, problem mapping, mesh-level load balancing and expressing problem logic. We present an implementation of the model and use it to profile a Boolean satisfiability solver on simulated massively-parallel machines with different scales and topologies

Associations of apolipoprotein E exon 4 and lipoprotein lipase S447X polymorphisms with acute ischemic stroke and myocardial infarction

Background: Because apolipoprotein E (apoE) and lipopoprotein lipase (LPL) polymorphisms interact with each other and with other factors to affect lipid metabolism, we sought to determine their separate and combined effects in association with ischemic vascular disease. Methods: We performed a case-control study of 816 subjects: 246 acute ischemic stroke patients, 234 acute myocardial infarction patients, and 336 controls. APOE exon 4 and LPL S447X genotypes were determined. Results: APOE ε2 and ε4 homozygotes were increased in stroke (4.5% vs. 1.0%, p = 0.008), while in myocardial infarction the ε4 allele was increased (12.6% vs. 9.5%, p = 0.006) but ε2 was decreased (3.7% vs. 12.1%, p = 0.000006). For subjects with either APOE ε2 or ε4 alleles, LPL X alleles were increased in vascular disease (OR = 2.2, p = 0.01). LPL X alleles displayed opposite tendencies toward association with disease when subjects were divided by sex, smoking, or APOE genotype. Meta-analysis and regression analysis of previous studies supported the sex and smoking dichotomies. Conclusion: This is the first report of an association of vascular disease with an interaction of APOE exon 4 and LPL S447X genotypes. Therefore, APOE genotypes and LPL S447X interactions with apoE, sex, and smoking may affect the risk of myocardial infarction and ischemic stroke. © 2006 by Walter de Gruyter.published_or_final_versio

General hardware multicasting for fine-grained message-passing architectures

Manycore architectures are increasingly favouring message-passing or partitioned global address spaces (PGAS) over cache coherency for reasons of power efficiency and scalability. However, in the absence of cache coherency, there can be a lack of hardware support for one-to-many communication patterns, which are prevalent in some application domains. To address this, we present new hardware primitives for multicast communication in rack-scale manycore systems. These primitives guarantee delivery to both colocated and distributed destinations, and can capture large unstructured communication patterns precisely. As a result, reliable multicast transfers among any number of software tasks, connected in any topology, can be fully offloaded to hardware. We implement the new primitives in a research platform consisting of 50K RISC-V threads distributed over 48 FPGAs, and demonstrate significant performance benefits on a range of applications expressed using a high-level vertex-centric programming model

Apparent non-canonical trans-splicing is generated by reverse transcriptase in vitro

Trans-splicing, the in vivo joining of two RNA molecules, is well characterized in several groups of simple organisms but was long thought absent from fungi, plants and mammals. However, recent bioinformatic analyses of expressed sequence tag (EST) databases suggested widespread trans-splicing in mammals^1-2^. Splicing, including the characterised trans-splicing systems, involves conserved sequences at the splice junctions. Our analysis of a yeast non-coding RNA revealed that around 30% of the products of reverse transcription lacked an internal region of 117 nt, suggesting that the RNA was spliced. The junction sequences lacked canonical splice-sites but were flanked by direct repeats, and further analyses indicated that the apparent splicing actually arose because reverse transcriptase can switch templates during transcription^3^. Many newly identified, apparently trans-spliced, RNAs lacked canonical splice sites but were flanked by short regions of homology, leading us to question their authenticity. Here we report that all reported categories of non-canonical splicing could be replicated using an in vitro reverse transcription system with highly purified RNA substrates. We observed the reproducible occurrence of ostensible trans-splicing, exon shuffling and sense-antisense fusions. The latter generate apparent antisense non-coding RNAs, which are also reported to be abundant in humans^4^. Different reverse transcriptases can generate different products of template switching, providing a simple diagnostic. Many reported examples of splicing in the absence of canonical splicing signals may be artefacts of cDNA preparation

Dynamic properties of noise and Her6 levels are optimized by miR-9, allowing the decoding of the Her6 oscillator

This work was supported by a Wellcome Trust Senior Research Fellowship to NP (106185/Z/14/Z).Noise is prevalent in biology and has been widely quantified using snapshot measurements. This static view obscures our understanding of dynamic noise properties and how these affect gene expression and cell state transitions. Using a CRISPR/Cas9 Zebrafish her6::Venus reporter combined with mathematical and in vivo experimentation, we explore how noise affects the protein dynamics of Her6, a basic helix‐loop‐helix transcriptional repressor. During neurogenesis, Her6 expression transitions from fluctuating to oscillatory at single‐cell level. We identify that absence of miR‐9 input generates high‐frequency noise in Her6 traces, inhibits the transition to oscillatory protein expression and prevents the downregulation of Her6. Together, these impair the upregulation of downstream targets and cells accumulate in a normally transitory state where progenitor and early differentiation markers are co‐expressed. Computational modelling and double smFISH of her6 and the early neurogenesis marker, elavl3, suggest that the change in Her6 dynamics precedes the downregulation in Her6 levels. This sheds light onto the order of events at the moment of cell state transition and how this is influenced by the dynamic properties of noise. Our results suggest that Her/Hes oscillations, facilitated by dynamic noise optimization by miR‐9, endow progenitor cells with the ability to make a cell state transition.Publisher PDFPeer reviewe

Iron, silicate, and light co-limitation of three Southern Ocean diatom species

The effect of combined iron, silicate, and light co-limitation was investigated in the three diatom species Actinocyclus sp. Ehrenberg, Chaetoceros dichaeta Ehrenberg, and Chaetoceros debilis Cleve, isolated from the Southern Ocean (SO). Growth of all species was co-limited by iron and silicate, reflected in a significant increase in the number of cell divisions compared to the control. Lowest relative Si uptake and drastic frustule malformation was found under iron and silicate co-limitation in C. dichaeta, while Si limitation in general caused cell elongation in both Chaetoceros species. Higher light intensities similar to SO surface conditions showed a negative impact on growth of C. dichaeta and Actinocyclus sp. and no effect on C. debilis. This is in contrast to the assumed light limitation of SO diatoms due to deep wind driven mixing. Our results suggest that growth and species composition of Southern Ocean diatoms is influenced by a sensitive interaction of the abiotic factors, iron, silicate, and light

Determining the date of diagnosis – is it a simple matter? The impact of different approaches to dating diagnosis on estimates of delayed care for ovarian cancer in UK primary care

Background Studies of cancer incidence and early management will increasingly draw on routine electronic patient records. However, data may be incomplete or inaccurate. We developed a generalisable strategy for investigating presenting symptoms and delays in diagnosis using ovarian cancer as an example. Methods The General Practice Research Database was used to investigate the time between first report of symptom and diagnosis of 344 women diagnosed with ovarian cancer between 01/06/2002 and 31/05/2008. Effects of possible inaccuracies in dating of diagnosis on the frequencies and timing of the most commonly reported symptoms were investigated using four increasingly inclusive definitions of first diagnosis/suspicion: 1. "Definite diagnosis" 2. "Ambiguous diagnosis" 3. "First treatment or complication suggesting pre-existing diagnosis", 4 "First relevant test or referral". Results The most commonly coded symptoms before a definite diagnosis of ovarian cancer, were abdominal pain (41%), urogenital problems(25%), abdominal distension (24%), constipation/change in bowel habits (23%) with 70% of cases reporting at least one of these. The median time between first reporting each of these symptoms and diagnosis was 13, 21, 9.5 and 8.5 weeks respectively. 19% had a code for definitions 2 or 3 prior to definite diagnosis and 73% a code for 4. However, the proportion with symptoms and the delays were similar for all four definitions except 4, where the median delay was 8, 8, 3, 10 and 0 weeks respectively. Conclusion Symptoms recorded in the General Practice Research Database are similar to those reported in the literature, although their frequency is lower than in studies based on self-report. Generalisable strategies for exploring the impact of recording practice on date of diagnosis in electronic patient records are recommended, and studies which date diagnoses in GP records need to present sensitivity analyses based on investigation, referral and diagnosis data. Free text information may be essential in obtaining accurate estimates of incidence, and for accurate dating of diagnoses

Optimising use of electronic health records to describe the presentation of rheumatoid arthritis in primary care: a strategy for developing code lists

Background Research using electronic health records (EHRs) relies heavily on coded clinical data. Due to variation in coding practices, it can be difficult to aggregate the codes for a condition in order to define cases. This paper describes a methodology to develop ‘indicator markers’ found in patients with early rheumatoid arthritis (RA); these are a broader range of codes which may allow a probabilistic case definition to use in cases where no diagnostic code is yet recorded. Methods We examined EHRs of 5,843 patients in the General Practice Research Database, aged ≥30y, with a first coded diagnosis of RA between 2005 and 2008. Lists of indicator markers for RA were developed initially by panels of clinicians drawing up code-lists and then modified based on scrutiny of available data. The prevalence of indicator markers, and their temporal relationship to RA codes, was examined in patients from 3y before to 14d after recorded RA diagnosis. Findings Indicator markers were common throughout EHRs of RA patients, with 83.5% having 2 or more markers. 34% of patients received a disease-specific prescription before RA was coded; 42% had a referral to rheumatology, and 63% had a test for rheumatoid factor. 65% had at least one joint symptom or sign recorded and in 44% this was at least 6-months before recorded RA diagnosis. Conclusion Indicator markers of RA may be valuable for case definition in cases which do not yet have a diagnostic code. The clinical diagnosis of RA is likely to occur some months before it is coded, shown by markers frequently occurring ≥6 months before recorded diagnosis. It is difficult to differentiate delay in diagnosis from delay in recording. Information concealed in free text may be required for the accurate identification of patients and to assess the quality of care in general practice

Epiparasitic plants specialized on arbuscular mycorrhizal fungi

Over 400 non-photosynthetic species from 10 families of vascular plants obtain their carbon from fungi and are thus defined as myco-heterotrophs. Many of these plants are epiparasitic on green plants from which they obtain carbon by 'cheating' shared mycorrhizal fungi. Epiparasitic plants examined to date depend on ectomycorrhizal fungi for carbon transfer and exhibit exceptional specificity for these fungi, but for most myco-heterotrophs neither the identity of the fungi nor the sources of their carbon are known. Because many myco-heterotrophs grow in forests dominated by plants associated with arbuscular mycorrhizal fungi (AMF; phylum Glomeromycota), we proposed that epiparasitism would occur also between plants linked by AMF. On a global scale AMF form the most widespread mycorrhizae, thus the ability of plants to cheat this symbiosis would be highly significant. We analysed mycorrhizae from three populations of Arachnitis uniflora (Corsiaceae, Monocotyledonae), five Voyria species and one Voyriella species (Gentianaceae, Dicotyledonae), and neighbouring green plants. Here we show that non-photosynthetic plants associate with AMF and can display the characteristic specificity of epiparasites. This suggests that AMF mediate significant inter-plant carbon transfer in nature