A lower bound on CNF encodings of the at-most-one constraint

Constraint "at most one" is a basic cardinality constraint which requires that at most one of its $n$ boolean inputs is set to $1$. This constraint is widely used when translating a problem into a conjunctive normal form (CNF) and we investigate its CNF encodings suitable for this purpose. An encoding differs from a CNF representation of a function in that it can use auxiliary variables. We are especially interested in propagation complete encodings which have the property that unit propagation is strong enough to enforce consistency on input variables. We show a lower bound on the number of clauses in any propagation complete encoding of the "at most one" constraint. The lower bound almost matches the size of the best known encodings. We also study an important case of 2-CNF encodings where we show a slightly better lower bound. The lower bound holds also for a related "exactly one" constraint.Comment: 38 pages, version 3 is significantly reorganized in order to improve readabilit

Evolution of constrained layer damping using a cellular automaton algorithm

Constrained layer damping (CLD) is a highly effective passive vibration control strategy if optimized adequately. Factors controlling CLD performance are well documented for the flexural modes of beams but not for more complicated mode shapes or structures. The current paper introduces an approach that is suitable for locating CLD on any type of structure. It follows the cellular automaton (CA) principle and relies on the use of finite element models to describe the vibration properties of the structure. The ability of the algorithm to reach the best solution is demonstrated by applying it to the bending and torsion modes of a plate. Configurations that give the most weight-efficient coverage for each type of mode are first obtained by adapting the existing 'optimum length' principle used for treated beams. Next, a CA algorithm is developed, which grows CLD patches one at a time on the surface of the plate according to a simple set of rules. The effectiveness of the algorithm is then assessed by comparing the generated configurations with the known optimum ones

Pitfalls and artifacts using the D-SPECT dedicated cardiac camera

Myocardial perfusion imaging is a well-established and widely used imaging technique for the assessment of patients with known or suspected coronary artery disease. Pitfalls and artifacts associated with conventional gamma cameras are well known, and the ways to avoid and correct them have been described. In recent years solid-state detector dedicated cardiac cameras were introduced and have been shown to offer improved accuracy in addition to new imaging protocols and novel applications. The purpose of this manuscript is to familiarize the readers with the causes and effects of technical, patient-related, and operator-related pitfalls and artifacts associated with the D-SPECT dedicated cardiac camera with solid-state detectors. The manuscript offers guidance on how to avoid these factors, how to detect them, and how to correct better for them, providing high-quality diagnostic images

Stereotyping starlings are more 'pessimistic'.

Negative affect in humans and animals is known to cause individuals to interpret ambiguous stimuli pessimistically, a phenomenon termed 'cognitive bias'. Here, we used captive European starlings (Sturnus vulgaris) to test the hypothesis that a reduction in environmental conditions, from enriched to non-enriched cages, would engender negative affect, and hence 'pessimistic' biases. We also explored whether individual differences in stereotypic behaviour (repetitive somersaulting) predicted 'pessimism'. Eight birds were trained on a novel conditional discrimination task with differential rewards, in which background shade (light or dark) determined which of two covered dishes contained a food reward. The reward was small when the background was light, but large when the background was dark. We then presented background shades intermediate between those trained to assess the birds' bias to choose the dish associated with the smaller food reward (a 'pessimistic' judgement) when the discriminative stimulus was ambiguous. Contrary to predictions, changes in the level of cage enrichment had no effect on 'pessimism'. However, changes in the latency to choose and probability of expressing a choice suggested that birds learnt rapidly that trials with ambiguous stimuli were unreinforced. Individual differences in performance of stereotypies did predict 'pessimism'. Specifically, birds that somersaulted were more likely to choose the dish associated with the smaller food reward in the presence of the most ambiguous discriminative stimulus. We propose that somersaulting is part of a wider suite of behavioural traits indicative of a stress response to captive conditions that is symptomatic of a negative affective state

The JAK/STAT3 Pathway Is a Common Inducer of Astrocyte Reactivity in Alzheimer's and Huntington's Diseases.

Astrocyte reactivity is a hallmark of neurodegenerative diseases (ND), but its effects on disease outcomes remain highly debated. Elucidation of the signaling cascades inducing reactivity in astrocytes during ND would help characterize the function of these cells and identify novel molecular targets to modulate disease progression. The Janus kinase/signal transducer and activator of transcription 3 (JAK/STAT3) pathway is associated with reactive astrocytes in models of acute injury, but it is unknown whether this pathway is directly responsible for astrocyte reactivity in progressive pathological conditions such as ND. In this study, we examined whether the JAK/STAT3 pathway promotes astrocyte reactivity in several animal models of ND. The JAK/STAT3 pathway was activated in reactive astrocytes in two transgenic mouse models of Alzheimer's disease and in a mouse and a nonhuman primate lentiviral vector-based model of Huntington's disease (HD). To determine whether this cascade was instrumental for astrocyte reactivity, we used a lentiviral vector that specifically targets astrocytes in vivo to overexpress the endogenous inhibitor of the JAK/STAT3 pathway [suppressor of cytokine signaling 3 (SOCS3)]. SOCS3 significantly inhibited this pathway in astrocytes, prevented astrocyte reactivity, and decreased microglial activation in models of both diseases. Inhibition of the JAK/STAT3 pathway within reactive astrocytes also increased the number of huntingtin aggregates, a neuropathological hallmark of HD, but did not influence neuronal death. Our data demonstrate that the JAK/STAT3 pathway is a common mediator of astrocyte reactivity that is highly conserved between disease states, species, and brain regions. This universal signaling cascade represents a potent target to study the role of reactive astrocytes in ND

Averages of bb-hadron, cc-hadron, and τ\tau-lepton properties as of summer 2014

This article reports world averages of measurements of $b$-hadron, $c$-hadron, and $\tau$-lepton properties obtained by the Heavy Flavor Averaging Group (HFAG) using results available through summer 2014. For the averaging, common input parameters used in the various analyses are adjusted (rescaled) to common values, and known correlations are taken into account. The averages include branching fractions, lifetimes, neutral meson mixing parameters, $CP$ violation parameters, parameters of semileptonic decays and CKM matrix elements.Comment: 436 pages, many figures and tables. Online updates available at http://www.slac.stanford.edu/xorg/hfag

Classical Logical versus Quantum Conceptual Thought: Examples in Economics, Decision theory and Concept Theory

Inspired by a quantum mechanical formalism to model concepts and their disjunctions and conjunctions, we put forward in this paper a specific hypothesis. Namely that within human thought two superposed layers can be distinguished: (i) a layer given form by an underlying classical deterministic process, incorporating essentially logical thought and its indeterministic version modeled by classical probability theory; (ii) a layer given form under influence of the totality of the surrounding conceptual landscape, where the different concepts figure as individual entities rather than (logical) combinations of others, with measurable quantities such as 'typicality', 'membership', 'representativeness', 'similarity', 'applicability', 'preference' or 'utility' carrying the influences. We call the process in this second layer 'quantum conceptual thought', which is indeterministic in essence, and contains holistic aspects, but is equally well, although very differently, organized than logical thought. A substantial part of the 'quantum conceptual thought process' can be modeled by quantum mechanical probabilistic and mathematical structures. We consider examples of three specific domains of research where the effects of the presence of quantum conceptual thought and its deviations from classical logical thought have been noticed and studied, i.e. economics, decision theory, and concept theories and which provide experimental evidence for our hypothesis.Comment: 14 page