La technique de l’impression moléculaire permettant d'obtenir des polymères hautement sélectifs est utiliséedans de nombreuses applications. Dans le cadre de cette thèse, cette technique est employée pour préparer despolymères spécifiques du benzo(a)pyrène (BaP) en vue d’une application capteur. L’introduction d’une sonderédox au sein même du réseau de polymère offre la possibilité d’une détection directe de la cible, par unetechnique électrochimique. Dans le domaine des MIPs, ce travail est le premier à décrire l’utilisation d’unmonomère participant à la formation du réseau tridimensionnel tout en apportant une propriété rédox. Lespolymères synthétisés par polymérisation par précipitation ont été caractérisés en termes de composition, destabilité thermique et de propriétés texturales. Les propriétés de rétention ont été évaluées en mode batch parHPLC-UV en présence de BaP et d'interférents de type hydrocarbures aromatiques polycycliques. Ces MIPsprésentent de bonnes propriétés d’adsorption vis-à-vis du BaP avec des facteurs d’empreinte supérieurs à 1montrant l’efficacité de l’impression. Ces propriétés sont conservées en présence d’une matière organique (seld’acide humique), mais également après plusieurs cycles d’utilisation. Les analyses électrochimiques ontdémontré que les propriétés électrochimiques de ces MIPs diffèrent selon la présence ou pas de la cible avecune limite de détection de 0,09 μM en BaP, ouvrant la porte à la réalisation de capteurs. / Molecularly Imprinted Polymers show highly selective affinity towards the target molecule and are used inmany applications. In this context, the technology is used for preparing selective polymers for benzo(a)pyrene(BaP) with the aim of sensor fabrication. The addition of a redox tracer inside the polymer allows thepossibility of direct target detection by an electrochemical technique. In the MIP field, this work is the firstreporting the use of a functional monomer that not only participates in the creation of the polymer network butalso provides a redox property. The polymers synthesized using precipitation polymerization technique werecharacterized in terms of composition, thermal stability and textural properties. The adsorption properties wereevaluated in batch mode by HPLC-UV in the presence of BaP and interfering polycyclic aromatichydrocarbons. These MIPs show good adsorption behavior towards BaP with imprinting factors superior to 1showing the efficiency of the molecular imprinting. These properties were also preserved even in presence ofan organic matter (humic acid salt), and also after several uses. Finally, electrochemical analysis showed thatthese MIPs had a different electrochemical behavior depending on the presence or the absence of the targetwith a detection limit of 0.09 μM for BaP. The use of such electrochemical MIPs can thus be interestinglyconsidered in sensor devices.

La problématique centrale de cette thèse est l'élaboration d'un opérateur de Laplace--Beltrami discret sur les surfaces digitales. Ces surfaces proviennent de la théorie de la géométrie discrète, c’est-à-dire la géométrie qui s'intéresse à des sous-ensembles des entiers relatifs. Nous nous plaçons ici dans un cadre théorique où les surfaces digitales sont le résultat d'une approximation, ou processus de discrétisation, d'une surface continue sous-jacente. Cette méthode permet à la fois de prouver des théorèmes de convergence des quantités discrètes vers les quantités continues, mais aussi, par des analyses numériques, de confirmer expérimentalement ces résultats. Pour la discrétisation de l’opérateur, nous faisons face à deux problèmes : d'un côté, notre surface n'est qu'une approximation de la surface continue sous-jacente, et de l'autre côté, l'estimation triviale de quantités géométriques sur la surface digitale ne nous apporte pas en général une bonne estimation de cette quantité. Nous possédons déjà des réponses au second problème : ces dernières années, de nombreux articles se sont attachés à développer des méthodes pour approximer certaines quantités géométriques sur les surfaces digitales (comme par exemple les normales ou bien la courbure), méthodes que nous décrirons dans cette thèse. Ces nouvelles techniques d'approximation nous permettent d'injecter des informations de mesure sur les éléments de notre surface. Nous utilisons donc l'estimation de normales pour répondre au premier problème, qui nous permet en fait d'approximer de façon précise le plan tangent en un point de la surface et, via une méthode d'intégration, palier à des problèmes topologiques liées à la surface discrète. Nous présentons un résultat théorique de convergence du nouvel opérateur discrétisé, puis nous illustrons ensuite ses propriétés à l’aide d’une analyse numérique de l’opérateur. Nous effectuons une comparaison détaillée du nouvel opérateur par rapport à ceux de la littérature adaptés sur les surfaces digitales, ce qui nous permet, au moins pour la convergence, de montrer que seul notre opérateur possède cette propriété. Nous illustrons également l’opérateur via quelques unes de ces applications comme sa décomposition spectrale ou bien encore le flot de courbure moyenne / The central issue of this thesis is the development of a discrete Laplace--Beltrami operator on digital surfaces. These surfaces come from the theory of discrete geometry, i.e. geometry that focuses on subsets of relative integers. We place ourselves here in a theoretical framework where digital surfaces are the result of an approximation, or discretization process, of an underlying smooth surface. This method makes it possible both to prove theorems of convergence of discrete quantities towards continuous quantities, but also, through numerical analyses, to experimentally confirm these results. For the discretization of the operator, we face two problems: on the one hand, our surface is only an approximation of the underlying continuous surface, and on the other hand, the trivial estimation of geometric quantities on the digital surface does not generally give us a good estimate of this quantity. We already have answers to the second problem: in recent years, many articles have focused on developing methods to approximate certain geometric quantities on digital surfaces (such as normals or curvature), methods that we will describe in this thesis. These new approximation techniques allow us to inject measurement information into the elements of our surface. We therefore use the estimation of normals to answer the first problem, which in fact allows us to accurately approximate the tangent plane at a point on the surface and, through an integration method, to overcome topological problems related to the discrete surface. We present a theoretical convergence result of the discretized new operator, then we illustrate its properties using a numerical analysis of it. We carry out a detailed comparison of the new operator with those in the literature adapted on digital surfaces, which allows, at least for convergence, to show that only our operator has this property. We also illustrate the operator via some of these applications such as its spectral decomposition or the mean curvature flow

Dans cette thèse, nous étudions des transformées de type Radon sur certains espaces symétriques. Une transformée de type Radon associe à toute fonction continue à support compact sur une variété $M$ ses intégrales sur une classe $Xi$ de sous-variétés de $M$. Le problème sur lequel nous nous concentrons est l'inversion d'une telle transformée, c'est-à-dire déterminer la fonction à partir de ses intégrales sur les sous-variétés dans $Xi$. Nous présentons d'abord la solution de ce problème inverse due à Sigurdur Helgason et François Rouvière, entre autres, lorsque $M$ est un espace symétrique riemannien isotrope et $Xi$ une certaine orbite de sous-variétés totalement géodésiques de $M$ sous l'action d'un groupe de transformations de Lie de $M$. La transformée de Radon associée est qualifiée de totalement géodésique.Sur les espaces symétriques pseudo-riemanniens semisimples, nous considérons une autre transformée de type Radon, qui associe à toute fonction continue à support compact ses intégrales orbitales, c'est-à-dire ses intégrales sur les orbites du sous-groupe d'isotropie du groupe des transvections. L'inversion des intégrales orbitales, qui est donnée par une formule-limite, a été obtenue par Sigurdur Helgason sur les espaces symétriques lorentziens à courbure sectionnelle constante et par Jeremy Orloff sur tout espace symétrique pseudo-riemannien semisimple de rang un. Nous résolvons le problème d'inversion des intégrales orbitales sur les espaces de Cahen-Wallach, qui sont les modèles d'espaces symétriques lorentziens indécomposables résolubles.Pour finir, nous nous intéressons aux transformées de type Radon sur les espaces symétriques symplectiques à courbure de type Ricci. L'inversion des orbitales intégrales sur ces espaces lorsqu'ils sont semisimples a déjà été obtenue par Jeremy Orloff. En revanche, lorsque ces espaces ne sont pas semisimples, la transformée donnée par les intégrales orbitales n’est pas inversible. Ensuite, nous déterminons les orbites de sous-variétés totalement géodésiques symplectiques ou lagrangiennes sous l'action d'un groupe de transformations de Lie de l'espace de départ. Dans ce contexte, la méthode d'inversion développée par Sigurdur Helgason et François Rouvière, entre autres, ne fonctionne que pour les transformées de Radon totalement géodésiques symplectiques sur les espaces symétriques kählériens à courbure holomorphe constante. Les formules d'inversion de ces transformées sur les espaces hyperboliques complexes sont dues à François Rouvière. Nous calculons les formules d'inversion de ces transformées sur les espaces projectifs complexes. / In this thesis, we study Radon-type transforms on some symmetric spaces. A Radon-type transform associates to any compactly supported continuous function on a manifold $M$ its integrals over a class $Xi$ of submanifolds of $M$. The problem we address is the inversion of such a transform, that is determining the function in terms of its integrals over the submanifolds in $Xi$. We first present the solution to this inverse problem which is due to Sigurdur Helgason and François Rouvière, amongst others, when $M$ is an isotropic Riemannian symmetric space and $Xi$ a particular orbit of totally geodesic submanifolds of $M$ under the action of a Lie transformation group of $M$. The associated Radon transform is qualified as totally geodesic.On semisimple pseudo-Riemannian symmetric spaces, we consider an other Radon-type transform, which associates to any compactly supported continuous function its orbital integrals, that is its integrals over the orbits of the isotropy subgroup of the transvection group. The inversion of orbital integrals, which is given by a limit-formula, has been obtained by Sigurdur Helgason on Lorentzian symmetric spaces with constant sectional curvature and by Jeremy Orloff on any rank-one semisimple pseudo-Riemannian symmetric space. We solve the inverse problem for orbital integrals on Cahen-Wallach spaces, which are model spaces of solvable indecomposable Lorentzian symmetric spaces.In the last part of the thesis, we are interested in Radon-type transforms on symplectic symmetric spaces with Ricci-type curvature. The inversion of orbital integrals on these spaces when they are semisimple has already been obtained by Jeremy Orloff. However, when these spaces are not semisimple, the orbital integral operator is not invertible. Next, we determine the orbits of symplectic or Lagrangian totally geodesic submanifolds under the action of a Lie transformation group of the starting space. In this context, the technique of inversion that has been developed by Sigurdur Helgason and François Rouvière, amongst others, only works for symplectic totally geodesic Radon transforms on Kählerian symmetric spaces with constant holomorphic curvature. The inversion formulas for these transforms on complex hyperbolic spaces are due to François Rouvière. We compute the inversion formulas for these transforms on complex projective spaces. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

L'objectif de cette thèse est de modéliser la transmission du paludisme dans la région montagneuse de l'ouest du Kenya, en se servant des outils de systèmes dynamiques. Nous considérons deux modèles mathématiques. Le premier prend en compte une susceptibilité et une infectivité différentielle dans les métapopulations, et le second un taux de saturation des repas sanguins dans la population des moustiques. Dans le premier modèle, nous considérons plusieurs écosystèmes identifiés comme zones sensibles dans la région montagneuse de l'ouest du Kenya. Dans ce modèle, ces zones sensibles sont considérées comme nos différents patchs. Les populations de chaque patch sont divisées en deux : les enfants et les adultes. Le modèle nous permet d'évaluer le rôle de l'hétérogénéité de l'écosystème et la persistance de l'épidémie dans la région, due à la structuration d'âge. Nous prenons en compte la susceptibilité et l'infectivité différentielle afin d'étendre le modèle d'un patch en un modèle à plusieurs patchs. Après avoir subdivisé la région en n zones sensibles, nous faisons une analyse mathématique du modèle obtenu. Pour effectuer cette analyse, nous utilisons la théorie des systèmes triangulaires, des systèmes dynamiques monotones, des systèmes dynamiques non linéaires anti-monotones et le principe d'invariance de LaSalle. Un des éléments très utilisés dans notre analyse qui est un concept clé en épidémiologie, est le taux de reproduction de base, très souvent noté Ro. Cette quantité, sans dimension, est le nombre moyen de cas secondaires, engendré par un individu infectieux typique durant sa période d'infectiosité, quand il est introduit dans une population constituée entièrement de susceptibles. L'existence et la stabilité du point d'équilibre sans maladie (DFE) sont établies et nous prouvons que le DFE est globalement asymptotiquement stable lorsque Ro<1. Lorsque Ro>1, le modèle admet un point d'équilibre endémique qui est globalement asymptotiquement stable. L'analyse de notre modèle montre que la structuration d'âge réduit l'ampleur de l'infection. En utilisant les données relevées, nous faisons quelques simulations numériques afin de montrer l'impact de la métapopulation et de la structuration d'âge sur le taux de reproduction de base. Dans la seconde partie, nous formulons un modèle de paludisme avec saturation du taux d'alimentation des moustiques qui nous conduit à une incidence non linéaire. Nous démontrons que DFE est globalement asymptotiquement stable si Ro<1. Lorsque Ro>1, il existe un unique point d'équilibre endémique qui est globalement asymptotiquement stable. Des simulations numériques sont faites afin d'illustrer l'impact de la saturation d'alimentation sur le taux de reproduction de base / The objective of this thesis is to model highland malaria in western Kenya using dynamical systems. Two mathematical models are formulated ; one, on differentiated susceptibility and differentiated infectivity in a metapopulation setting with age structure, the other, a saturated vector feeding rate model with disease induced deaths and varying host and vector populations. In the first model, we consider the different ecosystems identified as malaria hotspots in the western Kenya highlands and consider the ecosystems as different patches. The population in each patch is classified as, either child or, adult. The model will aid in examining the role of ecosystem heterogeneity and age structure to the persistent malaria epidemics in the highlands. We formulate the differentiated susceptibility and infectivity model that extend to multiple patches the well known epidemiological models in one patch. Classifying the hot spots as n patches, we give its mathematical analysis using the theory of triangular system, monotone non-linear dynamical systems, and Lyapunov-Lasalle invariance principle techniques. Key to our analysis is the definition of a reproductive number, Ro, the number of new infections caused by one individual in an otherwise fully susceptible population throughout the duration of the infectious period. The existence and stability of disease-free and endemic equilibrium is established. We prove that the disease free state of the systems is globally asymptotically stable when the basic reproduction number Ro<1, and when Ro>1 an endemic equilibrium is established which is locally and globally asymptotically stable. The model shows that the age structuring reduces the magnitude of infection. Using relevant data we did some simulation, to demonstrate the role played by metapopulation and age structuring on the incidence and Ro. In the second part we formulate a model for malaria with saturation on the vector feeding rates that lead to a nonlinear function in the infection term. The vector feeding rate is assumed, as in the predator prey models, to rise linearly as a function of the host-vector ratio until it reaches a threshold Qv, after which the vector feeds freely at its desired rate. The two populations are variable and drive malaria transmission, such that when the vectors are fewer than hosts, the rate of feeding is determined by the vectors feeding desire, whereas, when the hosts are more than the vectors, the feeding rate is limited by host availability and other feeding sources may have to be sought by the vector. Malaria induced deaths are introduced in the host population, while the vector is assumed to survive with the parasite till its death. We prove that the Disease Free Equilibrium is locally and globally asymptotically stable if Ro<1 and when Ro>1, an endemic equilibrium emerges, which is unique, locally and globally asymptotically stable. The role of the saturated mosquito feeding rate is explored with simulation showing the crucial role it plays especially on the basic reproduction number

Le but de cette thèse est d'étudier les structures symplectiques dans la catégorie des variétés linéaires par morceaux (PL). La question centrale est de déterminer si toute variété symplectique lisse $(M,omega)$ peut être triangulée de manière symplectique, au sens où il existe une variété linéaire par morceaux $K$ et une triangulation $h :K -> M$ telle que $h^*omega$ est une forme symplectique constante par morceaux. Nous étudions d'abord un problème plus simple, qui consiste à trianguler les formes volumes lisses. Étant donnée une variété lisse $M$ munie d'une forme volume $Omega$, nous montrons qu'il existe une triangulation lisse $h :K -> M$ telle que $h^*Omega$ est une forme volume constante par morceaux. En particulier, les variétés symplectiques lisses de dimension 2 admettent donc des triangulations symplectiques. Étant donnée une variété symplectique fermée $(M,omega)$, nous montrons ensuite que pour certaines triangulations lisses $h :K -> M$, on peut, par une modification arbitrairement petite du complexe $K$, supposer que la forme $h^*omega$ est de rang maximal le long de tous les simplexes de $K$. Ce résultat permet d'approximer arbitrairement bien toute variété symplectique fermée par une variété symplectique PL. Nous nous intéressons finalement au cas d'une sous-variété symplectique $M$ d'un espace ambiant qui admet lui-même une triangulation symplectique. Nous montrons qu'il est possible de construire un cobordisme entre la sous-variété $M$ considérée et une approximation lisse par morceaux de celle-ci, triangulée par un complexe symplectique. / In this thesis, we study symplectic structures in a piecewise linear (PL) setting. The central question is to determine whether a smooth symplectic manifold can be triangulated symplectically, in the sense that there exists a triangulation $h :K -> M$ such that $h^*omega$ is a piecewise constant symplectic form on $K$. We first focus on a simpler related problem, and show that any smooth volume form $Omega$ on $M$ can be triangulated. This means that there always exists a triangulation $h :K -> M$ such that $h^*Omega$ is a piecewise constant volume form. In particular, symplectic surfaces admit symplectic triangulations. Given a closed symplectic manifold $(M,omega)$, we then prove that there exists triangulations $h :K -> M$ for which the piecewise smooth form $h^*omega$ has maximal rank along all the simplices of $K$. This result allows to approximate arbitrarily closely any closed symplectic manifold by a PL one. Finally, we investigate the case of a symplectic submanifold $M$ of an ambient space which is itself symplectically triangulated, and give the construction of a cobordism between $M$ and a piecewise smooth approximation of $M$, triangulated by a symplectic complex. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

La première partie de la thèse porte sur l'utilisation de la méthode des variances dans le cadre des attaques différentielles sur des schémas de Feistel généralisés. Cette méthode permet d'améliorer des attaques sur deux points : la complexité en données ou le nombre de tours couvert par l'attaque.Afin d'atteindre ce but, un outil a été développé permettant de calculer la valeur exacte de l'espérance et de la variance et nous nous servons alors de cette précision pour améliorer les attaques.La seconde partie porte sur une famille de schémas de chiffrement : les EGFN.Nous avons utilisé la méthode des variances et notre outil afin de construire des attaques différentielles. Des simulations ont été effectuées afin de confirmer les résultats.Dans la dernière partie, nous nous intéressons à LILLIPUT, un système de chiffrement concret issu des EGFN. Nous avons effectué une analyse différentielle et monté des attaques avec une structure spécifique.Ces attaques sont trouvées par un programme cherchant des attaques automatiquement. Nous avons notamment mis en avant la possibilité d'études sur les attaques différentielles improbables. / The first part of the thesis is the cryptanalysis of generalized Feistel networks with the use of the variance method.This method allows to improve existing attacks by two ways: data complexity or the number of rounds. In order to do that, we have developed a tool which computes the right values of expectations and variances.It provides a better analysis of the attacks.In the second part, we have studied the EGFN a new family of generalized Feistel networks. We have used the variance method and our tool in order to build some differential attacks. Simulations were made to confirm the theoritical study.In the last part, we have studied LILLIPUT, a concret cipher based on the EGFN.We have provided a differential analysis and build differential attacks which have unusual conditions. These attacks were found empirically by a tool that automatically look for differential attacks. In particular, we have highlighted some improbable differential attacks.

Ce mémoire d'habilitation à diriger des recherches est constitué des deux parties: - la première partie revient sur les idées et les concepts de la géométrie non commutative. Le point central de cet exposé est de rappeler les résultats qui motivent les recherches en géométrie non commutative, au sens où ces résultats donnent un sens à la démarche promue par la géométrie non commutative. Ces résultats sont bien connus désormais, et ils s'articulent autour de constructions pouvant prendre sens à la fois dans un cadre topologique et/ou géométrique et dans un cadre plus algébrique. Ainsi on trouvera le théorème de Gelfand-Naïmark sur les C*-algèbres commutatives, des rappels sur la K-théorie, d'abord pour les espaces topologiques, puis pour les C*-algèbres, une introduction à la cohomologie cyclique en insistant sur ses liens avec les structures différentiables, finalement un exposé sur l'objet "magique" qui connecte entre eux tous ces domaines, à la fois dans le cadre purement topologique, dans le cadre de la géométrie différentielle, et enfin dans le cadre algébriques : le caractère de Chern. - la seconde partie est une revue qui fait le point sur l'état des recherches sur la géométrie non commutative de l'algèbre des endomorphismes d'un fibré vectoriel de groupe de structure SU(n), en donnant si possible toutes les définitions utiles, de façon à faire un texte relativement autonome. Plus encore, il s'agit de montrer en quoi cette géométrie étend de façon naturelle la géométrie ordinaire du fibré principal sous-jacent, et en quoi les résultats obtenus sur les liens entre les connexions ordinaires et les connexions non commutatives dans ce contexte sont une excellente généralisation de la notion ordinaire de connexion. C'est pourquoi, dans cet exposé, sont rappelés les concepts usuels des théories de jauge ordinaires, et sont décrits très précisément où et comment la nouvelle géométrie se greffe à ces concepts. En particulier, il est insisté sur le fait que la notion de connexion prend un sens dans un niveau "intermédiaire", entre sa définition comme forme globale sur le fibré principal et sa définition comme familles de formes locales sur la variété de base satisfaisant à des recollements non homogènes. Le niveau intermédiaire utilise la géométrie de nature non commutative de l'algèbre des endomorphismes, et correspond à un regard nouveau sur les concepts usuels manipulés dans le cadre des théories de jauge.

La diffraction et la diffusion de la lumière sont étudiées de façon théorique et expérimentale puis utilisées pour les applications à la métrologie des composants sub-microniques dans l'industrie de la microélectronique, ainsi qu'aux applications dans le domaine de l'imagerie sélective en milieu diffusant basée sur les propriétés ellipsométriques de la lumière. La modélisation est réalisée à l'aide de la méthode différentielle que nous avons implémentée pour plusieurs situations : diffraction 2D classique et conique et diffraction 3D. Outre les améliorations déjà connues, algorithme des matrices S et règles de factorisation, nous proposons une nouvelle méthode d'intégration matricielle des équations du champ, plus rapide que les formulation existantes, qui nous permet d'aborder le cas des structures 3D de forme arbitraire, aléatoires ou périodiques. Cet outil est ensuite appliqué à l'extension de l'imagerie sélective au cas des surfaces très rugueuses et au problème inverse en microélectronique.

L'enjeu de ce travail consiste à proposer un modèle dynamique multi-niveau permettant l'étude des systèmes et des structures à composantes humaines à deux niveaux. Le premier niveau s'intéresse à l'étude du comportement à une échelle individuelle (facteurs psychologiques). Le second niveau étend le modèle à l'étude du comportement des groupes de travailleurs (facteurs psychosociaux). Nous situons ce travail dans le cadre de l'amélioration de l'efficience des opérateurs avec pour domaine d'application l'optimisation du contrôle de la qualité des produits. Le modèle est basé sur une représentation graphique et mathématique inspirée de la dynamique des systèmes permettant d'intégrer l'évolution du comportement et de considérer les rétroactions positives et négatives. L'incertitude et l'imperfection que peuvent avoir certains aspects comportementaux sont intégrées dans l'approche en utilisant la théorie des sous-ensembles flous et les systèmes d'inférences flous. <br />Les hypothèses proposées dans le modèle sont par la suite testées dans un environnement de simulation permettant de reproduire une tâche de contrôle de la qualité de certains produits dans un atelier de production. Les résultats des expériences obtenus ont été utilisés pour la construction d'un modèle de comportement.

Les capteurs de courant utilisés dans certains dispositifs différentiels résiduels sont sujets au phénomène des faux courants homopolaires. Ces courants, provenant des dissymétries géométriques et magnétiques du capteur de courant, peuvent entraîner le déclenchement intempestif du relais associé au tore. Cette thèse étudie ces phénomènes, tant par leurs origines (inhomogénéités du bobinage secondaire, extrémités du ruban magnétique formant le tore...) que par leurs manifestations (emballement, perte de sensibilité du capteur...).<br>Un important travail de modélisation par éléments finis de ces faux courants a été accompli. En particulier, les conséquences d?un excentrage des conducteurs primaires du capteur ont été étudiées par simulation numérique. De plus divers outils spécifiques ont été développés, notamment un modèle de matériaux magnétique anisotrope permettant de modéliser de façon simple et rapide le ruban enroulé formant les capteurs