Global ETD Search

11	Random periodic solutions of stochastic functional differential equations Luo, Ye January 2014 (has links) In this thesis, we study the existence of random periodic solutions for both nonlinear dissipative stochastic functional differential equations (SFDEs) and semilinear nondissipative SFDEs in C([-r,0],R^d). Under some sufficient conditions for the existence of global semiflows for SFDEs, by using pullback-convergence technique to SFDE, we obtain a general theorem about the existence of random periodic solutions. By applying coupled forward-backward infinite horizon integral equations method, we perform the argument of the relative compactness of Wiener-Sobolev spaces in C([0,τ],C([-r,0]L²(Ω))) and the generalized Schauder's fixed point theorem to show the existence of random periodic solutions. 519.2
12	Une approche catégorique unifiée pour la récriture de graphes attribués Rebout, Maxime 16 July 2008 (has links) (PDF) En génie logiciel, les méthodes modernes de développement (ex. le MDA) s'appuient de manière cruciale sur les notions de modélisation et de transformation. Ces méthodes peuvent s'interpréter à l'aide de la théorie des graphes. La difficulté théorique réside aujourd'hui dans l'ajout sur ces graphes de données supplémentaires sur lesquelles il est nécessaire de pouvoir effectuer des calculs. Notre travail s'est focalisé sur le développement d'un cadre mathématique sûr afin d'appliquer ces transformations. Les théories des catégories (à travers le double pushout) et des types inductifs (fonctions de calcul très expressives) nous ont permis de donner une solution unifiée à ce problème dans laquelle une seule opération permet de travailler sur la structure et de calculer avec les attributs en définissant des fonctions entre graphes possédant une partie contravariante pour le travail sur les attributs. De plus, les propriétés usuelles des systèmes de récriture sont vérifiées. [INFO] Computer Science Architecture dirigée par les modèles graphes attribués récriture de graphes catégories théorie des types double pushout pullback
13	Obchodování futures - price action a order flow analýza / Futures trading - price action and order flow analysis Sodoma, Jiří January 2015 (has links) The thesis purpose is to show that small time frame discretionary e-mini market trading does not mean only blind betting without long term success. Carefully built trading plan, risk management optimization and self-control mastering are the key elements for successful financial market speculation. The first part of the thesis focuses on basics of market mechanism, price activity and order flow. Practical part summarizes findings of theoretical part of the thesis to comprehensive concept, trading plan which is tested through one month demo account trading e-mini Dow market.
14	Étude explicite de quelques n-champs géométriques Benzeghli, Brahim 03 June 2013 (has links) (PDF) Dans [PRID], Pridham a montré que tout n-champs d'Artin M admet une présentation en tant que schéma simplicial X. → M, telle que le schéma simplicial X satisfait à certaines propriétés notées par G.Pn,k de [GROTH]. Dans la présentation (...→ X2 → X1 → X0 → M), le schéma X1 représente une carte pour X0 x MX0. Donc, la lissité de X0 → M est équivalente à la lissité des deux projections ә0,ә1 : X1 → X0. Ce sont les deux premières parties de la condition de Grothendieck-Pridham, notées G.P1,0 et G.P1,1. Dans [BENZ12] nous avons introduit un n-champ d'Artin M des éléments de Maurer-Cartan d'une dg-catégorie. On a construit une carte, et on a déjà fait la preuve des premières conditions de lissité explicitement. Pour tout n et tout 0 ≤ k ≤ n Pridham considère un schéma noté MatchΛkn(X) avec un morphisme Xn → MatchΛkn(X). On construira explicitement le schéma simplicial de Grothendieck-Pridham X, on montrera la lissité formelle de cette carte précédente, ainsi que M est un n-champ géométrique. Catégorie simpliciale Dg-catégorie Catégorie enrichie N-catégorie ∞-catégorie Homologie Cohomologie Complexe parfait N-champs ∞-champs Maurer-Cartan Lissité formelle Schéma de Buchsbaum-Eisenbud Pullback
15	Étude explicite de quelques n-champs géométriques / Non disponible Benzeghli, Brahim 03 June 2013 (has links) Dans [PRID], Pridham a montré que tout n-champs d'Artin M admet une présentation en tant que schéma simplicial X. → M, telle que le schéma simplicial X satisfait à certaines propriétés notées par G.Pn,k de [GROTH]. Dans la présentation (…→ X2 → X1 → X0 → M), le schéma X1 représente une carte pour X0 x MX0. Donc, la lissité de X0 → M est équivalente à la lissité des deux projections ә0,ә1 : X1 → X0. Ce sont les deux premières parties de la condition de Grothendieck-Pridham, notées G.P1,0 et G.P1,1. Dans [BENZ12] nous avons introduit un n-champ d'Artin M des éléments de Maurer-Cartan d'une dg-catégorie. On a construit une carte, et on a déjà fait la preuve des premières conditions de lissité explicitement. Pour tout n et tout 0 ≤ k ≤ n Pridham considère un schéma noté MatchΛkn(X) avec un morphisme Xn → MatchΛkn(X). On construira explicitement le schéma simplicial de Grothendieck-Pridham X, on montrera la lissité formelle de cette carte précédente, ainsi que M est un n-champ géométrique. / In [PRID], Pridham has shown that any Artin n-stack M has a presentation as a simplicial scheme X. → M such that the simplicial scheme X satisfies certain properties denoted G.Pn,k of [GROTH]. In the presentation (…→ X2 → X1 → X0 → M), the scheme X1 represents a chart for X0 x MX0. Thus, the smoothness of X0 → M is equivalent to the smoothness of the two projections ә0,ә1 : X1 → X0. These are the first two parts of the Grothendieck-Pridham condition, denoted G.P1,0 and G.P1,1. In [BENZ12] we introduced an Artin n-stack M of Maurer-Cartan elements of a dg-category. We constructed a chart, and have already proven the first smoothness conditions explicitly. For any n and any 0 ≤ k ≤ n Pridham considers a scheme denoted MatchΛkn(X) with a morphism Xn → MatchΛkn(X). We will construct explicitly the Grothendieck-Pridham simplicial scheme and show the smoothness of the preceding map, therefore M is a geometric n-stack. Catégorie simpliciale Dg-catégorie Catégorie enrichie N-catégorie ∞-catégorie Homologie Cohomologie Complexe parfait N-champs ∞-champs Maurer-Cartan Lissité formelle Schéma de Buchsbaum-Eisenbud Pullback Simplicial category Dg-category Enriched category N-category ∞-category Homology Cohomology Perfect complex N-stacks ∞-stacks Maurer-Cartan Formally smooth Buchsbaum-Eisenbud scheme Pullback

Page generated in 0.0289 seconds