On the mean square of the divisor function in short intervals par Aleksandar IVI´C Résumé. On donne des estimations pour la moyenne quadratique de 2X X (∆ k (x + h) − ∆ k (x)) 2 dx, o` u h = h(X) ≫ 1, h = o(x) quand X → ∞ et h se trouve dans un intervalle convenable. Pour k 2 un entier fixé, ∆ k (x) et le terme d'erreur pour la fonction sommatoire de la fonction des diviseurs d k (n), generée p...

We embed the framework of infinite two-player turn-based games played on graphs with safety objectives in an epistemic temporal logic. This embedding is made possible thanks to two intermediate embeddings: the first is from infinite games with safety objectives to supervisory control theory and the second is from supervisory control theory to epistemic temporal logic. Thereby, we are able to de...

Cet article donne les fondements de la théorie globale des composantes irréductibles d’espaces analytiques rigides sur un corps complet k. Nous prouvons l’excellence d’anneaux locaux sur les espaces rigides sur k. De là, nous prouvons les théorèmes standards d’existence et nous montrons la compatibilité avec les notions des composantes irréductibles pour les schémas et les schémas formels. Le c...

We present a gênerai theory for the approximation of regular and bifurcating branches of solutions ofnonhneat équations It can be apphed to numerous problems, including different ial équations on unbounded domains, in connection with vanous numencal algonthms, for example Galerkin methods with numencal intégration Résumé —On présente une théorie générale de l'approximation de branches, régulièr...

Un syndrome paranéoplasique est une manifestation biologique ou clinique d'un cancer liée au cancer mais sans en être la conséquence directe ou de celle de ses métastases. Les syndromes paranéoplasiques cutanés en sont l'exemple le plus visible. Patient âgé de 72 ans suivi pour une hypertension artérielle et qui rapportait l'apparition puis l'extension rapide (en quelques mois) de lésions cutan...

RÉSUMÉ. La théorie des jeux computationnelle est un moyen d’étudier et évaluer des comportements d’entités virtuelles en utilisant des modèles de théorie des jeux. L’un des exemples les plus connus de cette approche est le célèbre dilemme itéré du prisonnier classique (DIP). Cette technique permet d’établir non seulement des comportements sophistiqués mais aussi de les comparer et les évaluer. ...

résumé – Modèle de puissance vs. logarithmique de la loi de Fitts : une analyse mathématique. Après bientôt soixante années d’études, il reste toujours à déterminer si la loi de Fitts, un modèle célèbre du mouvement de pointage humain, est une loi logarithmique ou de puissance. Dans deux articles abondamment cités, Meyer & al. ont avancé l’idée que le modèle de puissance qu’ils ont déduit de le...

Nous présentons une conjecture qui se formule de manière élémentaire dans le cadre de la théorie des partitions.

We first propose a “geometrical” axiomatization for the theory of closed ordered differential fields (denoted CODF) introduced by M.Singer in 1978 (see [Si]). This axiomatization is the analogue of the Pierce-Pillay axiomatization for the theory of differentially closed fields of characteristic zero (see [PP]). We also remark that a differential lifting principle can be used to prove that CODF ...

Remerciements Je tenais tout d'abord à remercier Dr Rodolphe Weber pour m'avoir permise d'effectuer ce travail sous sa direction, pour ses conseils, pour sa patience et pour son temps, et Dr Albert Enfin, je remercie ma famille qui a cru en moi, et qui m'a apporté toute l'aide dont j'avais besoin pour en arriver là, je ne serai jamais arrivée à ce diplôme sans vos encouragement, votre confiance...