La recherche doctorale porte sur le développement de la coopération transfrontalière entre collectivités territoriales de part et d'autre de la frontière franco-belge autour des villes de Lille, Tournai et Kortrijk. Au-delà d'une interrogation sur les facteurs externes et les usages politiques de ce nouveau domaine d'action publique, cette monographie étudie le processus de construction institutionnelle à l'œuvre au sein de cet espace émergent de coopération de la fin des années 1980 à 2010. Cela passe tout d'abord par l'analyse des mécanismes de légitimation, en particulier la construction de la question transfrontalière franco-belge en tant que problème légitime d'action publique ainsi que la " fonctionnalisation " de la COPIT (Conférence permanente intercommunale transfrontalière), une des principales organisations transfrontalières franco-belges de la zone étudiée. Les approches en termes de néo-institutionnalisme historique et les travaux relatifs à l'analyse des organisations permettent ensuite d'aborder l'institutionnalisation de la coopération transfrontalière sous l'angle de la production normative et de s'interroger sur la stabilisation dans le temps des règles produites. Le regard porte alors essentiellement sur la COPIT, qui devient en 2008 l'" Eurométropole Lille-Kortrijk-Tournai ", ainsi que sur les rapports de force entre les différents acteurs qui la composent, ce qui permet d'identifier les règles et valeurs partagées par ces acteurs et de comprendre leur construction à travers les représentations et les pratiques récurrentes des acteurs. Les mécanismes d'auto-renforcement des règles dans le cadre de l'organisation intercommunale transfrontalière apparaissant toutefois relativement faibles, l'analyse s'oriente finalement vers la mise en évidence d'ordres institutionnels à la fois concurrents et complémentaires à celui de la COPIT/Eurométropole : il s'agit de l'ordre institutionnel encadré par le dispositif européen INTERREG A et de la nébuleuse institutionnelle développée dans le cadre de diverses actions sectorielles. Au final, cette thèse montre la pluralité des logiques institutionnelles qui guident et caractérisent la coopération transfrontalière franco-belge ; autrement dit, la coexistence d'ordres institutionnels multiples pour un même phénomène.

Cette thèse s'intéresse aux problèmes de localisation en robotique mobile, et plus particulièrement à l'intérêt d'une approche ensembliste pour ces problèmes. Actuellement les méthodes probabilistes sont les plus utilisées pour localiser un robot dans son environnement, cette thèse propose des approches alternatives basées sur l'analyse par intervalles. Dans un premier temps, une méthode ensembliste s'intéressant au problème de localisation globale est proposée. Le problème de localisation globale correspond à la localisation d'un robot dans son environnement, sans connaissance à priori sur sa posture (position et orientation) initiale. La méthode proposée associe le problème de localisation à un problème de satisfaction de contraintes (CSP). Elle permet de localiser le robot en utilisant la connaissance de l'environnement, ainsi qu'un jeu de mesures LIDAR. Cette méthode est validée à l'aide de différentes expérimentations et est comparée à une approche probabiliste classique : la Localisation Monte Carlo (MCL). Dans un second temps une notion de visibilité est étudiée. Deux points sont supposés visibles, si le segment défini par ces deux points n'intersecte pas d'obstacle, autrement ils sont dit non-visibles. À l'aide de l'analyse par intervalles, des contracteurs associés à cette notion de visibilité sont développés. Après une présentation théorique de la visibilité, deux applications de ces contracteurs à la localisation en robotique mobile sont présentées : le suivi de posture d'une meute de robots à l'aide d'une information booléenne, et la prise en compte d'une contrainte supplémentaire dans le CSP associé à la localisation globale.

Ce travail de thèse apporte des éléments méthodologiques pour l'interprétation rapide de données électromagnétiques transitoires (TEM) aéroportées. Dans un premier temps, nous nous sommes intéressés au problème de l'inversion 1D qui est, à ce jour, un traitement standard. Nous nous sommes ensuite focalisés sur le problème de l'inversion 2D rapide. En nous basant sur les résultats de modélisations numériques, nous proposons un modèle empirique de sensibilité pour effectuer une inversion 2D rapide. Les tests effectués sur des données synthétiques et réelles s'avèrent très prometteurs. Ensuite, nous étudions analytiquement l'effet de la topographie. Pour un demi-espace homogène incliné, nous montrons que la direction des courants induits dans le sous-sol dépend de l'angle de l'interface air/sol. Nous proposons alors une méthode pour prendre en compte cet effet. Enfin, nous testons nos méthodes de traitement sur des données VTEM acquises dans le bassin de Franceville au Gabon.

La planification et la gestion optimale des ressources humaines jouent un rôle important dans la productivité et la compétitivité des entreprises. Dans cette thèse nous nous intéressons à la modélisation et à la résolution de différents problèmes d'optimisation soulevés par la construction de plannings pour les agents qui travaillent dans un contexte aéronautique : la création de vacations, la création de rotation, l'affectation de vacations et de rotations. Pour le problème de construction de vacations, nous proposons une approche de modélisation basée sur le concept de plage horaire et ensuite une méthode heuristique de résolution basée sur l'algorithme FFD (First Fit Decreasing) et sur la génération de colonnes. Le problème de création de rotations est résolu par une méthode de programmation linéaire en variables mixtes. Les problèmes d'affectation de vacations et de rotations sont modélisés comme des problèmes de multi-affectation généralisé. Nous proposons une décomposition temporelle et par qualification et ensuite une transformation du problème d'affectation généralisé en un problème d'affectation simple par relaxation Lagrangienne. Un algorithme ad-hoc est utilisé pour la résolution de chaque problème de base. La plupart des algorithmes élaborés ont été couplés à des bases de données réelles et commercialisés par la société IFR-France.

L'imagerie moléculaire occupe une place majeure dans le domaine de la recherche préclinique. Parmi les modalités existantes, les techniques optiques fondées sur la détection d'un rayonnement visible ou proche infrarouge sont les plus récentes et sont principalement représentées par les méthodes de tomographie optique de luminescence. Ces méthodes permettent une caractérisation 3D d'un milieu biologique par la reconstruction de cartes de concentration ou la localisation de marqueurs luminescents sensibles à des processus biologiques et chimiques se déroulant à l'échelle de la cellule ou de la molécule. La tomographie de luminescence se fonde sur un modèle de propagation de la lumière dans les tissus, un protocole d'acquisition du signal en surface du milieu et une procédure numérique d'inversion de ces mesures afin de reconstruire les paramètres d'intérêts. Ce travail de thèse s'articule donc autour de ces trois axes et apporte un élément de réponse à chacun des problèmes. L'objectif principal de cette étude est d'introduire et de présenter des outils d'évaluation des performances théoriques d'une méthode de tomographie optique. L'un des aboutissements majeurs est la réalisation de reconstructions tomographiques expérimentales à partir d'images acquises par un imageur optique conçu pour l'imagerie planaire 2D et développé par la société Quidd. Dans un premier temps nous abordons la théorie du transport en milieu diffusant afin de poser les concepts et outils sur lesquels vont s'appuyer l'ensemble des travaux. Nous présentons particulièrement deux modèles de propagation différents ainsi que les méthodes de résolution et les difficultés théoriques qui leur sont liées. Dans une deuxième partie nous introduisons les outils statistiques utilisés pour caractériser les systèmes tomographiques et leur résolution potentielle. Nous définissons une procédure et nous l'appliquons à l'étude de quelques situations simples en tomographie de luminescence. La dernière partie de ce travail présente la mise au point d'une procédure d'inversion. Après avoir présenté le cadre théorique dans lequel cette procédure s'inscrit nous la validons à partir de données numériques avant de l'appliquer avec succès à des mesures expérimentales.

Cette thèse porte sur l'aide à la décision dans un contexte décisionnel très complexe. Classiquement, pour résoudre de telles situations, on utilise des méthodes de structuration de problèmes. Cependant ces méthodes bien qu'appliquées dans le cadre multi acteur ou dans les décisions de groupe, n'aboutissent pas toujours à des résultats directement exploitables dans un modèle d'évaluation. Ou, lorsque c'est le cas, les données obtenues par structuration sont utilisées comme si elles provenaient d'un seul décideur, tendant à réduire par conséquent l'efficacité de la décision prise et son adhésion publique. Dans cette thèse nous nous sommes attelés à concevoir un modèle d'intégration d'outils conciliant le choix approprié d'outils de structuration pour les décisions de groupe et son exploitation efficace dans un modèle d'évaluation multicritère. En particulier nous nous sommes focalisés sur les modalités du passage des cartes cognitives aux arbres de valeurs. Ensuite nous avons appliqué notre démarche sur le cas pratique du projet ''AIde à la Décision pour l'identification et l'accompagnement aux transformations sociétales induites par les nouvelles technologies de l'Hydrogène'' (AIDHY). Enfin, la dernière partie de notre thèse est axée sur l'apport d'une modélisation multicritère pour appréhender formellement le problème d'évaluation des scénarios, formulé comme un problème de tri multicritère. Par conséquent, nous avons construit une méthode permettant d'observer et de paramétrer le comportement des invariants d'une acceptabilité sociale en général, par le biais d'une d'analyse de sensibilité à partir du cas de l'hydrogène énergie.

Situé à la croisée de l’histoire et de la criminologie, ce travail a voulu se mettre à hauteur d’homme afin de comprendre comment les habitants de Montréal aux XVIIe et XVIIIe siècles géraient les situations conflictuelles potentiellement criminalisables auxquelles ils devaient faire face. Pour ce faire, un cadre théorique original a été élaboré à partir de la notion de situation-problème proposée par le criminologue Louk Hulsman. Cette approche interdisciplinaire a permis de déterminer qu’en milieu colonial la notion de crime ne fut jamais clairement définie. Pour la population, l’identification d’actes criminels se faisait à partir des valeurs chrétiennes, de même que par les interdits identifiés par l’État. Le concept de crime et sa gestion étaient des construits sociaux qui s’adaptaient aux besoins des colons et de l’administration royale. De ce fait, deux types de situation-problème existaient. D’une part, il y avait celles opposant les habitants entre eux, qu’il est possible de nommer situations-problèmes d’origine privée, et d’autre part, il y avait celles confrontant l’État à la désobéissance de ces sujets, lesquelles peuvent être qualifiées de situations-problèmes d’origine étatique. Les situations-problèmes d’origine privée naissaient dans la vie quotidienne et tournaient autour des valeurs sociales fondamentales qu’étaient l’honneur, la famille, le travail, la subsistance et la propriété. Pour résoudre leurs querelles, les colons avaient recours à divers modes de règlement de conflit, tel que la conciliation, la compensation ou les sanctions pénales. Pour leur part, les situations-problèmes d’origine étatique se produisaient lorsque les colons ne respectaient pas les limites imposées par l’État, lequel utilisait exclusivement le mode pénal pour les sanctionner. Il ressort de cette étude qu’en Nouvelle-France la justice n’était pas un phénomène purement institutionnel et que les colons faisaient la distinction entre le sentiment de justice et les services que pouvaient leur offrir les institutions judicaires présentes sur le territoire de la juridiction royale de Montréal. À partir des différents modes de résolution de conflit disponibles, les habitants, de même que l’administration royale, cherchaient d’abord et avant tout à atteindre la satisfaction durable des parties impliquées afin de maintenir l’harmonie sociale.

Dans ce mémoire, nous proposons des protocoles cryptographiques d'échange de clef, de mise en gage, et de transfert équivoque. Un premier protocole de transfert équivoque, primitive cryptographique universelle pour le calcul multi-parties, s'inspire du protocole d'échange de clef par puzzle de Merkle, et améliore les résultats existants. Puis, nous montrons qu'il est possible de construire ces mêmes primitives cryptographiques sans l'hypothèse des fonctions à sens unique, mais avec le problème 3SUM. Ce problème simple ---dans une liste de n entiers, en trouver trois dont la somme a une certaine valeur--- a une borne inférieure conjecturée de Omega(n^2). / In this work, we propose cryptographic protocols for key exchange, bit commitment and oblivious transfer. Our oblivious transfer protocol, universal cryptographic primitive for multipartie computation, is inspired from Merkle's key exchange protocol with puzzles, and improves on existing results. Then, we show that it's possible to build those same cryptographic primitives without the hypothesis of one-way functions, but with the 3SUM problem. This simple problem ---in a list of n integers, find three that sum is a desired value--- has a conjectured lower bound of Omega(n^2).

Les techniques de groupement technologique sont aujourd’hui utilisées dans de nombreux ateliers de fabrication; elles consistent à décomposer les systèmes industriels en sous-systèmes ou cellules constitués de pièces et de machines. Trouver le groupement technologique le plus efficace est formulé en recherche opérationnelle comme un problème de formation de cellules. La résolution de ce problème permet de tirer plusieurs avantages tels que la réduction des stocks et la simplification de la programmation. Plusieurs critères peuvent être définis au niveau des contraintes du problème tel que le flot intercellulaire,l’équilibrage de charges intracellulaires, les coûts de sous-traitance, les coûts de duplication des machines, etc. Le problème de formation de cellules est un problème d'optimisation NP-difficile. Par conséquent les méthodes exactes ne peuvent être utilisées pour résoudre des problèmes de grande dimension dans un délai raisonnable. Par contre des méthodes heuristiques peuvent générer des solutions de qualité inférieure, mais dans un temps d’exécution raisonnable. Dans ce mémoire, nous considérons ce problème dans un contexte bi-objectif spécifié en termes d’un facteur d’autonomie et de l’équilibre de charge entre les cellules. Nous présentons trois types de méthodes métaheuristiques pour sa résolution et nous comparons numériquement ces métaheuristiques. De plus, pour des problèmes de petite dimension qui peuvent être résolus de façon exacte avec CPLEX, nous vérifions que ces métaheuristiques génèrent des solutions optimales. / Group technology techniques are now widely used in many manufacturing systems. Those techniques aim to decompose industrial systems into subsystems or cells of parts and machines. The problem of finding the most effectivegroup technology is formulated in operations research as the Cell Formation Problem. Several criteria can be used to specify the optimal solution such as flood intercellular, intracellular load balancing, etc. Solving this problem leads to several advantages such as reducing inventory and simplifying programming. The Cell Formation Problem is an NP-hard problem; therefore, exact methods cannot be used to solve large problems within a reasonabletime, whereas heuristics can generate solutions of lower quality, but in a reasonable execution time. We suggest in this work, three different metaheuristics to solve the cell formation problem having two objectives functions: cell autonomy and load balancing between the cells.We compare numerically these metaheuristics. Furthermore, for problems of smaller dimension that can be solved exactly with CPLEX, we verify that the metaheuristics can reach the optimal value.

Cette thèse est consacrée à des questions d'analyse en amont de la modélisation de structures arborescentes, comme le poumon humain. Plus particulièrement, nous portons notre intérêt sur une classe de domaines ramifiés du plan, dont la frontière comporte une partie fractale auto-similaire. Nous commençons par une étude d'espaces de fonctions dans cette classe de domaines. Nous étudions d'abord la régularité Sobolev de la trace sur la partie fractale de la frontière de fonctions appartenant à des espaces de Sobolev dans les domaines considérés. Nous étudions ensuite l'existence d'opérateurs de prolongement sur la classe de domaines ramifiés. Nous comparons finalement la notion de trace auto-similaire sur la partie fractale du bord à des définitions plus classiques de trace. Nous nous intéressons enfin à un problème de transmission mixte entre le domaine ramifié et le domaine extérieur. L'interface du problème est la partie fractale du bord du domaine. Nous proposons ici une approche numérique, en approchant l'interface fractale par une interface préfractale. La stratégie proposée ici est basée sur le couplage d'une méthode auto-similaire pour la résolution du problème intérieur et d'une méthode intégrale pour la résolution du problème extérieur.