39 research outputs found

    Synchronization of Boolean Dynamical Systems: a Spectral Characterization

    No full text
    International audienceIn this paper a spectral characterization of the synchronization property of Boolean dynamical systems is provided. Conditions on the spectrum of the next-state function are derived for two systems coupled in a unidirectional way - also called master-slave configuration - to guarantee self-synchronization. Two kinds of self-synchronization are discussed: the statistical one and the finite one. Next, some conditions are stated for a specific input sequence to allow the system to be self-synchronizing. Some of the results are based on the notion of influence of variables, a notion that is extended to vectorial Boolean functions for the purpose of the paper. A potential application to cryptography is finally given

    Towards a spectral approach for the design of self-synchronizing stream ciphers

    No full text
    International audienceThis paper addresses the problem of characterizing the func- tions that can be used in the design of self-synchronizing stream ciphers. We propose a general framework based on a spectral characterization through correlation matrices or equivalently through Walsh matrices. Two modes of self-synchronization are discussed: the finite time one and the statistical one

    Exact approaches for solving a covering problem with capacitated subtrees

    Get PDF
    Experiments presented in this paper were carried out using the PLAFRIM experimental testbed, being developed under the Inria PlaFRIM development action with support from Bordeaux INP, LABRI and IMB and other entities: Conseil Régional d’Aquitaine, Université de Bordeaux, CNRS and ANR in accordance to the programmed’investissements d’Avenir (seehttps://www.plafrim.fr/)International audienceIn this document, we present a covering problem where vertices of a graph have to be covered by rooted subtrees. We present three mixed-integer linear programming models, two of which are compact while the other is based on Dantzig-Wolfe decomposition. In the latter case, we focus on the column generation subproblem, for which we propose several algorithms. Numerical results are obtained using instances from the literature and instances based on a real-life districting application. Experiments show that the branch-and-price algorithm is able to solve much bigger instances than the compact model, which is limited to very small instance sizes

    Quantifying diet-induced metabolic changes of the human gut microbiome

    Get PDF
    The human gut microbiome is known to be associated with various human disorders, but a major challenge is to go beyond association studies and elucidate causalities. Mathematical modeling of the human gut microbiome at a genome-scale is a useful tool to decipher microbe-microbe, diet-microbe and microbe-host interactions. Here, we describe the CASINO (Community and Systems-level Interactive Optimization) toolbox, a comprehensive computational platform for analysis of microbial communities through metabolic modeling. We first validated the toolbox by simulating and testing the performance of single bacteria and whole communities in in vitro. Focusing on metabolic interactions between the diet, gut microbiota and host metabolism, we demonstrated the predictive power of the toolbox in a diet-intervention study of 45 obese and overweight individuals, and validated our predictions by fecal and blood metabolomics data. Thus, modeling could quantitatively describe altered fecal and serum amino acid levels in response to diet intervention

    Ejecta Evolution Following a Planned Impact into an Asteroid: The First Five Weeks

    Full text link
    The impact of the DART spacecraft into Dimorphos, moon of the asteroid Didymos, changed Dimorphos' orbit substantially, largely from the ejection of material. We present results from twelve Earth-based facilities involved in a world-wide campaign to monitor the brightness and morphology of the ejecta in the first 35 days after impact. After an initial brightening of ~1.4 magnitudes, we find consistent dimming rates of 0.11-0.12 magnitudes/day in the first week, and 0.08-0.09 magnitudes/day over the entire study period. The system returned to its pre-impact brightness 24.3-25.3 days after impact through the primary ejecta tail remained. The dimming paused briefly eight days after impact, near in time to the appearance of the second tail. This was likely due to a secondary release of material after re-impact of a boulder released in the initial impact, through movement of the primary ejecta through the aperture likely played a role.Comment: 16 pages, 5 Figures, accepted in the Astrophysical Journal Letters (ApJL) on October 16, 202

    Nutrition for the ageing brain: towards evidence for an optimal diet

    Get PDF
    As people age they become increasingly susceptible to chronic and extremely debilitating brain diseases. The precise cause of the neuronal degeneration underlying these disorders, and indeed normal brain ageing remains however elusive. Considering the limits of existing preventive methods, there is a desire to develop effective and safe strategies. Growing preclinical and clinical research in healthy individuals or at the early stage of cognitive decline has demonstrated the beneficial impact of nutrition on cognitive functions. The present review is the most recent in a series produced by the Nutrition and Mental Performance Task Force under the auspice of the International Life Sciences Institute Europe (ILSI Europe). The latest scientific advances specific to how dietary nutrients and non-nutrient may affect cognitive ageing are presented. Furthermore, several key points related to mechanisms contributing to brain ageing, pathological conditions affecting brain function, and brain biomarkers are also discussed. Overall, findings are inconsistent and fragmented and more research is warranted to determine the underlying mechanisms and to establish dose-response relationships for optimal brain maintenance in different population subgroups. Such approaches are likely to provide the necessary evidence to develop research portfolios that will inform about new dietary recommendations on how to prevent cognitive decline

    Enabling planetary science across light-years. Ariel Definition Study Report

    Get PDF
    Ariel, the Atmospheric Remote-sensing Infrared Exoplanet Large-survey, was adopted as the fourth medium-class mission in ESA's Cosmic Vision programme to be launched in 2029. During its 4-year mission, Ariel will study what exoplanets are made of, how they formed and how they evolve, by surveying a diverse sample of about 1000 extrasolar planets, simultaneously in visible and infrared wavelengths. It is the first mission dedicated to measuring the chemical composition and thermal structures of hundreds of transiting exoplanets, enabling planetary science far beyond the boundaries of the Solar System. The payload consists of an off-axis Cassegrain telescope (primary mirror 1100 mm x 730 mm ellipse) and two separate instruments (FGS and AIRS) covering simultaneously 0.5-7.8 micron spectral range. The satellite is best placed into an L2 orbit to maximise the thermal stability and the field of regard. The payload module is passively cooled via a series of V-Groove radiators; the detectors for the AIRS are the only items that require active cooling via an active Ne JT cooler. The Ariel payload is developed by a consortium of more than 50 institutes from 16 ESA countries, which include the UK, France, Italy, Belgium, Poland, Spain, Austria, Denmark, Ireland, Portugal, Czech Republic, Hungary, the Netherlands, Sweden, Norway, Estonia, and a NASA contribution

    Ejecta Evolution Following a Planned Impact into an Asteroid: The First Five Weeks

    Get PDF
    The impact of the Double Asteroid Redirection Test spacecraft into Dimorphos, moon of the asteroid Didymos, changed Dimorphos’s orbit substantially, largely from the ejection of material. We present results from 12 Earth-based facilities involved in a world-wide campaign to monitor the brightness and morphology of the ejecta in the first 35 days after impact. After an initial brightening of ∼1.4 mag, we find consistent dimming rates of 0.11–0.12 mag day−1 in the first week, and 0.08–0.09 mag day−1 over the entire study period. The system returned to its pre-impact brightness 24.3–25.3 days after impact though the primary ejecta tail remained. The dimming paused briefly eight days after impact, near in time to the appearance of the second tail. This was likely due to a secondary release of material after re-impact of a boulder released in the initial impact, though movement of the primary ejecta through the aperture likely played a role
    corecore