Ce manuscrit résume des travaux de recherche effectués durant mon travail de thèse qui s'est déroulé en plusieurs étapes. La première partie de ce travail a consisté en une interprétation de l'ensemble des données sismiques disponibles documentant la zone Sud du Prisme de la Barbade*. La deuxième partie, a consisté à analyser la déformation (étude structurale et cinématique) du sud du Prisme de la Barbade et la dernière partie a été consacrée à l'analyse des structures profondes. <br />La problématique abordée dans le cadre de cette thèse a porté sur l'étude des structures géologiques développées en domaine sous-marin et fortement dépendantes de la sédimentation. Ces structures concernent à la fois des zones compressives et des zones extensives. Nous avons tenté de définir les liens génétiques entre la nature et l'architecture des dépôts, et la géométrie et le développement des structures, ceci à partir de l'interprétation des données acquises lors de la Campagne CARAMBA, des profils des campagnes VEN et AN, et de deux forages situés sur la plate-forme. <br />L'analyse sismostratigraphique nous a permis d'identifier sept unités sismiques qui ont été repérées sur la plate-forme et dans la partie sud du prisme de la Barbade, et de mieux comprendre la chronologie des événements et la cinématique de la déformation. La nature des dépôts (faciès sismiques), leur distribution, et leur migration au cours du temps apparaissent étroitement associés à la déformation. Le développement d'un réseau de chenaux, le volcanisme de boue, et la localisation des zones d'érosion ont constitué d'autres éléments pour préciser l'évolution tectono-sédimentaire. Ceci a permis de distinguer 2 grandes zones distinctes (1 et 2) à partir de l'analyse des faciès sismiques. L'essentiel des zones d'érosion ont été identifiées dans la zone 1. Ces érosions sont à relier à l'activation des structures internes (jeux des failles très forts) et à l'activité du volcanisme de boue. Les dépôts " chaotiques " (coulées de boue, glissements en masse) qui jalonnent la faille 5, participent à l'érosion et alimentent la sédimentation plus au nord. La distribution des chenaux est induite par l'hydrodynamisme des pentes (foresets) du delta de l'Orénoque, puis contrôlée par la déformation progressive du prisme d'accrétion. <br />A partir de l'étude structurale, nous avons proposé que la déformation migre du nord-est vers le Sud-Ouest à raison d'environ 0.7 cm/an, depuis le Pléistocène. Par ailleurs, nous avons constaté que l'orientation de ces structures superficielles est indépendante des structures profondes. D'après les mécanismes au foyer et l'orientation des contraintes associées, les déformations profondes sont opposées à celles analysées en surface. L'épaisseur de la croûte continentale tend à augmenter vers le SE en même temps que l'épaisseur de la couverture sédimentaire tend à se réduire. L'activité des failles de la plate-forme crétacée a joué un rôle important dans la création d'espace d'accommodation pour les dépôts sédimentaires.

L'approche scientifique a consisté en la combinaison de trois différentes méthodes de modélisation (analogique, semi analytique et numérique) afin de contraindre la rhéologie qui régit la déformation de la lithosphère et les flux mantelliques associés au niveau des zones de subduction. Par l'étroite confrontation des prédictions (modèles) et les observations disponibles (données sismologiques pour l'essentiel), j'apporte de nouvelles contraintes sur le devenir d'une lithosphère en subduction dans le manteau, couplées avec une précision sur la structuration du manteau. Les résultats des modèles au regard des données géophysiques prédisent une lithosphère faiblement visqueuse (le rapport de viscosité entre la lithosphère et le manteau ne saurait excéder 100) qui atteint lors de sa descente dans le manteau la forme spécifique d'une méduse. Ce résultat majeur apporte une nouvelle interprétation sur l'origine des épanchements de lithosphère dans le manteau profond et une précision sur la stratification entre le manteau supérieur et le manteau inférieur faible pour permettre ainsi la pénétration de la lithosphère dans le manteau inférieur. Cette étude apporte de nouvelles données sur la compréhension de l'interaction entre le flux mantellique et la lithosphère.

Dans cette thèse nous abordons deux problématiques différentes : la prédiction et la classification de trafic et les mécanismes d'accès dans les réseaux MANETs. Dans la première partie de la thèse, nous abordons le problème de la prédiction et la classification du trafic. Sur la base des observations du passé et sans considérer aucun modèle en particulier, nous analysons le problème de la prédiction en ligne de la charge sur un lien. Concernant la classification du trafic, nous nous concentrons principalement sur des applications P2P, et particulièrement la télévision P2P (P2P-TV). Dans les deux cas, nous employons la technique de Support Vector Machines (SVM). Les algorithmes que nous proposons fournissent des résultats très précis. De plus, ils sont robustes et leur coût est extrêmement bas. Ces propriétés font que nos solutions soient particulièrement adaptées à des applications en temps réel. Dans la deuxième partie de la thèse, nous abordons deux problèmes différents liés aux mécanismes d'accès dans les réseaux MANETs, et en particulier, nous nous concentrons sur CSMA. Nous présentons d'abord les différents modèles existants pour CSMA et nous identifions leurs principaux points faibles. Des solutions possibles sont proposées, bases sur les outils de la géométrie aléatoire. Nous abordons ensuite le problème de QoS dans CSMA et nous proposons deux mécanismes différents permettant de garantir un débit minimum pour chaque transmission admise. Le but principal étant d'identifier le meilleur mécanisme dans un scénario donné comparé au protocole CSMA.

On étudie le flot géodésique d'une géométrie de Hilbert définie par un ouvert strictement convexe à bord de classe $C^1$. On s'intéresse à la fois à son comportement local autour d'une orbite, et à ses propriétés globales sur une variété quotient. On explique en quoi ce flot a des propriétés locales de type hyperbolique, en étudiant notamment ses exposants de Lyapunov, qu'on relie précisément à la forme du bord du convexe. On prouve un résultat de rigidité entropique pour les quotients compacts. Dans le reste de la thèse, on développe des outils généraux permettant d'aborder le cas des quotients non compacts, en s'inspirant de qu'on sait faire en courbure négative. Le cas des surfaces géométriquement finies est traitée plus spécifiquement, et le théorème de rigidité est étendu au cas des surfaces de volume fini.

Le sujet de cette thèse porte sur la reconstruction de formes à partir de coupes planaires. Dans de nombreux domaines d'application, il est nécessaire de reconstruire des formes à partir de sections. L'importance du sujet en imagerie médicale a conduit, depuis les années 1990, à des résultats importants qui sont cependant pour la plupart limités au cas de sections parallèles. Pourtant en échographie, les données obtenues au moyen d'une sonde guidée manuellement, forment une série d'images représentant des coupes de l'organe par des plans non parallèles. Cette application directe motivait le sujet de ma thèse. Dans cette thèse nous considérons le problème de la reconstruction d'une 3-variété à bord plongée dans R^3, à partir de ses intersections avec un ensemble de plans en positions arbitraires, appelées coupes. C'est pour la première fois que ce problème est étudié en toute généralité, dans le but de fournir des garanties théoriques satisfaisantes sur le résultat de la reconstruction. Aucune garantie théorique n'a été obtenue même pour le cas de coupes parallèles avant cette thèse. Dans le premier chapitre de ce manuscrit, nous étudions la méthode de reconstruction proposée par Liu et al. en 2008. Nous prouvons que si certaines conditions d'échantillonnage sont vérifiées, cette méthode permet de reconstruire la topologie de l'objet à partir des coupes données. Nous prouvons également que l'objet reconstruit est homéomorphe (et isotope) à l'objet. Le deuxième chapitre présente une nouvelle méthode de reconstruction en utilisant le diagramme de Voronoi des sections. Cette méthode permet d'établir plus de connections entre les sections par rapport à la première méthode. Favoriser les connections entre les sections est motivé par la reconstruction d'objets fins à partir de sections peu denses. Nous présentons des conditions d'échantillonnage qui sont adaptées aux objets fins et qui permettent de prouver l'équivalence homotopique entre l'objet reconstruit et l'objet de départ. En effet, nous prouvons que si les plans de coupe sont suffisamment transversales à l'objet, notre méthode de reconstruction est topologiquement valide et peut traiter des topologies complexes des sections avec plusieurs branchements. Dans le dernier chapitre de ce manuscrit, nous présentons une autre méthode de reconstruction qui permet d'établir encore plus de connections entre les sections en comparant avec les deux premières méthodes. Notre méthode est basée sur la triangulation de Delaunay et suit une approche duale en considérant le diagramme de Voronoi des sections. L'algorithme correspondant a été implémenté en C++, en utilisant la bibliothèque CGAL. Les résultats de la reconstruction obtenus par cet algorithme sont très satisfaisants pour les topologies complexes des sections. En se basant sur les études que nous avons développées durant cette thèse, nous espérons pouvoir fournir un fondement solide pour le processus d'acquisition et de reconstruction des données échographiques afin d'avoir un logiciel fiable pour les diagnostics.

Un des défis majeurs de la science de complexité se situe à l'investigation de l'émergence, où les interactions entre les composants microscopiques d'un système produisent la propriété globale, et réciproquement, la dynamique globale influence le bas niveau. Cette thèse a comme ambition de 1) élucider le mécanisme sous-jacent des systèmes complexes par la modélisation concrète des systèmes réels, et aussi 2) comparer entre les différents modèles proposés pour détecter la condition universelle de l'émergence. Pour cela, nous développons la nouvelle méthodologie basé sur l'interaction entre la théorie de système dynamique et la géométrie informationnelle, afin d'avoir la dialectique entre la modélisation constructive/déterministe et l'analyse des interactions sous la formalisation stochastique. La thèse se compose de 7 Parties, parmi lesquelles la Partie 2 à 6 correspondent au premier objectif, et la Partie 7 au seconde. Dans la Partie 1, nous allons réviser l'histoire de la science de la complexité et proposer la stratégie dialectique entre les méthodologies constructive et interactions-analytique, basé sur la théorie de système dynamique et la géométrie informationnelle. En Partie 2, nous traitons un modèle de réseau neuronal avec le comportement chaotique nommé ``l'itinérance chaotique" comme un candidat de la dynamique du cortex cérébral, et analysons l'effet de l'apprentissage autonome sans superviseur comme une source de créativité qui est la propriété émergente du système neuronal. La théorie de la mesure intérieure est étendue afin de interpréter l'émergence des nouveaux attracteurs par ``le chaos comme le catalyseur d'apprentissage." En Partie 3, nous avons appliqué la dynamique du réseau neuronal chaotique aux robots qui manifestent la dynamique de recherche collective de manière émergente, au défi de la détection optimale des informations sporadiques. L'efficacité de la recherche collective est évaluée avec un simulateur virtuel. En Partie 4, nous développons les nouvelles mesures de la complexité du point de vue de la géométrie informationnelle, et analysons les données des réseaux sociaux. Les mesures de la complexité jouera un rôle principal dans la Partie 7. En Partie 5, nous appliquons la stratégie dialectique entre le système dynamique et la géométrie informationnelle vers la compréhension de la morphogenèse lors de l'embryogenèse chez le poisson zèbre. Quelques propositions théoriques sont établies et testées avec les données tentatives dérivées des projets européens Embryomics et BioEMERGENCES. En Partie 6, nous analysons les systèmes complexes liés au linguistique. Nous avons découvert les nouveaux invariants et la composition géométrique entre les voyelles japonaises, qui sont les propriétés émergentes au niveau du système. Nous développons aussi la modélisation écologique de l'environnement multilingue dans un contexte de la dialectique entre la théorie linguistique et la modélisation mathématique. En Partie 7, nous révisons les résultats obtenus dans les Parties précédentes sous une perspective comparative, en vue de détecter la structure universelle de l'émergence comme l'organisation des interactions qui ne dépende pas explicitement sur la propriété des composants. Surtout la comparaison entre les Parties 2 et 4, ainsi 5 et 6, nous indique la typologie et la stratégie de détection de la dynamique de l'émergence comme la relation et le contraint entre les foncteurs et méta-foncteurs. D'autre possibilité d'application de la stratégie établie est mise en discussion.

Dans une première partie, notre étude porte sur les milieux faiblement continus avec une approche basée sur la géométrie non riemannienne. Nous considérons un corps solide déformable modélisé par une variété riemannienne munie d'une connexion affine. Un tel modèle est une extension d'un autre qui considère une connexion euclidienne, laquelle dérive du tenseur métrique imposé par l'espace ambiant. La masse par unité de volume peut être supposée non constante et le corps peut contenir des défauts décrits par des champs de discontinuité de champs scalaires ou de champs vectoriels définis sur la variété. Dans ce cas, en plus du tenseur métrique, nous utilisons nécessairement la torsion introduite par Cartan ou la courbure, deux tenseurs associés à la connexion affine. Nous disposons ainsi d'un modèle de milieu continu du second gradient. Les investigations prennent en compte les effets de ces champs tensoriels dans l'analyse de la déformation du corps. Comme application, nous décrivons l'atténuation spatiale d'une onde propagée dans un milieu non homogène. Dans une seconde partie, notre étude porte sur une modélisation de l'indentation Vickers du verre. Nous considérons un modèle qui utilise le schéma d'inclusion d'Eshelby dans une matrice semi-infinie, pour analyser les champs de contrainte et de déplacement durant le processus de charge. L'objectif est de déterminer la densification du verre sous l'indenteur. Les résultats semi-analytiques obtenus sont confrontés de manière positive avec des données expérimentales fournies par le LARMAUR.

.

Cette thèse présente un ensemble de travaux en géométrie algorithmique non linéaire portant d'une<br />part sur le développement d'algorithmes géométriques certifiés et efficaces traitant d'objets courbes et, en particulier, de quadriques et, d'autre part, sur les propriétés des droites de l'espace dans un contexte de visibilité tridimensionnelle.<br /><br />Ma réalisation principale concernant les quadriques est le développement du premier algorithme exacte, complet, quasi optimal et efficace pour calculer une paramétrisation de l'intersection de deux quadriques en trois dimensions. Cette contribution est une avancée très importante sur un problème ancien et c'est la première solution complète et certifiée à l'un des problèmes les plus élémentaires de modélisation par surfaces courbes implicites. Je présente également un très joli résultat sur les diagrammes de Voronoï de trois droites qui sont des partitions de l'espace en cellules bornées par des morceaux de quadriques. Nous montrons que la topologie de tels diagrammes est invariante pour des droites en positions générales et nous obtenons une propriété de monotonie sur les arcs des diagrammes. Nous en déduisons un algorithme simple pour ordonner des points le long de ces arcs, ce qui est vraisemblablement une avancée substantielle pour le développement futur d'algorithmes efficaces pour calculer l'axe médian de polyèdres. La technique de preuve, qui utilise fortement les outils modernes de calcul formel, est également intéressante en elle même.<br /><br />Concernant les propriétés des droites de l'espace dans un contexte de visibilité tridimensionnelle, je présente un ensemble de résultats cohérents sur différentes problématiques. En premier lieu, je présente des résultats sur les propriétés structurelles des droites tangentes ou transversales à quatre primitives. Précisément, je présente une caractérisation des configurations dégénérées de quatre sphères qui admettent un nombre infini de tangentes communes, une caractérisation de l'ensemble des droites transversales à quatre segments, et une étude du nombre maximum de tangentes à quatre triangles. Je présente ensuite plusieurs résultats sur les propriétés combinatoires de structures géométriques de visibilité tridimensionnelle. En particulier, je présente plusieurs résultats importants sur la complexité des silhouettes de polyèdres depuis un point de vu aléatoire et sur la complexité en moyenne et dans le cas le pire du complexe de visibilité, une structure de données encodant des informations de visibilité. Je présente également de nouvelles bornes étonnantes sur la complexité dans le cas le pire de l'ombre portée sur un plan par une source lumineuse polygonale en présence d'obstacles polyédriques convexes. En dernier lieu, je présente le premier algorithme non trivial et implantable pour calculer l'ensemble des segments tangents à quatre parmi $k$ polyèdres convexes non nécessairement disjoints, c'est-à-dire, essentiellement les sommets du complexe de visibilité.

La complexité arithmétique est l'étude des ressources nécessaires pour calcu- ler des polynômes en n'utilisant que des opérations arithmétiques. À la fin des années 70, Valiant a défini (de manière semblable à la complexité booléenne) des classes de polynômes. Les polynômes, ayant des circuits de taille polyno- miale, considérés faciles forment la classe VP. Les sommes exponentielles de ces derniers correpondent alors à la classe VNP. L'hypothèse de Valiant est la conjecture que VP ̸= VNP.Bien que cette conjecture soit encore grandement ouverture, cette dernière semble toutefois plus accessible que son homologue booléen. La structure algé- brique sous-jacente limite les possibilités de calculs. En particulier, un résultat important du domaine assure que les polynômes faciles peuvent aussi être cal- culés efficacement en paralèlle. De plus, quitte à autoriser une augmentation raisonnable de la taille, il est possible de les calculer avec une profondeur de calcul bornée par une constante. Comme ce dernier modèle est très restreint, de nombreuses bornes inférieures sont connues. Nous nous intéresserons en premier temps à ces résultats sur les circuits de profondeur constante.Bürgisser a montré qu'une conjecture (la τ-conjecture) qui borne supérieu- rement le nombre de racines de certains polynômes univariés, impliquait des bornes inférieures en complexité arithmétique. Mais, que se passe-t-il alors, si on essaye de réduire, comme précédemment, la profondeur du polynôme consi- déré? Borner le nombre de racines réelles de certaines familles de polynômes permetterait de séparer VP et VNP. Nous étudierons finalement ces bornes su- périeures sur le nombre de racines réelles.