On the Hardness of SAT with Community Structure

Recent attempts to explain the effectiveness of Boolean satisfiability (SAT) solvers based on conflict-driven clause learning (CDCL) on large industrial benchmarks have focused on the concept of community structure. Specifically, industrial benchmarks have been empirically found to have good community structure, and experiments seem to show a correlation between such structure and the efficiency of CDCL. However, in this paper we establish hardness results suggesting that community structure is not sufficient to explain the success of CDCL in practice. First, we formally characterize a property shared by a wide class of metrics capturing community structure, including "modularity". Next, we show that the SAT instances with good community structure according to any metric with this property are still NP-hard. Finally, we study a class of random instances generated from the "pseudo-industrial" community attachment model of Gir\'aldez-Cru and Levy. We prove that, with high probability, instances from this model that have relatively few communities but are still highly modular require exponentially long resolution proofs and so are hard for CDCL. We also present experimental evidence that our result continues to hold for instances with many more communities. This indicates that actual industrial instances easily solved by CDCL may have some other relevant structure not captured by the community attachment model.Comment: 23 pages. Full version of a SAT 2016 pape

Large-scale proteomic analysis of T. spiralis muscle-stage ESPs identifies a novel upstream motif for in silico prediction of secreted products

The Trichinella genus contains parasitic nematodes capable of infecting a wide range of hosts including mammals, birds and reptiles. Like other helminths, T. spiralis secretes a complex mixture of bioactive molecules capable of modulating its immediate surroundings and creating a hospitable environment for growth, survival and ultimately transmission. The constitution of these excretory-secretory products (ESPs) changes depending on the tissue niche and the specific stage of parasite development. Unique to T. spiralis is a true intracellular stage wherein larvae develop inside striated myotubes. Remarkably, the parasite larvae do not destroy the host cell but rather reprogram it to support their presence and growth. This transformation is largely mediated through stage-specific secretions released into the host cell cytoplasm. In this study, we apply state of the art proteomics and computational approaches to elucidate the composition and functions of muscle-stage T. spiralis ESPs. Moreover, we define a recurring, upstream motif associated with the stichosome, the main secretory organ of this worm, and can be used to predict secreted proteins across experimentally less tractable T. spiralis life cycle stages

Impact of metabolic syndrome and its components on cardiovascular disease event rates in 4900 patients with type 2 diabetes assigned to placebo in the field randomised trial

<p>Abstract</p> <p>Background</p> <p>Patients with the metabolic syndrome are more likely to develop type 2 diabetes and may have an increased risk of cardiovascular disease (CVD) events.We aimed to establish whether CVD event rates were influenced by the metabolic syndrome as defined by the World Health Organisation (WHO), the National Cholesterol Education Program (NCEP) Adult Treatment Panel III (ATP III) and the International Diabetes Federation (IDF) and to determine which component(s) of the metabolic syndrome (MS) conferred the highest cardiovascular risk in in 4900 patients with type 2 diabetes allocated to placebo in the Fenofibrate Intervention and Event Lowering in Diabetes (FIELD) trial.</p> <p>Research design and methods</p> <p>We determined the influence of MS variables, as defined by NCEP ATPIII, IDF and WHO, on CVD risk over 5 years, after adjustment for CVD, sex, HbA_1c, creatinine, and age, and interactions between the MS variables in a Cox proportional-hazards model.</p> <p>Results</p> <p>About 80% had hypertension, and about half had other features of the metabolic syndrome (IDF, ATPIII). There was no difference in the prevalence of metabolic syndrome variables between those with and without CVD at study entry. The WHO definition identified those at higher CVD risk across both sexes, all ages, and in those without prior CVD, while the ATPIII definition predicted risk only in those aged over 65 years and in men but not in women. Patients meeting the IDF definition did not have higher risk than those without IDF MS.</p> <p>CVD risk was strongly influenced by prior CVD, sex, age (particularly in women), baseline HbA1_c, renal dysfunction, hypertension, and dyslipidemia (low HDL-c, triglycerides > 1.7 mmol/L). The combination of low HDL-c and marked hypertriglyceridemia (> 2.3 mmol/L) increased CVD risk by 41%. Baseline systolic blood pressure increased risk by 16% per 10 mmHg in those with no prior CVD, but had no effect in those with CVD. In those without prior CVD, increasing numbers of metabolic syndrome variables (excluding waist) escalated risk.</p> <p>Conclusion</p> <p>Absence of the metabolic syndrome (by the WHO definition) identifies diabetes patients without prior CVD, who have a lower risk of future CVD events. Hypertension and dyslipidemia increase risk.</p

One-carbon metabolism in cancer

Cells require one-carbon units for nucleotide synthesis, methylation and reductive metabolism, and these pathways support the high proliferative rate of cancer cells. As such, anti-folates, drugs that target one-carbon metabolism, have long been used in the treatment of cancer. Amino acids, such as serine are a major one-carbon source, and cancer cells are particularly susceptible to deprivation of one-carbon units by serine restriction or inhibition of de novo serine synthesis. Recent work has also begun to decipher the specific pathways and sub-cellular compartments that are important for one-carbon metabolism in cancer cells. In this review we summarise the historical understanding of one-carbon metabolism in cancer, describe the recent findings regarding the generation and usage of one-carbon units and explore possible future therapeutics that could exploit the dependency of cancer cells on one-carbon metabolism

Obesity and pre-hypertension in family medicine: Implications for quality improvement

<p>Abstract</p> <p>Background.</p> <p>Prevention of pre-hypertension is an important goal for primary care patients. Obesity is a risk factor for hypertension, but has not been addressed for pre-hypertension in primary care populations. The objective of this study was to assess the degree to which obesity independently is associated with risk for pre-hypertension in family medicine patients.</p> <p>Methods.</p> <p>This study was a retrospective analysis of information abstracted from medical records of 707 adult patients. Multivariable logistic regression was used to test the relationship between body mass index (BMI) and pre-hypertension, after adjustment for comorbidity and demographic characteristics. Pre-hypertension was defined as systolic pressure between 120 and 139 mm Hg or diastolic pressure between 80 and 89 mm Hg.</p> <p>Results.</p> <p>In our sample, 42.9% of patients were pre-hypertensive. Logistic regression analysis revealed that, in comparison to patients with normal body mass, patients with BMI > 35 had higher adjusted odds of being pre-hypertensive (OR = 4.5, CI 2.55–8.11, p < .01). BMI between 30 and 35 also was significant (OR = 2.7, CI 1.61–4.63, p < 0.01) as was overweight (OR = 1.8, CI 1.14–2.92, p = 0.01).</p> <p>Conclusion.</p> <p>In our sample of family medicine patients, elevated BMI is a risk factor for pre-hypertension, especially BMI > 35. This relationship appears to be independent of age, gender, marital status and comorbidity. Weight loss intervention for obese patients, including patient education or referral to weight loss programs, might be effective for prevention of pre-hypertension and thus should be considered as a potential quality indicator.</p

Lateral gene transfer between prokaryotes and multicellular eukaryotes: ongoing and significant?

The expansion of genome sequencing projects has produced accumulating evidence for lateral transfer of genes between prokaryotic and eukaryotic genomes. However, it remains controversial whether these genes are of functional importance in their recipient host. Nikoh and Nakabachi, in a recent paper in BMC Biology, take a first step and show that two genes of bacterial origin are highly expressed in the pea aphid Acyrthosiphon pisum. Active gene expression of transferred genes is supported by three other recent studies. Future studies should reveal whether functional proteins are produced and whether and how these are targeted to the appropriate compartment. We argue that the transfer of genes between host and symbiont may occasionally be of great evolutionary importance, particularly in the evolution of the symbiotic interaction itself

The influence of the atmospheric boundary layer on nocturnal layers of noctuids and other moths migrating over southern Britain

Insects migrating at high altitude over southern Britain have been continuously monitored by automatically-operating, vertical-looking radars over a period of several years. During some occasions in the summer months, the migrants were observed to form well-defined layer concentrations, typically at heights of 200-400 m, in the stable night-time atmosphere. Under these conditions, insects are likely to have control over their vertical movements and are selecting flight heights which are favourable for long-range migration. We therefore investigated the factors influencing the formation of these insect layers by comparing radar measurements of the vertical distribution of insect density with meteorological profiles generated by the UK Met. Office’s Unified Model (UM). Radar-derived measurements of mass and displacement speed, along with data from Rothamsted Insect Survey light traps provided information on the identity of the migrants. We present here three case studies where noctuid and pyralid moths contributed substantially to the observed layers. The major meteorological factors influencing the layer concentrations appeared to be: (a) the altitude of the warmest air, (b) heights corresponding to temperature preferences or thresholds for sustained migration and (c), on nights when air temperatures are relatively high, wind-speed maxima associated with the nocturnal jet. Back-trajectories indicated that layer duration may have been determined by the distance to the coast. Overall, the unique combination of meteorological data from the UM and insect data from entomological radar described here show considerable promise for systematic studies of high-altitude insect layering

Grouping practices in the primary school: what influences change?

During the 1990s, there was considerable emphasis on promoting particular kinds of pupil grouping as a means of raising educational standards. This survey of 2000 primary schools explored the extent to which schools had changed their grouping practices in responses to this, the nature of the changes made and the reasons for those changes. Forty eight percent of responding schools reported that they had made no change. Twenty two percent reported changes because of the literacy hour, 2% because of the numeracy hour, 7% because of a combination of these and 21% for other reasons. Important influences on decisions about the types of grouping adopted were related to pupil learning and differentiation, teaching, the implementation of the national literacy strategy, practical issues and school self-evaluation