L'interaction des individus avec l'environnement statique ou dynamique nécessite une exploration détaillée et précise des objets. Pour cela, notre système oculomoteur produit des mouvements oculaires rapides et précis appelés « saccades » afin de ramener l’image des objets d’intérêt sur la petite zone centrale de notre rétine (fovéa). Toutefois, notre système oculomoteur est fréquemment exposé à des perturbations physiologiques ou pathologiques. Ces changements sont contrôlés en permanence par des processus sensori moteurs basés sur la plasticité neuronale et appelés adaptation saccadique. L’objectif de mes travaux de thèse est de mieux comprendre les caractéristiques de cette adaptation et sa rétention à long terme mais aussi les réseaux impliqués dans l’adaptation saccadique. Comme les saccades oculaires ont un lien étroit avec l’attention visuo-spatiale, notre intérêt s’est également porté sur les interactions qui peuvent exister avec les réseaux impliqués dans le contrôle de l’attention visuo-spatiale. Un des principaux résultats est que l’orientation de l’attention exogène covert -sans bouger les yeuxdans des taches de détection et de discrimination est améliorée après l’adaptation des saccades réactives. Ces données fondamentales pourraient mener au développement de nouvelles méthodes de rééducation des déficits visuo-attentionnels / The interaction of human beings with their static or dynamic environment requires detailed and precise exploration of objects. For this, our oculomotor system produces fast and accurate eye movements called "saccades" to bring the image of objects of interest on the small central area of the retina (fovea). However, our oculomotor system is frequently exposed to physiological or pathological disturbances. These changes are continuously monitored by sensorimotor processes based on neuronal plasticity and called "saccadic adaptation". The aim of my thesis is to better understand the characteristics of this adaptation and its long-term retention but also the neural networks involved in saccadic adaptation. As saccadic eye movements are closely related to visuo-spatial attention our work has also addressed the interactions that may exist with the networks involved in the control of visuo-spatial attention. A major result revealed that the orientation of the 'covert' exogenous attention -without moving the eyes- in detection and discrimination tasks is improved after adaptation of reactive saccades. These basic data could give rise to the development of new rehabilitation methods in visual-attention deficits

On étudie dans cette thèse une structure de semi-anneau dont le produit est basé sur la règle de résolution de la programmation logique. Cet objet mathématique a été initialement introduit dans le but de modéliser la procédure d'élimination des coupures de la logique linéaire, dans le cadre du programme de géométrie de l'interaction. Il fournit un cadre algébrique et abstrait, tout en étant présenté sous une forme syntaxique et concrète, dans lequel mener une étude théorique du calcul. On reviendra dans un premier temps sur l'interprétation interactive de la théorie de la démonstration dans ce semi-anneau, via l'axiomatisation catégorique de l'approche de la géométrie de l'interaction. Cette interprétation établit une traduction des programmes fonctionnels vers une forme très simple de programmes logiques. Dans un deuxième temps, on abordera des problématiques de théorie de la complexité: bien que le problème de la nilpotence dans le semi-anneau étudié soit indécidable en général, on fera apparaître des restrictions qui permettent de caractériser le calcul en espace logarithmique (déterministe et non-déterministe) et en temps polynomial (déterministe). / We study in this thesis a semiring structure with a product based on the resolution rule of logic programming. This mathematical object was introduced initially in the setting of the geometry of interaction program in order to model the cut-elimination procedure of linear logic. It provides us with an algebraic and abstract setting, while being presented in a syntactic and concrete way, in which a theoretical study of computation can be carried on. We will review first the interactive interpretation of proof theory within this semiring via the categorical axiomatization of the geometry of interaction approach. This interpretation establishes a way to translate functional programs into a very simple form of logic programs. Secondly, complexity theory problematics will be considered: while the nilpotency problem in the semiring we study is undecidable in general, it will appear that certain restrictions allow for characterizations of (deterministic and non-deterministic) logarithmic space and (deterministic) polynomial time computation.

Le procédé de soudage par friction et malaxage est un procédé récent qui a été développé au sein de l'institut de soudure britannique "The Welding Institute" au début des années 90. Ce procédé, utilisé généralement en aéronautique, est sans apport de matière et permet de souder principalement des alliages d'aluminium difficilement soudables par les procédés classiques de soudage. Il consiste à malaxer le matériau de base à l'aide d'un outil constitué d'un pion et d'un épaulement frottant sur les faces supérieures des tôles à souder. La modélisation de ce procédé est très complexe puisque ce dernier implique des couplages entre des phénomènes mécaniques, thermiques et métallurgiques. Le malaxage dans le procédé de soudage FSW est difficile à simuler à l'aide de la méthode des éléments finis (en lagrangien) puisque la zone proche de l'outil de soudage est le siège de grandes déformations. Donc le remaillage est nécessaire. Cependant, le remaillage est cher et très difficile pour les problèmes tridimensionnels. Par ailleurs, après un remaillage, il est nécessaire d'interpoler les champs (vitesses, contraintes,...) correspondant à la solution courante, ce qui peut introduire des erreurs supplémentaires dans le calcul (on parle de diffusion numérique). Nous proposons dans ce travail des modèles basés sur la méthode sans maillage dite "Smoothed Particle Hydrodynamics SPH" et la méthode des moindres carrés mobiles (Moving Least Square MLS) pour la simulation de ce procédé. Ces modèles sont formulés dans le cadre lagrangien et utilisent la forme forte des équations aux dérivées partielles. Le premier modèle basé sur SPH considère la zone de soudure comme un fluide non newtonien faiblement compressible et dont la viscosité dépend de la température. Ce modèle est proposé pour la simulation numérique du comportement thermomécanique d'un matériau soudé par le procédé FSW. Dans le deuxième modèle, un algorithme itératif implicite de premier ordre a été proposé, pour simuler le malaxage de la matière dans le cas d'un matériau viscoplastique, en utilisant la méthode MLS et la technique de collocation. Le troisième modèle est un algorithme implicite d'ordre élevé basée sur le couplage de la méthode MLS et la Méthode Asymptotique Numérique MAN. Cet algorithme permet de réduire le temps de calcul par rapport à l'algorithme itératif implicite de premier ordre. La validation de ces trois modèles proposés a été faite par le code industriel Fluent / Friction stir welding is a recent process that has been developed by the British Welding Institute TWI "The Welding Institute" since 1990s. This process, generally used in aerospace, does not need additional material and allows mainly joining plates of aluminum alloys which are difficult to weld by the classical welding processes. It consists in mixing the base material using a tool comprising a pin and a shoulder which heats the plates to be welded by friction. The modeling of this process is very complex since it involves the coupling between mechanical, thermal and metallurgical phenomena. The mixing in welding process FSW is difficult to simulate using finite element method in lagrangian framework since the area near the welding tool is submitted to large deformations. So remeshing procedure is often required. However, remeshing can be very expensive and difficult to perform for three-dimensional problems. Moreover, after remeshing step, it is necessary to interpolate the fields (velocities, constraints ...) corresponding to the current solution, which may lead to additional errors in the calculation (called numerical diffusion). We propose in this work models based on meshless methods called "Smoothed Particle Hydrodynamics SPH" and Moving Least Square method for the simulation of this welding process. These models are formulated in lagrangian framework and use the strong form of partial differential equations. The first model based on SPH considers the welding zone as a weakly compressible non-newtonian fluid and whose viscosity depends on the temperature. This model is proposed for the numerical simulation of thermo-mechanical behavior of a welded material by FSW process. The second model is a first order implicit iterative algorithm proposed to simulate material mixing in the case a visco-plastic behavior using the MLS method and the collocation technique. The third model is a high order implicit algorithm based on the coupling of MLS method and Asymptotic Numerical Method (ANM). This algorithm allows reducing the computation time by comparison with the first order implicit iterative algorithm. The validation of these three proposed models was done by the industrial code Fluent

L'objet de notre étude est la requête adressée à un moteur de recherche Web par un usager dans le cadre d'une recherche d'information. Nous souhaitons mieux comprendre l'étape de la recherche d'information située entre le besoin d'information et la formulation / reformulation de la requête. Notre thèse est articulée autour de deux hypothèses de recherche. D'abord, nous avons émis l'hypothèse qu'une requête adressée à un moteur de recherche Web peut receler de l'implicite. Ensuite, nous avons considéré que ce contenu implicite peut être utilisé par les usagers dans des tactiques de formulation / reformulation de la requête. Nous avons notamment analysé le discours de 61 étudiants que nous avons interrogés sur leur intention de recherche. Ce discours était principalement constitué d'un niveau sémantique (qui décrit le thème de la recherche) et d'un niveau pragmatique (composé d'un but seul ou d'un but ou plusieurs sous-but(s)). Les termes représentant le niveau sémantique pouvaient être complètement ou partiellement formulés dans la requête, mais ceux représentant le niveau pragmatique n'étaient généralement pas formulés. Cette situation de communication s'apparente à une négociation entre le moteur de recherche et l'usager. Le moteur de recherche tente de disposer d'éléments sur le besoin d'information de l'usager et ce dernier tente d'obtenir à partir d'un contenu explicitement formulé dans sa requête, un ensemble d'information afin de progresser sur la résolution de son problème / The object of our study is the query, sent to a Web search engine, by an Internet user. We aim to reach a better understanding of the phase of information seeking located between the information need and the query formulation. Our thesis is based on two core hypotheses, all related to the query. Firstly, we considered that the query expressed partially the user’s information need and therefore contain an implicit part. Secondly, we also considered that the implicit part can be used by the users in their query formulation tactics. We notably analyzed 61 students’ speech about their search intent. The speech was based mainly on a semantic level (the terms representing the topic of the research) and a pragmatic level (composed of an only purpose or purpose and of many under purposes). The terms representing the semantic level could be rather completely or partially formulated in the query but those representing the pragmatic level weren’t formulated. This situation of communication is similar to a negotiation between the Web search engine and the user. The search engine Web tries to have elements on user’s information need and the user tries to obtain, from a contents explicitly formulated in his query, a set of information in order to progress on his resolution of its problem

Cette thèse s’intéresse à la synthétisation de paysages naturels, et plus particulièrement, à leur portion céleste. L’aspect du ciel est gouverné par de nombreux phénomènes atmosphériques parmi lesquels les nuages jouent un rôle prépondérant car ils sont fréquemment présents et couvrent de grandes étendues. Même sans considérer directement le ciel, la densité des nuages leur permet de modifier intensément l’illumination globale d’un paysage. Les travaux de cette thèse se concentrent donc principalement sur l’édition, la modélisation et l’animation d’étendues nuageuses aux dimensions d’un paysage. Comme la simulation thermodynamique de la formation des nuages est difficilement contrôlable et que les détails du volume simulés sont rapidement limités, nous proposons plutôt une méthode par génération procédurale. Nous érigeons un modèle léger de paysage nuageux sous forme d’une hiérarchie de fonctions. Les détails les plus fins sont obtenus par composition de bruits procéduraux et reproduisent les formes de différents genres de nuages. La présence nuageuse à grande échelle est quant à elle décrite à haut niveau et à différents instants par des cartes dessinées par l’utilisateur. Ces cartes discrètes sont transformées en primitives implicites statiques ensuite interpolées par métamorphose en prenant en compte le relief et les vents pour produire des trajectoires cohérentes. Le champ implicite obtenu par mélange des primitives interpolantes constitue le champ spatiotemporel de densité nuageuse. Des images sont finalement synthétisées par rendu du milieu participatif atmosphérique selon notre propre implémentation exécutée en parallèle sur carte graphique / This thesis focusses on the synthetization of natural landscapes, and more particularly on their celestial part. The aspect of the sky is governed by plenty of atmospheric phenomena, among which clouds play a major role for they are recurrent and widespread. Even without directly considering the sky, the density of the clouds allows them to intensely modify the global illumination of a landscape. The work of this thesis thus focuses mainly on the editing, modelling and animation of cloud areas of landscape dimensions.Because the thermodynamic simulation of cloud formation is hard to control and its maximum resolution quickly limits the details of the simulated volume, we propose instead a procedural generation method. We build a lightweight cloudscape model as a hierarchy of functions. The finest details are obtained by composing procedural noises and reproduce the specific shapes of different kinds of clouds. The large-scale cloud presence is described at a high level and at different times by maps drawn by the user. These discrete maps are transformed into implicit static primitives and then interpolated by morphing, accounting for relief and winds in order to produce coherent trajectories. The implicit field obtained by mixing the interpolating primitives represents the spatiotemporal field of cloud density. Images are finally synthesized by rendering of the atmospheric participative medium according to our own implementation, executed in parallel on a graphic card

La modélisation du transport réactif est utilisée dans de nombreuses applications énergétiques et environnementales liées aux écoulements souterrains. La modélisation de tels problèmes conduit à un système hautement non linéaire d'EDP couplées à des équations différentielles ordinaires ou algébriques. Deux types d'approches pour la résolution numérique des problèmes de transport réactif sont largement utilisés dans la littérature. L'une est l'approche de séparation des opérateurs qui consiste à découpler les problèmes d'écoulement et de transport réactif. Ces derniers sont résolus séquentiellement à chaque pas de temps. L'autre stratégie est basée sur une approche entièrement couplée dans laquelle le système entier est résolu simultanément. Le but de la thèse de doctorat est le développement d'un schéma implicite en volumes finis pour la modélisation numérique d'écoulements multicomposants monophasiques et diphasiques avec transport réactif en milieu poreux.Deux nouveaux modules de transport réactif seront implémentés dans DuMuX, un simulateur libre pour les problèmes d'écoulements et de transport dans les milieuw poreux. Des simulations numériques bi et tridimensionnels comprenant des benchmarks et du calcul haute performance, seront effectuées pour valider les modules. / Reactive transport modeling is used in many energy and environmental applications related to subsurface flows. Modeling such problems leads to a highly nonlinear system of PDEs coupled with algebraic or ODEs. Two types of approaches for the numerical solving of reactive transport problems are widely used in the literature. One is the operator-splitting approach which consists in splitting the flow and reactive transport problems. These latter are solved sequentially at each time step. The other strategy is based on the fully coupled approach in which the entire system is solved simultaneously. The goal of the PhD thesis is the development of a fully coupled fully implicit finite volume scheme for numerical modeling of single and two-phase multicomponent flows with reactive transport in porous media. New reactive transport modules will be implemented in DuMuX, a free and open-source simulator for flow and transport processes in porous media. Numerical simulations for 2D and 3D including benchmark tests and high performance computing will be performed to validate the modules.

Les postures corporelles signalant domination ou soumission servent une fonction de communication chez les humains et d’autres animaux. La question de savoir si l'adoption de telles "postures de pouvoir" influence la perception et le comportement de l'agent fait actuellement l'objet d'un débat. Le travail réalisé pendant cette thèse consistait à explorer les effets de ces postures sur des comportements étroitement liés à leur fonction primaire, à savoir la communication sociale, en se focalisant sur les réponses aux visages, signaux sociaux particulièrement saillants. Dans une série d'expériences, j'ai utilisé des méthodes de corrélation inverse pour visualiser les représentations mentales de traits préférés du visage. Les représentations mentales des visages préférés implicitement et explicitement évoquaient une impression affiliative et légèrement dominante, mais ne révélaient aucun effet reproductible des postures. Deux autres expériences distinctes ont étudié les effets de la posture sur la perception d’expressions faciales menaçantes et sur les comportements d'approche ou d'évitement en réponse à ces signaux. Bien que les postures n'aient pas d’influence sur la reconnaissance explicite d’expressions faciales menaçantes, elles ont un impact sur les décisions d'approcher ou d'éviter des signaux de menace. Plus précisément, l'adoption d'une posture de soumission augmentait la tendance à éviter les personnes exprimant la colère. Enfin, une tentative de réplication des effets des postures sur les niveaux de testostérone et de cortisol a démontré que même l'adoption répétée d'une posture de pouvoir en contexte social ne provoque pas de changements hormonaux. Dans l'ensemble, ces résultats suggèrent que notre posture corporelle n’influence pas nos représentations mentales et notre perception des autres individus, mais pourrait influencer nos actions en réponse aux signaux sociaux. / Expansive and constrictive body postures serve a primary communicative function in humans and other animals by signalling power and dominance. Whether adopting such “power postures” influences the agent’s own perception and behaviour is currently a subject of debate. In this PhD thesis, I explored effects of adopting power postures on behaviours closely related to the postures’ primary function of social signalling by focusing on responses to faces as particularly salient social signals. In a series of experiments, I utilized reverse correlation methods to visualize mental representations of preferred facial traits. Mental representations of implicitly as well as explicitly preferred faces evoked an affiliative and slightly dominant impression, but revealed no replicable effects of power postures. Two further separate experiments investigated posture effects on the perception of threatening facial expressions, and approach vs. avoidance actions in response to such social signals. While postures did not influence explicit recognition of threatening facial expressions, they affected approach and avoidance actions in response to them. Specifically, adopting a constrictive posture increased the tendency to avoid individuals expressing anger. Finally, an attempt to replicate posture effects on levels of testosterone and cortisol demonstrated that even repeatedly adopting a power posture in a social context does not elicit hormonal changes. Altogether, these findings suggest that our body posture does not influence our mental representations and perception of other people’s faces per se, but could influence our actions in response to social signals.

Cette thèse est consacrée à étudier et à améliorer les modèles mathématiques et les méthodes utilisées pour les modèles de solvatation implicite en chimie quantique. Ce manuscrit est composée de deux parties. Dans la première partie où nous analysons l'interface soluté-solvant, nous donnons, pour la première fois, une caractérisation complète de la surface moléculaire lisse, c'est-à-dire la surface exclue du solvant (SES). À partie de cette caractérisation, nous développons un algorithme de maillage par morceaux pour les surfaces moléculaires différentes, en particulier pour la SES, en utilisant la triangulation à front avançant. De plus, la cavité de la SES (la région entourée par la SES) est une description plus précise de la cavité de soluté. Dans la deuxième partie, nous construisons donc un modèle de continuum polarisable basé (PCM) sur la SES, dans lequel le paramètre de permittivité diélectrique est continu. Le problème électrostatique de ce modèle consiste à résoudre une équation de Poisson définie sur R3. Nous développons ensuite une méthode de Schwarz particulière, où seules les équations locales restreintes à des boules doivent être résolues. Enfin, nous étudions le modèle de solvatation de Poisson-Boltzmann, un autre modèle de solvatation implicite, qui tient compte à la fois de la permittivité diélectrique et de la force ionique du solvant. Une méthode de Schwarz similaire est proposée pour résoudre l'équation de Poisson-Boltzmann associée en résolvant des équations locales restreintes aux boules comme pour le PCM basé sur la SES. / This thesis is devoted to study and improve the mathematical models and methods used in implicit solvation models in quantum chemistry. The manuscript is composed of two parts. In the first part where we analyze the solute-solvent interface, we give, for the first time, a complete characterization of the so-called “smooth” molecular surface, i.e., the solvent excluded surface (SES). Based on this characterization, we develop a piecewise meshing algorithm for different molecular surfaces, especially the SES, using the advancing-front triangulation. Further, it has been pointed out in the literature that the SES-cavity (the region enclosed by the SES) is a more accurate description of the solute cavity. In the second part, we therefore construct an SES-based polarizable continuum model (PCM), in which the dielectric permittivity parameter is continuous. The electrostatic problem of this model involves solving a Poisson equation defined in R3. We then develop a particular Schwarz domain decomposition method where only local equations restricted to balls need to be solved. Finally, the Poisson-Boltzmann solvation model, another implicit solvation model, is also investigated, which takes into account both the dielectric permittivity and the ionic strength of the solvent. A similar Schwarz domain decomposition method is proposed to solve the associated Poisson-Boltzmann equation by solving local equations restricted to balls as it is for the SES-based PCM.

L’objectif de la présente recherche portant sur l’évolution du droit des États à recourir à la force dans les relations nternationales est de montrer suivant une approche historique fondée sur le droit international que la pratique des États en la matière a changé. Effectivement, du droit de « faire la guerre » reconnu comme un droit souverain, passant par les premières tentatives de son encadrement au XIXe siècle, la rupture significative est venue en 1945 avec la création de l’ONU ; la Charte des Nations Unies ayant consacré un principe d’interdiction du recours à la force, exception faite de la légitime défense et de l’autorisation du Conseil de sécurité. Toutefois, aucune précision n’ayant été apportée sur la forme que doit prendre cette autorisation du Conseil de sécurité, dès 1966 comme dans l’affaire rhodésienne, ce dernier autorisait explicitement l’usage de « la force ». À partir de 1990, il prend de l’assurance avec la technique de l’autorisation et retient la formulation implicite d’« autorise les États Membres à user de tous les moyens nécessaires ». Cependant, il arrive qu’une résolution du Conseil ne soit ni n’explicite, ni implicite, mais des États interviennent, arguant de l’existence d’une autorisation implicite du fait de l’émergence des doctrines comme « guerre préventive », « guerre contre le terrorisme » ou encore « intervention humanitaire ». Des cas d’interventions menées en 1992 au Libéria, 1999 en Sierra Leone et au Kosovo et en 2003 contre l’Irak, sont illustrateurs. Ainsi, sur la base de l’interprétation des résolutions du Conseil, l’autorisation implicite tend à devenir la règle en matière de maintien de la paix et de la sécurité internationales. Dès lors, afin d’éviter de réduire le jus ad bellum à un unilatéralisme excessif, et en démontrant la conformité de l’autorisation implicite au régime juridique établi du recours à la force en droit international, nous invitons à la redéfinition de celle-ci. / The purpose of this research on the evolution of the right of States to use force in international relations is to show, following a historical approach based on international law, that State practice in this area has changed. Indeed, from the right to "make war" recognized as a sovereign right, passing through the first attempts of its leadership in the nineteenth century, the significant rupture came in 1945 with the creation of the UN; the United Nations Charter has enshrined the principle of the prohibition of the use of force,except for the self-defense and the authorization of the Security Council. However, since no details were given as to the form this authorization of the Security Council should take, as early as 1966, as in the Rhodesian case, the latter explicitly authorized the use of "force". From 1990, he gained confidence with the technique of authorization and retained the implicit formulation of "authorizes Member States to use all necessary means". Though, sometimes a resolution is neither explicit nor implicit, but states intervene,arguing the existence of an implied authorization because of the emergence of theories like"preventive war","war on terror" or "humanitarian intervention". Cases of interventions in 1992 in Liberia, 1999 in SierraLeone and Kosovo and in 2003 against Iraq are illustrators. So, based on the interpretation of Council resolutions, implied authorization tends to become the rule in the maintenance of international peace and security. Therefore, to avoid reducing the jus ad bellum to excessive unilateralism, and by demonstrating the conformity of the implied authorization with the established legal regime of the use of force in international law, we invite the redefinition of this one.

Cette thèse étudie le risque de crédit souverain et son impact sur les banques et les entreprises. Le premier essai montre que le risque de crédit bancaire est lié au risque de crédit souverain via l’exposition commune au risque systémique au lieu du sauvetage implicite ou de l’exposition excessive aux obligations émises par le pays d’origine. Dans le deuxième essai, je construis un modèle de structure du capital qui prédit une corrélation négative entre le niveau d’endettement des grands entreprises et le risque de crédit souverain à cause du sauvetage implicite. Cette prédiction est confirmée en suite par des preuves empiriques des entreprises dans la zone euro. Le troisième essai donne un modèle joint de CDS et d’obligation pour identifier les composantes de défaut et de liquidité dans les spreads de CDS et les rendements obligataires. Je trouve une composante de liquidité importante dans les spreads de CDS des pays périphériques de la zone euros et conclus que le fait de ne pas prendre en compte de l’illiquidité des CDS conduit à surestimer la composante de défaut dans le rendement obligataire. / This thesis studies sovereign credit risk and its impact on banks and industrial firms. The first essay shows that bank credit risk is linked to sovereign credit risk through common exposure to systemic risk instead of implicit bailout or excessive holding of home country bonds. In the second essay, I build a trade-off model of capital structure which predicts negative correlation between optimal leverage of big firms and sovereign credit risk due to implicit bailout. The model prediction is confirmed by empirical evidence from firms in the euro area. The third essay provides a joint pricing model of CDS and bond to disentangle the default and liquidity component in CDS spread and bond yield spread. I find a remarkable liquidity component in the CDS spreads of peripheral euro area countries and conclude that ignoring CDS illiquidity leads to overestimation of default component in bond yield.