Suites réductibles et reproductibles 

Suites réductibles et reproductibles  Automates sigma-polynomiaux agissant sur des suites pério diques 5.1.1 Les suites périodiques et automates Ons’intéresse aux suites périodiques à valeurs dans ZN, où ZN = Z/NZ. Les résul tats de cette partie se généralisent à tout...

Stratégie d’optimisation adaptative

Stratégie d’optimisation adaptative Enjeux et démarche Dans le chapitre précédent, j’ai montré l’existence d’un intervalle pour le paramètre de régularisation permettant de s’assurer que le minimum global de J0 corresponde à la solution du maximum de vraisemblance déterministe (1.45). Cependant,...

Stockage des motifs de causalité observés dans un log

Stockage des motifs de causalité observés dans un log Dans ce chapitre, nous proposons une représentation causale d’un log d’alarmes. En par ticulier, nous souhaitons stocker grâce à cette représentation les motifs de causalités basées sur les caractéristiques spatiales (machine...

Standardité des filtrations engendrées par deux versions de l’automate additif Dans toute la suite, et sauf mention contraire, (A,+) est un groupe abélien fini, qui nous servira d’alphabet pour construire nos automates cellulaires. On présente dans ce chapitre deux versions...

Simulation des programmes impératifs

Simulation des programmes impératifs Graphes d’exécution Le but de ce chapitre est de prouver que les ASMs peuvent simuler les programmes impératifs, au sens de la définition 2.3.5 p.56. Je rappelle que dans le système de transition p.47 définissant la...

Représentation des connaissances et raisonnement

Représentation des connaissances et raisonnement Les prédicats et les propositions En logique du premier ordre, la représentation des connaissances et le raison nement, requièrent l’utilisation de prédicats et de propositions pour représenter les axiomes, les concepts et les relations entre...

Regularity of the American put option in the Lévy’s exponential model with general discrete dividends

Regularity of the American put option in the Lévy’s exponential model with general discrete dividends We analyze how we can approximate the value function near the dividend dates. We analyze the regularity of the value function and of the optimal...

Régularité et algébricité des systèmes de récriture

Régularité et algébricité des systèmes de récriture Un problème central dans l’analyse de l’accessibilité d’un système R de récriture de mots est de déterminer l’ensemble ∗ −→ R (L) de tous les mots qui peuvent dériver selon R à partir...

Réduction d’expressions spécifiées par une seule équation

Réduction d’expressions spécifiées par une seule équation Dans ce chapitre, nous nous intéressons à l’in￿uence de la présence d’un élément absorbant sur l’ensemble particulier de tous les arbres compatibles avec un ensemble d’opérateurs S et une fonction d’arité a donnés....

Qualified topological between objects with possibly vague shapes

Qualified topological between objects with possibly vague shapes Previous works Spatial vagueness According to (Erwig and Schneider 1997, Hazarika and Cohn 2001, Pfoser et al. 2005), spatial vagueness can characterize the position and/or shape of the spatial extent of a...