L'utilisation de droites en asservissement visuel pose, contrairement au cas des points, un problème de représentation. Nous y avons répondu en nous basant sur les coordonnées de Plücker d'une droite, ce qui nous a permis d'introduire la notion d'alignement en coordonnées de Plücker binormées. Grâce à ces dernières, nous avons défini deux lois de commande voisines qui réalisent le nouvel alignement ; sont explicites et partiellement découplées entre rotation et translation ; mélangent informations 2D et 3D ; et enfin, ne nécessitent pas d'estimation de profondeur. Nous avons exhibé des résultats de convergence de ces lois et caractérisé leurs singularités. Nous avons ensuite appliqué ces lois au positionnement d'une caméra face à un trièdre orthogonal. Cette configuration ne permet pas d'observer la profondeur. Pour compenser ce manque, nous avons adjoint un pointeur laser non étalonné à la caméra. En reformulant le problème d'étalonnage pince-caméra par un système purement linéaire, nous avons produit une analyse algébrique du système et une classification des mouvements d'étalonnage. Les procédures classiques sont contraignantes puisqu'elles nécessitent l'observation d'une mire et/ou l'interruption de la tâche effectuée par le robot. Afin de lever ces contraintes, nous avons adapté notre méthode linéaire pour proposer une méthode d'auto-étalonnage, qui se passe de mire, et une méthode d'étalonnage en ligne, qui n'interrompt pas la tâche.

Systématiser: tel est le leitmotiv des résultats de cette thèse portant sur trois domaines d'étude en vision et en géométrie algorithmique. Dans le premier, nous étendons toute la machinerie du modèle sténopé des appareils photos classiques à un ensemble d'appareils photo (deux fentes, à balayage, oblique, une fente) jusqu'à présent étudiés séparément suivant différentes approches. Dans le deuxième, nous généralisons avec peu d'effort aux convexes de $\R^3$ l'étude des épinglages de droites ou de boules, menée différemment selon la nature des objets considérés. Dans le troisième, nous tentons de dégager une approche systématique pour élaborer des stratégies d'évaluation polynomiale de prédicats géométriques, les méthodes actuelles étant bien souvent spécifiques à chaque prédicat étudié. De tels objectifs ne peuvent être atteints sans un certain investissement mathématique dans l'étude des congruences linéaires de droites, des propriétés différentielles des ensembles de tangentes à des convexes et de la théorie des invariants algébriques, respectivement. Ces outils ou leurs utilisations reposent sur la géométrie des droites de $\p^3(\R)$, construite dans la seconde moitié du XIX\ieme{} siècle mais pas complètement assimilée en géométrie algorithmique et dont nous proposons une synthèse adaptée aux besoins de la communauté.

L'objectif de cette thèse consiste en l'étude du revêtement universel des variétés kählériennes compactes, de leurs systèmes pluricanoniques et des liens qui les unissent. Dans un premier temps, nous étudions la $\Gamma$-réduction d'une variété kählérienne compacte vue comme quotient de Remmert biméromorphe de son revêtement universel. La dimension de l'espace quotient est par définition la $\Gamma$-dimension d'une telle variété. Les grandes lignes de l'étude de cet invariant sont les suivantes : lien avec l'existence de formes holomorphes $L^2$ sur le revêtement universel, comportement de la $\Gamma$-dimension dans les fibrations, place de la $\Gamma$-réduction dans la théorie de la classification, structure des variétés de type $\pi_1$-général (au moins en petite dimension). La fin de cette première partie est consacrée à l'étude de l'invariance par déformation de la $\Gamma$-dimension en dimension 3. Cette propriété est établie dans diverses situations, par exemple dans les cas des familles de variétés kählériennes qui ne sont pas de type général. La deuxième partie porte sur la méthode One-Tower d'extension de formes pluricanoniques. Nous mettons en effet cette partie à profit pour montrer comment adapter cette méthode dans différentes situations. Ainsi, après quelques rappels sur les différentes notions de positivité des fibrés en droites et sur les idéaux multiplicateurs, nous établissons des résultats d'extension de sections pluricanoniques dans les contextes suivants : famille projective de variétés (avec fibré canonique tordu par un fibré en droites pseudo-effectif), hypersurface d'une variété projective, fibre générale de la $\Gamma$-réduction pour les variétés de type général et famille des revêtements universels.

On étudie la notion de trace et les problèmes d'Abel-inverse à<br />l'aide du calcul résiduel dans les cadres projectifs et toriques.<br />Dans la première partie, on obtient une caractérisation algébrique des formes traces sur une hypersurface analytique à l'aide du calcul résiduel élémentaire d'une variable. En conséquence, une version plus forte du théorème d'Abel-inverse de Henkin et Passare est prouvée. On montre que ce théorème est conséquence de la rigidité d'un système différentiel particulier lié à une équation de type ”onde de choc” et on établit le lien avec le théorème de Wood sur l'algébricité d'une famille de germes d'hypersurfaces analytiques. Enfin, on obtient une nouvelle méthode pour calculer la dimension de l'espace des formes abéliennes de degré maximal sur une hypersurface projective.<br />Dans la seconde partie, on caractérise de manière combinatoire les familles de fibrés en droites permettant de définir une notion intrinsèque de concavité dans une variété torique complète lisse et on étudie les ensembles analytiques dégénérés correspondants. On étend ainsi la notion de trace au cas torique. Courants résidus, résidus toriques et résultants donnent une borne optimale sur le degrés des traces en les différents paramètres. Si la variété torique est projective, on obtient finalement une version torique des théorèmes de Wood et d'Abel-inverse, permettant une description plus précise du support du polynôme construit dans le cas hypersurface.

Cette thèse a pour première vocation d’être un état de l’art sur le calcul quantique, sinon exhaustif, simple d’accès (chapitres 1, 2 et 3). La partie originale de cet essai consiste en deux approches mathématiques du calcul quantique concernant quelques systèmes quantiques : la première est de nature algébrique et fait intervenir des structures particulières : les corps et les anneaux de Galois (chapitre 4), la deuxième fait appel à la géométrie dite projective (chapitre 5). Cette étude a été motivée par le théorème de Kochen et Specker et par les travaux de Peres et Mermin qui en ont découlé / The first vocation of this thesis would be a state of the art on the field of quantum computation, if not exhaustive, simple access (chapters 1, 2 and 3). The original (interesting) part of this treatise consists of two mathematical approaches of quantum computation concerning some quantum systems : the first one is an algebraic nature and utilizes some particular structures : Galois fields and rings (chapter 4), the second one calls to a peculiar geometry, known as projective one (chapter 5). These two approaches were motivated by the theorem of Kochen and Specker and by work of Peres and Mermin which rose from it

Du 11 septembre aux extraterrestres, des camps de concentration américains à l'assassinat de Kennedy, cette thèse a pour objectif d'éclairer sous un angle sociopolitique les fondements, les mécanismes et les enjeux de la pensée conspirationniste aux États-Unis depuis la révolution jusqu'à nos jours. S'il ne s'agit pas de dresser un catalogue exhaustif de toutes les théories du complot en vogue, le but demeure de démontrer que le conspirationnisme est un véritable fait social aux États-Unis, un élément de culture politique et populaire. Cette thèse se propose alors d'étudier les rouages et les origines du conspirationnisme sous trois aspects différents et complémentaires qui forment un triangle. D'abord, sous l'angle factuel, c'est-à-dire en étudiant les thèses du complot relatives à un événement extraordinaire (9/11, assassinat de JFK, etc.). Ensuite, sous l'angle des acteurs du conspirationnisme : les leaders conspirationnistes (LaRouche, Icke, etc.), les citoyens enquêteurs et les boucs-émissaires (communistes, juifs, illuminatis, etc.). Enfin, sous l'angle culturel en mettant en perspective le conspirationnisme avec la culture américaine : l'anti-étatisme, la présence de mafias ou encore le cinéma de masse. / From 9/11 to UFOs, from American concentration camps to the Kennedy's assassination, this dissertation aims to enlighten, through a sociopolitical analysis, the grounds, the mechanics and the goals of the conspiratorial thought in the United States since the Revolution. Even Though it is no question to draw an exhaustive catalog of each and every conspiracy theory, I would stress that conspiracism is part of the American political and popular culture. Then, this dissertation studies the origins and the developments of conspiracism through three complementary focuses. First, a factual approach which dwells on specific conspiracy theories such as the 9/11 attacks or the assassination of Kennedy. Secondly, I will come on the actors of conspiracism : the conspiracist leaders (LaRouche, Icke) the citizens sleuths and the scapegoats (Communists, Jews, Illuminatis). Finally, under a cultural angle, I will outlook conspiracism and the American culture of anti-statism, the presence of mafias or the role of mass-medias.

Les coefficients de Kronecker, qui sont indexés par des triplets de partitions et décrivent la décomposition du produit tensoriel de deux représentations irréductibles d'un groupe symétrique en somme directe de telles représentations, ont été introduits par Francis Murnaghan dans les années 1930. Il a notamment remarqué un comportement particulier de ces coefficients : à partir de n'importe quel triplet de partitions, on peut construire une certaine suite de coefficients de Kronecker qui est stationnaire.Afin de généraliser cette propriété, John Stembridge a introduit en 2014 une notion de stabilité pour les triplets de partitions, ainsi qu'une autre notion -- celle de triplet faiblement stable -- dont il a conjecturé qu'elle serait équivalente à la précédente. Cette conjecture a été démontrée peu après par Steven Sam et Andrew Snowden, par des méthodes algébriques.Dans cette thèse, on donne notamment une autre démonstration -- cette fois géométrique -- de cette équivalence grâce à l'interprétation classique des coefficients de Kronecker comme dimensions d'espaces de sections de fibrés en droites sur des variétés de drapeaux. Ces méthodes permettent également de s'intéresser à quelques questions plus précises : la stabilité dont on parle consiste en le fait que certaines suites de coefficients sont stationnaires, et on se demande à partir de quand ces suites deviennent constantes.On applique ensuite ces techniques à d'autres exemples de coefficients de branchement, puis on s'intéresse à un autre problème : celui de produire des triplets stables de partitions. On généralise ainsi un résultat obtenu indépendamment par Laurent Manivel et Ernesto Vallejo sur ce sujet / The Kronecker coefficients, which are indexed by triples of partitions and describe how the tensor product of two irreducible representations of the symmetric group decomposes as a direct sum of such representations, were introduced by Francis Murnaghan in the 1930s. He notably noticed a remarkable behaviour of these coefficients: from any triple of partitions, one can construct a particular sequence of Kronecker coefficients which eventually stabilises.In order to generalise this property, John Stembridge introduced in 2014 a notion of stability for triples of partitions, as well as another notion -- of weakly stable triple -- about which he conjectured that it should be equivalent to the previous one. This conjecture was proven shortly after by Steven Sam and Andrew Snowden, with algebraic methods.In this thesis we especially give another proof -- this time geometric -- of this equivalence, using the classical expression of the Kronecker coefficients as dimensions of spaces of sections of line bundles on flag varieties. With these methods we can also be interested in more specific questions: since the stability which we discuss means that some sequences of coefficients stabilise, one can wonder at which point these sequences become constant.We then apply these techniques to other examples of branching coefficients, and are also interested in another problem: how can we produce stable triples of partitions? We thus generalise a result obtained independently by Laurent Manivel and Ernesto Vallejo on this subject

La première partie concerne un problème de théorie des nombres, pour laquel nous développons une approche géométrique basé sur des outils provenant de la géométrie algébrique et de la géométrique combinatoire. Introduites par M. Kontsevich et D. Zagier en 2001, les périodes sont des nombres complexes obtenus comme valeurs des intégrales d'une forme particulier, où le domaine et l'intégrande s'expriment par des polynômes avec coefficients rationnels. La conjecture de périodes de Kontsevich-Zagier affirme que n'importe quelle relation polynomiale entre périodes peut s'obtenir par des relations linéaires entre différentes représentations intégrales, exprimées par des règles classiques du calcul intégrale. En utilisant des résolutions de singularités, on introduit une réduction semi-canonique de périodes en se concentrant sur le fait d'obtenir une méthode algorithmique et constructive respectant les règles classiques de transformation intégrale: nous prouvons que n'importe quelle période non nulle, représentée par une certaine intégrale, peut être exprimée sauf signe comme le volume d'un ensemble semi-algébrique compact. La réduction semi-canonique permet une reformulation de la conjecture de périodes de Kontsevich-Zagier en termes de changement de variables préservant le volume entre ensembles semi-algébriques compacts. Via des triangulations et méthodes de la géométrie-PL, nous étudions les obstructions de cette approche comme la généralisation du 3ème Problème de Hilbert. Nous complétons les travaux de J. Wan dans le développement d'une théorie du degré pour les périodes, basée sur la dimension minimale de l'espace ambiance nécessaire pour obtenir une telle réduction compacte, en donnant une première notion géométrique sur la transcendance de périodes. Nous étendons cet étude en introduisant des notions de complexité géométrique et arithmétique pour le périodes basées sur la complexité polynomiale minimale parmi les réductions semi-canoniques d'une période. La seconde partie s'occupe de la compréhension d'objets provenant de la géométrie algébrique avec une forte connexion avec la géométrique combinatoire, pour lesquels nous avons développé une approche dynamique. Les champs de vecteurs logarithmiques sont un outils algébro-analytique utilisés dans l'étude des sous-variétés et des germes dans des variétés analytiques. Nous nous sommes concentré sur le cas des arrangements de droites dans des espaces affines ou projectifs. On s'est plus particulièrement intéressé à comprendre comment la combinatoire d'un arrangement détermine les relations entre les champs de vecteurs logarithmiques associés: ce problème est connu sous le nom de conjecture de Terao. Nous étudions le module des champs de vecteurs logarithmiques d'un arrangement de droites affin en utilisant la filtration induite par le degré des composantes polynomiales. Nous déterminons qu'il n'existent que deux types de champs de vecteurs polynomiaux qui fixent une infinité de droites. Ensuite, nous décrivons l'influence de la combinatoire de l'arrangement de droites sur le degré minimal attendu pour ce type de champs de vecteurs. Nous prouvons que la combinatoire ne détermine pas le degré minimal des champs de vecteurs logarithmiques d'un arrangement de droites affin, en présentant deux pairs de contre-exemples, chaque qu'un d'eux correspondant à une notion différente de combinatoire. Nous déterminons que la dimension des espaces de filtration suit une croissance quadratique à partir d'un certain degré, en dépendant uniquement de la combinatoire de l'arrangement. A fin d'étudier de façon calculatoire une telle filtration, nous développons une librairie de fonctions sur le software de calcul formel Sage. / The first part concerns a problem of number theory, for which we develop a geometrical approach based on tools coming from algebraic geometry and combinatorial geometry. Introduced by M. Kontsevich and D. Zagier in 2001, periods are complex numbers expressed as values of integrals of a special form, where both the domain and the integrand are expressed using polynomials with rational coefficients. The Kontsevich-Zagier period conjecture affirms that any polynomial relation between periods can be obtained by linear relations between their integral representations, expressed by classical rules of integral calculus. Using resolution of singularities, we introduce a semi-canonical reduction for periods focusing on give constructible and algorithmic methods respecting the classical rules of integral transformations: we prove that any non-zero real period, represented by an integral, can be expressed up to sign as the volume of a compact semi-algebraic set. The semi-canonical reduction permit a reformulation of the Kontsevich-Zagier conjecture in terms of volume-preserving change of variables between compact semi-algebraic sets. Via triangulations and methods of PL–geometry, we study the obstructions of this approach as a generalization of the Third Hilbert Problem. We complete the works of J. Wan to develop a degree theory for periods based on the minimality of the ambient space needed to obtain such a compact reduction, this gives a first geometric notion of transcendence of periods. We extend this study introducing notions of geometric and arithmetic complexities for periods based in the minimal polynomial complexity among the semi-canonical reductions of a period. The second part deals with the understanding of particular objects coming from algebraic geometry with a strong background in combinatorial geometry, for which we develop a dynamical approach. The logarithmic vector fields are an algebraic-analytic tool used to study sub-varieties and germs of analytic manifolds. We are concerned with the case of line arrangements in the affine or projective space. One is interested to study how the combinatorial data of the arrangement determines relations between its associated logarithmic vector fields: this problem is known as the Terao conjecture. We study the module of logarithmic vector fields of an affine line arrangement by the filtration induced by the degree of the polynomial components. We determine that there exist only two types of non-trivial polynomial vector fields fixing an infinitely many lines. Then, we describe the influence of the combinatorics of the arrangement on the expected minimal degree for these kind of vector fields. We prove that the combinatorics do not determine the minimal degree of the logarithmic vector fields of an affine line arrangement, giving two pair of counter-examples, each pair corresponding to a different notion of combinatorics. We determine that the dimension of the filtered spaces follows a quadratic growth from a certain degree, depending only on the combinatorics of the arrangements. We illustrate these formula by computations over some examples. In order to study computationally these filtration, we develop a library of functions in the mathematical software Sage.

L'apparition de CUDA en 2007 a rendu les GPU hautement programmables permettant ainsi aux applications scientifiques et techniques de profiter de leur capacité de calcul élevée. Des solutions ultra-rapides pour la résolution des transferts de chaleur par rayonnement et par conduction sur GPU sont présentées dans ce travail. Tout d'abord, la méthode MACZM pour le calcul des facteurs de transferts radiatifs directs en 3D et en milieu semi-transparent est représentée et validée. Ensuite, une implémentation efficace de la méthode à la base d'algorithmes de géométrie discrète et d'une parallélisation optimisée sur GPU dans CUDA atteignant 300 à 600 fois d'accélération, est présentée. Ceci est suivi par la formulation du NRPA, une version non-récursive de l'algorithme des revêtements pour le calcul des facteurs d'échange radiatifs totaux. La complexité du NRPA est inférieure à celle du PA et sont exécution sur GPU est jusqu'à 750 fois plus rapide que l'exécution du PA sur CPU. D'autre part, une implémentation efficace de la LOD sur GPU est présentée, consistant d'une alternance optimisée des solveurs et schémas de parallélisation et achevant une accélération GPU de 75 à 250 fois. Finalement, toutes les méthodes sont appliquées ensemble pour la résolution des transferts de chaleur en 3D dans un four de réchauffage sidérurgique de brames d'acier. Dans ce but, MACZM est appliquée avec un maillage multi-grille et le NRPA est appliqué au four en le découpant en zones, permettant d'avoir un temps de calcul très rapide une précision élevée. Ceci rend les méthodes utilisées de très grande importance pour la conception de stratégies de contrôle efficaces et précises.

L'apparition de CUDA en 2007 a rendu les GPU hautement programmables permettant ainsi aux applications scientifiques et techniques de profiter de leur capacité de calcul élevée. Des solutions ultra-rapides pour la résolution des transferts de chaleur par rayonnement et par conduction sur GPU sont présentées dans ce travail. Tout d'abord, la méthode MACZM pour le calcul des facteurs de transferts radiatifs directs en 3D et en milieu semi-transparent est représentée et validée. Ensuite, une implémentation efficace de la méthode à la base d'algorithmes de géométrie discrète et d'une parallélisation optimisée sur GPU dans CUDA atteignant 300 à 600 fois d'accélération, est présentée. Ceci est suivi par la formulation du NRPA, une version non-récursive de l'algorithme des revêtements pour le calcul des facteurs d'échange radiatifs totaux. La complexité du NRPA est inférieure à celle du PA et sont exécution sur GPU est jusqu'à 750 fois plus rapide que l'exécution du PA sur CPU. D'autre part, une implémentation efficace de la LOD sur GPU est présentée, consistant d'une alternance optimisée des solveurs et schémas de parallélisation et achevant une accélération GPU de 75 à 250 fois. Finalement, toutes les méthodes sont appliquées ensemble pour la résolution des transferts de chaleur en 3D dans un four de réchauffage sidérurgique de brames d'acier. Dans ce but, MACZM est appliquée avec un maillage multi-grille et le NRPA est appliqué au four en le découpant en zones, permettant d'avoir un temps de calcul très rapide une précision élevée. Ceci rend les méthodes utilisées de très grande importance pour la conception de stratégies de contrôle efficaces et précises.