Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency

Abstract. In Constraint Programming (CP), Generalized Arc Consistency (GAC) is the central property used for making inferences when solving Constraint Satisfaction Problems (CSPs). Developing simple and practical filtering algorithms based on consistencies stronger than GAC is a challenge for the CP community. In this paper, we propose to combine k-Wise Consistency (kWC) with GAC, where kWC states that every tuple in a constraint can be extended to every set of k − 1 additional constraints. Our contribution is as follows. First, we derive a domain-filtering consistency, called Domain k-Wise Consistency (DkWC), from the combination of kWC and GAC. Roughly speaking, this property corresponds to the pruning of values of GAC, when enforced on a CSP previously made kWC. Second, we propose a procedure to enforce DkWC, relying on an encoding of kWC to generate a modified CSP called k-interleaved CSP. Formally, we prove that enforcing GAC on the k-interleaved CSP corresponds to enforcing DkWC on the initial CSP. Consequently, we show that the strong DkWC can be enforced very easily in constraint solvers since the k-interleaved CSP is rather immediate to generate and only existing GAC propagators are required: in a nutshell, DkWC is made as simple and practical as GAC. Our experimental results show the benefits of our approach on a variety of benchmarks.

Bayesian models of eye movement selection with retinotopic maps

Abstract Among the various possible criteria guiding eye movement selection, we investigate the role of position uncertainty in the peripheral visual field. In particular, we suggest that, in everyday life situations of object tracking, eye movement selection probably includes a principle of reduction of uncertainty. To evaluate this hypothesis, we confront the movement predictions of computational models with human results from a psychophysical task. This task is a freely moving eye version of the Multiple Object Tracking task, where the eye movements may be used to compensate for low peripheral resolution. We design several Bayesian models of eye movement selection with increasing complexity, whose layered structures are inspired by the neurobiology of the brain areas implied this process. Finally, we compare the relative performances of these models with regard to the prediction of the recorded human movements, and show th

Effect of [OH-] linkages on luminescent properties of ZnO nanoparticles

Optical properties of ZnO nanoparticles prepared from a simple chemical method using sodium zincate bath show strong white light emission. X-ray absorption fine structure studies reveal a completely different local environment around Zn in these ZnO nanoparticles. The observed luminescence properties and local structural changes have been explained on the basis of a linkage between Zn and OH- ions in the surface layers of ZnO nanoparticles.Comment: J. Phys. Chem. C. (2011) (in print

Bayesian Action–Perception Computational Model: Interaction of Production and Recognition of Cursive Letters

In this paper, we study the collaboration of perception and action representations involved in cursive letter recognition and production. We propose a mathematical formulation for the whole perception–action loop, based on probabilistic modeling and Bayesian inference, which we call the Bayesian Action–Perception (BAP) model. Being a model of both perception and action processes, the purpose of this model is to study the interaction of these processes. More precisely, the model includes a feedback loop from motor production, which implements an internal simulation of movement. Motor knowledge can therefore be involved during perception tasks. In this paper, we formally define the BAP model and show how it solves the following six varied cognitive tasks using Bayesian inference: i) letter recognition (purely sensory), ii) writer recognition, iii) letter production (with different effectors), iv) copying of trajectories, v) copying of letters, and vi) letter recognition (with internal simulation of movements). We present computer simulations of each of these cognitive tasks, and discuss experimental predictions and theoretical developments

LUNEX5: A French FEL Test Facility Light Source Proposal

http://accelconf.web.cern.ch/AccelConf/IPAC2012/papers/tuppp005.pdfInternational audienceLUNEX5 is a new Free Electron Laser (FEL) source project aimed at delivering short and coherent X-ray pulses to probe ultrafast phenomena at the femto-second scale, to investigate extremely low density samples as well as to image individual nm scale objects

Discriminating instance generation for automated constraint model selection

One approach to automated constraint modelling is to generate, and then select from, a set of candidate models. This method is used by the automated modelling system Conjure. To select a preferred model or set of models for a problem class from the candidates Conjure produces, we use a set of training instances drawn from the target class. It is important that the training instances are discriminating. If all models solve a given instance in a trivial amount of time, or if no models solve it in the time available, then the instance is not useful for model selection. This paper addresses the task of generating small sets of discriminating training instances automatically. The instance space is determined by the parameters of the associated problem class. We develop a number of methods of finding parameter configurations that give discriminating training instances, some of them leveraging existing parameter-tuning techniques. Our experimental results confirm the success of our approach in reducing a large set of input models to a small set that we can expect to perform well for the given problem class

Simple conceptual graphs revisited: hypergraphs and conjunctive types for efficient projection algorithms

baget2003aInternational audienceSimple Conceptual Graphs (SGs) form the cornerstone for the "Conceptual Graphs" family of languages. In this model, the subsumptio operation is called projection; it is a labelled graphs homomorphism (a NP-hard problem). Designing efficient algorithms to compute projections between two SGs is thus of uttermost importance for the community building languages on top of this basic model. This paper presents some such algorithms, inspired by those developped for Constraint Satisfaction Problems. In order to benefit from the optimization work done in this community, we have chosen to present an alternate version of SGs, differences being the definition of these graphs as hypergraphs and the use of conjunctive types

Bead arrays for antibody and complement profiling reveal joint contribution of antibody isotypes to C3 deposition

The development of antigen arrays has provided researchers with great tools to identify reactivities against self or foreign antigens from body fluids. Yet, these approaches mostly do not address antibody isotypes and their effector functions even though these are key points for a more detailed understanding of disease processes. Here, we present a bead array-based assay for a multiplexed determination of antigen-specific antibody levels in parallel with their properties for complement activation. We measured the deposition of C3 fragments from serum samples to reflect the degree of complement activation via all three complement activation pathways. We utilized the assay on a bead array containing native and citrullinated peptide antigens to investigate the levels of IgG, IgM and IgA autoantibodies along with their complement activating properties in serum samples of 41 rheumatoid arthritis patients and 40 controls. Our analysis revealed significantly higher IgG reactivity against the citrullinated fibrinogen β and filaggrin peptides as well as an IgA reactivity that was exclusive for citrullinated fibrinogen β peptide and C3 deposition in rheumatoid arthritis patients. In addition, we characterized the humoral immune response against the viral EBNA-1 antigen to demonstrate the applicability of this assay beyond autoimmune conditions. We observed that particular buffer compositions were demanded for separate measurement of antibody reactivity and complement activation, as detection of antigen-antibody complexes appeared to be masked due to C3 deposition. We also found that rheumatoid factors of IgM isotype altered C3 deposition and introduced false-positive reactivities against EBNA-1 antigen. In conclusion, the presented bead-based assay setup can be utilized to profile antibody reactivities and immune-complex induced complement activation in a high-throughput manner and could facilitate the understanding and diagnosis of several diseases where complement activation plays role in the pathomechanism

Social Media and Depressive Symptoms in Childhood and Adolescence: A Systematic Review

Concerns are increasingly raised in academic and lay literature about the impact of the internet on young people’s well-being. This systematic review examined empirical research on the relationship between social media use and depressive symptoms in the child and adolescent population. A systematic search of Medline, PsycInfo and Embase databases yielded eleven eligible studies. Relevant results were extracted from each study, with a total sample of 12,646. Analysis revealed a small but statistically significant correlation between social media use and depressive symptoms in young people. However, studies varied widely in methods, sample size and results, making the clinical significance of these findings nuanced. Over half of the studies were cross-sectional, while those of longitudinal design were of limited duration. This review justifies further investigation of this phenomenon, with a need for consensus on variables and measurement