Dans cette thèse, nous nous intéressons à l'étude de l'arithmétique (le principe de Hasse, l'approximation faible, et l'obstruction de Brauer-Manin) des zéro-cycles sur les variétés algébriques définies sur des corps de nombres. Nous introduisons la notion de sous-ensemble hilbertien généralisé. En utilisant la méthode de fibration, nous démontrons que l'obstruction de Brauer-Manin est la seule au principe de Hasse et à l'approximation faible pour les zéro-cycles de degré 1; et établissons l'exactitude d'une suite de type global-local concernant les groupes de Chow des zéro-cycles, pour certaines variétés qui admettent une structure de fibration au-dessus d'une courbe lisse ou au-dessus de l'espace projectif, où les hypothèses arithmétiques sont posées seulement sur les fibres au-dessus d'un sous-ensemble hilbertien généralisé.De plus, nous relions l'arithmétique des points rationnels et l'arithmétique des zérocycles de degré 1 sur les variétés géométriquement rationnellement connexes. Comme application, nous trouvons que l'obstruction de Brauer-Manin est la seule au principe de Hasse et à l'approximation faible pour les zéro-cycles de degré 1 sur- les espaces homogènes d'un groupe algébrique linéaire à stabilisateur connexe,- certains fibrés en surfaces de Châtelet au-dessus d'une courbe lisse ou au-dessus de l'espace projectif (en particulier, les solides de Poonen).

De nombreux problèmes algorithmiques sont « difficiles », dans le sens où on ne sait pas les résoudre en temps polynomial par rapport à la taille de l’entrée, soit parce qu’ils sont NP-difficiles, soit, pour certains problèmes d’énumération, à cause du nombre exponentiel d'objets à énumérer. Depuis une quinzaine d’années on trouve un intérêt grandissant dans la littérature pour la conception d'algorithmes exacts sophistiqués afin de les résoudre le plus efficacement possible. Dans le cadre de cette thèse, nous nous intéressons à la conception d'algorithmes exacts exponentiels autour de trois problèmes difficiles. Nous étudions tout d'abord le problème d'optimisation Ensemble Connexe Tropical pour lequel nous décrivons un algorithme afin de le résoudre en général, puis un algorithme de branchement plus rapide pour le résoudre sur les arbres, ce problème restant difficile même dans ce cas. Nous nous intéressons ensuite au problème d'énumération Ensembles Dominants Minimaux, pour lequel nous donnons des algorithmes résolvant ce problème dans les graphes splits, cobipartis, ainsi que dans les graphes d'intervalles. Nous déduisons des bornes supérieures sur le nombre d'ensembles dominants minimaux admis par de tels graphes. La dernière étude de cette thèse concerne le problème d'optimisation Domination Romaine Faible dans lequel, étant donné un graphe nous cherchons à construire une fonction de pondération selon certaines propriétés. Le problème est NP-difficile en général, mais nous donnons un algorithme glouton linéaire calculant une telle fonction pour les graphes d'intervalles. / Many algorithmic problems are « hard », in the sense of we do not know how to solve them in polynomialtime, either because they are NP-hard, or, for some enumeration problems, because the number of objectsto be produced is exponential. During the last fifteen years there was a growing interest in the design of exact algorithms to solve such problems as efficiently as possible. In the context of this thesis, we focus on the design of exponential exact algorithms for three hard problems. First, we study the optimisation problem Tropical Connected Set for which we describe an algorithm to solve it in the general case, then a faster branch-and-reduce algorithm to solve it on trees; the problem remains difficult even in this case. Secondly we focus on the Minimal Dominating Sets enumeration problem, for which we give algorithms to solve it on split, cobipartite and intervals graphs. As a byproduct, we establish upper bounds on the number of minimal dominating sets in such graphs. The last focus of this thesis concerns the Weak Roman Domination optimisation problem for which, given a graph, the goal is to build a weight function under some properties. The problem is NP-hard in general, but we give a linear greedy algorithm which computes such a function on interval graphs.

Les chenaux sont des structures sédimentaires clefs dans le transport et le dépôt de sédiments depuis les continents jusqu'aux planchers océaniques. Leurs dépôts perméables permettent la circulation et le stockage de fluides. Comme illustré avec les systèmes turbiditiques, le remplissage de ces chenaux est très hétérogène. Son impact sur la connectivité des dépôts perméables est amplifié par les variations d'organisation spatiale des chenaux. Mais du fait de l'aspect lacunaire des données, l'architecture de ces structures souterraines n'est que partiellement connue. Dans ce cas, les simulations stochastiques permettent d'estimer les ressources et les incertitudes associées. De nombreuses méthodes ont été développées pour reproduire ces environnements. Elles soulèvent deux questions capitales : comment analyser et comparer la connectivité de simulations stochastiques ? Comment améliorer la représentation de la connectivité dans les simulations stochastiques de chenaux et réduire les incertitudes ? La première question nous a conduits à développer une méthode pour comparer objectivement des réalisations en se concentrant sur la connectivité. L'approche proposée s'appuie sur les composantes connexes des simulations, sur lesquelles sont calculés plusieurs indicateurs. Une représentation par positionnement multidimensionnel (MDS) facilite la comparaison des réalisations. Les observations faites grâce au MDS sont ensuite validées par une carte de chaleur et les indicateurs. L'application à un cas synthétique de complexes chenaux/levées montre les différences de connectivité entre des méthodes et des valeurs de paramètres différentes. En particulier, certaines méthodes sont loin de reproduire des objets avec une forme de chenaux. La seconde question amène deux principaux problèmes. Premièrement, il apparaît difficile de conditionner des objets très allongés, comme des chenaux, à des données de puits ou dérivées de données sismiques. Nous nous appuyons sur une grammaire formelle, le système de Lindenmayer, pour simuler stochastiquement des objets chenaux conditionnés. Des règles de croissance prédéfinies contrôlent la morphologie du chenal, de rectiligne à sinueuse. Cette morphologie conditionne les données au fur et à mesure de son développement grâce à des contraintes attractives ou répulsives. Ces contraintes assurent le conditionnement tout en préservant au mieux la morphologie. Deuxièmement, l'organisation spatiale des chenaux apparaît peu contrôlable. Nous proposons de traiter ce problème en intégrant les processus qui déterminent l'organisation des chenaux. Un premier chenal est simulé avec un système de Lindenmayer. Puis ce chenal migre à l'aide d'une simulation gaussienne séquentielle ou d'une simulation multipoints. Cette approche reproduit les relations complexes entre des chenaux successifs sans s'appuyer sur des modèles physiques partiellement validés et au paramétrage souvent contraignant. L'application de ces travaux à des cas synthétiques démontre le potentiel de ces approches. Elles ouvrent des perspectives intéressantes pour mieux prendre en compte la connectivité dans les simulations stochastiques de chenaux / Channels are the main sedimentary structures for sediment transportation and deposition from the continents to the ocean floor. The significant permeability of their deposits enables fluid circulation and storage. As illustrated with turbiditic systems, those channel fill is highly heterogeneous. Combined with the spatial organization of the channels, this impacts significantly the connectivity between the permeable deposits. The scarcity of the field data involves an incomplete knowledge of these subsurface reservoir architectures. In such environments, stochastic simulations are used to estimate the resources and give an insight on the associated uncertainties. Several methods have been developed to reproduce these complex environments. They raise two main concerns: how to analyze and compare the connectivity of a set of stochastic simulations? How to improve the representation of the connectivity within stochastic simulations of channels and reduce the uncertainties? The first concern leads to the development of a method to objectively compare realiza-tions in terms of connectivity. The proposed approach relies on the connected compo-nents of the simulations, on which several indicators are computed. A muldimensional scaling (MDS) representation facilitates the realization comparison. The observations on the MDS are then validated by the analysis of the heatmap and the indicators. The appli-cation to a synthetic case study highlights the difference of connectivity between several methods and parameter values to model channel/levee complexes. In particular, some methods are far from representing channel-shaped bodies. Two main issues derive from the second concern. The first issue is the difficulty to simulate a highly elongated object, here a channel, conditioned to well or seismic-derived data. We rely on a formal grammar, the Lindenmayer system, to stochastically simulate conditional channel objects. Predefined growth rules control the channel morphology to simulate straight to sinuous channels. That morphology conditions the data during its development thanks to attractive and repulsive constraints. Such constraints ensure the conditioning while preserving at best the channel morphology. The second issue arises from the limited control on the channel organization. This aspect is addressed by taking into account the evolution processes underlying channel organization. An initial channel is simulated with a Lindenmayer system. Then that channel migrates using sequential Gaussian simulation or multiple-point simulation. This process reproduces the complex relationships between successive channels without relying on partially validated physical models with an often constraining parameterization. The applications of those various works to synthetic cases highlight the potentiality of the approaches. They open up interesting prospects to better take into account the connectivity when stochastically simulating channels

Pour lutter efficacement contre les phénomènes de fraude et d'évasion fiscales internationales favorisés par l'opacité des juridictions offshores et l'attractivité des paradis fiscaux, Je législateur a eu recours aux présomptions. Cette technique juridique a pour caractéristique de modifier la dialectique de la preuve en faveur de l'administration, qui n'est plus tenue de faire la démonstration de la fraude ou de l'évasion, mais seulement d'un ou de plusieurs faits connexes à l'infraction frauduleuse ou au fait d'optimisation fiscale abusive. En pratique, le législateur a souvent eu recours à des présomptions à la force renforcée, renversant directement le fardeau de la preuve sur le contribuable qui est d'emblée tenu d'établir la preuve d'un fait connexe exonératoire à l'infraction ou au fait abusif. Pour muscler leur efficacité, le législateur a également introduit des présomptions irréfragables, au couperet définitif. Les présomptions simples caractérisées par une clause anti-abus centrée sur l'objet ont pour particularité de faire peser sur le contribuable la charge d'une preuve qualitativement supérieure. Ces présomptions, dont l'actionnement est conditionné à la preuve d'un fait connexe par l'administration, représentent une catégorie hétérodoxe de dispositifs présomptif renforcés, obligeant le contribuable à faire un effort d'analyse sur les finalités des opérations, ce qui revient à lui faire supporter la charge de la preuve de l'absence d'abus de droit. L'emploi des présomptions se heurte essentiellement aux droits et liberté économiques communautaire et conventionnels, obligeant Je législateur à adapter les dispositifs présomptifs à ces contraintes. / In order to struggle efficiently against tax avoidance and tax evasion tendencies, enhanced by offshore jurisdictions, often lacking transparency, and tax havens with their attractive conditions, the lawmaker has enabled rebuttable and conclusive presumptions to be used in suing cases. These legal tricks favour Tax administrations in winning the argument, since those are no longer required to bring compelling evidence of tax avoidance or tax evasion. It is enough to prove a fraud, an offence or an aggressive tax optimisation process with one or several connected facts. In practice, the lawmaker is often using strengthened standards on presumption to reverse the burden of proof onto the taxpayer, who therefore must provide evidence for any exemptions from responsibility regarding the alleged offence or abuse. To improve these tools efficiency, the lawmaker has also designed conclusive ( or irrebuttable) presumptions. Usual presumptions are characterised by their emphasis on anti-abuse clauses, which oblige taxpayers to bring stronger evidences in lawsuit. For Tax authorities, these are part of a legal arsenal using connected facts against the defensor who carries the burden of proof related to tax monitoring operations in the absence of abuse of rights.

Dans ce travail, nous nous intéressons à une topologie pour les réseaux de capteurs sans fil. Un réseau de capteurs sans fil peut être modélisé comme un graphe non orienté G = (V,E). Chaque sommet de V représente un capteur et une arête e = {u, v} dans E indique une transmission directe possible entre deux capteurs u et v. Contrairement aux dispositifs filaires, les capteurs sans fil ne sont pas a priori agencé en réseau. Une topologie doit être créée en sélectionnant des noeuds "dominants" qui vont gérer les transmissions. Les architectures qui ont été examinées dans la littérature reposent essentiellement sur les ensembles dominants connexes et les ensembles dominants faiblement connexes. Cette étude est consacrée aux ensembles indépendants faiblement connexes. Un indépendant S ⊂ V est dit faiblement connexe si le graphe GS = (V, [S, V \S]) est connexe, où [S, V \S] est l’ensemble des arêtes e = {u, v} de E avec u ∈ S et v ∈ V \S. Une topologie basée sur les ensembles faiblement connexes permet de partitionner l’ensemble des capteurs en trois groupes, les esclaves, les maîtres et les intermédiaires. Les premiers effectuent les mesures, les seconds rassemblent les données collectées et les troisièmes assurent les communications inter-groupes. Nous donnons d’abord quelques propriétés de cette structure combinatoire lorsque le graphe non orienté G est connexe. Puis nous proposons des résultats de complexité pour le problème de la recherche de l’indépendant faiblement connexe de cardinalité minimale (MWCISP). Nous décrivons également un algorithme d’énumération exact de complexité O∗(1.4655|V |) pour le MWCISP. Des tests numériques de cette procédure exacte sont présentés. Nous formulons ensuite le MWCISP comme un programme linéaire en nombres entiers. Le polytope associé aux solutions de ce problème est complètement caractérisé lorsque G est un cycle impair. Nous étudions des opérations de composition de graphes et leurs conséquences polyédrales. Nous introduisons des inégalités valides notamment les contraintes dites de multibord. Par la suite, nous développons un algorithme de coupes et branchement sous CPLEX pour résoudre ce problème en utilisant des heuristiques pour la séparation de nos familles de contraintes. Des résultats expérimentaux de ce programme sont exposés. / In this work, we focus on a topology for Wireless Sensor Networks (WSN). A wireless sensor network can be modeled as an undirected graph G = (V,E). Each vertex of V represents a sensor and an edge e = {u, v} in E implies a direct transmission between the two sensors u and v. Unlike wired devices, wireless sensors are not a priori arranged in a network. Topology should be made by selecting some sensor as dominators nodes who manage transmissions. Architectures that have been studied in the literature are mainly based on connected dominating sets and weakly connected dominating sets.This study is devoted to weakly connected independent sets. An independent set S ⊂ V is said Weakly Connected if the graph GS = (V, [S, V \S]) is connected, where [S, V \S] is the set of edges with exactly one end in S. A sensor network topology based on weakly connected sets is partition into three groups, slaves, masters and bridges. The first performs the measurements, the second gathers the collected data and the later provides the inter-group communications. We first give some properties of this combinatorial structure when the undirected graph G is connected. Then we provide complexity results for the problem of finding the minimum weakly connected independent set problem (MWCISP). We also describe an exact enumeration algorithm of complexity O∗(1.4655|V |) (for the (MWCISP)). Numerical tests of this exact procedure are also presented. We then present an integer programming formulation for the minimum weakly connected independent set problem and discuss its associated polytope. Some classical graph operations are also used for defining new polyhedra from pieces. We give valid inequalities and describe heuristical separation algorithms for them. Finally, we develop a branch-and-cut algorithm and test it on two classes of graphs.

Dans cette thèse, nous étudions deux problèmes très naturels en géométrie algébrique complexe.<br />La première question étudiée est de savoir si le revêtement universel d'une variété kählérienne lisse compacte avec un fibré tangent décomposé est un produit de deux variétés. A l'aide des familles couvrantes de courbes rationnelles nous montrons que certaines variétés avec un fibré tangent décomposé possèdent une structure d'espace fibré. Une étude systématique nous permet de donner une réponse affirmative à la question pour plusieurs classes de variétés.<br />La deuxième question étudiée est de savoir si la positivité d'un fibré en droites implique la positivité de l'image directe, par un morphisme projectif et plat, du fibré en droites adjoint. La réponse à cette question dépend de la positivité du fibré en droites et de ses liens avec la géométrie du morphisme considéré. Nous donnons une réponse positive à la question sous de faibles conditions géométriques.

No description available.

Les graphes sont des structures mathématiques utilisées pour modéliser les relations par paires entre objets. Malgré leur structure simple, les graphes ont des applications dans divers domaines tels que l'informatique, la physique, la biologie et la sociologie. L'objectif principal de ce travail est de continuer l'étude des problèmes de coloration et de détection dans le cadre de classes de graphes fermées par sous-graphes induits (que nous appelons classes de graphes héréditaires).La première classe que nous considérons est graphes sans ISK4 - les graphes qui ne contiennent aucune subdivision de en tant que sous-graphe induit. Nous montrons que le nombre chromatique de cette classe est limité à 24, une amélioration considérable par rapport à la borne existant précédemment. Nous donnons également une bien meilleure limite dans le cas sans triangle. De plus, nous prouvons qu'il existe un algorithme de complexité pour détecter cette classe, ce qui répond à une question de Chudnovsky et al. et Lévêque et al.La deuxième classe que nous étudions est celle des graphes sans trou pair et sans étoile d’articulation. Cela est motivé par l'utilisation de la technique de décomposition pour résoudre certains problèmes d'optimisation. Nous garantissons la fonction χ-bounding optimale pour cette classe. Nous montrons que la classe a rank-width bornée, ce qui implique l'existence d'un algorithme de coloration en temps polynomial. Enfin, la coloration gloutonne connexe dans les graphes sans griffes est considérée. Une façon naturelle de colorier un graphe est d'avoir un ordre de ses sommets et d'affecter pour chaque sommet la première couleur disponible. Beaucoup de recherches ont été faites pour des ordres généraux. Cependant, nous connaissons très peu de choses sur la caractérisation des bons graphes par rapport aux ordres connexes. Un graphe est bon si pour chaque sous-graphe induit connexe de , chaque ordre connexe donne à une coloration optimale. Nous donnons la caractérisation complète de bons graphes sans griffes en termes de sous-graphes induits minimaux interdits. / Graphs are mathematical structures used to model pairwise relations between objects. Despite their simple structures, graphs have applications in various areas like computer science, physics, biology and sociology. The main focus of this work is to continue the study of the coloring and detecting problems in the setting of graph classes closed under taking induced subgraphs (which we call hereditary graph classes). The first class we consider is ISK4-free graphs - the graphs that do not contain any subdivision of K4 as an induced subgraph. We prove that the chromatic number of this class is bounded by 24, a huge improvement compared to the best-known bound. We also give a much better bound in the triangle-free case. Furthermore, we prove that there exists an O(n 9) algorithm for detecting this class, which answers a question by Chudnovsky et al. and Lévêque et al. The second class we study is even-hole-free graphs with no star cutset. This was motivated by the use of decomposition technique in solving some optimization problems. We prove the optimal χ -bounding function for this class and show that it has bounded rank-width, which implies the existence of a polynomial-time coloring algorithm.Finally, the connected greedy coloring in claw-free graphs is considered. A natural way to color a graph is to have an order of its vertices and assign for each vertex the first available color. A lot of researches have been done for general orders. However, we know very little about the characterization of good graphs with respect to connected orders. A graph G is good if for every connected induced subgraph H of G, every connected order gives H an optimal coloring. We give the complete characterization of good claw-free graphs in terms of minimal forbidden induced subgraphs.

Les pathologies infiltrantes diffuses recensent un large groupe de désordres pulmonaires et nécessitent un suivi régulier en imagerie tomodensitométrique (TDM). Une évaluation quantitative est nécessaire pour établir la progression (régionale) de la maladie et/ou l’impact thérapeutique. Cela implique le développement d’outils automatiques de diagnostic assisté par ordinateur (DAO) pour la segmentation du tissu pathologique dans les images TDM, problème adressé comme classification de texture. Traditionnellement, une telle classification repose sur une analyse des caractéristiques texturales 2D dans les images TDM axiales selon des critères définis par l’utilisateur. Récemment, des techniques d’intelligence artificielle fondées sur l’apprentissage profond, notamment les réseaux neuronaux convolutionnels (CNN), ont démontré des performances meilleures pour résoudre des tâches visuelles. Toutefois, pour les architectures CNN « classiques » il a été prouvé que les performances étaient moins bonnes en classification de texture par rapport à la reconnaissance d’objets, en raison de la dimensionnalité intrinsèque élevée des données texturales. Dans ce contexte, ce travail propose un système automatique pour l’analyse quantitative des pathologies infiltrantes diffuses du poumon fondé sur une architecture CNN en cascade (conçue spécialement pour l’analyse de texture) et sur un prétraitement spécifique des données d’entrée par filtrage localement connexe (permettant d’atténuer l’intensité des vaisseaux pulmonaires et d’augmenter ainsi le contraste des régions pathologiques). La classification, s’appliquant à l’ensemble du volume pulmonaire, atteint une précision moyenne de 84% (75.8% pour le tissu normal, 90% pour l’emphysème et la fibrose, 81.5% pour le verre dépoli) / Infiltrative lung diseases (ILDs) enclose a large group of irreversible lung disorders which require regular follow-up with computed tomography (CT) imaging. A quantitative assessment is mandatory to establish the (regional) disease progression and/or the therapeutic impact. This implies the development of automated computer-aided diagnosis (CAD) tools for pathological lung tissue segmentation, problem addressed as pixel-based texture classification. Traditionally, such classification relies on a two-dimensional analysis of axial CT images by means of handcrafted features. Recently, the use of deep learning techniques, especially Convolutional Neural Networks (CNNs) for visual tasks, has shown great improvements with respect to handcrafted heuristics-based methods. However, it has been demonstrated the limitations of "classic" CNN architectures when applied to texture-based datasets, due to their inherently higher dimension compared to handwritten digits or other object recognition datasets, implying the need of redesigning the network or enriching the system to learn meaningful textural features from input data. This work addresses an automated quantitative assessment of different disorders based on lung texture classification. The proposed approach exploits a cascade of CNNs (specially redesigned for texture categorization) for a hierarchical classification and a specific preprocessing of input data based on locally connected filtering (applied to the lung images to attenuate the vessel densities while preserving high opacities related to pathologies). The classification targeting the whole lung parenchyma achieves an average of 84% accuracy (75.8% for normal, 90% for emphysema and fibrosis, 81.5% for ground glass)

Dans cette thèse, nous nous intéressons à l’étude de l’arithmétique (le principe de Hasse, l’approximation faible, et l’obstruction de Brauer-Manin) des zéro-cycles sur les variétés algébriques définies sur des corps de nombres. Nous introduisons la notion de sous-ensemble hilbertien généralisé. En utilisant la méthode de fibration, nous démontrons que l’obstruction de Brauer-Manin est la seule au principe de Hasse et à l’approximation faible pour les zéro-cycles de degré 1; et établissons l’exactitude d’une suite de type global-local concernant les groupes de Chow des zéro-cycles, pour certaines variétés qui admettent une structure de fibration au-dessus d’une courbe lisse ou au-dessus de l’espace projectif, où les hypothèses arithmétiques sont posées seulement sur les fibres au-dessus d’un sous-ensemble hilbertien généralisé.De plus, nous relions l’arithmétique des points rationnels et l’arithmétique des zérocycles de degré 1 sur les variétés géométriquement rationnellement connexes. Comme application, nous trouvons que l’obstruction de Brauer-Manin est la seule au principe de Hasse et à l’approximation faible pour les zéro-cycles de degré 1 sur- les espaces homogènes d’un groupe algébrique linéaire à stabilisateur connexe,- certains fibrés en surfaces de Châtelet au-dessus d’une courbe lisse ou au-dessus de l’espace projectif (en particulier, les solides de Poonen). / This Ph. D. thesis studies the arithmetic properties (the Hasse principle, the weak approximation, and the Brauer-Manin obstruction) for zero-cycles on algebraic varieties defined over number fields. We introduce the notion of generalized Hilbertian subset. By using the fibration method, we prove that the Brauer-Manin obstruction is the only obstruction tothe Hasse principle and to the weak approximation for zero-cycles of degree 1; and establish the exactness of a sequence of global-local type concerning Chow groups of zero-cycles, for certain varieties which admit a fibration structure overa smooth curve or over the projective space, where the arithmetic hypotheses are only posed on the fibers over a generalized Hilbertian subset. Moreover, we relate the arithmetic of rational points and that of zero-cycles of degree 1 on geometrically rationally connected varieties. As an application, we find that the Brauer-Manin obstruction is the only obstruction to the Hasse principle and to the weak approximation for zero-cycles of degree 1 on- homogeneous spaces of a linear algebraic group with connected stabilizer,- certain varieties fibered into Chatelet surfaces over a smooth curve or over the projective space (in particular, Poonen's threefolds).