In this paper, we apply first and higher-order Euler discretizations to compare dynamic systems in discrete and continuous time. In addition, we stress the difference between backward and forward-looking approximations. Focussing on local bifurcations, we find that time representation is neutral and asymptotically neutral for models with saddle-node and Hopf bifurcations, respectively. Converse...

INTRODUCTION The aim of the present study was to screen for bipolarity and to investigate the affective temperaments of patients with multiple sclerosis (MS) and the possible association between the clinical and demographic characteristics of MS patients and temperament profiles. METHODS A total of 65 patients with MS and 66 healthy volunteers completed the 32-item hypomania checklist (HCl-32...

Probabilités Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b Description : Nous présentons une méthode de preuve qui permet de montrer la terminaison en temps moyen fini d'un algorithme probabiliste et distribué utilisé par le protocole WI-FI 802.11b. Averroes – Vérification de propriétés quantitatives et fonctionnelles

We prove that in three of the classical turnover models in pharmacodynamics the time to maximal response increases with increasing drug dose when the concentration of the drug in the blood plasma decreases exponentially with time. To cite this article: H.-M. Nguyen, L.A. Peletier, C. R. Acad. Sci. Paris, Ser. I 347 (2009). © 2009 Académie des sciences. Published by Elsevier Masson SAS. All righ...

This paper proposes a new method for real-time human motion recognition using Motion Capture (MoCap) data. In particular, our method uses examplars to learn actions, without the need for learning intra class variations. We have formalized streamed recognizable actions, coming from an online MoCap engine, into a motion graph, similar to an animation motion graph. This graph is used as an automat...