Résumé. — La renormalisation en Théorie Quantique des Champs se laisse aborder de manière très élégante à l’aide d’une structure d’algèbre de Hopf sur les graphes de Feynman, décrite par A. Connes et D. Kreimer [7]. La quantité renormalisée est obtenue à l’aide d’une procédure récursive par rapport aux nombres de boucles du graphe, qui se généralise de manière immédiate à toute algèbre de Hopf ...

Nous nous proposons d'automatiser les preuves d'égalités sur les nombres réels dans le système Coq en utilisant la théorie des corps commutatifs. L'idée de l'algorithme consiste à se débarrasser des inverses a n de pouvoir se brancher sur la procédure de décision déjà existante sur les anneaux abéliens (Ring). L'élimination des inverses se fait de manière complètement ré exive et la ré exion es...

For time series that are not stationary, the block bootstrap method is not directly applicable. However, if the underlying stochastic structure is slowly changing with time, one may employ a local block-resampling procedure. We define such a procedure, and give an example of its applicability. Résumé Bloc re-échantillonnage local Pour les séries chronologiques qui ne sont pas stationnaires, la ...

We describe our development and use of DescriptiveEnvironment (DE). This is a program to aid researchers in Finite Model Theory and students of logic to automatically generate examples, counterexamples of conjectures, reductions between problems, and visualizations of structures and queries. DescriptiveEnvironment is available for free use under an ISC license at http://www.cs.umass.edu/∼immerm...

Dans cet article l’auteur propose, d’une part, de se concentrer sur le repérage et l’analyse des marqueurs reformulation privilégiés par les juges dans un corpus d’arrêts rendus la CJUE en 2020 2021, considérés comme élément très important pour construction cohérente cohésive ce genre judiciaire. Et, d’autre leur traduction italien afin d’évaluer à fois l’influence que langue procédure exerce l...

This paper is concerned with the links between the Value Iteration algorithm and the Rolling Horizon procedure, for solving problems of stochastic optimal control under the long-run average criterion, in Markov Decision Processes with finite state and action spaces. We review conditions of the literature which imply the geometric convergence of Value Iteration to the optimal value. Aperiodicity...