28 research outputs found
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
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
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
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.
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