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

Horizontal Branch Stars: The Interplay between Observations and Theory, and Insights into the Formation of the Galaxy

We review HB stars in a broad astrophysical context, including both variable and non-variable stars. A reassessment of the Oosterhoff dichotomy is presented, which provides unprecedented detail regarding its origin and systematics. We show that the Oosterhoff dichotomy and the distribution of globular clusters (GCs) in the HB morphology-metallicity plane both exclude, with high statistical significance, the possibility that the Galactic halo may have formed from the accretion of dwarf galaxies resembling present-day Milky Way satellites such as Fornax, Sagittarius, and the LMC. A rediscussion of the second-parameter problem is presented. A technique is proposed to estimate the HB types of extragalactic GCs on the basis of integrated far-UV photometry. The relationship between the absolute V magnitude of the HB at the RR Lyrae level and metallicity, as obtained on the basis of trigonometric parallax measurements for the star RR Lyrae, is also revisited, giving a distance modulus to the LMC of (m-M)_0 = 18.44+/-0.11. RR Lyrae period change rates are studied. Finally, the conductive opacities used in evolutionary calculations of low-mass stars are investigated. [ABRIDGED]Comment: 56 pages, 22 figures. Invited review, to appear in Astrophysics and Space Scienc

Adaptive Melanin Response of the Soil Fungus Aspergillus niger to UV Radiation Stress at “Evolution Canyon”, Mount Carmel, Israel

BACKGROUND:Adaptation is an evolutionary process in which traits in a population are tailored by natural selection to better meet the challenges presented by the local environment. The major discussion relating to natural selection concerns the portraying of the cause and effect relationship between a presumably adaptive trait and selection agents generating it. Therefore, it is necessary to identify trait(s) that evolve in direct response to selection, enhancing the organism's fitness. "Evolution Canyon" (EC) in Israel mirrors a microcosmic evolutionary system across life and is ideal to study natural selection and local adaptation under sharply, microclimatically divergent environments. The south-facing, tropical, sunny and xeric "African" slope (AS) receives 200%-800% higher solar radiation than the north-facing, temperate, shady and mesic "European" slope (ES), 200 meters apart. Thus, solar ultraviolet radiation (UVR) is a major selection agent in EC influencing the organism-environment interaction. Melanin is a trait postulated to have evolved for UV-screening in microorganisms. Here we investigate the cause and effect relationship between differential UVR on the opposing slopes of EC and the conidial melanin concentration of the filamentous soil fungus Aspergillus niger. We test the working hypothesis that the AS strains exhibit higher melanin content than strains from the ES resulting in higher UV resistance. METHODOLOGY/PRINCIPAL FINDINGS:We measured conidial melanin concentration of 80 strains from the EC using a spectrophotometer. The results indicated that mean conidial melanin concentration of AS strains were threefold higher than ES strains and the former resisted UVA irradiation better than the latter. Comparisons of melanin in the conidia of A. niger strains from sunny and shady microniches on the predominantly sunny AS and predominantly shady ES indicated that shady conditions on the AS have no influence on the selection on melanin; in contrast, the sunny strains from the ES displayed higher melanin concentrations. CONCLUSIONS/SIGNIFICANCE:We conclude that melanin in A. niger is an adaptive trait against UVR generated by natural selection

The Drosophila melanogaster Genetic Reference Panel

A major challenge of biology is understanding the relationship between molecular genetic variation and variation in quantitative traits, including fitness. This relationship determines our ability to predict phenotypes from genotypes and to understand how evolutionary forces shape variation within and between species. Previous efforts to dissect the genotype-phenotype map were based on incomplete genotypic information. Here, we describe the Drosophila melanogaster Genetic Reference Panel (DGRP), a community resource for analysis of population genomics and quantitative traits. The DGRP consists of fully sequenced inbred lines derived from a natural population. Population genomic analyses reveal reduced polymorphism in centromeric autosomal regions and the X chromosome, evidence for positive and negative selection, and rapid evolution of the X chromosome. Many variants in novel genes, most at low frequency, are associated with quantitative traits and explain a large fraction of the phenotypic variance. The DGRP facilitates genotype-phenotype mapping using the power of Drosophila genetics

Unique arbuscular mycorrhizal fungal communities uncovered in date palm plantations and surrounding desert habitats of Southern Arabia

The main objective of this study was to shed light on the previously unknown arbuscular mycorrhizal fungal (AMF) communities in Southern Arabia. We explored AMF communities in two date palm (Phoenix dactylifera) plantations and the natural vegetation of their surrounding arid habitats. The plantations were managed traditionally in an oasis and according to conventional guidelines at an experimental station. Based on spore morphotyping, the AMF communities under the date palms appeared to be quite diverse at both plantations and more similar to each other than to the communities under the ruderal plant, Polygala erioptera, growing at the experimental station on the dry strip between the palm trees, and to the communities uncovered under the native vegetation (Zygophyllum hamiense, Salvadora persica, Prosopis cineraria, inter-plant area) of adjacent undisturbed arid habitat. AMF spore abundance and species richness were higher under date palms than under the ruderal and native plants. Sampling in a remote sand dune area under Heliotropium kotschyi yielded only two AMF morphospecies and only after trap culturing. Overall, 25 AMF morphospecies were detected encompassing all study habitats. Eighteen belonged to the genus Glomus including four undescribed species. Glomus sinuosum, a species typically found in undisturbed habitats, was the most frequently occurring morphospecies under the date palms. Using molecular tools, it was also found as a phylogenetic taxon associated with date palm roots. These roots were associated with nine phylogenetic taxa, among them eight from Glomus group A, but the majority could not be assigned to known morphospecies or to environmental sequences in public databases. Some phylogenetic taxa seemed to be site specific. Despite the use of group-specific primers and efficient trapping systems with a bait plant consortium, surprisingly, two of the globally most frequently found species, Glomus intraradices and Glomus mosseae, were not detected neither as phylogenetic taxa in the date palm roots nor as spores under the date palms, the intermediate ruderal plant, or the surrounding natural vegetation. The results highlight the uniqueness of AMF communities inhabiting these diverse habitats exposed to the harsh climatic conditions of Southern Arabia

Integrated genomic analyses of ovarian carcinoma

A catalogue of molecular aberrations that cause ovarian cancer is critical for developing and deploying therapies that will improve patients’ lives. The Cancer Genome Atlas project has analysed messenger RNA expression, microRNA expression, promoter methylation and DNA copy number in 489 high-grade serous ovarian adenocarcinomas and the DNA sequences of exons from coding genes in 316 of these tumours. Here we report that high-grade serous ovarian cancer is characterized by TP53 mutations in almost all tumours (96%); low prevalence but statistically recurrent somatic mutations in nine further genes including NF1, BRCA1, BRCA2, RB1 and CDK12; 113 significant focal DNA copy number aberrations; and promoter methylation events involving 168 genes. Analyses delineated four ovarian cancer transcriptional subtypes, three microRNA subtypes, four promoter methylation subtypes and a transcriptional signature associated with survival duration, and shed new light on the impact that tumours with BRCA1/2 (BRCA1 or BRCA2) and CCNE1 aberrations have on survival. Pathway analyses suggested that homologous recombination is defective in about half of the tumours analysed, and that NOTCH and FOXM1 signalling are involved in serous ovarian cancer pathophysiology.National Institutes of Health (U.S.) (Grant U54HG003067)National Institutes of Health (U.S.) (Grant U54HG003273)National Institutes of Health (U.S.) (Grant U54HG003079)National Institutes of Health (U.S.) (Grant U24CA126543)National Institutes of Health (U.S.) (Grant U24CA126544)National Institutes of Health (U.S.) (Grant U24CA126546)National Institutes of Health (U.S.) (Grant U24CA126551)National Institutes of Health (U.S.) (Grant U24CA126554)National Institutes of Health (U.S.) (Grant U24CA126561)National Institutes of Health (U.S.) (Grant U24CA126563)National Institutes of Health (U.S.) (Grant U24CA143882)National Institutes of Health (U.S.) (Grant U24CA143731)National Institutes of Health (U.S.) (Grant U24CA143835)National Institutes of Health (U.S.) (Grant U24CA143845)National Institutes of Health (U.S.) (Grant U24CA143858)National Institutes of Health (U.S.) (Grant U24CA144025)National Institutes of Health (U.S.) (Grant U24CA143866)National Institutes of Health (U.S.) (Grant U24CA143867)National Institutes of Health (U.S.) (Grant U24CA143848)National Institutes of Health (U.S.) (Grant U24CA143843)National Institutes of Health (U.S.) (Grant R21CA135877

A framework for human microbiome research

A variety of microbial communities and their genes (the microbiome) exist throughout the human body, with fundamental roles in human health and disease. The National Institutes of Health (NIH)-funded Human Microbiome Project Consortium has established a population-scale framework to develop metagenomic protocols, resulting in a broad range of quality-controlled resources and data including standardized methods for creating, processing and interpreting distinct types of high-throughput metagenomic data available to the scientific community. Here we present resources from a population of 242 healthy adults sampled at 15 or 18 body sites up to three times, which have generated 5,177 microbial taxonomic profiles from 16S ribosomal RNA genes and over 3.5 terabases of metagenomic sequence so far. In parallel, approximately 800 reference strains isolated from the human body have been sequenced. Collectively, these data represent the largest resource describing the abundance and variety of the human microbiome, while providing a framework for current and future studies

Structure, function and diversity of the healthy human microbiome

Author Posting. © The Authors, 2012. This article is posted here by permission of Nature Publishing Group. The definitive version was published in Nature 486 (2012): 207-214, doi:10.1038/nature11234.Studies of the human microbiome have revealed that even healthy individuals differ remarkably in the microbes that occupy habitats such as the gut, skin and vagina. Much of this diversity remains unexplained, although diet, environment, host genetics and early microbial exposure have all been implicated. Accordingly, to characterize the ecology of human-associated microbial communities, the Human Microbiome Project has analysed the largest cohort and set of distinct, clinically relevant body habitats so far. We found the diversity and abundance of each habitat’s signature microbes to vary widely even among healthy subjects, with strong niche specialization both within and among individuals. The project encountered an estimated 81–99% of the genera, enzyme families and community configurations occupied by the healthy Western microbiome. Metagenomic carriage of metabolic pathways was stable among individuals despite variation in community structure, and ethnic/racial background proved to be one of the strongest associations of both pathways and microbes with clinical metadata. These results thus delineate the range of structural and functional configurations normal in the microbial communities of a healthy population, enabling future characterization of the epidemiology, ecology and translational applications of the human microbiome.This research was supported in part by National Institutes of Health grants U54HG004969 to B.W.B.; U54HG003273 to R.A.G.; U54HG004973 to R.A.G., S.K.H. and J.F.P.; U54HG003067 to E.S.Lander; U54AI084844 to K.E.N.; N01AI30071 to R.L.Strausberg; U54HG004968 to G.M.W.; U01HG004866 to O.R.W.; U54HG003079 to R.K.W.; R01HG005969 to C.H.; R01HG004872 to R.K.; R01HG004885 to M.P.; R01HG005975 to P.D.S.; R01HG004908 to Y.Y.; R01HG004900 to M.K.Cho and P. Sankar; R01HG005171 to D.E.H.; R01HG004853 to A.L.M.; R01HG004856 to R.R.; R01HG004877 to R.R.S. and R.F.; R01HG005172 to P. Spicer.; R01HG004857 to M.P.; R01HG004906 to T.M.S.; R21HG005811 to E.A.V.; M.J.B. was supported by UH2AR057506; G.A.B. was supported by UH2AI083263 and UH3AI083263 (G.A.B., C. N. Cornelissen, L. K. Eaves and J. F. Strauss); S.M.H. was supported by UH3DK083993 (V. B. Young, E. B. Chang, F. Meyer, T. M. S., M. L. Sogin, J. M. Tiedje); K.P.R. was supported by UH2DK083990 (J. V.); J.A.S. and H.H.K. were supported by UH2AR057504 and UH3AR057504 (J.A.S.); DP2OD001500 to K.M.A.; N01HG62088 to the Coriell Institute for Medical Research; U01DE016937 to F.E.D.; S.K.H. was supported by RC1DE0202098 and R01DE021574 (S.K.H. and H. Li); J.I. was supported by R21CA139193 (J.I. and D. S. Michaud); K.P.L. was supported by P30DE020751 (D. J. Smith); Army Research Office grant W911NF-11-1-0473 to C.H.; National Science Foundation grants NSF DBI-1053486 to C.H. and NSF IIS-0812111 to M.P.; The Office of Science of the US Department of Energy under Contract No. DE-AC02-05CH11231 for P.S. C.; LANL Laboratory-Directed Research and Development grant 20100034DR and the US Defense Threat Reduction Agency grants B104153I and B084531I to P.S.C.; Research Foundation - Flanders (FWO) grant to K.F. and J.Raes; R.K. is an HHMI Early Career Scientist; Gordon&BettyMoore Foundation funding and institutional funding fromthe J. David Gladstone Institutes to K.S.P.; A.M.S. was supported by fellowships provided by the Rackham Graduate School and the NIH Molecular Mechanisms in Microbial Pathogenesis Training Grant T32AI007528; a Crohn’s and Colitis Foundation of Canada Grant in Aid of Research to E.A.V.; 2010 IBM Faculty Award to K.C.W.; analysis of the HMPdata was performed using National Energy Research Scientific Computing resources, the BluBioU Computational Resource at Rice University

An inquiry into the capabilities of baseline building energy modelling approaches to estimate energy savings

While baseline energy modelling approaches for buildings are progressing to meet the demand for measurement and verification (M&V) of savings of an energy performance contract, more robust and insightful modelling approaches are needed. This study compares four baseline modelling approaches (e.g., change point, nonlinear autoregressive exogenous models (NARX), Gaussian process, and ensembles of trees) in terms of predictive accuracy and operational insights. The approaches were selected based on preliminary study and employed on pre- and post-intervention data gathered from twelve commercial buildings in Ottawa, Canada. Changes in the post-intervention energy use were estimated by comparing the predicted data with measured data for the individual buildings. The known primary intervention in these buildings was implementing commercially available smart building technologies that identify and address operational suboptimalities. A deeper analysis of one building's automation system data indicates that energy savings were largely due to simple corrective actions such as eliminating the concurrent operation of heating and cooling coils of an air handling unit. The results show that saving estimates are largely affected by the choice of baseline energy modelling approach. NARX outperformed all other modelling approaches regarding accuracy and data fitting capability. On the contrary, the change point modelling approach offered insights into the operational performance of the buildings

Development of a clustering-based morning start time estimation algorithm for space heating and cooling

The morning start time of heating and cooling equipment plays an important role in the energy and comfort performance of buildings. Existing algorithms to guide this decision require either many data types with a consistent labelling nomenclature or a detailed calibrated model. In this paper, a model-free clustering-based morning start time estimation algorithm is put forward. The algorithm inputs only four types of data: indoor and outdoor temperatures, and heating and cooling energy use, and does not require any information regarding the location of the temperature sensors. The algorithm consists of four steps. The first one employs clustering to form groups of zones with a similar temperature response. The second one searches for inflection points to identify cluster temperature change rates during morning start-up periods. The third one determines the start time based on previous morning start-up temperature change rates. The last one estimates the energy savings potential by using bivariate change point models. The algorithm was developed by using a dataset from a large office building. Through hierarchical clustering, the data from 142 temperature sensors were consolidated to only seven clusters. The median morning start-up temperature change rates in individual clusters were between 0.3°C/h and 0.8°C/h for heating, and between -0.5°C/h and -1.2°C/h for cooling. The savings potential by tuning daily start times based on this information was estimated as 3% and 7% for heating and cooling, respectively