On Matrices, Automata, and Double Counting

Matrix models are ubiquitous for constraint problems. Many such problems have a matrix of variables M, with the same constraint defined by a finite-state automaton A on each row of M and a global cardinality constraint gcc on each column of M. We give two methods for deriving, by double counting, necessary conditions on the cardinality variables of the gcc constraints from the automaton A. The first method yields linear necessary conditions and simple arithmetic constraints. The second method introduces the cardinality automaton, which abstracts the overall behaviour of all the row automata and can be encoded by a set of linear constraints. We evaluate the impact of our methods on a large set of nurse rostering problem instances

The Groundwater Drought Initiative (GDI): analysing and understanding groundwater drought across Europe

In Europe, it is estimated that around 65 % of drinking water is extracted from groundwater. Worryingly, groundwater drought events (defined as below normal groundwater levels) pose a threat to water security. Groundwater droughts are caused by seasonal to multi-seasonal or even multi-annual episodes of meteorological drought during which the drought propagates through the river catchment into the groundwater system by mechanisms of pooling, lagging, and lengthening of the drought signals. Recent European drought events in 2010–2012, 2015 and 2017–2018 exhibited spatial coherence across large areas, thus demonstrating the need for transboundary monitoring and analysis of groundwater level fluctuations. However, such monitoring and analysis of groundwater drought at a pan-European scale is currently lacking, and so represents a gap in drought research as well as in water management capability. To address this gap, the European Groundwater Drought Initiative (GDI), a pan-European collaboration, is undertaking a large-scale data synthesis of European groundwater level data. This is being facilitated by the establishment of a new network to co-ordinate groundwater drought research across Europe. This research will deliver the first assessment of spatio-temporal changes in groundwater drought status from ∼1960 to present, and a series of case studies on groundwater drought impacts in selected temperate and semi-arid environments across Europe. Here, we describe the methods used to undertake the continental-scale status assessment, which are more widely applicable to transboundary or large-scale groundwater level analyses also in regions beyond Europe, thereby enhancing groundwater management decisions and securing water supply

The evolution of Internet addiction: A global perspective

Kimberly Young’s early work on Internet addiction (IA)has been pioneering and her early writings on the topic inspired many others to carry out research in the area. Young's (2015) recent paper on the 'evolution of Internet addiction' featured very little European research, and did not consider the main international evidence that has contributed to our current knowledge about the conceptualization, epidemiology, etiology, and course of Internet-related disorders. This short commentary paper elaborates on important literature omitted by Young that the present authors believe may be of use to researchers. We also address statements made in Young’s (2015) commentary that are incorrect (and therefore misleading) and not systematically substantiated by empirical evidence

Solving the Sports League Scheduling Problem with Tabu Search

In this paper we present a tabu approach for a version of the Sports League Scheduling Problem. The approach adopted is based on a formulation of the problem as a Constraint Satisfaction Problem (CSP). Tests were carried out on problem instances of up to 40 teams representing 780 integer variables with 780 values per variable. Experimental results show that this approach outperforms some existing methods and is one of the most promising methods for solving problems of this type

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

Autoantibodies to BRAF, a new family of autoantibodies associated with rheumatoid arthritis

International audienceBRAF (v raf murine sarcoma viral oncogene homologue B1) is a serine-threonine kinase involved in the mitogen-activated protein kinase (MAPK) signalling pathway, known to be implicated in the production of pro-inflammatory cytokines.We have observed that sera from rheumatoid arthritis (RA) patients recognize the BRAF's catalytic domain, which encompasses amino acids 416 to 766. Here, we identify peptide targets of anti-BRAF autoantibodies and test whether anti-BRAF autoantibodies may interfere with BRAF kinase activity.METHODS:Anti-BRAF autoantibodies were detected by ELISA (enzyme-linked immunosorbent assay) in the serum of RA patients and controls, using 40 overlapping 20mer peptides encompassing the catalytic domain of BRAF as immunosorbents. To test whether autoantibodies to BRAF influence BRAF kinase activity, we developed an in vitro phosphorylation assay of MEK1 (mitogen extracellular regulated kinase), a major BRAF substrate. MEK1 phosphorylation by BRAF was tested in the presence of purified anti-BRAF autoantibodies from RA patients or control antibody.RESULTS:We found that one BRAF peptide, P25 (656 to 675), is specifically recognized by autoantibodies from RA patients. Of interest, anti-P25 autoantibodies are detected in 21% of anti-CCP (cyclic citrullinated peptides) negative RA patients. Anti-BRAF autoantibodies activate the in vitro phosphorylation of MEK1 mediated by BRAF.CONCLUSIONS:Anti-BRAF autoantibodies from RA patients preferentially recognize one BRAF peptide: P25. Autoantibody responses to P25 are detected in 21% of anti-CCP negative RA patients. Most anti-BRAF autoantibodies activate BRAF kinase activity

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

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