Nous étudions le problème de l’estimation non paramétrique pour la densité π distribution stationnaire d’une équation différentielle stochastique bi-dimensionnelle correspondant à un système Hamiltonien amorti (Zt)t∈[0,T]=(Xt,Yt)t∈[0,T]. Depuis l’observation continue trajectoire sur [0,T], nous vitesse d’estimation π(x⋆,y⋆) quand T→∞ et (x⋆,y⋆)∈R2. montrons que des estimateurs noyau atteignent ...

We consider a system of colored disordered lattice gas in a volume Λ of Z which plays an important role in the study of hydrodynamic limit. A new computation method for the canonical measures for such a system has been established in [10]. We use those results and base on them computation method for the related spectral gap which in turn has important application in hydrodynamic. Résumé. On con...

Bulk Synchronous Parallel ML ou BSML est une extension de ML pour la programmation fonctionnelle en mode direct d’algorithmes parallèles BSP (Bulk Synchronous Parallelism). Le modèle de programmation parallèle BSP a été introduit par Valiant au début des années 90 [21] afin d’offrir à la fois un haut degré d’abstraction comme les modèles PRAM [4] tout en étant portable et en permettant la prévi...

RÉSUMÉ. Cet article décrit le projet Cogni-CISMeF qui propose un module de dialogue Homme-Machine à intégrer dans le système d’indexation de connaissances médicales CISMeF (Catalogue et Index des Sites Médicaux Francophones). Nous avons adopté une démarche de modélisation cognitive en procédant à un recueil de corpus de dialogues entre un utilisateur (jouant le rôle d’un patient) désirant une i...

Electronic books are not yet heavily used because they still do not offer sufficient benefits. The Slicing Book approach is a new approach to electronic books offering personalized electronic textbooks for learners. Books are split into slices and the logical relationship between those slices is made explicite, e.g. what slice builds on knowledge provided by what other slices. This knowledge ca...

La construction d'ontologies à partir de textes fait l'objet d'études depuis plusieurs années dans le domaine de l'ingénierie des ontologies (Terminae Aussenac-Gilles et al. (2000), Text2Onto Cimiano & Volker (2005)). Un cadre méthodologique en quatre étapes (constitution d'un corpus de documents, analyse linguistique du corpus, conceptualisation, opérationnalisation de l'ontologie) est commun ...

Assuming GRH, we present an algorithm which inputs a prime p and outputs the set of fundamental discriminants D < 0 such that the reduction map modulo a prime above p from elliptic curves with CM by OD to supersingular elliptic curves in characteristic p. In the algorithm we first determine an explicit constant Dp so that |D| > Dp implies that the map is necessarily surjective and then we compu...