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

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

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

GIVE: portable genome browsers for personal websites.

Growing popularity and diversity of genomic data demand portable and versatile genome browsers. Here, we present an open source programming library called GIVE that facilitates the creation of personalized genome browsers without requiring a system administrator. By inserting HTML tags, one can add to a personal webpage interactive visualization of multiple types of genomics data, including genome annotation, "linear" quantitative data, and genome interaction data. GIVE includes a graphical interface called HUG (HTML Universal Generator) that automatically generates HTML code for displaying user chosen data, which can be copy-pasted into user's personal website or saved and shared with collaborators. GIVE is available at: https://www.givengine.org/

The engagement of young people in their own advance care planning process: a systematic narrative synthesis.

Background: An increasing number of young people are living with life-limiting conditions. Current research about advance care planning for young people indicates differing experiences for those involved. Understanding how far young people are engaged in their own advance care plan is important to shape future practice and facilitate young people’s wishes. Aim: To identify and assess the current evidence to determine the barriers and facilitators to the engagement of young people in their own advance care planning process. Design: A systematic narrative synthesis according to the Preferred Reporting Items for Systematic Reviews and Meta-Analyses guidelines. Study quality was assessed using a quality assessment framework previously used in similar research. Data sources: CINAHL Complete, MEDLINE, PubMed and PsycINFO were searched for articles published between 1 January 1990 and 31 October 2017. Grey literature was searched using Google Scholar and Open Grey. Results: Most studies related to the engagement of young people were conducted in hospitals or other institutions. Research reported not only the aim to include young people in their own advance care planning but also potential barriers to engagement. Barriers include poor communication, conflict within relationships of those in the planning process and patchy education and training for healthcare professionals. Some existing studies are characterised by a lack of rigorous, high-quality research, limiting their impact. Conclusion: Irrespective of setting, engagement of young people would benefit their advance care planning. More detailed, high-quality research is needed to understand the extent of the barriers to young people’s engagement in their own advance care plan and how to facilitate their involvement.</p

Dietary soy and meat proteins induce distinct physiological and gene expression changes in rats

This study reports on a comprehensive comparison of the effects of soy and meat proteins given at the recommended level on physiological markers of metabolic syndrome and the hepatic transcriptome. Male rats were fed semi-synthetic diets for 1 wk that differed only regarding protein source, with casein serving as reference. Body weight gain and adipose tissue mass were significantly reduced by soy but not meat proteins. The insulin resistance index was improved by soy, and to a lesser extent by meat proteins. Liver triacylglycerol contents were reduced by both protein sources, which coincided with increased plasma triacylglycerol concentrations. Both soy and meat proteins changed plasma amino acid patterns. The expression of 1571 and 1369 genes were altered by soy and meat proteins respectively. Functional classification revealed that lipid, energy and amino acid metabolic pathways, as well as insulin signaling pathways were regulated differently by soy and meat proteins. Several transcriptional regulators, including NFE2L2, ATF4, Srebf1 and Rictor were identified as potential key upstream regulators. These results suggest that soy and meat proteins induce distinct physiological and gene expression responses in rats and provide novel evidence and suggestions for the health effects of different protein sources in human diets

Composite Dirac Neutrinos

We present a mechanism that naturally produces light Dirac neutrinos. The basic idea is that the right-handed neutrinos are composite. Any realistic composite model must involve `hidden flavor' chiral symmetries. In general some of these symmetries may survive confinement, and in particular, one of them manifests itself at low energy as an exact $B-L$ symmetry. Dirac neutrinos are therefore produced. The neutrinos are naturally light due to compositeness. In general, sterile states are present in the model, some of them can naturally be warm dark matter candidates.Comment: 12 pages; Sec. IIC updated; minor corrections; published versio

Thalamic inputs to dorsomedial striatum are involved in inhibitory control: evidence from the five-choice serial reaction time task in rats

Rationale Corticostriatal circuits are widely implicated in the top-down control of attention including inhibitory control and behavioural flexibility. However, recent neurophysiological evidence also suggests a role for thalamic inputs to striatum in behaviours related to salient, reward-paired cues. Objectives Here, we used designer receptors exclusively activated by designer drugs (DREADDs) to investigate the role of parafascicular (Pf) thalamic inputs to the dorsomedial striatum (DMS) using the five-choice serial reaction time task (5CSRTT) in rats. Methods The 5CSRTT requires sustained attention in order to detect spatially and temporally distributed visual cues and provides measures of inhibitory control related to impulsivity (premature responses) and compulsivity (perseverative responses). Rats underwent bilateral Pf injections of the DREADD vector, AAV2-CaMKIIa-HA-hM4D(Gi)-IRES-mCitrine. The DREADD agonist, clozapine N-oxide (CNO; 1 μl bilateral; 3 μM) or vehicle, was injected into DMS 1 h before behavioural testing. Task parameters were manipulated to increase attention load or reduce stimulus predictability respectively. Results We found that inhibition of the Pf-DMS projection significantly increased perseverative responses when stimulus predictability was reduced but had no effect on premature responses or response accuracy, even under increased attentional load. Control experiments showed no effects on locomotor activity in an open field. Conclusions These results complement previous lesion work in which the DMS and orbitofrontal cortex were similarly implicated in perseverative responses and suggest a specific role for thalamostriatal inputs in inhibitory control