A logical deduction based clause learning algorithm for Boolean satisfiability problems

Clause learning is the key component of modern SAT solvers, while conflict analysis based on the implication graph is the mainstream technology to generate the learnt clauses. Whenever a clause in the clause database is falsified by the current variable assignments, the SAT solver will try to analyze the reason by using different cuts (i.e., the Unique Implication Points) on the implication graph. Those schemes reflect only the conflict on the current search subspace, does not reflect the inherent conflict directly involved in the rest space. In this paper, we propose a new advanced clause learning algorithm based on the conflict analysis and the logical deduction, which reconstructs a linear logical deduction by analyzing the relationship of different decision variables between the backjumping level and the current decision level. The logical deduction result is then added into the clause database as a newly learnt clause. The resulting implementation in Minisat improves the state-of-the-art performance in SAT solving

Typographic design of outdoor signage, restaurant authenticity, and consumers’ willingness to dine: extending semiotic theory

YesPurpose: Restaurants’ outdoor signage plays an irreplaceable role in attracting potential diners, as it conveys important functional and symbolic meanings of the businesses. The purpose of this study is to investigate the effect of typographic design elements of outdoor signage on consumers’ perceptions of authenticity. This study also tests the linkage between authenticity and willingness to dine, as well as the moderating effect of frequency of dining in ethnic restaurants on the relationship. Design/methodology/approach: Using a 2 (simplified vs traditional Chinese characters) × 2 (calligraphy vs computer font) × 2 (vertical vs horizontal text flow) between-subject design, the authors did two experiments with 786 Chinese diners. Restaurant authenticity and willingness to dine are dependent variables, and openness to ethnic cuisine is the control variable. Findings: Display characters and text flow significantly affect restaurant authenticity. Furthermore, the results of this study demonstrate that display characters interact with typeface to influence restaurant authenticity. Consumers’ perceived authenticity significantly increases their willingness to dine. The frequency of dining in ethnic restaurants moderates the relationship between restaurant authenticity and willingness to dine. Practical implications: Ethnic restaurateurs should pay attention to the outdoor signage design, as it affects potential consumers’ authenticity perceptions. Specifically, in Mainland China, traditional Chinese characters and vertical text direction increase potential consumers’ authenticity perceptions. Originality/value: This study extends the semiotic theory and applies the cue–judgment–behavior model in the hospitality literature. This study also provides new understanding of authenticity by identifying the influence of typographic design on authenticity, which confirms the semiotic theory that certain semiotic cues affect consumers’ judgments

Identification of common genetic risk variants for autism spectrum disorder

Autism spectrum disorder (ASD) is a highly heritable and heterogeneous group of neurodevelopmental phenotypes diagnosed in more than 1% of children. Common genetic variants contribute substantially to ASD susceptibility, but to date no individual variants have been robustly associated with ASD. With a marked sample-size increase from a unique Danish population resource, we report a genome-wide association meta-analysis of 18,381 individuals with ASD and 27,969 controls that identified five genome-wide-significant loci. Leveraging GWAS results from three phenotypes with significantly overlapping genetic architectures (schizophrenia, major depression, and educational attainment), we identified seven additional loci shared with other traits at equally strict significance levels. Dissecting the polygenic architecture, we found both quantitative and qualitative polygenic heterogeneity across ASD subtypes. These results highlight biological insights, particularly relating to neuronal function and corticogenesis, and establish that GWAS performed at scale will be much more productive in the near term in ASD.Peer reviewe

Genome-wide association study identifies 30 Loci Associated with Bipolar Disorder

This paper is dedicated to the memory of Psychiatric Genomics Consortium (PGC) founding member and Bipolar disorder working group co-chair Pamela Sklar. We thank the participants who donated their time, experiences and DNA to this research, and to the clinical and scientific teams that worked with them. We are deeply indebted to the investigators who comprise the PGC. The views expressed are those of the authors and not necessarily those of any funding or regulatory body. Analyses were carried out on the NL Genetic Cluster Computer (http://www.geneticcluster.org ) hosted by SURFsara, and the Mount Sinai high performance computing cluster (http://hpc.mssm.edu).Bipolar disorder is a highly heritable psychiatric disorder. We performed a genome-wide association study including 20,352 cases and 31,358 controls of European descent, with follow-up analysis of 822 variants with P<1x10-4 in an additional 9,412 cases and 137,760 controls. Eight of the 19 variants that were genome-wide significant (GWS, p < 5x10-8) in the discovery GWAS were not GWS in the combined analysis, consistent with small effect sizes and limited power but also with genetic heterogeneity. In the combined analysis 30 loci were GWS including 20 novel loci. The significant loci contain genes encoding ion channels, neurotransmitter transporters and synaptic components. Pathway analysis revealed nine significantly enriched gene-sets including regulation of insulin secretion and endocannabinoid signaling. BDI is strongly genetically correlated with schizophrenia, driven by psychosis, whereas BDII is more strongly correlated with major depressive disorder. These findings address key clinical questions and provide potential new biological mechanisms for BD.This work was funded in part by the Brain and Behavior Research Foundation, Stanley Medical Research Institute, University of Michigan, Pritzker Neuropsychiatric Disorders Research Fund L.L.C., Marriot Foundation and the Mayo Clinic Center for Individualized Medicine, the NIMH Intramural Research Program; Canadian Institutes of Health Research; the UK Maudsley NHS Foundation Trust, NIHR, NRS, MRC, Wellcome Trust; European Research Council; German Ministry for Education and Research, German Research Foundation IZKF of Münster, Deutsche Forschungsgemeinschaft, ImmunoSensation, the Dr. Lisa-Oehler Foundation, University of Bonn; the Swiss National Science Foundation; French Foundation FondaMental and ANR; Spanish Ministerio de Economía, CIBERSAM, Industria y Competitividad, European Regional Development Fund (ERDF), Generalitat de Catalunya, EU Horizon 2020 Research and Innovation Programme; BBMRI-NL; South-East Norway Regional Health Authority and Mrs. Throne-Holst; Swedish Research Council, Stockholm County Council, Söderström Foundation; Lundbeck Foundation, Aarhus University; Australia NHMRC, NSW Ministry of Health, Janette M O'Neil and Betty C Lynch

A century of trends in adult human height

Being taller is associated with enhanced longevity, and higher education and earnings. We reanalysed 1472 population-based studies, with measurement of height on more than 18.6 million participants to estimate mean height for people born between 1896 and 1996 in 200 countries. The largest gain in adult height over the past century has occurred in South Korean women and Iranian men, who became 20.2 cm (95% credible interval 17.5-22.7) and 16.5 cm (13.3-19.7) taller, respectively. In contrast, there was little change in adult height in some sub-Saharan African countries and in South Asia over the century of analysis. The tallest people over these 100 years are men born in the Netherlands in the last quarter of 20th century, whose average heights surpassed 182.5 cm, and the shortest were women born in Guatemala in 1896 (140.3 cm; 135.8-144.8). The height differential between the tallest and shortest populations was 19-20 cm a century ago, and has remained the same for women and increased for men a century later despite substantial changes in the ranking of countries

Rising rural body-mass index is the main driver of the global obesity epidemic in adults

Body-mass index (BMI) has increased steadily in most countries in parallel with a rise in the proportion of the population who live in cities 1,2 . This has led to a widely reported view that urbanization is one of the most important drivers of the global rise in obesity 3�6 . Here we use 2,009 population-based studies, with measurements of height and weight in more than 112 million adults, to report national, regional and global trends in mean BMI segregated by place of residence (a rural or urban area) from 1985 to 2017. We show that, contrary to the dominant paradigm, more than 55 of the global rise in mean BMI from 1985 to 2017�and more than 80 in some low- and middle-income regions�was due to increases in BMI in rural areas. This large contribution stems from the fact that, with the exception of women in sub-Saharan Africa, BMI is increasing at the same rate or faster in rural areas than in cities in low- and middle-income regions. These trends have in turn resulted in a closing�and in some countries reversal�of the gap in BMI between urban and rural areas in low- and middle-income countries, especially for women. In high-income and industrialized countries, we noted a persistently higher rural BMI, especially for women. There is an urgent need for an integrated approach to rural nutrition that enhances financial and physical access to healthy foods, to avoid replacing the rural undernutrition disadvantage in poor countries with a more general malnutrition disadvantage that entails excessive consumption of low-quality calories. © 2019, The Author(s)

Dynamics of quantum discord for two correlated qubits in two independent reservoirs at finite temperature

We investigate dynamics of quantum discord (QD) for two initially-correlated qubits in two independent Ohmic reservoirs at finite temperature. It is indicated that the QD changes from a constant regime to a decaying regime when the two qubits are initially prepared in X-type quantum states. In the QD constant regime, the initial QD can be preserved despite decoherence in the system. It is found that temperature difference between two reservoirs significantly affects the preservation duration (PD) of the initial QD. We show that it is possible to enhance the preservation duration by properly choosing system parameters of the two qubits and reservoir parameters. Physically, it is found that the PD of the QD can reflect the temperature inhomogeneity of the non-equilibrium system which consists of the two qubits and their reservoirs