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

Résumé. Nous considérons l’équation de Kuramoto–Sivashinskymunie de conditions aux limites périodiques et d’une donnée initiale. Nous l’approchons en utilisant une méthode d’éléments finis de type Galerkin pour la discrétisation en espace, et un schéma de Runge–Kutta implicite pour la discrétisation en temps. Nous obtenons des estimations d’erreur optimales et discutons de la linéarisation de c...

Nous cherchons à comprendre pourquoi la propriété (T) de Kazhdan [Kaz67, HV89, BHV08], et plus particulièrement une forme renforcée de celle-ci introduite dans [Laf08], sont un obstacle à une démonstration de la surjectivité de l’application de Baum-Connes à coefficients arbitraires pour des groupes ayant un élément γ de Kasparov, à l’aide des méthodes connues. Nous passons d’abord en revue tro...

selon cecr (cadre européen commun de référence), la compétence grammaticale constitue un des éléments de la compétence communicative qui est considérée comme le but de l'enseignement et de l’apprentissage de la langue. cet article s'intéresse à la place accordée à la grammaire et à la méthodologie grammaticale d’alter ego telle qu’elle est appliquée dans les cours du fle en iran. alter ego s'en...

A new optimization-based numerical method is proposed for the solution of diffusion problems with sign-changing conductivity coefficients. In contrast to existing approaches, our method does not rely on the discretization of a stabilized equation and the convergence of the scheme can be proved without any symmetry assumption on the mesh near the interface where the conductivity sign changes. Ré...

Résumé. Cet article décrit une méthode de prétraitement destinée à faciliter la découverte de motifs fréquents dans un log d'alarmes. Au cours d'une première étape les types d'alarmes qui présentent un comportement temporel similaire sont regroupés à l'aide d'une carte auto-organisatrice. Puis on recherche les parties du log qui sont riches en alarmes pour les différents groupes. Des sous logs ...

Résumé. Cet article présente une nouvelle méthode permettant d’explorer les probabilités délivrées par un modèle prédictif de classification. L’augmentation de la probabilité d’occurrence de l’une des classes du problème étudié est analysée en fonction des variables explicatives prises isolément. La méthode proposée est posée et illustrée dans un cadre général, puis explicitement dédiée au clas...