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

The holistic phase model of early adult crisis

The objective of the current study was to explore the structural, temporal and experiential manifestations of crisis episodes in early adulthood, using a holistic-systemic theoretical framework. Based on an analysis of 50 interviews with individuals about a crisis episode between the ages of 25 and 35, a holistic model was developed. The model comprises four phases: (1) Locked-in, (2) Separation/Time-out, (3) Exploration and (4) Rebuilding, which in turn have characteristic features at four levels—person-in-environment, identity, motivation and affect-cognition. A crisis starts out with a commitment at work or home that has been made but is no longer desired, and this is followed by an emotionally volatile period of change as that commitment is terminated. The positive trajectory of crisis involves movement through an exploratory period towards active rebuilding of a new commitment, but ‘fast-forward’ and ‘relapse’ loops can interrupt Phases 3 and 4 and make a positive resolution of the episode less likely. The model shows conceptual links with life stage theories of emerging adulthood and early adulthood, and it extends current understandings of the transitional developmental challenges that young adults encounter

New Insights From Pre-Columbian Land Use and Fire Management in Amazonian Dark Earth Forests

This is the final version of the article. Available from Frontiers Media via the DOI in this record.Anthropogenic climate change driven by increased carbon emissions is leading to more severe fire seasons and increasing the frequency of mega-fires in the Amazon. This has the potential to convert Amazon forests from net carbon sinks to net carbon sources. Although modern human influence over the Earth is substantial, debate remains over when humans began to dominate Earth's natural systems. To date, little is known about the history of human land use in key regions like the Amazon. Here, we examine the history of human occupation from a ~8,500 year-old sediment core record from Lake Caranã (LC) in the eastern Amazon. The onset of pre-Columbian activity at LC (~4,500 cal yr B.P.) is associated with the beginning of fire management and crop cultivation, later followed by the formation of Amazonian Dark Earth soils (ADEs) ~2,000 cal yr B.P. Selective forest enrichment of edible plants and low-severity fire activity altered the composition and structure of forests growing on ADEs (ADE forests) making them more drought susceptible and fire-prone. Following European colonization (1661 A.D.), the Amazon rubber boom (mid-1800s to 1920 A.D.) is associated with record-low fire activity despite drier regional climate, indicating fire exclusion. The formation of FLONA Reserve in 1974 A.D. is accompanied by the relocation of traditional populations and a fire suppression policy. Despite suppression efforts, biomass burning and fire severity in the past decade is higher than any other period in the record. This is attributed to combined climate and human factors which create optimal conditions for mega-fires in ADE forests and threatens to transform the Amazon from a net carbon sink to a net carbon source. To help mitigate the occurrence of mega-fires, a fire management policy reducing fire-use and careful fire management for farming may help to reduce fuel loads and the occurrence of mega-fires in fire-prone ADE forests. As both natural and anthropogenic pressures are projected to increase in the Amazon, this study provides valuable insights into the legacy of past human land use on modern ADE forest composition, structure, and flammability that can inform ecological benchmarks and future management efforts in the eastern Amazon.Funding for this research was supported by the PAST (Pre-Columbian Amazon-Scale Transformations) European Research Council Consolidator Grant to JI (ERC_Cog 616179). Research was conducted under permit 01506.004836/2014-69 from the Instituto do Patrimônio Histórico e Artístico Nacional (IPHAN) and ICMBio permit 106/14-FNT. We thank all residents of Maguarí and Jamaraquá community for their hospitality and help

Andreev bound states in superconductor/ferromagnet point contact Andreev reflection spectra

As charge carriers traverse a single superconductor ferromagnet interface, they experience an additional spin-dependent phase angle that results in spin mixing and the formation of a bound state called the Andreev bound state. Here we explore whether point contact Andreev reflection can be used to detect the Andreev bound state and, within the limits of our experiment, we extract the resulting spin mixing angle. By examining spectra taken from L a 1.15 S r 1.85 M n 2 O 7 − Pb junctions, together with a compilation of literature data on highly spin polarized systems, we suggest that the existence of the Andreev bound state would resolve a number of long standing controversies in the literature of Andreev reflection, as well as defining a route to quantify the strength of spin mixing at superconductor-ferromagnet interfaces. Intriguingly, we find that for high transparency junctions, the spin mixing angle appears to take a relatively narrow range of values across all the samples studied. The ferromagnets we have chosen to study share a common property in terms of their spin arrangement, and our observations may point to the importance of this property in determining the spin mixing angle under these circumstances

Vigorous star formation hidden by dust in a galaxy at z=1.4z=1.4

Near-infrared surveys have revealed a substantial population of enigmatic faint galaxies with extremely red optical-to-near-infrared colours and with a sky surface density comparable to that of faint quasars. There are two scenarios for these extreme colours: (i) these distant galaxies have formed virtually all their stars at very high redshifts and, due to the absence of recently formed stars, the colours are extremely red and (ii) these distant galaxies contain large amounts of dust, severely reddening the rest-frame UV--optical spectrum. HR10 ($z = 1.44$) is considered the archetype of the extremely red galaxies. Here we report the detection of the continuum emission from HR10 at 850$\mu$m and at 1250$\mu$m, demonstrating that HR10 is a very dusty galaxy undergoing a major episode of star formation. Our result provides a clear example of a high-redshift galaxy where the star formation rate inferred from the ultraviolet luminosity would be underestimated by a factor up to 1000, and shows that great caution should be used to infer the global star formation history of the Universe from optical observations only.Comment: 12 pages, 1 figure, Nature, in press (30 April 1998

Identification of signaling pathways in early mammary gland development by mouse genetics

The mammary gland develops as an appendage of the ectoderm. The prenatal stage of mammary development is hormone independent and is regulated by sequential and reciprocal signaling between the epithelium and the mesenchyme. A number of recent studies using human and mouse genetics, in particular targeted gene deletion and transgenic expression, have identified some of the signals that control specific steps in development. This process involves cell specification and proliferation, reciprocal tissue interactions and cell migration. Since some of these events are recapitulated during tumorigenesis, an understanding of these signaling pathways may contribute to the development of targeted therapies and novel drugs

Bonded by nature: humans form equally strong and reciprocated bonds with similar raised dogs and wolves

Introduction: To explore human-canid relationships, we tested similarly socialized and raised dogs (Canis familiaris) and wolves (Canis lupus) and their trainers in a wildlife park. The aims of our study were twofold: first, we aimed to test which factors influenced the relationships that the trainers formed with the dogs or wolves and second, we investigated if the animals reacted to the trainers in accordance with the trainers’ perceptions of their relationship. Methods: To achieve these goals, we assessed the relationships using a human-animal bonds survey, which the trainers used to rate the bonds between themselves and their peers with the canids, and by observing dyadic trainer-canid social interactions. Results: Our preliminary results given the small sample size and the set-up of the research center, demonstrate that our survey was a valid way to measure these bonds since trainers seem to perceive and agree on the strength of their bonds with the animals and that of their fellow trainers. Moreover, the strength of the bond as perceived by the trainers was mainly predicted by whether or not the trainer was a hand-raiser of the specific animal, but not by whether or not the animal was a wolf or a dog. In the interaction test, we found that male animals and animals the trainers felt more bonded to, spent more time in proximity of and in contact with the trainers; there was no difference based on species. Discussion: These results support the hypothesis that wolves, similarly to dogs, can form close relationships with familiar humans when highly socialized (Canine Cooperation Hypothesis). Moreover, as in other studies, dogs showed more submissive behaviors than wolves and did so more with experienced than less experienced trainers. Our study suggests that humans and canines form differentiated bonds with each other that, if close, are independent of whether the animal is a wolf or dog

A platform for efficient, thiol-stable conjugation to albumin's native single accessible cysteine

Herein we report the use of bromomaleimides for the construction of stable albumin conjugates via conjugation to its native, single accessible, cysteine followed by hydrolysis. Advantages over the classical maleimide approach are highlighted in terms of quantitative hydrolysis and absence of undesirable retro-Michael deconjugation

Changing Significance of Landslide Hazard and Risk After The 2015 Mw 7.8 Gorkha, Nepal Earthquake

The 2015 Mw 7.8 Gorkha, Nepal Earthquake triggered in excess of 20,000 landslides across 14 districts of Central and Western Nepal. Whilst the instantaneous impact of these landslides was significant, the ongoing effect of the earthquake on changing the potential for rainfall-triggered landsliding in the months and years that followed has remained poorly understood and challenging to predict. To provide insight into how landsliding has evolved since the earthquake, and how it has impacted those living in the affected area, a detailed time-series landslide mapping campaign was undertaken to monitor the evolution of coseismic landslides and the initiation of new post-seismic landslides. This was supplemented by numerical modelling to simulate the future potential reactivation and runout of landslides as debris flows under monsoon rainfall, identifying locations potentially at risk. This analysis shows that landslide hazard was higher in November 2019 as compared to immediately after the 2015 earthquake, with a considerable portion of the landscape being impacted by landsliding. We show that, while pre-existing landslides continued to pose the majority of hazard in the aftermath of the earthquake, a significant number of landslides also occurred in new locations. We discuss the value of this type of analysis in informing the reconstruction and management of settlements at risk by summarizing how this work was integrated into the project Durable Solutions II, that supported communities at risk from landslides. Finally, we consider how such data could be used in future to inform risk sensitive land-use planning and disaster recovery, and to mitigate the impacts of future landsliding in Nepal and beyond

Conformational effects on the Circular Dichroism of Human Carbonic Anhydrase II: a multilevel computational study

Circular Dichroism (CD) spectroscopy is a powerful method for investigating conformational changes in proteins and therefore has numerous applications in structural and molecular biology. Here a computational investigation of the CD spectrum of the Human Carbonic Anhydrase II (HCAII), with main focus on the near-UV CD spectra of the wild-type enzyme and it seven tryptophan mutant forms, is presented and compared to experimental studies. Multilevel computational methods (Molecular Dynamics, Semiempirical Quantum Mechanics, Time-Dependent Density Functional Theory) were applied in order to gain insight into the mechanisms of interaction between the aromatic chromophores within the protein environment and understand how the conformational flexibility of the protein influences these mechanisms. The analysis suggests that combining CD semi empirical calculations, crystal structures and molecular dynamics (MD) could help in achieving a better agreement between the computed and experimental protein spectra and provide some unique insight into the dynamic nature of the mechanisms of chromophore interactions