28 research outputs found

    Interval Slopes as Numerical Abstract Domain for Floating-Point Variables

    Full text link
    The design of embedded control systems is mainly done with model-based tools such as Matlab/Simulink. Numerical simulation is the central technique of development and verification of such tools. Floating-point arithmetic, that is well-known to only provide approximated results, is omnipresent in this activity. In order to validate the behaviors of numerical simulations using abstract interpretation-based static analysis, we present, theoretically and with experiments, a new partially relational abstract domain dedicated to floating-point variables. It comes from interval expansion of non-linear functions using slopes and it is able to mimic all the behaviors of the floating-point arithmetic. Hence it is adapted to prove the absence of run-time errors or to analyze the numerical precision of embedded control systems

    Etude de la variabilité inter-laboratoire de la dégradation de l'azote mesurée in sacco

    No full text
    Etude de la variabilité inter-laboratoire de la dégradation de l'azote mesurée in sacco. 22. Rencontres autour des Recherches sur les Ruminant

    Etude de la variabilité inter-laboratoire de la dégradation de l'azote mesurée in sacco

    No full text
    Etude de la variabilité inter-laboratoire de la dégradation de l'azote mesurée in sacco. 22. Rencontres autour des Recherches sur les Ruminant

    Cognitive Behavioral Therapy and Acceptance and Commitment Therapy for the Discontinuation of Long-Term Benzodiazepine Use in Insomnia and Anxiety Disorders.

    Get PDF
    Benzodiazepines have proven to be highly effective for treating insomnia and anxiety. Although considered safe when taken for a short period of time, a major risk-benefit dilemma arises in the context of long-term use, relating to addiction, withdrawal symptoms, and potential side effects. For these reasons, benzodiazepines are not recommended for treating chronic sleep disorders, anxiety disorders, nor for people over the age of 65, and withdrawal among long-term users is a public health issue. Indeed, only 5% of patients manage to discontinue using these drugs on their own. Even with the help of a general practitioner, this rate does not exceed 25 to 30% of patients, of which approximately 7% manage to remain drug-free in the long term. Cognitive Behavioral Therapies (CBT) offer a crucial solution to this problem, having been shown to increase abstinence success to 70-80%. This article examines traditional and novel CBT techniques in this regard, such as Acceptance and Commitment Therapy, which address both the underlying condition (insomnia/anxiety) and the substance-related disorder. The theoretical framework and evidence supporting the use of these approaches are reviewed. Finally, current research gaps are discussed, and key research perspectives are proposed
    corecore