Tesi: "Théorie des correspondances"

1

Guillaume, Clément. "Foncteurs de correspondances généralisées". Thesis, Amiens, 2019. http://www.theses.fr/2019AMIE0015.

Testo completo

Abstract (sommario):

Dans des travaux récents, Serge Bouc et Jacques Thévenaz étudient les foncteurs de correspondances, qui sont les représentations de la catégorie des correspondances, dont les objets sont les ensembles finis, et où les flèches de X vers Y sont les parties du produit cartésien Y.x.X ; ce que l'on peut aussi voir comme des applications de Y.x.X vers le treillis booléen. En remplaçant le treillis booléen par un treillis distributif fini quelconque T, on obtient la notion de foncteur de correspondances généralisées à valeurs dans T. Leur étude s'avère très fructueuse : selon une méthodologie qui a désormais fait ses preuves, on s'intéresse d'abord aux foncteurs simples, dont on donne un paramétrage en termes de préfaisceaux d'ensembles ordonnés. Ce paramétrage permet d'obtenir plusieurs résultats intéressants d'engendrement fini et de stabilisation pour les foncteurs de correspondances généralisées. On étudie également certains foncteurs dits pseudo-simples : on formule notamment une conjecture, vérifiée dans quelques cas particuliers, décrivant complètement les évaluations des foncteurs pseudo-simples à partir des modules sur T. On déduit de cette conjecture une description des foncteurs simples. Les résultats de cette thèse généralisent de manière naturelle ceux de Serge Bouc et Jacques Thévenaz
In recent works, Serge Bouc and Jacques Thévenaz studied correspondence functors, that is, representations of the category of correspondences. The objets of this category are finite sets, and arrows from X to Y are subsets of the cartesian product Y.x.X. These arrows can also be seen as maps from Y.x.X to the boolean lattice. Replacing the boolean lattice by any finite distributive lattice T, we get the notion of generalized T-valued correspondence functor. Their study is very fruitful : according to a methodology which has proved its efficiency, we first study simple functors. They are parametrized in terms of presheaves of finite posets. This parametrization has several interesting consequences, namely results of finite generation and stabilization for generalized correspondence functors. We also study pseudo-simple functors, and we give a conjecture, verified in several particular cases, fully describing pseudo-simple functors in terms of T-modules. We deduce of this conjecture a description of simple functors. The results of this thesis naturally generalize those of Serge Bouc and Jacques Thévenaz

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Dawson, Alain. "Variation phonologique et cohésion dialectale en picard : vers une théorie des correspondances dialectales". Toulouse 2, 2006. http://www.theses.fr/2006TOU20058.

Testo completo

Abstract (sommario):

Au travers du cas du picard, nous explorons les mécanismes phonologiques qui assurent la cohésion dialectale d’une langue, dans le cadre de la Théorie de l’Optimalité et de la Théorie des Correspondances. L’essentiel de la recherche porte sur la palatalisation des occlusives vélaires, source d’une alternance dialectale complexe en picard. Après examen des facteurs de cohésion extralinguistiques, une première analyse OT s’appuie sur l’hypothèse de la dialectologie générative selon laquelle la cohésion dialectale est dévolue à des formes sous-jacentes communes. Cette approche se heurte cependant à certains cas d’opacité. On fait ensuite appel, dans le cadre de la Théorie des Correspondances, à un nouveau type de correspondances entre variétés en contact. La cohésion dialectale s’établit à la fois sur les plans de la perception et de la production. Cette approche est enfin testée sur un autre fait de variation en picard : l’alternance voyelle-zéro, dans une phonologie surface seule
Through the example of the Picard language I explore the phonological mechanisms which ensure dialectal cohesion within a language, in the framework of Optimality Theory and Correspondence Theory. The core part of my research deals with palatalization of velar stops, which induces a complex dialectal alternation in Picard. I first examine the extralinguistic factors of cohesion, then I propose an OT analysis based upon the hypothesis of generative dialectology: dialectal cohesion is due to the existence of common underlying forms. This approach, however, fails to explain certain cases of opacity. In the framework of Correspondence Theory, I propose a new type of correspondence between varieties in contact. Dialectal cohesion is grounded in both perception and production. I also test this approach in a surface-only phonology to solve another case of variation in Picard: vowel-zero alternation

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Domenach, Florent. "Structures latticielles, correspondances de Galois contraintes et classification symbolique". Paris 1, 2002. http://www.theses.fr/2002PA010020.

Testo completo

Abstract (sommario):

La thèse se situe dans le domaine de l'analyse latticielle de données dans la situation, très générale, où des objets de nature diverse sont décrits par des variables de types divers; on fait simplement l'hypothèse (réaliste) selon laquelle chaque variable prend ses valeurs dans un treillis. Les problèmes de traitement de telles données (extraction de connaissance) reviennent souvent à chercher à obtenir des familles de Moore de type particulier, par exemple arborescent, et donc à imposer des contraintes structurelles. Dans ce cadre, nous étudions d'abord les familles de Moore particulières que sont les hiérarchies, dont nous caractérisons la base canonique d'implications. Pour ce faire, nous introduisons un nouveau type de relations binaires sur les parties d'un ensemble, appelées relations d'emboîtement. Nous les mettons en correspondance bi-univoque avec les familles de Moore quelconques, leur lien avec l'une des relations flèche, et revenons sur leurs propriétés dans le cas hiérarchique, où elles sont d'abord apparues. Dans une seconde partie, nous nous intéressons à la correspondance de Galois associée à un tableau binaire (auquel les données du type indiqué ci-dessus peuvent toujours être ramenées). Nous examinons alors les contraintes à imposer à un tableau binaire pour que les fermés obtenus appartiennent à des familles de Moore prescrites, ou de type voulu. On obtient alors des relations binaires dites bifermées. Étant donnés deux espaces de fermeture (E, cp) et (E', cp'), une relation est bifermée si toute ligne de sa représentation matricielle correspond à un fermé par cp, et toute colonne à un fermé par cp'. Nous établissons l'isomorphisme entre l'ensemble des relations bifermées et celui des correspondances de Galois entre les deux treillis de fermés induits par cp et cp'. Dans le cas fini, on en déduit des algorithmes efficaces pour l'ajustement d'une correspondance de Galois à une application quelconque entre deux treillis, ou pour le calcul du supremum de deux polarités. Dans une troisième partie, nous appliquons les résultats précédents à l'étude de l'introduction de contraintes classificatoires sur un tableau de données. Nous revenons sur divers usages des correspondances de Galois (ou des couples application résiduée / résiduelle) dans les modèles et les méthodes de la classification. Ceux-ci sont revisités dans l'optique d'une présentation unifiée fondée sur les bifermées, et, en prenant en compte les résultats de la première partie, des voies sont tracées pour la définition de nouvelles méthodes. Ces parties sont précédées d'une synthèse sur les treillis et les correspondances de Galois.

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Xu, Daxin. "Correspondances de Simpson p-adique et modulo pⁿ". Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLS133/document.

Testo completo

Abstract (sommario):

Cette thèse est consacrée à deux variantes arithmétiques de la correspondance de Simpson. Dans la première partie, on compare la correspondance de Simpson p-adique à un analogue p-adique de la correspondance de Narasimhan et Seshadri pour les courbes sur les corps p-adiques dû à Deninger et Werner. Narasimhan et Seshadri ont établi une correspondance entre les fibrés vectoriels stables de degré zéro et les représentations unitaires du groupe fondamental topologique pour une courbe complexe propre et lisse. Par transport parallèle, Deninger et Werner ont associé fonctoriellement à chaque fibré vectoriel sur une courbe p-adique dont la réduction est fortement semi-stable de degré 0 une représentation p-adique du groupe fondamental de la courbe. Ils se sont posés quelques questions: si leur foncteur est pleinement fidèle ; si la cohomologie des systèmes locaux fournis par leur foncteur admet une filtration de Hodge-Tate ; et si leur construction est compatible avec la correspondance de Simpson p-adique développée par Faltings. On répond positivement à ces questions. La seconde partie est consacrée à la construction d'un relèvement de la transformée de Cartier d'Ogus-Vologodsky modulo pⁿ. Soient W l'anneau des vecteurs de Witt d'un corps parfait de caractéristique p>0, X un schéma formel lisse sur W, X' le changement de base de X par l'endomorphisme de Frobenius de W, X'_2 la réduction modulo p² de X' et Y la fibre spéciale de X. On relève la transformée de Cartier d'Ogus-Vologodsky relative à X'_2. Plus précisément, on construit un foncteur de la catégorie des O_{X'}-modules de pⁿ-torsion à p-connexion intégrable dans la catégorie des O_X-modules de pⁿ-torsion à connexion intégrable, chacune étant soumise à des conditions de nilpotence appropriées. S'il existe un relèvement F: X -> X' du morphisme de Frobenius relatif de Y, notre foncteur est compatible avec le foncteur de Shiho induit par F. Comme application de la transformée de Cartier modulo pⁿ, on donne une nouvelle interprétation des modules de Fontaine relatifs introduits par Faltings et du calcul de leur cohomologie
This thesis is devoted to two arithmetic variants of Simpson's correspondence. In the first part, I compare the p-adic Simpson correspondence with a p-adic analogue of the Narasimhan-Seshadri's correspondence for curves over p-adic fields due to Deninger and Werner. Narasimhan and Seshadri established a correspondence between stable bundles of degree zero and unitary representations of the topological fundamental group for a complex smooth proper curve. Using parallel transport, Deninger and Werner associated functorially to every vector bundle on a p-adic curve whose reduction is strongly semi-stable of degree 0 a p-adic representation of the fundamental group of the curve. They asked several questions: whether their functor is fully faithful; whether the cohomology of the local systems produced by this functor admits a Hodge-Tate filtration; and whether their construction is compatible with the p-adic Simpson correspondence developed by Faltings. We answer positively these questions. The second part is devoted to the construction of a lifting of the Cartier transform of Ogus-Vologodsky modulo pⁿ. Let W be the ring of the Witt vectors of a perfect field of characteristic p, X a smooth formal scheme over W, X' the base change of X by the Frobenius morphism of W, X'_2 the reduction modulo p² of X' and Y the special fiber of X. We lift the Cartier transform of Ogus-Vologodsky relative to X'_2 modulo pⁿ. More precisely, we construct a functor from the category of pⁿ-torsion O_{X'}-modules with integrable p-connection to the category of pⁿ-torsion O_X-modules with integrable connection, each subject to a suitable nilpotence condition. Our construction is based on Oyama's reformulation of the Cartier transform of Ogus-Vologodsky in characteristic p. If there exists a lifting F: X -> X' of the relative Frobenius morphism of Y, our functor is compatible with a functor constructed by Shiho from F. As an application, we give a new interpretation of relative Fontaine modules introduced by Faltings and of the computation of their cohomology

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Yazigi, Mohand Amokrane. "Applications a seuils et applications galoisiennes : recherche des irreductibles dans leurs treillis". Paris, EHESS, 1998. http://www.theses.fr/1998EHES0014.

Testo completo

Abstract (sommario):

Les applications galoisiennes entre deux ensembles ordonnes sont celles qui entrent dans les correspondances de galois. Les applications a seuils, qui sont, sous des conditions bien generales, des restrictions des precedentes, constituent une classe d'applications entre ensembles ordonnes permettant de modeliser des dissimilarites et d'autres types varies d'objets values. Le propos de cette these est de faire l'etude de ces dernieres applications et des ensembles d'applications de cette nature. Nous definissons les applications a seuils, donnons leurs principales proprietes et etablissons le lien qui existe entre elles et les correspondances de galois. Lorsque les ensembles ordonnes p et q consideres sont des treillis complets et g une partie sup-generatrice de p , l'ensemble s(g,q) des applications a seuils est aussi un treillis complet. Nous nous interessons particulierement a l'etude des elements irreductibles du treillis (fini) s(jp,q) lorsque p et q sont des treillis finis et jp l'ensemble des sup-irreductibles de p. Nous considerons d'abord le treillis des applications antitones de jp dans q, dont nous caracterisons les elements sup-irreductibles et inf- irreductibles. Nous determinons les elements sup-irreductibles de s(jp, q) et constatons qu'ils sont identiques a ceux de l'ensemble des applications antitones. Enfin nous explicitons une classe d'inf-irreductibles de s(jp, q), comprenant tous ceux dont l'image est de cardinal au plus deux. Nous montrons qu'il peut en exister d'autres, sauf lorsque l'un des deux treillis p ou q est distributif
Galois mappings between two ordered sets are those which belong to galois connections. Under fairly general assumptions, threshold mappings are restrictions of galois ones. They constitute a class of mappings useful for the modelization of dissimilarities and other types of valued objects. The purpose of this thesis is the study of threshold mappings and ordered sets of threshold mappings. After defining threshold mappings, we give their main properties and establish their strong relation with galois connections. If both considered ordered sets p and q are complete lattices, and g is a join-generating subset of p, then, the set s(g,q) of threshold mappings is still a complete lattice. We are particularly concerned with the study of irreducible elements of the (finite) lattice s(jp,q) when both lattices p and q are finite and jp is the set of join-irreducible elements of p. We firstly consider the lattice of antitone mappings from jp to q, and characterize their join- and meet- irreducible elements. We determine the join-irreducible elements of s(jp, q) and observe that they are identical to those of the set of antitone mappings. Finally, we determine a class of meet-irreducible elements of s(jp, q), including all those the image of which has cardinality at most two. We show that other meet-irreducible elements may exist, except when one of the lattices p or q is distributive

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Renault, Jean-Baptiste. "Théorie et esthétiques de la métaphore : la métaphore et son soupçon, entre correspondances et dissemblances, métaphores linguistiques et iconiques". Phd thesis, Université de la Sorbonne nouvelle - Paris III, 2013. http://tel.archives-ouvertes.fr/tel-00916648.

Testo completo

Abstract (sommario):

Il faut reprendre à nouveaux frais la question de la métaphore, (re)définir les contours de la figure d'analogie, pour la sortir de la confusion où l'ont jetée la coupure instituée avec la comparaison et, plus largement, sa théorisation comme substitution d'un mot à un autre, mais aussi pour mettre à l'épreuve la notion de métaphore au cinéma. Il s'agit donc de questionner l'unité du " processus métaphorique ", de trouver le bon niveau permettant de rendre compte de ses pouvoirs, de sa dynamique, et pour cela de refuser l'approche mutilante, sans cesse renaissante, de la rhétorique traditionnelle aussi bien que celles qui diluent sa richesse dans les mécanismes de l'inconscient ou les processus interprétatifs des seuls lecteurs ou spectateurs. La métaphore fait alors apparaître des traits qui indiquent à quel point il est légitime de discerner des formes iconiques à côté des formes linguistiques : elle peut notamment être comprise comme un montage d'expériences, de situations éprouvées, au moins fictivement. Pour arriver à cette conception de la métaphore comme dialogue entre séries d'objets de pensée, comme prédication paradoxale, il paraît nécessaire de renverser l'approche traditionnelle qui consiste à faire de la métaphore conventionnelle le modèle de la théorie, et de la métaphore vive un cas particulier, mais aussi d'interroger les liens entre métaphore, symbole et concept et de souligner comment, depuis Aristote, le modèle proportionnel, authentiquement analogique, est systématiquement écrasé par le modèle sémiotique. Ainsi rénovée, cette conception de la métaphore apparaît fructueuse pour l'analyse des œuvres, comme La Ligne Générale d'Eisenstein.

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Chapdelaine, Philippe. "Contribution à la théorie de la complexité algorithmique : problèmes de contraintes, complétude et résultats de classification, complexité structurelle". Caen, 2004. http://www.theses.fr/2004CAEN2042.

Testo completo

Abstract (sommario):

Cette thèse se divise en deux parties indépendantes ayant comme point commun la théorie de la complexité algorithmique. Dans la première partie, nous étudions la complexité des problèmes de satisfaction de contraintes. Nous montrons que celle-ci est fortement liée au pouvoir d'expression des contraintes, et que celui-ci peut être déterminé, grâce à une correspondance de Galois, par les propriétés de clôture de ces contraintes. Dans le cas booléen, la structure de ce système de clôture étant connue, nous en déduisons des classifications complètes de la complexité des problèmes de l'audit et du comptage pour les requêtes conjonctives. Nous donnons également, par une technique constructive, la classification de la complexité de la recherche locale pour la satisfaisabilité des contraintes booléennes. Dans la deuxième partie, nous nous intéressons à la classe de complexité du temps linéaire non déterministe, NLIN. Nous étudions des raffinements de celle-ci, notamment les classes obtenues en bornant l'espace. Nous montrons qu'elles contiennent de nombreux problèmes naturels, et nous donnons, pour ces classes, des caractérisations logiques et des problèmes complets. Dans un deuxième temps, nous détaillons la structure interne de NLIN. Nous établissons que, sous certaines hypothèses, il existe une infinité de niveaux de réductions linéaires incomparables entre le niveau du temps linéaire déterministe et celui des problèmes NLIN-complets. Nous développons également la notion d'isomorphie linéaire permettant de préciser la notion d'équivalence linéaire en montrant que des problèmes sont, non seulement de même complexité, mais également structurellement identiques.

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Laïchour, Hakim. "Modélisation multi-agent et aide à la décision : application à la régulation des correspondances dans les réseaux de transport urbain". Lille 1, 2002. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2002/50376-2002-309-310.pdf.

Testo completo

Abstract (sommario):

Pour assurer la régulation des réseaux de transport urbain et améliorer la qualité de service, les exploitants utilisent les Systèmes d'Aide à l'Exploitation (SAE). Un SAE permet le suivi en temps réel du fonctionnement d'un réseau. Il manipule une quantité importante d'informations que le régulateur n'arrive pas toujours à prendre en compte pour élaborer ses décisions. Les correspondances non assurées, conséquence directe des perturbations, augmentent alors le mécontement des voyageurs. Pour résoudre le problème de l'amélioration de la qualité des déplacements dans les réseaux de transport urbain, nous nous intéressons à la régulation de trafic aux nœuds des correspondances, régulation non encore prise en compte par les SAE. Nous proposons un Système d'Aide à la Décision (SAD) chargé d'élaborer des actions de régulation pertinentes en fonction de l'état du réseau. Son rôle principal est de surveiller un réseau de transport et de prévenir les perturbations en proposant des actions de régulation. Un modèle multiagent d'un réseau vu par des correspondances est proposé. Ce système est basé sur trois types d'agents : 1) un agent SUPERVISEUR chargé du dialogue avec le régulateur : il présente les actions et reçoit les demandes. 2) Des agents CORRESPONDANCE, un par nœud de correspondances : ils prennent en charge le suivi du fonctionnement du réseau de transport, la détection au plus tôt des perturbations et la proposition d'actions de régulation pour y remédier. Le système permet ainsi le maintien de la stabilité du trafic au niveau des nœuds de correspondances. 3) Des agents ACQUISITION, un par arrêt de régulation : ils sont chargés de la perception. Ils enregistrent les dates des passages des bus ainsi que des informations les concernant : nombres de voyageurs descendant du bus et montant dans le bus.

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Menares, Ricardo. "Nombres d'intersection arithmétiques et opérateurs de Hecke sur les courbes modulaires". Phd thesis, Université Paris Sud - Paris XI, 2008. http://tel.archives-ouvertes.fr/tel-00360171.

Testo completo

Abstract (sommario):

Nombres d'intersection arithmétiques et opérateurs de Hecke sur les courbes modulaires

Cette thèse s'inscrit dans l'étude des opérateurs de Hecke en tant que correspondances sur les courbes modulaires X_0(N). D'une part, nous étudions la relation entre l'algèbre de Hecke et la théorie d'Arakelov; d'autre part, nous entreprenons un début d'étude de la dynamique de l'action des opérateurs de Hecke sur l'ensemble des courbes elliptiques supersingulières.

On considère la courbe modulaire X_0(N) munie de la métrique de Poincaré (métrique hyperbolique). Cette métrique présente des singularités aux points elliptiques et pointes. On suppose que N est sans facteurs carrés. On note XN le modèle entier de cette courbe donné par l'interprétation modulaire étudiée par Deligne et Rapoport. On définit un groupe de Chow arihmétique généralisé CH(N) tel que ses éléments sont représentés par des couples (D,g) avec D un diviseur de Weil sur XN et g un courant de Green admissible pour la métrique de Poincaré. J.-B. Bost et U. Kühn ont développé, de manière indépendante, des généralisations de la théorie d'intersection arithmétique d'Arakelov qui fournissent une forme bilinéaire à valeurs réelles sur CH(N) x CH(N) dans ce cadre où la métrique est singulière. On étudie aussi une version à coefficients réels et à équivalence numérique près de CH(N), que l'on note CH(N)*.

Nous montrons dans cette thèse que les correspondances de Hecke agissent sur CH(N) et que cette action est autoadjointe par rapport à la forme bilinéaire de Bost-Kühn. Ceci permet de diagonaliser cette action sur CH(N)* et de définir ses sous-espaces propres. Ensuite nous étudions le faisceau dualisant relatif, considéré comme un élément de CH(N)*, ainsi que sa décomposition selon les sous-espaces propres. Nous calculons l'auto-intersection de la composante propre correspondante à la pointe à l'infini en utilisant des résultats d'Ulf Kühn.

L'action des opérateurs de Hecke sur les fibres spéciales de XN définit une dynamique qui preserve les points supersinguliers. Nous nous intéressons à étudier cette action sur les points supersinguliers des fibres de bonne réduction et nous calculons, à l'aide des résultats de Deuring et Eichler, la fréquence asymptotique avec laquelle un point supersingulier donné visite un autre point du même type.

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Badran, Hussein. "Contribution à la mesure en analyse factorielle des données et applications". Aix-Marseille 3, 2001. http://www.theses.fr/2001AIX30035.

Testo completo

Abstract (sommario):

Cette thèse regroupe un certain nombre de travaux pour la plupart sous forme d'articles classés en deux grandes parties. La première partie, plus théorique, concerne certaines études attachées au contexte de l'analyse factorielle. Dans un premier travail, sont abordées des questions liées aux lois de probabilités intervenant en analyse factorielle et d'abord l'évaluation et la caractérisation des données manquantes. On donne ensuite quelques résultats nouveaux sur les transformations projectives permettant d'approcher des lois de probabilités données sur des compacts. Enfin est proposé un résultat sur la mesure de deux parties complémentaires d'un convexe définies par un hyperplan passant par son centre de gravité au sens d'une distribution de masse donnée. La deuxième partie rassemble un certain nombre d'applications de l'analyse factorielle montrant d'une part la diversité des domaines d'application mais aussi les problèmes spécifiques que l'on peut découvrir au fur et à mesure
This thesis presents under a same cover a certain number of articles and studies that are regrouped into two parts. The first part, mostly theoretical, concerns some studies in the framework of factorial analysis. In the beginning several questions related to probability distribution functions appearing in factorial analysis are considereed, mainly about the evaluation and characterization of missing data. Then new results are given on projective transformations that allow to approach probability laws on compact sets. Finally another result on measureness (under the meaning of a given mass distribution) of two complementary subsets of convex sets defined by hyperplanes going through the gravity center. The second part aims at presenting a certain number of applications of Correspondence Factorial Analysis showing the diversity of concrete problems that can be invoked. It offers results of many studies conducted in France as in Lebanon in the framework of several researches that have facilitated the discovery of new information in very different sectors from experimental sciences going from earth science to economical, political and social sciences

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Shadchin, Sergey. "Sur quelques aspects de correspondance entre la théorie des cordes et théorie de jauge". Phd thesis, Ecole Polytechnique X, 2005. http://pastel.archives-ouvertes.fr/pastel-00002311.

Testo completo

Abstract (sommario):

La théorie supersymmetrique N = 2 de Yang-Mills est considérée pour tous les groupes de jauge classiques (SU(N), SO(N) et Sp(N)). Les expressions formelles pour l'action Wilsonienne effective pour (presque) tous les modèles compatible avec la condition de la liberté asymptotique sont obtenues. Les équations qui déterminent les courbes de Seiberg et Witten sont proposées. Dans quelque cas elles sont résolues. Il est montre que pour tous les modèles considères les corrections à l' instant on qui viennent de ces équations sont en accord avec les calculs directs. Ainsi elles sont en accord avec les calculs bases sur les courbes de Seiberg et Witten qui viennent de la théorie M. Il est montre donc que pour une grande classe de modèles les prédictions de la théorie M coïncident avec les calculs directs. Ceci est fait pour toutes les modèles considères au niveau des calculs à l' instant on. Pour quelques modèles ceci est fait au niveau des courbes algébriques.

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Giecold, Gregory. "Correspondance AdS/CFT et théories des champs à fort couplage". Thesis, Paris 11, 2011. http://www.theses.fr/2011PA112075.

Testo completo

Abstract (sommario):

L'objet de cette thèse est l'étude de certaines propriétés de théories des champs à fort couplage via la dualité avec la théorie des cordes, dans la limite de supergravité. L'analyse expérimentale du plasma de quarks et de gluons produit au RHIC et au LHC tend en effet à indiquer que cet état de la matière se comporte comme un fluide quasiment parfait. Les méthodes perturbatives de la QCD sont impuissantes à décrire ses propriétés et la chromodynamique quantique sur réseau fait face à des problèmes tant techniques que conceptuels pour calculer les observables dynamiques d'un tel système. La correspondance AdS/CFT offre par conséquent un outil unique permettant d'étudier en première approximation cette phase de la QCD. L'un des aspects de cette thèse consiste en la description par une équation stochastique de Langevin d'un parton massif se propageant dans un plasma de Yang--Mills maximalement supersymétrique. Bien que cette théorie semble décrire de manière satisfaisante la phase déconfinée de la QCD, il est toutefois désirable de chercher un dual en théorie des cordes rendant compte des aspects de la QCD à basse énergie. L'autre axe directeur de cette thèse propose ainsi de rendre compte de solutions de moindre supersymétrie, sans invariance conforme, et avec confinement. On obtient le dual gravitationnel d'états metastables de telles théories. En particulier, on dérive une contribution au potentiel inflationnaire dans le cadre d'un modèle cosmologique générique de la théorie des cordes
In this thesis, we apply the gauge/string duality in its supergravity limit to infer some properties of field theories at strong coupling. Experiments at RHIC and at the LHC indeed suggest that the quark--gluon plasma behaves as one of the most perfect fluid ever achieved in any controlled experimental setup. Perturbative approaches fail at accounting for its properties, whereas lattice QCD methods face technical as well as conceptual difficulties in computing dynamical aspects of this new state of matter. As a result, the AdS/CFT correspondence currently is the best tool at our disposal for analytically modelling this phase of QCD. One of the contributions of this thesis amounts to deriving a stochastic Langevin equation for a heavy quark moving across a maximally supersymmetric Yang--Mills plasma at strong coupling. Even though this theory seems to describe in a surprisingly satisfactory way the high--energy, deconfined phase of QCD, it is also of much interest to try and search for a string theory dual making closer contact with QCD at lower energies. As such, the other main focus of this thesis deals with supergravity solutions of lesser supersymmetry, without conformal invariance and exhibiting confinement. We build for the first time the gravity dual to metastable states of such theories. In particular, we find the contribution from anti--branes to the inflation potential in some general scenario of string cosmology

Gli stili APA, Harvard, Vancouver, ISO e altri

13

Le, Floch Bruno. "Correspondance AGT pour les opérateurs de surface". Thesis, Paris, Ecole normale supérieure, 2015. http://www.theses.fr/2015ENSU0008/document.

Testo completo

Abstract (sommario):

La fonction de partition de théories de jauge supersymétriques avec quatre supercharges sur la sphere à deux dimensions est calculée exactement grâce à la localisation supersymétrique. Pour certaines théories de jauge, les expressions explicites sont égales à des corrélateurs dans la théorie conforme des champs de Toda de dimension deux. Ces égalités trouvent leur place ausein de la correspondance AGT, qui relie des théories de jauge supersymétriques de dimension quatre avec huit supercharges à des corrélateurs de la théorie de Toda. En effet, les théories de jauge à deux dimensions peuvent être insérées le long d’une surface dans une théorie à quatre dimensions, formant ainsi un opérateur de surface à moitié BPS. Une telle insertioncorrespond à l’ajout d’un opérateur local particulier (un opérateur de vertex dégénéré) dans le corrélateur de Toda.Cette correspondance enrichie a plusieurs conséquences. D’une part, les symétries des corrélateurs de Toda impliquent des analogues des dualités de Seiberg et de Kutasov–Schwimmer pour les théories de jauge à deux dimensions avec quatre supercharges. D’autre part, les résultats exacts en théorie de jauge fournissent de nouvelles données dans la théorie de Toda.Cela mène à une proposition concrète pour l’échange de deux opérateurs de vertex semi-dégénérés dans la théorie de Toda, qui contient des informations importantes concernant la S-dualité à quatre dimensions
The sphere partition function of two-dimensional supersymmetric gauge theories with four supercharges is computed exactly using supersymmetric localization. For some gauge theories, explicit expressions are found to match with correlators in the two-dimensional Toda conformal field theory. This fits into the AGT correspondence, which relates supersymmetric fourdimensionalgauge theories with eight supercharges to correlators in the Toda theory. More precisely, the two-dimensional gauge theories can be inserted along a surface in a four-dimensional theory, thus forming half-BPS surface operators: such an insertion corresponds to the addition of a particular local operator (a degenerate vertex operator) in the Toda correlator.This enriched correspondence has several consequences. On the one hand, symmetries of Toda correlators imply analogues of Seiberg and Kutasov–Schwimmer dualities for two-dimensional gauge theories with four supercharges. On the other hand, exact gauge theory results yield previously unknown data in the Toda theory. This leads to a concrete proposal for the Toda braiding kernel of two semi-degenerate vertex operators, which holds important information about four-dimensional S-duality

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Kontoudi, Konstantina. "Hydrodynamique et intrication dans la correspondance AdS/CFT". Phd thesis, Ecole Normale Supérieure de Paris - ENS Paris, 2013. http://tel.archives-ouvertes.fr/tel-00923581.

Testo completo

Abstract (sommario):

Nous présentons dans cette thèse deux applications de la correspondance AdS/CFT. La première est l'analyse des propriétés de transport des modes fermioniques dans les théories des champs fortement couplées. Nous étudions en particulier les propriétés de la constante de diffusion du phonino dans N=4 SYM à densité nulle ou finie. Nous trouvons que la constante de diffusion dépend du potentiel chimique et par conséquent qu'elle n'a pas une propriété d'universalité similaire à celle de la viscosité de cisaillement. La deuxième application traite du comportement de l'entropie d'intrication dans des théories qui contiennent des degrés de liberté massifs. Pour identifier les contributions de la masse à l'entropie d'intrication nous l'évaluons dans un système comprenant des branes de saveur et nous identifions certains des termes dépendants de la masse. Nous trouvons que le coefficient du terme logarithmique est différent de celui calculé dans la théorie des champs libre, un résultat qui est qualitativement en accord avec de résultats holographique antérieurs. De plus nous calculons d'autres termes, prédits dans la théorie des champs, mais qui n'ont pas été identifiés auparavant dans un système holographique.

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Gromov, Nikolay. "Integrabilité dans la Correspondance AdS/CFT:l'analyse quasiclassique et l'approche de bootstrap". Phd thesis, Université Pierre et Marie Curie - Paris VI, 2007. http://tel.archives-ouvertes.fr/tel-00286218.

Testo completo

Abstract (sommario):

Dans cette thèse, nous considérons une méthode quasi-classique applicable aux théories des champs intégrables, basée sur la structure classique intégrable codifiée dans la courbe algébrique. Nous appliquons cette methode à la supercorde de Green - Schwarz sur l'espace AdS5 £ S5. Nous montrons que la méthode proposée reproduit parfaitement les résultats deja obtenus précédemment par l'expansion de l'action autour de certaines solutions simples classiques. D'autre part, les corrections de taille finie, dans une certaine limite importante, sont étudiées dans cette thèse pour un système des équations de Bethe. Le résultat pour les corrections 1/L a aussi été obtenu pour le supergroupe général su(NjK). Nous trouvons une équation qui décrit ces corrections dans une forme compléte. Comme un sous-produit de ce calcul, nous avons trouvé un nouveau type de la dualité entre les systèmes des équations de Bethe. Comme application, nous avons examiné les équations conjoncturées par Beisert et Staudacher (BS) avec un facteur de ”dressing” de Hernandez et Lopez où les corrections de taille finie devraient reproduire les calculs quasiclassiques autour du mouvement classique de la supercorde dans l'espace AdS5 £ S5. En effet, nous montrons que notre équation intégrale peut ˆetre interprétée comme une somme sur toutes les fluctuations physiques et ainsi nous prouvons que les équations de BS sont cohérentes avec la quantification quasiclassique. Autrement dit, nous démontrons que toutes les charges locales (y compris l'énergie AdS) calculées à partir des équations BS sont effectivement données à la première boucle par la somme des charges des fluctuations. Un autre resultat présenté ici: nous avons obtenu les équations BS pour sous-secteur su(2) à partir de la matrice S de Zamolodchikov et Zamolodchikov.

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Lengrand, Stéphane. "Normalisation & Equivalence en Théorie de la Démonstration & Théorie des Types". Phd thesis, Université Paris-Diderot - Paris VII, 2006. http://tel.archives-ouvertes.fr/tel-00134646.

Testo completo

Abstract (sommario):

Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curry-Howard fournit des termes de preuves aux aspects calculatoires et équipés de théories équationnelles, i.e. des notions de normalisation et d'équivalence. Cette thèse contribue à étendre son cadre à des formalismes (comme le calcul des séquents) appropriés à des considérations d'ordre logique comme la recherche de preuve, à des systèmes expressifs dépassant la logique propositionnelle comme des théories des types, et aux raisonnements classiques plutôt qu'intuitionistes.
La première partie est intitulée Termes de Preuve pour la Logique Intuitioniste Implicationnelle, avec des contributions en déduction naturelle et calcul des séquents, normalisation et élimination des coupures, sémantiques en appel par nom et par valeur. En particulier elle introduit des calculs de termes de preuve pour le calcul des séquents depth-bounded G4 et la déduction naturelle multiplicative. Cette dernière donne lieu à un calcul de substitutions explicites avec affaiblissements et contractions, qui raffine la beta-réduction.
La deuxième partie, intitulée Théorie des Types en Calcul des Séquents, développe une théorie des Pure Type Sequent Calculi, équivalents aux Systèmes de Types Purs mais mieux adaptés à la recherche de preuve.
La troisième partie, intitulée Vers la Logique Classique, étudie des approches à la Théorie des Types classique. Elle développe un calcul des séquents pour une version classique du Système Fomega. Une approche à la question de l'équivalence de preuves classiques consiste à calculer les représentants canoniques de preuves équivalentes dans le cadre du Calcul des Structures.

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Nguyen, Van Thé Lionel. "Théorie de Ramsey structurale et applications en dynamique topologique via la correspondance de Kechris-Pestov-Todorcevic". Habilitation à diriger des recherches, Aix-Marseille Université, 2013. http://tel.archives-ouvertes.fr/tel-00924106.

Testo completo

Abstract (sommario):

Le but de ce mémoire est d'effectuer un survol de mes travaux effectués depuis janvier 2007. Le sujet d'étude se situe à l'une des intersections entre la combinatoire, la dynamique topologique et la logique via le formalisme des structures ultrahomogènes et de la théorie de Fraïssé. Ce domaine a récemment connu un essor considérable grâce à deux contributions majeures par Kechris, Pestov et Todorcevic, et par Kechris et Rosendal. Mon travail part de la première de ces contributions et se concentre autour des deux thèmes suivants : Théorie de Ramsey structurale et dynamique topologique des groupes de transformation associés.

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Dospinescu, Gabriel. "Actions infinitésimales dans la correspondance de Langlands locale p-adique". Phd thesis, Palaiseau, Ecole polytechnique, 2012. https://pastel.hal.science/docs/00/72/53/70/PDF/these_dospinescu.pdf.

Testo completo

Abstract (sommario):

Cette thèse s'inscrit dans le cadre de la correspondance de Langlands locale $$p$$-adique, imaginée par Breuil et établie par Colmez pour GL_2(Q_p). Soit L une extension finie de Q_p et soit V une L-représentation irréductible du groupe de Galois absolu de Q_p, de dimension 2. En utilisant la théorie des (phi,Gamma)-modules de Fontaine, Colmez associe à V une GL_2(Q_p)-représentation de Banach Pi(V), unitaire, admissible, topologiquement irréductible. On donne une nouvelle preuve, nettement plus simple, d'un théorème de Colmez, qui permet de décrire les vecteurs localement analytiques Pi(V)^an de Pi(V) en fonction du (phi,\Gamma)-module surconvergent attaché à V. Le résultat principal de cette thèse est une description simple de l'action infinitésimale de GL_2(Q_p) sur Pi(V)^an. En particulier, on montre que Pi(V)^an admet un caractère infinitésimal, que l'on peut calculer en fonction des poids de Hodge-Tate de V, ce qui répond à une question de Harris. En utilisant ces résultats, on montre aussi l'absence d'un analogue p-adique d'un théorème classique de Tunnell et Saito, répondant à une autre question de Harris. Nous étendons et précisons certains résultats de Colmez concernant le modèle de Kirillov des vecteurs U-finis de Pi(V) (U est l'unipotent supérieur de GL_2(Q_p)). En combinant cette étude avec la description de l'action infinitésimale, on obtient une démonstration simple d'un des résultats principaux de Colmez, caractérisant les représentations V telles que Pi(V) possède des vecteurs localement algébriques non nuls. Ce résultat permet de faire le pont avec la correspondance classique et est un des ingrédients clés de la preuve d'Emerton de la conjecture de Fontaine-Mazur en dimension 2. On étend nos méthodes pour démontrer l'analogue de ce résultat pour les déformations infinitésimales de V. Cela répond à une question de Paskunas et a des applications à la conjecture de Breuil-Mézard. Une autre application est l'étude du module de Jacquet de Pi(V)^an. On montre qu'il est non nul si et seulement si V est trianguline, ce qui permet de donner une preuve simple des conjectures de Berger, Breuil et Emerton. Enfin, dans un travail en collaboration avec Benjamin Schraen, nous démontrons le lemme de Schur pour les représentations de Banach et localement analytiques topologiquement irréductibles d'un groupe de Lie p-adique. Ce résultat basique n'était connu que pour des groupes de Lie commutatifs et pour GL_2(Q_p)
The topic of this thesis is the p-adic Langlands correspondence, imagined by Breuil and established by Colmez for GL_2(Q_p). Let L be a finite extension of Q_p and let V be an irreducible, two-dimensional L-representation of the absolute Galois group of Q_p. Using Fontaine's theory of (phi,Gamma)-modules, Colmez associates to V a GL_2(Q_p)-Banach space representation Pi(V), which is unitary, admissible and topologically irreducible. We give a new proof, much easier, of a theorem of Colmez, which describes the locally analytic vectors Pi(V)^an of Pi(V) in terms of the overconvergent (phi,Gamma)-module attached to V. The main result of this thesis is a simple description of the infinitesimal action of GL_2(Q_p) on Pi(V)^an. In particular, we show that Pi(V)^an has an infinitesimal character, which can be computed in terms of the Hodge-Tate weights of V, answering therefore a question of Harris. We show that there is no p-adic analogue of a classical theorem of Saito and Tunnell, answering another question of Harris. We extend results of Colmez concerning the Kirillov model of the U-finite vectors of Pi(V) (U is the upper unipotent of GL_2(Q_p)). Combining this study with the description of the infinitesimal action, we obtain a simple proof of one of the main results of Colmez, characterizing the representations V such that Pi(V) has nonzero locally algebraic vectors. This result is the first step in making the connection with the classical Langlands correspondence, and it is also a key ingredient in Emerton's proof of the Fontaine-Mazur conjecture in dimension two. We extend our methods to prove the analogous result for infinitesimal deformations of V. This answers a question of Paskunas and has applications to the Breuil-Mézard conjecture. We apply differential methods to study the Jacquet module of Pi(V)^an, proving for instance that it is nonzero if and only if V is trianguline and giving a new and direct proof of conjectures of Berger, Breuil and Emerton. Finally, in joint work with Benjamin Schraen we prove Schur's lemma for topologically irreducible Banach and locally analytic representations of p-adic Lie groups. This basic result was previously known only for commutative Lie groups and for GL_2(Q_p)

Gli stili APA, Harvard, Vancouver, ISO e altri

19

Dospinescu, Gabriel. "Actions infinitésimales dans la correspondance de Langlands locale p-adique". Phd thesis, Ecole Polytechnique X, 2012. http://pastel.archives-ouvertes.fr/pastel-00725370.

Testo completo

Abstract (sommario):

Cette thèse s'inscrit dans le cadre de la correspondance de Langlands locale $p$-adique, imaginée par Breuil et établie par Colmez pour GL_2(Q_p). Soit L une extension finie de Q_p et soit V une L-représentation irréductible du groupe de Galois absolu de Q_p, de dimension 2. En utilisant la théorie des (phi,Gamma)-modules de Fontaine, Colmez associe à V une GL_2(Q_p)-représentation de Banach Pi(V), unitaire, admissible, topologiquement irréductible. On donne une nouvelle preuve, nettement plus simple, d'un théorème de Colmez, qui permet de décrire les vecteurs localement analytiques Pi(V)^an de Pi(V) en fonction du (phi,\Gamma)-module surconvergent attaché à V. Le résultat principal de cette thèse est une description simple de l'action infinitésimale de GL_2(Q_p) sur Pi(V)^an. En particulier, on montre que Pi(V)^an admet un caractère infinitésimal, que l'on peut calculer en fonction des poids de Hodge-Tate de V, ce qui répond à une question de Harris. En utilisant ces résultats, on montre aussi l'absence d'un analogue p-adique d'un théorème classique de Tunnell et Saito, répondant à une autre question de Harris. Nous étendons et précisons certains résultats de Colmez concernant le modèle de Kirillov des vecteurs U-finis de Pi(V) (U est l'unipotent supérieur de GL_2(Q_p)). En combinant cette étude avec la description de l'action infinitésimale, on obtient une démonstration simple d'un des résultats principaux de Colmez, caractérisant les représentations V telles que Pi(V) possède des vecteurs localement algébriques non nuls. Ce résultat permet de faire le pont avec la correspondance classique et est un des ingrédients clés de la preuve d'Emerton de la conjecture de Fontaine-Mazur en dimension 2. On étend nos méthodes pour démontrer l'analogue de ce résultat pour les déformations infinitésimales de V. Cela répond à une question de Paskunas et a des applications à la conjecture de Breuil-Mézard. Une autre application est l'étude du module de Jacquet de Pi(V)^an. On montre qu'il est non nul si et seulement si V est trianguline, ce qui permet de donner une preuve simple des conjectures de Berger, Breuil et Emerton. Enfin, dans un travail en collaboration avec Benjamin Schraen, nous démontrons le lemme de Schur pour les représentations de Banach et localement analytiques topologiquement irréductibles d'un groupe de Lie p-adique. Ce résultat basique n'était connu que pour des groupes de Lie commutatifs et pour GL_2(Q_p).

Gli stili APA, Harvard, Vancouver, ISO e altri

20

Trias, Justin. "Correspondance thêta locale ℓ-modulaire". Thesis, Sorbonne université, 2019. http://www.theses.fr/2019SORUS380.

Testo completo

Abstract (sommario):

Soit F un corps local non archimédien de caractéristique différente de 2 et de caractéristique résiduelle p. La correspondance thêta locale sur F établit une bijection entre des sous-ensembles de représentations lisses irréductibles complexes d’un premier groupe réductif H et d’un second groupe réductif H0, où (H,H0) forme une paire duale dans un groupe symplectique. Soit R un corps de caractéristique ℓ positive différente de p. Dans ce travail, on donne des conditions minimales sur R pour généraliser le théorème de Stone-von Neumann au cas des représentations modulaires i.e. à coefficients dans R. Cela permet ensuite de construire la représentation de Weil modulaire qui vérifie des propriétés analogues au cas complexe [MVW87]. Quand R est algébriquement clos, on généralise la preuve de la correspondance classique pour les paires duales non quaternioniques [GT16] sous deux hypothèses. La première est que ℓ soit suffisamment grand vis-à-vis d’une borne explicite dépendant des pro-ordres H1 et H2. La seconde est une hypothèse qui résulterait d’une meilleure connaissance de la théorie des opérateurs d’entrelacement dans le cas modulaire
Let F be a local non archimedean field of characteristic not 2 and residual characteristic p. The local theta correspondence over F gives a bijection between some subsets of irreductible smooth complex reprensentations of a first reductive group H and a second reductive group H0, where (H,H0) is a dual pair in a symplectic group. Let R be a field of characteristic ℓ different from p. In this thesis, we give minimal conditions on R so thatStone-von Neumann’s theorem can be generalised in the setting of modular representation theory, which means when the coefficient field is R. This generalisation enables to define a modular Weil representation which verifies analogous properties to that of the complex case [MVW87]. When R is algebraically closed, we generalise the proof of the classical correspondence for non quaternionic dual pairs [GT16] under two assumptions. Firstly,the characteristic ℓ has to be greater than a certain explicit bound which depends on the pro-orders of H1 and H2. The second hypothesis have a deep connection to the theory of intertwining and would result from a better understanding of that theory in the modular setting

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Maatouk, Hassan. "Correspondance entre régression par processus Gaussien et splines d'interpolation sous contraintes linéaires de type inégalité. Théorie et applications". Thesis, Saint-Etienne, EMSE, 2015. http://www.theses.fr/2015EMSE0791/document.

Testo completo

Abstract (sommario):

On s'intéresse au problème d'interpolation d'une fonction numérique d'une ou plusieurs variables réelles lorsque qu'elle est connue pour satisfaire certaines propriétés comme, par exemple, la positivité, monotonie ou convexité. Deux méthodes d'interpolation sont étudiées. D'une part, une approche déterministe conduit à un problème d'interpolation optimale sous contraintes linéaires inégalité dans un Espace de Hilbert à Noyau Reproduisant (RKHS). D'autre part, une approche probabiliste considère le même problème comme un problème d'estimation d'une fonction dans un cadre bayésien. Plus précisément, on considère la Régression par Processus Gaussien ou Krigeage pour estimer la fonction à interpoler sous les contraintes linéaires de type inégalité en question. Cette deuxième approche permet également de construire des intervalles de confiance autour de la fonction estimée. Pour cela, on propose une méthode d'approximation qui consiste à approcher un processus gaussien quelconque par un processus gaussien fini-dimensionnel. Le problème de krigeage se ramène ainsi à la simulation d'un vecteur gaussien tronqué à un espace convexe. L'analyse asymptotique permet d'établir la convergence de la méthode et la correspondance entre les deux approches déterministeet probabiliste, c'est le résultat théorique de la thèse. Ce dernier est vu comme unegénéralisation de la correspondance établie par [Kimeldorf and Wahba, 1971] entre estimateur bayésien et spline d'interpolation. Enfin, une application réelle dans le domainede l'assurance (actuariat) pour estimer une courbe d'actualisation et des probabilités dedéfaut a été développée
This thesis is dedicated to interpolation problems when the numerical function is known to satisfy some properties such as positivity, monotonicity or convexity. Two methods of interpolation are studied. The first one is deterministic and is based on convex optimization in a Reproducing Kernel Hilbert Space (RKHS). The second one is a Bayesian approach based on Gaussian Process Regression (GPR) or Kriging. By using a finite linear functional decomposition, we propose to approximate the original Gaussian process by a finite-dimensional Gaussian process such that conditional simulations satisfy all the inequality constraints. As a consequence, GPR is equivalent to the simulation of a truncated Gaussian vector to a convex set. The mode or Maximum A Posteriori is defined as a Bayesian estimator and prediction intervals are quantified by simulation. Convergence of the method is proved and the correspondence between the two methods is done. This can be seen as an extension of the correspondence established by [Kimeldorf and Wahba, 1971] between Bayesian estimation on stochastic process and smoothing by splines. Finally, a real application in insurance and finance is given to estimate a term-structure curve and default probabilities

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Brousseau, Guy. "Théorisation des phénomènes d'enseignement des mathématiques". Habilitation à diriger des recherches, Université Sciences et Technologies - Bordeaux I, 1986. http://tel.archives-ouvertes.fr/tel-00471995.

Testo completo

Abstract (sommario):

L'enseignement est un champ d'études pour de nombreuses disciplines qui ne prennent chacune en charge qu'un de ses aspects particuliers, sans pouvoir assurer sa consistance avec les autres approches. L'auteur envisage ici les conditions qui permettraient une étude directe et scientifique – c'est-à-dire théorique expérimentale – du cœur de la relation d'enseignement dans ce qu'elle a de spécifique de la connaissance à transmettre. Il tente ainsi de prolonger la didactique classique, essentiellement normative, sous l'égide de l'épistémologie expérimentale et de l'anthropologie. Le but final reste de produire, améliorer, reproduire, décrire et comprendre les situations d'enseignement qui initient les élèves à l'activité et à la culture des mathématiciens. Le chapitre 1 montre sur un exemple – l'enseignement des rationnels et des décimaux – comment les concepts généraux permettent de classer les sources de questionnement, d'identifier certains phénomènes, de les expliquer, d'en tirer des problèmes précis concernant le type de situations dont l'élève doit prendre le contrôle pour s'approprier une connaissance correcte. Les renseignements que l'on retire de l'observation de la mise en œuvre de ces situations, constituent les bases d'une véritable épistémologie expérimentale. Le chapitre 2 est une étude du fonctionnement des situations didactiques du point de vue d'élèves en échec électif. Le chapitre 3 définit les concepts de base de la théorie des situations didactiques et présente une étude de leur consistance ainsi qu'une méthode de confrontation avec l'expérience ou l'observation Le chapitre 4 évoque quelques questions de méthodologie de la recherche en didactique et une méthode de contrôle de l'analyse factorielle des correspondances par l'analyse de l'espace explicatif. Le chapitre 5 montre deux applications possibles de la théorie dans l'étude de l'enseignement de l'énumération et de la géométrie. Les annexes présentent des études détaillées de certains aspects de ces travaux, en particulier la thèse de l'existence d'obstacles épistémologiques en mathématiques.

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Rabaud, Christophe. "Une nouvelle approche de mise en correspondance stéréoscopique dense par méthodes possibilistes". Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2005. http://tel.archives-ouvertes.fr/tel-00262287.

Testo completo

Abstract (sommario):

Ce manuscrit présente une approche novatrice du problème de la mise en correspondance dense de pixel dans les images stéréoscopiques. L'originalité de ce tra- vail repose sur l'utilisation d'un ensemble de techniques de représentation de l'imprécis et de l'incertain permettant de minimiser l'a-priori dans le processus de mise en corres- pondance. Ces techniques s'appuient sur une représentation par une partition floue de l'imprécision de la mesure de luminance induite par l'échantillonnage spatial et sur une classification duale de l'information de luminance associée à chaque pixel. Nous avons associé, à cette représentation, une modélisation de la contrainte épipolaire propre aux capteurs stéréoscopiques étalonnés permettant de prendre en compte l'imprécision des paramètres d'étalonnage. Cette représentation permet d'associer, à chaque pixel d'une des images, un domaine pondéré discret des pixels de l'autre image pouvant lui corres- pondre géométriquement et chromatiquement.Nous proposons ensuite de modifier ces distributions de possibilité en utilisant des contraintes supplémentaires, telles que l'ordre ou l'unicité, pour en augmenter la spé- cificité. Nous utilisons, pour ce faire, un processus itératif et coopératif bipolaire. C'est l'ensemble de cette démarche qui permet de minimiser l'influence de la représentation du problème sur les mesures d'appariements. La validité de notre approche est établie par des expérimentations sur des images stéréo- scopiques de synthèses et réelles dont on connait la verité terrain. Celles-ci permettent de tester le comportement de notre méthode vis-à-vis des variations d'illumination et de disparité.

Gli stili APA, Harvard, Vancouver, ISO e altri

24

Woronow, Ilona. "L'idée de la correspondance des arts dans la théorie et la pratique de l'art des jardins (1760 à 1808)". Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENL028.

Testo completo

Abstract (sommario):

Les classiques conçoivent le champ artistique pluriel comme un dense réseau de correspondances, en y décelant un potentiel d’une riche expérience de la culture du temps. En renonçant à chercher dans leurs textes les présages de la conception moderne de l’Art (le génie fulgurant, l’invention, la créativité, l’originalité), nous remettons l’accent sur un autre versant de l’esthétique classique, se focalisant sur la résistance de la matière à la forme, l’exécution, le faire et la durée. En concevant la mimésis comme une équivalence entre poiesis et aisthesis, les classiques affirment que l’expérience artistique doit son déroulement, ses inflexions et la qualité de sa richesse au(x) médium(s) engagé(s). Que ce soit potentiellement ou concrètement, la variété du champ des arts conditionne nécessairement toute expérience artistique. Stimulante ou dérangeante, l’intermédiation des registres allogènes dans la contemplation d’une œuvre ainsi que dans la définition d’un art devient un détour inévitable, un dispositif de cohérence, récalcitrant à toute systématisation. Cette vision des arts anime l’imaginaire depuis la Renaissance jusqu’à la fin du XVIIIe siècle, en trouvant dans la littérature jardinière un terreau particulièrement fécond. Au XVIIIe siècle, la tradition classique fait l’objet d’une importante pression : la nouvelle disposition épistémologique et la lente autonomisation de l’expérience esthétique incitent à l’organisation de relations interdisciplinaires jugées trop chaotiques. La réponse se montre ambiguë entre les constats, les impératifs et l’expérience relatée. La théorie du jardin restreint alors le cercle de ses références aux arts « libéraux », en assignant à chaque alliance interdisciplinaire une fonction particulière. L’entreprise remporte un certain succès : elle parvient à s’ancrer dans l’opinion publique et suscite un débat esthétique inédit dans l’histoire des jardins. Toutefois, la conceptualisation de la correspondance des arts se heurte à une difficulté : l’homogénéisation et l’unification du champ pluriel des arts. La déclaration du jardin en tant que foyer de « tous les arts » a pour but de prévenir le risque de sa monopolisation par un seul intermédiaire. En tout, suspendus entre les tendances du sujet unificateur et le désir de conserver la multiplicité des arts, les Lumières génèrent une forme de gestion de la pluralité que nous appelons une « dissipation contenue ». Les détours interdisciplinaires sont les chemins de la connaissance propres à la culture opérant dans le champ multiple des arts. Le contexte du jardin radicalise cette sémiose détournée. Les différences entre les objets acquièrent ici la valeur de simples différentiels. Dans une composition artistique qui fait de son exposition facteurs imprévisibles et contingents sa raison d’être, la logique fondée sur l’identité et l’opposition est inopérante. Par la voie de contigüité ou de similitude, les valeurs des arts se déplacent des objets à d’autres : la demeure principale rayonne et transmet son ordre architectural aux parterres environnants, le tableau imprime sa copie in situ de qualités picturales, la fabrique abritant une figure se pare de traits sculpturaux, etc. A réunir dans un enclos jardinier « tous » les arts, ses amateurs lui permettant de perpétuer cette sémiose potentiellement à l’infini. Les jardins des classiques ne sont pas conçus pour apporter de nouvelles connaissances, mais pour sonder l’expérience accompagnant son acquisition. L’enchaînement des dérapages disciplinaires « contenu » transforme la lecture du jardin en un « art de la promenade » érudit : une disposition cognitive constituée de comportements intellectuels et corporels étudiés, paradoxalement, dans le but d’atteindre le délassement et le naturel
The art of gardens in France (1760-1808): Correspondence of arts in theory and practice. Classical thinkers understand the plural artistic realm to be a dense network of correspondences, where the rich experience of the culture of time (of cultivating time) yields a high potential. Having renounced to search through their works for harbingers of modern art (brilliant genius, invention, creativity, originality), we concentrate more on another aspect of classical aesthetics which focuses on the resistance of matter to form – execution, the act of doing and duration. Considering mimesis as an equivalence between poiesis and aisthesis, classical thinkers maintain that artistic experience owes its unfolding, its inflections and its quality to the chosen medium or media. Be it potentially or concretely, the diversity of the art realm necessarily conditions every artistic experience. Whether it be stimulating of disturbing, the intermediation of allogenic registers – as regards both the contemplation of an art work and the definition of an art form – becomes a necessary detour, a coherence mechanism, recalcitrant to any systemization. This view of the arts inspired public and artist imagination from the Renaissance to the end of the XVIIIth century, finding in garden literature a particularly fertile ground. During the XVIIIth century, classicism begins to be questioned : a new epistemological tendency, coupled with the growing autonomy of the aesthetic experience, results in the ordering of seemingly chaotic interdisciplinary relations. Assessments, imperatives and portrayed experience make for an ambiguous response. As a result, garden theory reduces the scope of its references to the “liberal” arts, ascribing to each interdisciplinary alliance a particular function. This new approach enjoys considerable success, permeating public opinion and triggering an aesthetic debate never before seen in garden history. Nevertheless, conceptualizing a correspondence between the arts meets with difficulty: homogenizing and the unifying the plural domain of the arts. Presenting the garden as the source of “all of the arts” aims to prevent one single discipline from monopolizing it. All in all, torn between the subject as unifier and the desire to retain the multiplicity of the arts, the enlightenment philosophers invent a way to manage plurality that we call “contained dissipation.” Interdisciplinary detours are paths to knowledge specific to culture, operating in the multiple realm of the arts. In the context of the garden, this indirect semiosis is radicalized. Differences between objects thus acquire simple differential values. In an artistic composition whose existence is defined by its display vis-à-vis unpredictable and contingent factors, logic based on identity and opposition is inoperable. Through contiguity and resemblance, art values are displaced form one object to another: the principal residence radiates, transmitting its architectural order to the surrounding beds, the painting transfers pictorial qualities to its in situ copy, the factory harboring a figure takes on its sculptural traits, and so on. By uniting "all" of the arts in a garden enclosure, enthusiasts of the latter endow it with a material which makes it possible to perpetuate this semiosis infinitely. Classical gardens are not conceived to contibute new knowledge, but rather to enquire into the experience brought about by its acquisition. The succession of "contained" disciplinary blunders transforms the reading of the garden into an erudite “art of promenading” : at work is a cognitive mindset composed of prepared intellectual and bodily comportments whose paradoxical goal is to achieve relaxation and naturalness

Gli stili APA, Harvard, Vancouver, ISO e altri

25

Juteau, Daniel. "Correspondance de Springer modulaire et matrices de décomposition". Phd thesis, Université Paris-Diderot - Paris VII, 2007. http://tel.archives-ouvertes.fr/tel-00355559.

Testo completo

Abstract (sommario):

In 1976, Springer defined a correspondence making a link between the irreducible ordinary (characteristic zero) representations of a Weyl group and the geometry of the associated nilpotent variety. In this thesis, we define a modular Springer correspondence (in positive characteristic), and we show that the decomposition numbers of a Weyl group (for example the symmetric group) are particular cases of decomposition numbers for equivariant perverse sheaves on the nilpotent variety. We calculate explicitly the decomposition numbers associated to the regular and subregular classes, and to the minimal and trivial classes. We determine the correspondence explicitly in the case of the symmetric group, and show that James's row and column removal rule is a consequence of a smooth equivalence of nilpotent singularities obtained by Kraft and Procesi. The first chapter contains generalities about perverse sheaves with Z_l and F_l coefficients.

Gli stili APA, Harvard, Vancouver, ISO e altri

26

Collier, Olivier. "Méthodes statistiques pour la mise en correspondance de descripteurs". Phd thesis, Université Paris-Est, 2013. http://tel.archives-ouvertes.fr/tel-00904686.

Testo completo

Abstract (sommario):

De nombreuses applications, en vision par ordinateur ou en médecine notamment,ont pour but d'identifier des similarités entre plusieurs images ou signaux. On peut alors détecter des objets, les suivre, ou recouper des prises de vue. Dans tous les cas, les procédures algorithmiques qui traitent les images utilisent une sélection de points-clefs qu'elles essayent ensuite de mettre en correspondance par paire. Elles calculent pour chaque point un descripteur qui le caractérise, le discrimine des autres. Parmi toutes les procédures possibles,la plus utilisée aujourd'hui est SIFT, qui sélectionne les points-clefs, calcule des descripteurs et propose un critère de mise en correspondance globale. Dans une première partie, nous tentons d'améliorer cet algorithme en changeant le descripteur original qui nécessite de trouver l'argument du maximum d'un histogramme : en effet, son calcul est statistiquement instable. Nous devons alors également changer le critère de mise en correspondance de deux descripteurs. Il en résulte un problème de test non paramétrique dans lequel à la fois l'hypothèse nulle et alternative sont composites, et même non paramétriques. Nous utilisons le test du rapport de vraisemblance généralisé afin d'exhiber des procédures de test consistantes, et proposons une étude minimax du problème. Dans une seconde partie, nous nous intéressons à l'optimalité d'une procédure globale de mise en correspondance. Nous énonçons un modèle statistique dans lequel des descripteurs sont présents dans un certain ordre dans une première image, et dans un autre dans une seconde image. La mise en correspondance revient alors à l'estimation d'une permutation. Nous donnons un critère d'optimalité au sens minimax pour les estimateurs. Nous utilisons en particulier la vraisemblance afin de trouver plusieurs estimateurs consistants, et même optimaux sous certaines conditions. Enfin, nous nous sommes intéressés à des aspects pratiques en montrant que nos estimateurs étaient calculables en temps raisonnable, ce qui nous a permis ensuite d'illustrer la hiérarchie de nos estimateurs par des simulations

Gli stili APA, Harvard, Vancouver, ISO e altri

27

Charbonnier, Laurent. "Localisation d'un robot mobile par mise en correspondance de cartes télémétriques : utilisation du concept de ressemblance". Montpellier 2, 1996. http://www.theses.fr/1996MON20098.

Testo completo

Abstract (sommario):

Cette these presente une methode de localisation d'un robot mobile par mise en correspondance de cartes telemetriques. L'environnement considere dans cette etude est un environnement d'interieur structure. Le principe de la methode repose sur la mise en correspondance des donnees issues des acquisitions de debut et fin de mouvement. Le capteur utilise est un telemetre laser 2d qui scrute radialement l'environnement du robot dans un plan parallele au sol. La methode se deroule suivant trois phases: segmentation des donnees, mise en correspondance des cartes segmentees et estimation du mouvement entre les deux cartes. L'originalite de la methode de segmentation que nous proposons (i. E. Approximation polygonale) reside dans la combinaison de concepts statistiques et flous pour detecter puis localiser les extremites des segments. La segmentation obtenue est robuste car elle satisfait les criteres de precision, fiabilite et repetabilite. La mise en correspondance de deux cartes segmentees conduit a une solution globale d'appariement. Celle-ci est obtenue par un algorithme de programmation dynamique, adapte au raisonnement bimodal multivalue que nous avons choisi d'utiliser pour ses proprietes de robustesse. La mise en correspondance etablie, il est possible d'estimer un deplacement relatif entre les deux cartes et donc de localiser le robot. L'ensemble des resultats presentes a ete implemente et experimente sur des robots mobiles. Deux applications ont ete proposees pour tester les methodes presentees: la localisation dans le plan d'un robot mobile d'interieur (le robot vega du lirmm) et la segmentation de donnees fournies par le telemetre laser 3d de l'universite de saragosse, espagne

Gli stili APA, Harvard, Vancouver, ISO e altri

28

Amer, Asmaa. "Resource Allocation in NOMA-based cellular networks". Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG089.

Testo completo

Abstract (sommario):

Cette thèse vise à optimiser l'allocation des ressources au sein des systèmes NOMA, en particulier les systèmes NOMA coopératifs en liaison descendante, dans des configurations de stations de base à antenne unique et à antennes multiples. L'objectif est de maximiser l'efficacité spectrale et énergétique, tout en proposant des schémas NOMA plus efficaces qui peuvent tirer parti des avantages du NOMA et répondre aux limitations des schémas actuellement considérés en termes de consommation d'énergie et de complexité des récepteurs. Dans la première contribution, un système NOMA coopératif basé sur le découpage du réseau est étudié pour accueillir à la fois des utilisateurs cellulaires et des paires de dispositifs à dispositifs (D2D) répondant aux exigences de communication mobile large bande améliorée (eMBB) et de communication ultra fiable à faible latence (URLLC). Le problème d'optimisation est formulé comme une maximisation du débit total avec trois variables d'optimisation : le regroupement des utilisateurs NOMA, l'admission sous-jacente des D2D et l'allocation des blocs de ressources. Le problème est décomposé en trois sous-problèmes. Une solution algorithmique séquentielle est proposée, commençant par le regroupement des utilisateurs, suivie de l'allocation des blocs de ressources, et enfin de l'admission des D2D. Les sous-problèmes de regroupement des utilisateurs et d'admission des D2D sont résolus à l'aide d'une solution de théorie de correspondance de type plusieurs-à-un à faible complexité. Le problème d'allocation des blocs de ressources est résolu par une approche heuristique. Dans la deuxième contribution, nous revisitons le compromis entre l'accès des utilisateurs et la complexité de l'annulation d'interférence successive (SIC) des récepteurs NOMA. À mesure que davantage d'utilisateurs partagent les mêmes ressources, l'interférence et la complexité de la SIC augmentent. Contrairement aux schémas NOMA conventionnels basés sur des paires, nous proposons un schéma NOMA coopératif chevauchant, où chaque utilisateur en bord de cellule peut partager des ressources avec plusieurs utilisateurs au centre de la cellule, même si les utilisateurs au centre de la cellule utilisent des ressources orthogonales entre eux. Cette approche améliore la connectivité des utilisateurs, renforce les performances des utilisateurs en bord de cellule et maintient une faible complexité de SIC. Le problème est formulé comme une maximisation de la satisfaction des Qualité de Service (QoS) des utilisateurs en bord de cellule et est résolu à l'aide d'un algorithme de théorie de correspondance de type plusieurs-à-plusieurs avec des stratégies d'échange et d'ajout/suppression. Dans la troisième contribution de la thèse, nous proposons un système hybride d'accès multiple par division spatiale (SDMA)/NOMA, pour s'adapter entre les utilisateurs accédant par NOMA et SDMA en fonction de leur consommation d'énergie. Dans le modèle de consommation d'énergie, contrairement à la littérature NOMA où la puissance est induite par les unités SIC au niveau du récepteur est négligée, nous introduisons un modèle de consommation d'énergie dynamique basé sur la puissance SIC. Le problème est formulé comme une maximisation de l'efficacité énergétique en optimisant la sélection du mode d'accès multiple, le beamforming de la station de base et l'allocation de puissance des utilisateurs. Cette approche empêche une surestimation de l'efficacité énergétique, entraînant une réduction de l'écart entre l'analyse théorique et la conception du système, ce qui est particulièrement critique pour les dispositifs NOMA contraints par l'énergie. Le problème est résolu en utilisant des approches d'approximation convexe successive (SCA), de programmation par différences convexes (DC) et de programmation semi-définie (SDP)
This thesis aims to optimize resources allocation within NOMA systems, particularly downlink cooperative NOMA systems, within single-antenna and multiple antenna base station (BS) configurations. This aims to maximize spectral and energy efficiency, and to propose more efficient NOMA schemes that can reap benefits of NOMA and address the limitations of currently considered NOMA schemes, in terms of power consumption and receiver complexity. In the first contribution, a network-slicing-based cooperative NOMA based system is investigated to accommodate both cellular users and device-to-device (D2D) pairs with enhanced mobile broadband (eMBB) and Ultra reliable low latency communication (URLLC) services requirements. The optimization problem is formulated as sum-throughput maximization with three optimization variables: NOMA-users clustering, underlying D2D- admission, and resource blocks (RBs) allocation. The problem is decoupled into three sub-problems. A sequential algorithmic solution is proposed, starting by users clustering, followed by RBs allocation, and finally D2D admission. The users clustering and D2D admission sub-problems are solved using low-complexity many-to-one matching theory solution. The RBs allocation problem is solved using heuristics approach. In the second contribution, we revisit the trade-off between user access and the successive interference cancellation (SIC) complexity of NOMA receivers. As more users share the same resources, interference and SIC complexity escalate. Unlike conventional pairing-based NOMA schemes, we propose an overlapping cooperative NOMA scheme where each cell-edge user can share resources with multiple cell-center users, even if cell-center users are using orthogonal resources between each other. This approach enhances user connectivity, improves cell-edge user performance, and maintains low SIC complexity. The problem is formulated as maximization of Quality-of-Service (QoS) satisfaction of cell-edge users, and is solved using a many-to-many matching theory algorithm with swapping and add/remove strategies. In the third thesis contribution, we propose a hybrid Space Division Multiple Access (SDMA)/NOMA system, to adapt the multiple access mode, either NOMA or SDMA, based on the power consumption. In the power consumption model, unlike NOMA literature, where power induced by SIC units at the receiver is overlooked, we introduce dynamic power consumption model based on the SIC power. The problem is formulated as maximizing energy efficiency by optimizing the multiple access mode selection, BS beamforming, and user power allocation. This approach prevents overestimation of energy efficiency, consequently, avoids gaps between its theoretical evaluation and practical system design, an aspect particularly critical for energy-constrained NOMA devices. The problem is solved using successive convex approximation (SCA), difference of convex (DC) programming and semidefinite programming (SDP) approaches

Gli stili APA, Harvard, Vancouver, ISO e altri

29

Skordas, Thomas. "Mise en correspondance et reconstruction stéréo utilisant une description structurelle des images". Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00329721.

Testo completo

Abstract (sommario):

Description d'un système de vision stéréoscopique. Le but est de mettre en correspondance deux images d'une même scène acquises de deux points de vue différents et de reconstituer ensuite la structure tridimensionnelle de la scène. Des segments de droite sont extraits de l'image de gauche et de l'image de droite. Ces segments sont groupes convenablement afin de former des structures locales 2d. Sur la base de ces groupements, chaque image est décrite par un graphe relationnel ou les nœuds représentent les segments et les arcs représentent des relations structurelles entre les segments. La mise en correspondance des deux descriptions monoculaires obtenues est réalisée en trouvant des structures similaires entre les deux descriptions, ce qui est équivalent a la recherche d'un isomorphisme

Gli stili APA, Harvard, Vancouver, ISO e altri

30

Slimane, Mohammed. "Le langage des gractes et son usage fondamental en algèbre en logique et dans la théorie des bases de données relationnelles". Paris 5, 1986. http://www.theses.fr/1986PA05S008.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

Khouzeimi, Sami. "L'Interaction épistolaire au XVIIIe siècle. Etude réalisée à partir de trois dialogues épistolaires : Etude réalisée à partir de trois dialogues épistolaires : Voltaire & Mme du Deffand, Jean-Jacques Rousseau & Malesherbes, Benjamin Constant & Isabelle de Charrière. Théorie et pratique de l'épistolaire au XVIIIe siècle". Electronic Thesis or Diss., Orléans, 2013. http://www.theses.fr/2013ORLE1126.

Testo completo

Abstract (sommario):

Notre travail décrit le processus de l’interaction épistolaire au XVIIIe siècle à travers l’étude des trois exemples de dialogues épistolaires, à savoir : Voltaire & Mme du Deffand, Rousseau & Malesherbes et enfin Benjamin Constant &Isabelle de Charrière. Nous comprenons par l’interaction épistolaire, le va-et-vient entre les deux correspondants, leur influence mutuelle, leurs échanges de rôles. La question principale qui se pose ici est la suivante : quel est l’intérêt, pour les deux correspondants, de cet échange épistolaire dans la durée? Dans quel objectif les deux épistoliers s’écrivent-ils l’un à l’autre ? Comment un dialogue épistolaire peut-il modifier l’image de l’autre, la structure et les dispositions morales ? Le XVIIIe siècle a connu en fait un foisonnement épistolaire grâce à l’épanouissement de la pensée philosophique et des Lumières. On avait le goût de l’échange épistolaire qui touche tous les sujets de la vie, surtout entreamis. Ainsi se construisent plusieurs commerces épistolaires, dont certains se développent en réseaux. Pour Voltaire et Madame Du Deffand, leur commerce épistolaire suit un rythme binaire, le plus souvent harmonieux, mais parfois« syncopé », sous la forme d’un dialogue philosophique éblouissant jusqu’à la disparition de Voltaire. Dans ce dialogue,nous découvrons au fil des jours beaucoup d’idées et de thèmes qui nous informent excellemment sur toute une époque.La correspondance de Rousseau et de Malesherbes nous renseigne sur des détails infimes liés aux problèmes de la publication des oeuvres et à la censure, sans oublier le côté personnel de leur amitié, mais elle se fonde plutôt sur une sorte de désir de loyauté et une volonté de clairvoyance dans l’échange des secrets, caractéristiques essentielles desconfessions auxquelles Rousseau nous a habitués. Quant à Benjamin Constant et Isabelle de Charrière, leur dialogue,malgré leur écart d’âge, semble très intéressant dans son contenu. Si Constant se plaît à décrire à Isabelle de Charrière les circonstances de sa vie de façon filiale, un intérêt, une passion soutenue se fait jour dans cette correspondance
Our work has the aim to describe the process of interaction in the eighteenth century epistolary through the study of three examples of epistolary dialogues, namely: Voltaire ---- Madame du Deffand, Rousseau and Malesherbes ---- finally Benjamin Constant ---- Isabelle de Charrière. We understand the interaction epistolary the back-and-forth between the two parties, their mutual influence, their trade roles. The main question thatarises here is: what is the interest for the two parties, this epistolary exchange in the long term? For what purpose is the two letter writers they write to each other? How epistolary dialogue can it change the image of the other, the structure and the moral?The eighteenth century saw a proliferation epistolary actually thanks to the development of philosophicalthought and the Enlightenment. It tasted like the epistolary exchange that affects all areas of life, especially among friends. So many businesses are built correspondence, some of which develop into networks. For Voltaire and Madame Du Deffand their epistolary follows a binary rhythm, usually smooth, but sometimes"syncopated" as a philosophical dialogue dazzling until the disappearance of Voltaire. In this dialogue, w ediscover the days many ideas and themes that inform us about a time excellently. Correspondence of Rousseau and Malesherbes us about minute details related to the problems of publication and censorshipworks, not to mention the personal side of their friendship, but is rather based on a kind of desire loyalty and commitment vision in the exchange of secrets, essential characteristics denominations which Rousseau has accustomed us. As Benjamin Constant and Isabelle de Charrière, their dialogue, despite the age difference between partners, seems very interesting content. If Constant likes to describe Isabelle de Charrière the circumstances of his life in a subsidiary, an interest, a passion sustained emerges in this correspondence

Gli stili APA, Harvard, Vancouver, ISO e altri

32

Inyang, Enobong. "Étude des conceptions théoriques de deux traductologues anglophones, Peter Newmark et Eugène Nida, à la lumière de la théorie interprétative de la traduction". Phd thesis, Université de la Sorbonne nouvelle - Paris III, 2010. http://tel.archives-ouvertes.fr/tel-00915762.

Testo completo

Abstract (sommario):

Notre thèse vise à étudier les conceptions théoriques de deux traductologues anglophones [littéraliste chez Peter Newmark et sociolinguistique chez Eugene Nida], à la lumière de la théorie interprétative de la traduction élaborée par deux traductologues françaises, Danica Seleskovitch et Marianne Lederer. Nous nous sommes proposé de voir comment trois théories, de deux univers linguistiques différents se sont développées dans la deuxième moitié du 20e siècle, et s'il y a des rapprochements à faire.

Gli stili APA, Harvard, Vancouver, ISO e altri

33

Duboeuf, Bastien. "Compactification Kaluza-Klein, Géométrie Exceptionnelle et Holographie". Electronic Thesis or Diss., Lyon, École normale supérieure, 2024. http://www.theses.fr/2024ENSL0028.

Testo completo

Abstract (sommario):

Théories des Cordes sont nos meilleurs candidats dans la perspective d’unification de toutes les interactions de la Nature. La gravité est naturellement encodée dans toutes les Théories des Cordes, qui sont exemptes de divergences dans l’ultraviolet. C’est cette dernière caractéristique qui font des Théories des Cordes de potentiels candidats pour une théorie de gravitation quantique. Une caractéristique générale des Théories des Cordes est le nombre de dimensions de l’espace- temps requis. Ce nombre est soit 26, soit 10. L’une des façons d’aborder ce problème est de recourir à ce que l’on appelle les compactifications de Kaluza-Klein. Il s’agit d’un processus par lequel certaines dimensions de l’espace total sont rendues compactes et petites. L’objectif de ce procédé est qu’à notre échelle macroscopique et aux niveaux d’énergie accessibles au quotidien, les effets de ces dimensions "supplémentaires" soient suffisamment faibles pour que nous puissions les ignorer. Les Théories des Cordes étant des théories très complexes, une façon d’étudier les procédures de compactification consiste à se restreindre à l’analyse des Supergravités, vues comme une limite à basse énergie des Théories des Cordes. Dans ces théories, des symétries supplémentaires apparaissent lors des compactifications, ce qui nous permet de reformuler les Supergravités en des "Théories des Champs Exceptionnelles", rendant ces dualités manifestes. Les Supergravités sont d’autant plus intéressantes qu’elles jouent un rôle clef dans le contexte de la correspondance AdS/CFT, qui est un autre type de dualité établissant l’équivalence entre une théorie de la gravité, ici une Supergravité définie sur un espace d’Anti-de-Sitter (AdS), et une Théorie Quantique des Champs, ici une Théorie Conforme des Champs vivant à la frontière de l’espace-temps AdS. Dans la première partie de la thèse, nous ferons des commentaires généraux et les utiliserons pour introduire divers concepts nécessaires tout au long du manuscrit. Dans la deuxième partie de la thèse, nous montrerons comment utiliser les techniques de la Théorie des Champs Exceptionnelle pour calculer les spectres des solutions de la Supergravité à 11 dimensions sur AdS₄ × Σ⁷, avec Σ⁷ un espace interne compact à 7 dimensions. Nous introduiront les techniques de la Théorie des Champs Exceptionnelle pour les espaces dit parallélisables de Leibniz. Nous montrerons par la suite comment ces dernières techniques peuvent être étendues aux espaces avec la condition moins contraignante dite de parallélisabilité Généralisée. Nous illustrerons cette nouvelle approche dans le cas de la solution AdS₄ × S⁷ squashed de la Supergravité à 11 dimension, pour laquelle nous donnons le spectre de masse dans sa totalité. Nous montrerons ensuite une réalisation concrète de la correspondance AdS₄/CFT₃ Enfin, dans la dernière partie de la thèse, nous nous intéresserons aux couplages à n-points dans les Supergravités. Dans une première partie, nous montrerons comment calculer les cou- plages cubiques pour des champs spécifiques sur un espace AdS₅ × S⁵ de la Supergravité IIB à 10 dimensions via un calcul direct. Après avoir discuté des résultats obtenus grâce à ces techniques, nous montrerons comment nous pouvons utiliser les techniques de la Théorie des Champs Exceptionnelle pour calculer efficacement ces couplages. Ces calculs nous permettrons aussi de révéler des structures de la Théorie des Champs Exceptionnels dans les couplages à n-points en Supergravité
String Theories are our most promising candidates in the goal of unifying all interactions in nature. Gravity is naturally encapsulated in all String Theories, which are ultraviolet-free from divergences. A general feature of String Theories is the number of spacetime dimensions required. This number is either 26 or 10. In any case, this requires some further modifications of the theories since the world we are living in is a priori a 4-dimensional spacetime space. One way to tackle this problem is via so-called Kaluza-Klein compactifications. The latter is a process in which some of the dimensions of the total space are made compact and small. The idea is that at our macroscopic scale and daily energy level, the effects of those "extra" dimensions are sufficiently small so we can ignore them. In this thesis we will be interested in Supergravities, obtained from a certain regime of String Theories. In those theories, additional symmetries show up in dimensional compactifications, which allow us to reformulate Supergravities into so-called Exceptional Field Theories. Let us finally remark that Supergravities are particularly important in the context of the AdS/CFT correspondence, stating the equivalence between a theory of gravity, here a Supergravity defined on an Anti-de-Sitter (AdS) background, and a Quantum Field Theory, here a Conformal Field Theory living on the boundary of the AdS previous spacetime. In the first part of the thesis, we will make general comments and use it to introduce various concepts needed throughout the thesis. In the second part of the thesis, we will show how to use Exceptional Field Theory tech- niques to compute spectra of solutions of 11-dimensional Supergravity on AdS₄ × Σ⁷ . After reviewing the state-of-the-art techniques for Kaluza-Klein spectroscopy, we will show how Exceptional Field Theory techniques can be extended to spaces with the condition of Generalized parallelizability. We will illustrate how this technology works in the case of AdS₄ × S⁷squashed solution of 11- dimensional Supergravity, for which we give a complete answer for the spectrum. We will then show a concrete realization of the AdS₄/CFT₃ correspondence, by computing the domain-wall solution of the Supergravity equations interpolating between the round and the squashed seven- sphere, which is dual to a Renormalization Group flow on the Conformal Field Theory side. This demonstrates that not only Exceptional Field Theory techniques can be used to compute spectra around Supergravities with AdS background, but it also allows us to compute quadratic couplings of Kaluza-Klein fluctuations around a domain-wall solution of Supergravity. Finally, in the last section of the thesis, we will be interested in n-point couplings in Super- gravities. In a first part, we will show how to compute cubic couplings for specific fields on AdS₅ background of IIB 10-dimensional Supergravity via a brute force calculation. After discussing the achievements made using these techniques, we will show how we can use Exceptional Field Theory techniques to efficiently compute these couplings. Not only will this prove more efficient, but it will also allow us to write the same couplings in a more compact form, to derive formulas that apply to any vacua that are Leibniz parallelizable, and also to reveal Exceptional Field Theory structures that prove long-standing conjectures. We will illustrate the power of these techniques on the example of AdS₅ background of IIB 10-dimensional Supergravity

Gli stili APA, Harvard, Vancouver, ISO e altri

34

Khouzeimi, Sami. "L'Interaction épistolaire au XVIIIe siècle. Etude réalisée à partir de trois dialogues épistolaires : Etude réalisée à partir de trois dialogues épistolaires : Voltaire & Mme du Deffand, Jean-Jacques Rousseau & Malesherbes, Benjamin Constant & Isabelle de Charrière. Théorie et pratique de l'épistolaire au XVIIIe siècle". Phd thesis, Université d'Orléans, 2013. http://tel.archives-ouvertes.fr/tel-00965108.

Testo completo

Abstract (sommario):

Notre travail décrit le processus de l'interaction épistolaire au XVIIIe siècle à travers l'étude des trois exemples de dialogues épistolaires, à savoir : Voltaire & Mme du Deffand, Rousseau & Malesherbes et enfin Benjamin Constant &Isabelle de Charrière. Nous comprenons par l'interaction épistolaire, le va-et-vient entre les deux correspondants, leur influence mutuelle, leurs échanges de rôles. La question principale qui se pose ici est la suivante : quel est l'intérêt, pour les deux correspondants, de cet échange épistolaire dans la durée? Dans quel objectif les deux épistoliers s'écrivent-ils l'un à l'autre ? Comment un dialogue épistolaire peut-il modifier l'image de l'autre, la structure et les dispositions morales ? Le XVIIIe siècle a connu en fait un foisonnement épistolaire grâce à l'épanouissement de la pensée philosophique et des Lumières. On avait le goût de l'échange épistolaire qui touche tous les sujets de la vie, surtout entreamis. Ainsi se construisent plusieurs commerces épistolaires, dont certains se développent en réseaux. Pour Voltaire et Madame Du Deffand, leur commerce épistolaire suit un rythme binaire, le plus souvent harmonieux, mais parfois" syncopé ", sous la forme d'un dialogue philosophique éblouissant jusqu'à la disparition de Voltaire. Dans ce dialogue,nous découvrons au fil des jours beaucoup d'idées et de thèmes qui nous informent excellemment sur toute une époque.La correspondance de Rousseau et de Malesherbes nous renseigne sur des détails infimes liés aux problèmes de la publication des oeuvres et à la censure, sans oublier le côté personnel de leur amitié, mais elle se fonde plutôt sur une sorte de désir de loyauté et une volonté de clairvoyance dans l'échange des secrets, caractéristiques essentielles desconfessions auxquelles Rousseau nous a habitués. Quant à Benjamin Constant et Isabelle de Charrière, leur dialogue,malgré leur écart d'âge, semble très intéressant dans son contenu. Si Constant se plaît à décrire à Isabelle de Charrière les circonstances de sa vie de façon filiale, un intérêt, une passion soutenue se fait jour dans cette correspondance.

Gli stili APA, Harvard, Vancouver, ISO e altri

35

Inyang, Enobong Joseph. "Étude des conceptions théoriques de deux traductologues anglophones, Peter Newmark et Eugène Nida, à la lumière de la théorie interprétative de la traduction". Thesis, Paris 3, 2010. http://www.theses.fr/2010PA030161/document.

Testo completo

Abstract (sommario):

Notre thèse vise à étudier les conceptions théoriques de deux traductologues anglophones [littéraliste chez Peter Newmark et sociolinguistique chez Eugene Nida], à la lumière de la théorie interprétative de la traduction élaborée par deux traductologues françaises, Danica Seleskovitch et Marianne Lederer. Nous nous sommes proposé de voir comment trois théories, de deux univers linguistiques différents se sont développées dans la deuxième moitié du 20e siècle, et s’il y a des rapprochements à faire
The aim of our dissertation is to examine the literalist theoretical view of Peter Newmark and the sociolinguistic theoretical view of Eugene Nida in the light of the interpretative theory of translation of Danica Seleskovitch and Marianne Lederer. Newmark and Nida are Anglophone theorists of translation, while Seleskovitch and Lederer are French theorists. We want to see how three theories from different linguistic worlds developed in the second part of the 20th century and at the same time compare and contrast them

Gli stili APA, Harvard, Vancouver, ISO e altri

36

Prouff, Antoine. "Correspondance classique-quantique et application au contrôle d'équations d'ondes et de Schrödinger dans l'espace euclidien". Electronic Thesis or Diss., université Paris-Saclay, 2024. https://theses.hal.science/tel-04634673.

Testo completo

Abstract (sommario):

Les équations des ondes et de Schrödinger modélisent une grande variété de phénomènes ondulatoires, tels que la propagation de la lumière, les vibrations d'un objet ou l'évolution temporelle d'une particule quantique. Dans ces modèles, l'asymptotique des hautes énergies peut être décrite par des équations de la mécanique classique, comme l'optique géométrique. Dans cette thèse, nous étudions plusieurs applications de la correspondance classique-quantique à des problèmes de contrôle des équations des ondes et de Schrödinger dans l'espace euclidien, en utilisant des méthodes d'analyse microlocale.Dans les deux premières parties, nous étudions l'équation des ondes amorties et l'équation de Schrödinger avec un potentiel confinant dans l'espace euclidien. Nous donnons des conditions nécessaires et suffisantes de stabilité uniforme pour la première, et d'observabilité pour la seconde. Ces conditions font intervenir la dynamique classique sous-jacente qui consiste en une optique géométrique tordue par la présence du potentiel.Nous analysons ensuite dans une troisième partie la correspondance classique-quantique dans un cadre général qui contient les deux problèmes mentionnés ci-dessus. Nous démontrons une version du théorème d'Egorov dans le formalisme des métriques sur l'espace des phases et du calcul de Weyl--Hörmander. On présente différents cadres d'application de ce théorème pour des équations de Schrödinger, de demi-ondes et de transport
Wave and Schrödinger equations model a variety of phenomena, such as propagation of light, vibrating structures or the time evolution of a quantum particle. In these models, the high-energy asymptotics can be approximated by classical mechanics, as geometric optics. In this thesis, we study several applications of this principle to control problems for wave and Schrödinger equations in the Euclidean space, using microlocal analysis.In the first two chapters, we study the damped wave equation and the Schrödinger equation with a confining potential in the euclidean space. We provide necessary and sufficient conditions for uniform stability in the first case, or observability in the second one. These conditions involve the underlying classical dynamics which consists in a distorted version of geometric optics, due to the presence of the potential.Then in the third part, we analyze the quantum-classical correspondence principle in a general setting that encompasses the two aforementioned problems. We prove a version of Egorov's theorem in the Weyl--Hörmander framework of metrics on the phase space. We provide with various examples of application of this theorem for Schrödinger, half-wave and transport equations

Gli stili APA, Harvard, Vancouver, ISO e altri

37

Noyrit, Florian. "Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML". Thesis, Paris 11, 2012. http://www.theses.fr/2012PA112224.

Testo completo

Abstract (sommario):

Les divers intervenants qui décrivent, étudient et réalisent un système complexe ont besoin de points de vue adaptés à leurs préoccupations. Cependant, dans le contexte de l’Ingénierie Dirigée par les Modèles, les moyens pour définir et mettre en œuvre ces points de vue sont, soit trop rigides et inadaptées, soit totalement ad hoc. De plus, ces différents points de vue sont rarement indépendants les uns des autres. Dès lors, il faut s’attacher à identifier puis décrire les liens/les correspondances qui existent entre les points de vue pour enfin pouvoir vérifier que les réponses apportées par les différents intervenants constituent un tout cohérent.Les travaux exposés dans cette thèse permettent la définition de langages dédiés basés sur UML pour les points de vue. Pour cela, une méthode outillée qui analyse la sémantique des descriptions textuelles des concepts du domaine que l’on souhaite projeter sur UML est proposée afin de faciliter la définition de profils UML. Les résultats obtenus sur les cas d’études concrets étudiés sont encourageants et dépassent les résultats des outils existants. Pour définir des points de vue basés sur des profils UML, cette thèse propose une méthode qui permet au méthodologiste d’expliciter le point de vue voulu. Un outil génère ensuite l’outillage qui met en œuvre ce point de vue dans un environnement de modélisation ainsi que le langage dédié correspondant là où la pratique actuelle repose sur une mise en œuvre essentiellement manuelle.Pour assister l’identification des liens entre points de vue, cette thèse propose là aussi d’analyser la sémantique des descriptions textuelles des concepts des langages utilisés par les points de vue. Utilisée en complément des heuristiques syntaxiques existantes, l’approche proposée permet d’obtenir de bons résultats lorsque les terminologies des langages analysés sont éloignées. Un cadre théorique basé sur la théorie des catégories est proposé pour expliciter formellement les correspondances. Pour utiliser ce cadre, une catégorie pour les langages basés sur UML a été proposée. Afin de pouvoir également expliciter les correspondances entre les modèles issus de ces langages, la catégorie des ontologies OWL est utilisée. Une solution est proposée pour caractériser des correspondances plus complexes que la simple équivalence. Ce cadre théorique permet la définition formelle de relations complexes qui permettront de raisonner sur la cohérence de la description de l’architecture. Une fois la description de l’architecture intégrée en un tout en suivant les correspondances formalisées, la question de la cohérence est abordée. Les expérimentations faites sur un cas d’étude concret pour vérifier la cohérence à un niveau syntaxique donnent des résultats pratiques satisfaisants. Les expérimentations menées sur le même cas pour vérifier la cohérence à un niveau sémantique ne donnent pas de résultats pratiques satisfaisants
The various stakeholders who describe study and implement a complex system require viewpoints that are dedicated to their concerns. However, in the context of Model-Driven Engineering, approaches to define and implement those viewpoints are either too rigid and inappropriate or completely ad hoc. In addition, those various viewpoints are rarely independent from each other. Therefore, we must strive to identify and describe the relationships/correspondences between the viewpoints in order to be able to verify that the parts of the solution given by the various stakeholders form a consistent whole.The work presented in this thesis provides a way to define dedicated languages based on UML for the viewpoints. For this, a method that analyzes the semantics of the textual descriptions of the concepts of the domain we want to map to UML has been implemented to facilitate the definition of UML profiles. The results we get on the concrete test cases we considered are encouraging and go beyond results of existing tools. To define a viewpoint based on some UML profiles, this thesis provides a method that lets the methodologist make explicit the viewpoint he/she wants. A tool can then generate the tooling that implements this viewpoint in a modeling environment together with the corresponding dedicated language while current practice is based on an implementation essentially manual.To assist the identification of relationships between the viewpoints, this thesis proposes again to analyze the semantics of textual descriptions of concepts of the languages used by the viewpoints. Used in combination with existing syntactic heuristics, the proposed approach provides good results when the terminologies of the languages that are analyzed are far apart. A theoretical framework based on category theory is provided to make explicit formally correspondences. To use this framework, a category for languages based on UML has been proposed. To be able to make explicit the correspondences between the models of those languages as well, the category of OWL ontologies is used. A solution is proposed to characterize correspondences that are more complex than the simple equivalence relationship. This theoretical framework provides a way to define formally complex relationships that can be used to verify the consistency of the architectural description. Once the description of the architecture has been integrated according to the formal correspondences, the issue of consistency is considered. The experiments carried out on a concrete test case to verify consistency on a syntactic perspective give satisfactory practical results. The experiments carried on the same test case to verify consistency on a semantic perspective don’t give satisfactory practical results

Gli stili APA, Harvard, Vancouver, ISO e altri

38

Vrain, Christel. "Un outil pour la généralisation utilisant systématiquement les théorèmes : le système OGUST". Paris 11, 1987. http://www.theses.fr/1987PA112302.

Testo completo

Abstract (sommario):

La plupart des systèmes d'Apprentissage actuels n'utilisent qu'incomplètement les connaissances sur le domaine dans lequel se fait l'Apprentissage et se limitent très souvent à des propriétés exprimées sous forme de taxonomies. Nous proposons dans cette thèse un système d'apprentissage dans un domaine à théorie forte, où les propriétés sont exprimées sous forme de théorèmes universels ou de taxonomies. Notre système utilise une notion nouvelle appelée Mise en Correspondance Structurelle. Nous résolvons ainsi un problème classique en Démonstration Automatique: celui des boucles de raisonnement. Une des particularités de ce système par rapport aux autres systèmes d'apprentissage à partir d'exemples est sa capacité à fournir des explications. Ces explications pourront s'avérer utiles pour traiter les contre-exemples ou pour faire de l'apprentissage incrémental.

Gli stili APA, Harvard, Vancouver, ISO e altri

39

Bensrhair, Abdelaziz. "Contribution à la réalisation d'un capteur de vision 3D par stéréovision passive : mise au point d'algorithmes rapides et auto-adaptatifs de mise en correspondance d'images stéréoscopiques". Rouen, 1992. http://www.theses.fr/1992ROUES019.

Testo completo

Abstract (sommario):

Pour la conception d'un capteur de vision 3D temps réel, nous avons retenu le principe de la stéréovision passive. Dans ce mémoire, nous abordons le problème de la mise en correspondance de deux images stéréoscopiques qui consiste à trouver les points projections d'un même point physique de l'espace 3D sur ces deux images de la même scène, prise de deux points de vue différents : c'est une phase clé du processus de stéréovision. Dans notre étude, nous utilisons une configuration des deux caméras de telle manière que les algorithmes de segmentation et de mise en correspondance soient simplifiés. Les primitives que nous avons étudiées sont des points de contours que nous avons mis en correspondance par deux nouveaux algorithmes, dont l'originalité réside dans l'auto-adaptivité et la rapidité d'exécution. Le premier est fondé sur une technique de prédiction vérification d'hypothèses, le second utilise la programmation dynamique. Des résultats expérimentaux obtenus par les différents algorithmes, sur différentes sortes de scènes réelles, sont donnés et analysés dans ce mémoire

Gli stili APA, Harvard, Vancouver, ISO e altri

40

Frittella, Sabine. "Monotone Modal Logic and Friends". Thesis, Aix-Marseille, 2014. http://www.theses.fr/2014AIXM4751/document.

Testo completo

Abstract (sommario):

Cette thèse étudie la théorie de la correspondance et la théorie des preuves pour la logique modale monotone et les logiques qui en sont proches.La première partie de la thèse établit une connexion formelle entre la théorie de la correspondance algorithmique et des résultats de caractérisation duale pour les treillis finis, similaire à la caractérisation par Nation d'une hiérarchie de variétés de treillis qui généralise les treillis distributifs. Cette connexion formelle est établie en utilisant la logique modale monotone. Nous adaptons l'algorithme ALBA pour la correspondance à l'environnement de la logique modale monotone, et nous utilisons un encodage, induit par une dualité, des treillis finis sous forme de 'neighbourhood frames' pour traduire les termes de la théorie des treillis en formules de la logic modal monotone.La deuxième partie de la thèse étend la théorie des 'display calculi' à la logique Baltag-Moss-Solecki pour les actions épistémiques et la connaissance (Epistemic Actions and Knowledge), à la logique modale monotone et à la logique propositionnelle dynamique (PDL). Nos résultats incluent plusieurs méta-théorèmes d'élimination de la coupure qui généralisent le théorème original de Belnap dans des dimensions différentes et indépendantes. Les deux principales généralisations des 'display calculi' traitées dans la thèse sont : la généralisation d'une théorie pour les langages ne contenant qu'un seul type à une théorie pour les langages contenant plusieurs types, et la généralisation d'une théorie pour les calculs satisfaisant la propriété de 'display' aux calculs ne la satisfaisant pas
The present thesis focuses on Monotone Modal Logic and closely related logics from the point of view of Correspondence Theory and Proof Theory.The first part of the thesis establishes a formal connection between algorithmic corre- spondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a hierarchy of pseudovarieties of finite lattices progressively generalizing finite distributive lattices. This formal connection is established through monotone modal logic. Specifically, we adapt the correspondence algorithm ALBA to the setting of monotone modal logic, and we use a certain duality-induced encoding of finite lattices as monotone neighbourhood frames to translate lattice terms into formulas in monotone modal logic.The second part of the thesis extends the theory of display calculi to Baltag-Moss- Solecki's logic of Epistemic Actions and Knowledge (EAK), Monotone Modal Logic (MML), and Propositional Dynamic Logic (PDL). Our results include several cut-elimination metatheorems, which generalize the original metatheorem of Belnap in different and mutually independent dimensions. The two main generalizations of display calculi treated in the thesis are: the generalization from single type to multi-type languages, and from the full or relativized display property to no display property

Gli stili APA, Harvard, Vancouver, ISO e altri

41

Butin, F. "Structures de Poisson sur les Algèbres de Polynômes, Cohomologie et Déformations". Phd thesis, Université Claude Bernard - Lyon I, 2009. http://tel.archives-ouvertes.fr/tel-00444232.

Testo completo

Abstract (sommario):

La quantification par déformation et la correspondance de McKay forment les grands thèmes de l'étude qui porte sur des variétés algébriques singulières, des quotients d'algèbres de polynômes et des algèbres de polynômes invariants sous l'action d'un groupe fini. Nos principaux outils sont les cohomologies de Poisson et de Hochschild et la théorie des représentations. Certains calculs formels sont effectués avec Maple et GAP. Nous calculons les espaces d'homologie et de cohomologie de Hochschild des surfaces de Klein, en développant une généralisation du Théorème de HKR au cas de variétés non lisses et utilisons la division multivariée et les bases de Gröbner. La clôture de l'orbite nilpotente minimale d'une algèbre de Lie simple est une variété algébrique singulière sur laquelle nous construisons des star-produits invariants, grâce à la décomposition BGS de l'homologie et de la cohomologie de Hochschild, et à des résultats sur les invariants des groupes classiques. Nous explicitons les générateurs de l'idéal de Joseph associé à cette orbite et calculons les caractères infinitésimaux. Pour les algèbres de Lie simples B, C, D, nous établissons des résultats généraux sur l'espace d'homologie de Poisson en degré 0 de l'algèbre des invariants, qui vont dans le sens de la conjecture d'Alev et traitons les rangs 2 et 3. Nous calculons des séries de Poincaré à 2 variables pour des sous-groupes finis du groupe spécial linéaire en dimension 3, montrons que ce sont des fractions rationnelles, et associons aux sous-groupes une matrice de Cartan généralisée pour obtenir une correspondance de McKay algébrique en dimension 3. Toute l'étude a donné lieu à 4 articles.

Gli stili APA, Harvard, Vancouver, ISO e altri

42

Ntokos, Praxitelis. "Flux backgrounds, AdS/CFT and Generalized Geometry". Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066206/document.

Testo completo

Abstract (sommario):

La recherche de solutions du vide en présence de flux non-triviaux dans la théorie des cordes est importante pour la construction de modèles pertinents à la phénomenologie de la physique des particules. Dans le cadre de la correspondance AdS/CFT, les théories de jauge en 4d, considérées comme descendantes de N=4 SYM, sont duales à des configurations de champs en 10d avec des géometries ayant un facteur AdS_5 asymptotiquement. Dans cette thèse, nous étudions des déformations de masse qui brisent la supersymétrie (partiellement ou totalement) du côté de la théorie des champs et qui sont duales aux états de la théorie IIB avec flux non-nuls du côté gravitique. Les équations du mouvement de la supergravité contraignent les paramètres de la théorie de jauge à satisfaire certaines relations. En particulier, nous trouvons que la somme des carrés de la masse des bosons est égale à celle fermions, rendant ces modèles problematiques pour des applications phénomenologiques. L'étude des théories duales de supergravité pour des déformations plus générales de la théorie conforme des champs exige des techniques qui vont au-delà des outils géometriques standards. La Géometrie Généralisée Exceptionelle fournit une façon très élégante d'intégrer les flux de supergravité dans la géometrie. Nous examinons les solutions AdS_5 avec des flux génériques conservants huit supercharges et nous montrons que celles-ci satisfont des relations particulièrement simples qui ont une interprétation géometrique dans le cadre de la Géometrie Généralisée. Ceci ouvre la voie pour l'étude systématique des déformations marginales supersymétriques de la théorie
The search for string theory vacuum solutions with non-trivial fluxes is of particular importance for the construction of models relevant for particle physics phenomenology. In the framework of the AdS/CFT correspondence, four-dimensional gauge theories which can be considered to descend from N = 4 SYM are dual to ten- dimensional field configurations with geometries having an asymptotically AdS_5 factor. In this Thesis, we study mass deformations that break supersymmetry (partially or entirely) on the field theory side and which are dual to type IIB backgrounds with non-zero fluxes on the gravity side. The supergravity equations of motion constrain the parameters on the gauge theory side to satisfy certain relations. In particular, we find that the sum of the squares of the boson masses should be equal to the sum of the squares of the fermion masses, making these set-ups problematic for phenomenology applications. The study of the supergravity duals for more general deformations of the conformal field theory requires techniques which go beyond the standard geometric tools. Exceptional Generalized Geometry provides a very elegant way to incorporate the supergravity fluxes in the geometry. We study AdS_5 backgrounds with generic fluxes preserving eight supercharges and we show that these satisfy particularly simple relations which admit a geometrical interpretation in the framework of Generalized Geometry. This opens the way for the systematic study of supersymmetric marginal deformations of the conformal field theory in the context of AdS/CFT

Gli stili APA, Harvard, Vancouver, ISO e altri

43

Nguyen, Vu-Lan. "Polymères dirigés en milieu aléatoire : systèmes intégrables, ordres stochastiques". Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC097.

Testo completo

Abstract (sommario):

Cette thèse est consacrée à l'étude de polymère dirigé en milieu aléatoire. Le polymère dirigé en milieu aléatoire modélise une longue chaine de molécules qui interagit avec un environnement inhomogène, il est considéré depuis longtemps dans la littérature de la physique statistique. Une de questions importantes est de comprendre le comportement du polymère dans un environnement typique : la localisation des trajectoires autour un tube typique. Une question fortement liée s'agit d'étudier la fluctuation de l'énergie libre. On considère dans cette thèse le modèle polymère dirigé avec Log-Gamma distribution proposé par Seppallainen. Dans ce modèle, l'énergie libre est calculable en fonction des paramètres et les fluctuations présentent des exposants non-standard. Jusqu'à maintenant, c'est encore toujours une question ouvert to calculer les corrélations entre les fonctions partitions et aussi établir la distribution asymptotique du end-point du polymère. Cette thèse, parmi autre travaux, présente une approche à ces questions
The thesis focuses on (mostly 1 + 1 dimensional) directed polymers in random media. These are classical and celebrated models in the statistical mechanics of disordered systems and describe a one dimensional interface interacting with a d + 1-dimensional random environment where it is immersed. A very important question is to understand, in the limit where the polymer's length tends to infinity and for a typical realization of the environment, the geometric properties of the polymer: typical transversal displacement of the endpoint and its fluctuations, polymer localization at strong disorder around typical tubes determined by disorder. . . A strictly related problem of great interest is to study the fluctuations of the free energy. The main focus is on the so-called log-gamma polymer. This model, introduced by Seppalainen, is obtained by making a specific choice for the disorder law: the random variables are inverse Gamma variables. For this specific disorder choice, he proved that the variance of the log of the partition function is of order N"2/3, as expected by KPZ theory. This was refined into a full limit theorem Tracy -Widom type fluctuations) by Corwin, O'Connell, Seppalainen and Zygouras, via an explicit formula for the Laplace transform of a single partition function. It was until now an open problem to compute correlations between partition functions with different end-points and to study the asymptotic distribution of the polymer's endpoint. The present thesis addresses, among others, these two very challenging problems. On the other hand, we consider applications of stochastic orders on the study of directed polymer and disordered systems

Gli stili APA, Harvard, Vancouver, ISO e altri

44

Banafsheh, Farang-Hariri. "La correspondance de Howe géométrique modérément ramifiée pour les paires duales de type II dans le cadre du programme de Langlands géométrique". Phd thesis, Université Pierre et Marie Curie - Paris VI, 2012. http://tel.archives-ouvertes.fr/tel-00743280.

Testo completo

Abstract (sommario):

Dans cette thèse on s'intéresse à la correspondance de Howe géométrique pour les paires duales réductives de type II (G = GL_n, H = GL_m) sur un corps local non-Archimédien F de caractéristique différente de 2, ainsi qu'à la fonctorialité de Langlands géométrique au niveau Iwahori. Notons S la représentation de Weil de G(F) × H(F) et I_H, I_G des sous groupes d'Iwahori de H(F) et G(F). On considère la version géométrique de la représentation S^(I_G×I_H) des algèbres de Hecke-Iwahori H_H et H_G sur laquelle agissent les foncteurs de Hecke. On obtient des résultats partiels sur la description géométrique de la catégorie correspondante. Nous proposons une conjecture décrivant le groupe de Grothendieck de cette catégorie comme module sur les algèbres de Hecke affines étendues de G et de H. Notre description est en termes d'un champ attaché aux groupes de Langlands duaux dans le style de l'isomorphisme de Kazhdan-Lusztig. On démontre cette conjecture pour toutes les paires (GL_1, GL_m). Plus généralement, étant donné deux groupes réductifs connexes G et H et un morphisme \check{G}× SL_2 \to \check{H} de groupes de Langlands duaux, on suggère un bimodule sur les algèbres de Hecke affines étendues de G et de H qui pourrait conjecturalement réaliser la fonctorialité de Langlands géométrique locale au niveau Iwahori.

Gli stili APA, Harvard, Vancouver, ISO e altri

45

Royer, Emilien. "Etude de la confusion des descripteurs locaux de points d'intérêt : application à la mise en correspondance d'images de documents". Thesis, Toulon, 2017. http://www.theses.fr/2017TOUL0009/document.

Testo completo

Abstract (sommario):

Ce travail s’inscrit dans une tentative de liaison entre la communauté classique de la Vision par ordinateur et la communauté du traitement d’images de documents, analyse être connaissance (DAR). Plus particulièrement, nous abordons la question des détecteurs de points d’intérêts et des descripteurs locaux dans une image. Ceux-ci ayant été conçus pour des images issues du monde réel, ils ne sont pas adaptés aux problématiques issues du document dont les images présentent des caractéristiques visuelles différentes.Notre approche se base sur la résolution du problème de la confusion entre les descripteurs,ceux-ci perdant leur pouvoir discriminant. Notre principale contribution est un algorithme de réduction de la confusion potentiellement présente dans un ensemble de vecteurs caractéristiques d’une même image, ceci par une approche probabiliste en filtrant les vecteurs fortement confusifs. Une telle conception nous permet d’appliquer des algorithmes d’extractions de descripteurs sans avoir à les modifier ce qui constitue une passerelle entre ces deux mondes
This work tries to establish a bridge between the field of classical computer vision and document analysis and recognition. Specificaly, we tackle the issue of keypoints detection and associated local features computation in the image. These are not suitable for document images since they were designed for real-world images which have different visual characteristic. Our approach is based on resolving the issue of reducing the confusion between feature vectors since they usually lose their discriminant power with document images. Our main contribution is an algorithm reducing the confusion between local features by filtering the ones which present a high confusing risk. We are tackling this by using tools from probability theory. Such a method allows us to apply features extraction algorithms without having to modify them, thus establishing a bridge between these two worlds

Gli stili APA, Harvard, Vancouver, ISO e altri

46

Jiang, Yunfeng. "Three-point functions in N=4 Super-Yang-Mills theory from integrability". Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066395.

Testo completo

Abstract (sommario):

Cette thèse est dédiée à l'étude de la fonction à trois points dans la théorie de jauge super-symétrique (SYM) N=4, dans la limite du grand nombre de couleurs, à l'aide de l'intégrabilité. La théorie de jauge N=4 SYM est invariante conforme au niveau quantique est on pense qu'elle est résoluble exactement. Par la correspondance AdS/CFT, elle est duale à la théorie des cordes de type IIB dans l'espace courbe AdS5× S5. Les fonctions à trois points sont des quantités qui contiennent de l'information essentielle sur la dynamique de la théorie.Nous passons en revue les méthodes déjà existantes et outils de l'intégrabilité qui sont nécessaires pour le calcul de la fonction à trois points. Nous présentons le calcul de la fonction à trois points dans le secteur SU(3), de rang supérieur à un, nous avons utilisé une représentation sous forme de déterminant, qui nous permets de prendre la limite semi-classique. En exploitant la relation entre des chaines de spin à langue portée et la chaine de Heisenberg inhomogène, nous avons développé une nouvelle pur calculer la fonction à trois points dans le secteur SU(2) à l'ordre d'une boucle qui nous permets d'obtenir le résultat dans une forme très compacte. Dans la limite de Frolov-Tseytlin ce résultat est en accord avec celui qu'on obtient au couplage fort.Nous avons exploré des nouvelles formulations de la fonction à trois points. En nous inspirant de la formulation de la théorie des champs des cordes dans la jauge du cone de lumière nous avons construit un vertex de spin, qui est la version de couplage faible du vertex des cordes, pour tous les secteurs à l'ordre des arbres. Cette approche peut être reliée au programme des facteurs de forme pour les théories de champs bi-dimensionnelles intégrables, dont nous rappelons ici les bases. Nous étudions la dépendance dans la taille du système pour une classe spéciale de fonction à trois points qui correspond aux facteurs de forme diagonaux
This thesis is devoted to the study of three-point functions of N=4 Super-Yang-Mills (SYM) theory in the planar limit by using integrability. N=4 SYM theory is conformal invariant at quantum level and is believed to be completely solvable. By the AdS/CFT correspondence, it is dual to the type IIB superstring theory on the curved background AdS5×S5. The three-point functions are important quantities which contain essential dynamic information of the theory.The necessary tools in integrability and the existing methods of computing three-point functions are reviewed. We compute the three-point functions in the higher rank SU(3) sector and obtain a determinant representation for one special configuration, which allows us to take the semi-classical limit. By exploring the relation between long-range interacting spin chain and inhomogeneous XXX spin chain, we develop a new approach to compute three-point functions in the SU(2) sector at one-loop and obtain a compact result. In the Frolov-Tseytlin limit, this result matches the result at strong coupling.We also explore new formulations of the three-point functions. In one formulation inspired by the light-cone string field theory, we constructed the spin vertex, which is the weak coupling counterpart of the string vertex for all sectors at tree level. Another formulation which is related to the form factor boostrap program in integrable field theory is reviewed. At weak coupling, we study the finite volume dependence of a special type of three-point functions which are related to the diagonal form factors

Gli stili APA, Harvard, Vancouver, ISO e altri

47

Doumerc, Yan. "Matrices aléatoires, processus stochastiques et groupes de réflexions". Toulouse 3, 2005. http://www.theses.fr/2005TOU30121.

Testo completo

Abstract (sommario):

Cette thèse se divise en trois grandes parties dont les préoccupations sont assez distinctes mais qui gravitent toutes autour de la théorie des matrices aléatoires. Une première partie examine certains des liens qui existent entre les valeurs propres de matrices aléatoires gaussiennes, les processus sans collision et la correspondance de Robinson-Schensted-Knuth. Une deuxième partie est consacrée à des extensions aux matrices symétriques de diffusions classiques en dimension un, les carrés de Bessel et les processus de Jacobi. Dans une troisième partie, nous étudions la distribution du temps de sortie du mouvement brownien de certaines régions de l'espace euclidien qui sont des domaines fondamentaux associés à des groupes de réflexions, finis ou affines
The following thesis falls into three parts. Although they are all closely related to random matrix theory, each of these possesses its own particular concern. The first part deals with some of the existing links between eigenvalues of Gaussian random matrices, non-colliding processes and the Robinson-Schensted-Knuth correspondence. The second part tackles the subject of extensions to symmetric matrices of some classical one-dimensional diffusion processes, namely the Bessel squared processes and the Jacobi processes. Then, the third part hinges round the exit time of Brownian motion from regions which are the fundamental domains associated with finite or affine reflection groups in Euclidian space

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Mauguière, Frédéric. "Etude de la dynamique vibrationnelle de molécules triatomiques par les orbites périodiques et leurs bifurcations à partir de modèles effectifs et ab initio : états excités et effets de substitutions isotopiques". Reims, 2009. http://theses.univ-reims.fr/exl-doc/GED00001115.pdf.

Testo completo

Abstract (sommario):

Les travaux présentés dans ce manuscrit portent sur l'étude de la dynamique de vibration des noyaux de molécules triatomiques. Le problème est abordé avec une double approche. Tout d'abord, par des méthodes de calculs quantiques (variationnelles, DVR, transformations de contact) puis par des méthodes de dynamique non linéaire classiques (orbites périodiques, bifurcations) qui viennent mettre en lumière les résultats quantiques. La première partie de ce manuscrit présente quelques rappels de mathématiques concernant les systèmes dynamiques et la théorie des bifurcations. Une brève revue du traitement du problème vibrationnel en physique moléculaire est aussi donnée. La seconde partie de ce manuscrit traite de la dynamique de vibration des noyaux moléculaires à partir de modèles effectifs. Ces modèles consistent en des hamiltoniens effectifs construits par la méthode des transformations de contact. A partir de ces hamiltoniens quantiques effectifs on dérive des hamiltoniens classiques. On recherche alors les orbites périodiques de ces hamiltoniens et nous les comparons avec les fonctions d'onde quantiques. Enfin, la dernière partie discute de la dynamique vibrationnelle directement à partir de la surface d'énergie potentielle. Des calculs quantiques variationnels et DVR avec de larges bases sont menés. Une étude des orbites périodiques et de leurs bifurcations vient éclairer les résultats quantiques. On s'intéresse dans un premier temps aux molécules de symétrie C2v puis à l'effet de substitutions isotopiques qui brisent cette symétrie pour passer à la symétrie Cs
This thesis work is devoted to vibrational dynamics of triatomic molecules nucleus. For this problem we have a double approach. First, we make quantum calculations by variational, DVR and contact transformations methods. Then we use nonlinear dynamics methods to interpret quantum results. The first part recalls some mathematics about dynamical systems and bifurcation theory. A review of the problem of vibrations in molecular physics is also given. The second part concerns dynamics of vibration with effective models. These models consist of effective hamiltonians built by contact transformations methods. A correspondence principle is used to obtain classical hamiltonians and then make a periodic orbit analysis. These periodic orbits are systematically compared with quantum wave functions. Finally, the last part discusses the dynamics of vibration directly from the potential energy surface. We lead quantum variational and DVR calculations with large basis. The study of periodic orbits brings to light the quantum results. In a first time we are interested in C2v symmetry group molecules. Then we are interested in isotopic substitions who break the symmetry from C2v to Cs

Gli stili APA, Harvard, Vancouver, ISO e altri

49

Di, Ubaldo Gabriele. "Modern Techniques in Gravity and the Structure of Holographic Conformal Field Theories". Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASP055.

Testo completo

Abstract (sommario):

Nous introduisons un cadre pour quantifier le comportement des matrices aléatoires des CFTs 2d et de la gravité quantique AdS3. Nous présentons une formule de trace de CFT 2d, précisément analogue à la formule de trace de Gutzwiller pour les systèmes quantiques chaotiques, qui provient de la décomposition spectrale SL(2, Z) de la densité d'états primaire de Virasoro. Une analogie avec l'approximation diagonale de Berry nous permet d'extraire des statistiques spectrales de CFTs 2d individuels par un grossissement, et d'identifier les signatures du chaos et de l'universalité des matrices aléatoires. Cela conduit à une condition nécessaire et suffisante pour qu'un CFT 2d présente une rampe linéaire dans son facteur de forme spectral à gros grain. En ce qui concerne la gravité, les trous de ver du tore AdS3 sont clairement interprétés comme des projections diagonales des fonctions de partition au carré des CFT 2d microscopiques. La projection utilise les opérateurs de Hecke. On montre que le trou de ver de Cotler-Jensen de la gravité pure AdS3 est extrême parmi les amplitudes de trou de ver : c'est la complétion minimale du corrélateur de la théorie des matrices aléatoires compatible avec la symétrie de Virasoro et l'invariance SL(2, Z). Nous l'appelons MaxRMT : la réalisation maximale de l'universalité des matrices aléatoires compatible avec les symétries nécessaires. La complétude de la décomposition spectrale SL(2,Z) en tant que formule de trace nous permet de factoriser le vortex de Cotler-Jensen, en extrayant l'objet microscopique ZRMT(τ) du produit à gros grain. Cela permet de capturer les détails du spectre des micro-états des trous noirs BTZ. ZRMT(τ) peut être interprété comme un demi-trou de ver AdS3. Nous discutons de ses implications pour la CFT duale et le bootstrap modulaire à grande charge centrale
We introduce a framework for quantifying random matrix behavior of 2d CFTs and AdS3 quantum gravity. We present a 2d CFT trace formula, precisely analogous to the Gutzwiller trace formula for chaotic quantum systems, which originates from the SL(2, Z) spectral decomposition of the Virasoro primary density of states. An analogy to Berry's diagonal approximation allows us to extract spectral statistics of individual 2d CFTs by coarse-graining, and to identify signatures of chaos and random matrix universality. This leads to a necessary and sufficient condition for a 2d CFT to display a linear ramp in its coarse-grained spectral form factor. Turning to gravity, AdS3 torus wormholes are cleanly interpreted as diagonal projections of squared partition functions of microscopic 2d CFTs. The projection makes use of Hecke operators. The Cotler-Jensen wormhole of AdS3 pure gravity is shown to be extremal among wormhole amplitudes: it is the minimal completion of the random matrix theory correlator compatible with Virasoro symmetry and SL(2, Z)-invariance. We call this MaxRMT: the maximal realization of random matrix universality consistent with the necessary symmetries. Completeness of the SL(2,Z) spectral decomposition as a trace formula allows us to factorize the Cotler-Jensen wormhole, extracting the microscopic object ZRMT(τ) from the coarse-grained product. This captures details of the spectrum of BTZ black hole microstates. ZRMT(τ) may be interpreted as an AdS3 half-wormhole. We discuss its implications for the dual CFT and modular bootstrap at large central charge

Gli stili APA, Harvard, Vancouver, ISO e altri

50

Atohoun, Béthel Christian A. R. K. "Architecture logique d'un système multi agents de suivi multi caméra distribué : exploitation du modèle de croyance transférable". Thesis, Littoral, 2013. http://www.theses.fr/2013DUNK0373/document.

Testo completo

Abstract (sommario):

Cette thèse présente l'utilisation conjointe de la théorie de l'évidente et du suivi multi-hypothèses pour la modélisation et la gestion d'un système de suivi multi-caméras dans un environnement autoroutier. Le suivi est basé sur la ré-identification des objets (véhicules) sur la base d'information visio-temporelles. Une concrétisation de ces concepts se traduit par la conception et la mise en oeuvre d'une architecture logicielle multi-agents de gestion du suivi multi-caméras. Après une présentation de l'état de l'art sur les cadres de gestion de l'incertain et celui relatif à fusion de l'information pour la mise en correspondance, et sur les systèmes multi-agents, notre apport dans ce travail se situe à trois niveaux. Le premier a été une adaptation de la phase de décision du modèle de croyance transférable pour y intégrer l'utilisation du suivi multi-hypothèses comme outil de levée d'ambigüité rn cas d'indécision face à une situation de mise en correspondance. Le second apport a été celui de proposer une architecture logicielle à base d'agents pour la gestion du système du suivi multi-caméras. Nous en avons proposé la modélisation globale ainsi que celle des agents et de leurs interactions en utilisant une démarche personnelle d'analyse mais toutefois inspirée de langages et outils de modélisation tels que Agent UML et MaSE pour ne citer que ceux-là, du fait qu'il n'existe pas réellement un standard normalisé à ce jour dans ce domaine. Notre troisième apport a été de faire un début d'implémentation de notre architecture logicielle à base d'agent en nous basant sur la plateforme JADE (Java Agent DEvelopment Framework). Quelques expérimentations et discussions des résultats sont présentées à la fin pour déboucher sur nos conclusions et perspectives
This thesis presents the joint use of the theory of evidence and multiple hypothesis tracking for modeling and managing a system for monitoring multiple cameras in a motorway. The tracking is based on the re-identification of objects (vehicles) on the basis of visuals and times informations. A realization of these concepts results in the design and implementation of a software architecture for multiple agents management of multiple camera tracking system. After presenting the state of the art on the frameworks of uncertainty management and that on information fusion for the matching, and the multi-agent systems, our contribution in this work is on two or three levels. The first was an adaptation of the decision phase of the transferable belief model to incorporate the use of multi-hypotheses tracking as a tool of ambiguity survey in case of indecision in matching situation. The second contribution was a proposition of agent-based software architecture for management of a multiple cameras tracking system. We have proposed the global system modeling as well as agents and their interactions modeling using a personal analysis method but nevertheless inspired by modelisation languages and tolls such as Agent UML, MaSE and others, because there is not yet a standard and normalized tool on the subject. Our third contribution was to begin an implementation of our agent-based software architecture using JADE (Java Agent Development Framework). Some experiment and discussions are presented at the end to lead to our conclusions and perspectives

Gli stili APA, Harvard, Vancouver, ISO e altri

Tesi sul tema "Théorie des correspondances"

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili