Ce travail de thèse porte sur la modélisation et la simulation numérique des plasmas ionosphérique et Tokamak. La première partie de ce travail concerne la modélisation et la simulation numérique des effets de perturbations ionosphériques sur les communications terre-satellite. Le point départ de cette partie est l’analyse asymptotique du modèle de Euler-Maxwell conduisant ainsi au modèle Dynamo, qui se traduit en un couplage en 3D entre une équation elliptique pour le potentiel électrique et une équation de conservation de masse pour la densité du plasma. Du fait de la forte anisotropie de la matrice de diffusion associée a l’équation elliptique, on a developpé un schéma numérique préservant l’asymptotique permettant ainsi le bon conditionnement du systeme linéaire. La simulation de l’équation de conservation de masse est faite à l’aide de schémas de lois de conservation d’ordre elevé. La validation de ce modèle Dynamo s’obtient par une étude comparative avec le modèle Striation en 2D. Dans la deuxième partie, on s’intéresse au plasma Tokamak. On extrait du modele TOKAM3D, une équation de balance d’énergie de type non-linéaire en dimension 2 contenant toutes les difficultés numériques. Les méthodes numériques standard étant très coûteux en temps CPU, on developpe un schéma implicite-explicite prouvé efficace et stable pour ce type de problème. Enfin, ce schéma est combiné à une méthode de splitting dimensionnelle pour la discrétisation et des expériences numériques sont alors presentées. / This thesis focuses on modeling and numerical simulation of ionospheric and Tokamak plasmas.The first part of this work concerns the modeling and simulation of ionospheric perturbations effects for earth-satellite communications. The starting point of this part is an asymptotic analysis of Euler-Maxwell model leading to Dynamo model, which results into a 3D coupling problem between an elliptic equation for the electric potential and a mass conservation equation for the plasma density. Because of the strong anisotropy of the diffusion matrix associated with the elliptic equation, we developed an asymptotic preserving numerical scheme thus allowing the well conditioned linear system. The simulation of the mass conservation equation is made by using high order conservation laws scheme. The validation of this model Dynamo is obtained by a comparison with the 2D Striation model. In the second part, we are interested in tokamak plasma. We extract from TOKAM3D model, a 2D nonlinear energy balance equation containing all the numerical difficulties. Standard numerical methods are very CPU consuming, thus we develop an implicit-explicit scheme shown efficient and stable for this type of problem. Finally, this scheme is combined with dimensional splitting method for the discretization and numerical experiments are then presented.

La logique de l’implicite est une recherche comparative entre différents systèmes métaphysiques qui visent à dégager la forme de l’argumentation philosophique propre à chacun de ces systèmes. L’étude porte sur Parménide, Platon, Aristote, Descartes, Spinoza, Leibniz, Hume, Kant, Hegel, et Nietzsche – Deleuze. L’approche consiste en un suivi au plus près des textes majeurs des philosophes cités, suivi qui contracte et résume leurs argumentations en montrant des points de rencontre et de divergence dans la manière de produire leurs positions ontologiques. Il s’agit donc de lire ces textes du point de vue de la construction du raisonnement, et par suite il s’agit de dégager les outils constructifs qui caractériseraient la manière de faire philosophique. Le contenu n’est considéré alors que du point de vue de son rapport à ces formes argumentatives.La logique de l’implicite de la part ces différentes études de cas se propose donc comme un projet de philosophie abstraite c’est à dire une approche qui vise à dégager les éléments et relations de l’argumentation ontologique. L’attention est portée sur des styles généraux – comme l’approche par choc ou par distinction –, sur certain éléments récurrents dans tous les systèmes – comme la plus petite différence, le point double, la qualification extensive ou compréhensive –, et enfin sur les relations – l’explication, l’implication, et la complication. Il est avancé que l’implicite occupe une place centrale dans l’argumentation métaphysique dans la mesure où c’est depuis cette place que peut se poser toute explication ou connaissance. / Logic of the implicit is a research that compares different metaphysical systems and aims at extracting the form of philosophical argumentation proper to each of these systems. The study is carried on Parmenides, Plato, Aristotle, Descartes, Spinoza, Leibniz, Hume, Kant, Hegel, and Nietzsche – Deleuze. The approach consists in following as close as possible the fundamental texts of the above cited authors, an approach aimed at summarizing their argumentations and showing points of encounter or divergence in their way of producing their ontological positions. What is at stake then is to read these texts from the point of view of the construction of their arguments, and then to extract the constructive tools that characterize the philosophical way of doing things. The content is only considered from the point of view of its relation to these argumentative forms. Logic of the implicit, through these different case studies, proposes itself as a project of abstract philosophy, because it aims at extracting the elements and relations that are proper to the ontological argumentation. The attention is focused on showing the existence of general styles – such as the approach by choc or by distinction –, on certain elements recurrent in all the systems – such as the smallest difference, the double point, the extensive or comprehensive qualifications –, and at last on the relations – explication, implication, and complication. It is argued that the implicit occupies a central place in the metaphysical argumentation to the extent that it is from that place that any explanation is possible and thus any knowledge.

Durant la dernière décennie, l’évolution du Web a été marquée par une forte croissance des services publiés et qui s’est accompagnée d’une explosion considérable du nombre d’usagers dont les profils et contextes sont divers et variés. Les travaux présentés dans cette thèse traitent de l’optimisation de requêtes de services Web où le profil/contexte de l’utilisateur joue un rôle central. Il s’agit de sélectionner un service ou une combinaison de services pertinents parmi une masse importante de candidats compétitifs et capables de réaliser une tâche requise. Ces services candidats devant répondre au mieux aux exigences demandées par l’utilisateur selon un ensemble de critères non-fonctionnels. Dans notre approche, les critères non-fonctionnels considérés sont tous associés aux préférences du demandeur de service. Un intérêt plus important est alors porté à l’utilisateur qui se trouve au coeur du processus de sélection. La diversité du profil et du contexte de l’utilisateur, et également ceux des services cibles,rend ce processus encore plus complexe. Notre étude se focalise, dans un premier lieu,sur l’analyse des différentes approches de sélection de services Web existant dans la littérature. Nous mettons, notamment, en évidence leur contribution à la résolution des problèmes inhérents à la sélection des meilleurs services dans le but de satisfaire les critères non-fonctionnels formulés dans la requête. Dans un second temps, notre intérêt s’est porté sur la modélisation de spécification de l’offre et la demande de services,de leurs contextes et profils ainsi que les deux classes de préférences utilisateurs :explicites et implicites. Enfin, nous proposons une nouvelle famille d’approches d’optimisation qui intègre une stratégie de reformulation de requêtes par introduction des préférences implicites. Le concept clé de ces approches est un mécanisme d’inférence flou permettant d’accomplir un raisonnement déductif sur les informations liées au profil et contexte de l’utilisateur. Le principe consiste à combiner les deux familles de préférences utilisateur, tout en considérant conjointement les profils et les contextes des services et de l’utilisateur. L’application de la théorie des ensembles flous dans l’optimisation des requêtes à préférences des utilisateurs, en intégrant un module de raisonnement sur les informations liées à l’utilisateur, s’avère d’un intérêt majeur dans l’amélioration des qualités des résultats retournés. Nous présentons à la fin de l’étude une série d’expérimentations pour montrer la validité et la pertinence des approches proposées. / The internet has completely transformed the way how we communicate (access toinformation). Its evolution was marked by strong growth of published services which has been accompanied by a large explosion in the number of users and a diversity oftheir profiles and their contexts.The work presented in this thesis deal with the adaptive optimization of Web services queries to user needs. This problem is to select a service or a combination of relevant services from a collection of candidates able to perform a required task. These candidate services must meet the requirements requested by the user, the selection makes his/herchoice from non-functional criteria. In our approach, non-functional criteria considered are all associated with preferences of service requester. A significant interest is therefore carried to the user who is at the core of the selection system. This selection is generally considered a complex task because of the diversity of profile and context of the service,which it is performed.Our study focuses mainly on the analysis of different service selection approaches.We especially highlight their contribution to solving the problems inherent in selecting the best services in order to meet the non-functional parameters of the request. Second, our interest has focused on modeling the specification of supply and demand for services, their context and profile as well as the two families preferences : explicit and implicit. Finally, we propose a novel optimization approach that integrates a query reformulation strategy by introducing implicit preferences based on the fuzzy inference process. The idea is to combine the two families of preferences required by the user with consideration of profiles and contexts of services and the user simultaneously. The application of fuzzy set theory in the optimization of preference query of customers by integrating reasoning module on information related to the user leads of great interest in improving the quality of results. We present at the end a set of experiments to demonstrate the validity and relevance of the proposed approach.

L’apprentissage mobile est devenu un sujet d’intérêt car il implique de nombreux domaines de recherche concernant les contextes d’usages et de technologie complexes. En effet, ce type de formation a été reconnu pour sa capacité à motiver les apprenants car ils peuvent construire leurs propres connaissances en collaborant avec les autres. Dans ce contexte, l’orchestration des scénarios d'apprentissage mobile permet la gestion en temps réel et la contextualisation des activités à réaliser mais ceci engendre des coûts importants d’organisation. En outre, cette organisation réalisée par l'instructeur est peu adaptée aux méthodes d’apprentissage employées pendant la sortie pédagogique car l’apprenant doit pouvoir garder une certaine maîtrise de ses choix et de son parcours. Dans cette thèse, nous présentons un nouveau style de recommandation pour faire une orchestration dynamique des activités d’apprentissage en fonction de la localisation des apprenants et de l’historique de la visite. Cette technique s’appuie sur un filtrage collaboratif exploitant l’activité antérieure des apprenants mais en prenant en compte les contraintes pédagogiques et la localisation. Notre approche s’inspire du mode de fonctionnement de l’intelligence en essaim (algorithme ACO) pour l’implémentation de notre système de recommandation des POIs. Outre les simulations qui ont permis de comparer les différentes variantes de recommandations, la validation de notre système SAMSSP passe par l’expérimentation de nos deux prototypes de visite de campus. / Mobile learning has become a topic of interest because it involves many areas of research concerning usage contexts and complex technology. Indeed, mobile learning is has been recognized for its ability to motivate learners because they can construct their own knowledge by collaborating with others. In this context, the orchestration of mobile learning allows real-time management and contextualization of activities to do but this results in significant costs of organization. In addition, centralized orchestration is not adapted to the context of our mobile scenario because the learner must be able to keep some control over their choices of learning.In this thesis, we present a new style of recommendation for a dynamic orchestration of learning activities based on the location of the learners and the history of the visit. This technique is based on a collaborative filtering that exploits prior activity of the learners and that respects the educational and location constraints. Our approach is based on the mode of operation of the Swarm Intelligence (ACO algorithm) for the implementation of our system of recommendation. Besides the simulations that are used to compare the different variants of recommendations, the validation of the SAMSSP system goes through the experimentation of the two prototypes of campus visit.

Il existe de nombreuses approches développées par la communauté Implicit Computational Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution des algorithmes. Dans cette thèse, nous nous intéressons plus particulièrement au contrôle des ressources à l'aide d'interprétations sémantiques. <br />Après avoir rappelé brièvement la notion de quasi-interprétation ainsi que les différentes propriétés et caractérisations qui en découlent, nous présentons les différentes avancées obtenues dans l'étude de cet outil : nous étudions le problème de la synthèse qui consiste à trouver une quasi-interprétation pour un programme donné, puis, nous abordons la question de la modularité des quasi-interprétations. La modularité permet de diminuer la complexité de la procédure de synthèse et de capturer un plus grand nombre d'algorithmes. Après avoir mentionné différentes extensions des quasi-interprétations à des langages de programmation réactif, bytecode ou d'ordre supérieur, nous introduisons la sup-interprétation. Cette notion généralise la quasi-interprétation et est utilisée dans des critères de contrôle des ressources afin d'étudier la complexité d'un plus grand nombre d'algorithmes dont des algorithmes sur des données infinies ou des algorithmes de type diviser pour régner. Nous combinons cette notion à différents critères de terminaison comme les ordres RPO, les paires de dépendance ou le size-change principle et nous la comparons à la notion de quasi-interprétation. En outre, après avoir caractérisé des petites classes de complexité parallèles, nous donnons quelques heuristiques permettant de synthétiser des sup-interprétations sans la propriété sous-terme, c'est à dire des sup-interprétations qui ne sont pas des quasi-interprétations. Enfin, dans un dernier chapitre, nous adaptons les sup-interprétations à des langages orientés-objet, obtenant ainsi différents critères pour contrôler les ressources d'un programme objet et de ses méthodes.

Lidée selon laquelle la mémoire déclarative à long terme celle qui nous permet dencoder et de récupérer sur un mode « déclaratif » des connaissances et des souvenirs acquis par le passé renvoie à deux réalités fondamentalement différentes nest pas neuve. Il y a plus de trente ans, en effet, Tulving (1972)proposait de distinguer la mémoire sémantique de la mémoire épisodique. Cette distinction est toujours admise aujourdhui et constitue une référence pour les pratiques dévaluation en neuropsychologie. Non seulement elle fournit une structure pour lanalyse clinique des troubles de la mémoire, mais elle sert également de cadre théorique pour la compréhension du syndrome amnésique (Verfaellie, 2000). Les relations quentretiennent ces deux systèmes mnésiques ainsi que les réseaux neuronaux qui les sous-tendent restent cependant encore lobjet de débats. De plus, les mécanismes impliqués dans lacquisition de nouvelles connaissances sémantiques sont peu connus. Bien que plusieurs études suggèrent que lapprentissage de nouvelles informations sémantiques dépend de mécanismes implicites (par ex., Ashby & Gott, 1988; Ashby & Maddox, 1990, 1992, Ashby, Alfonson-Reese, Turken, & Waldron, 1998; Hinton, 1981) dautres suggèrent que les mécanismes impliqués pourraient être à la fois implicite et explicites (par ex., Gopnik & Meltzoff, 1997) ou encore uniquement explicites (OConnor, Cree, & McRae, in press). En fait, limplication des mécanismes explicites et implicites pourrait dépendre du type de connaissances sémantiques à apprendre : lacquisition de labels pourrait dépendre de mécanismes plus explicites tandis que lapprentissage de catégories ou des caractéristiques de celles-ci pourrait dépendre de mécanismes plus implicites (Pitel et al., 2009). Dans cette perspective, si les mécanismes dapprentissage implicite interviennent dans lacquisition de connaissances sémantiques, il apparaît intéressant de déterminer leur rôle et les relations quentretiennent lacquisition de connaissances sémantiques et le domaine de lapprentissage implicite. Au plan théorique, cette mise en relation permettrait une meilleure compréhension du rôle joué par les processus dapprentissage implicite dans larchitecture cognitive ; par ailleurs, outre les répercussions que lon pourrait en attendre sur le plan des méthodes pédagogiques, une meilleure compréhension du rôle joué par les mécanismes dapprentissage implicite dans lapprentissage de nouvelles connaissances sémantiques devrait conduire au développement de pratiques de revalidation plus adaptées aux capacités de mémoire préservées ou résiduelles présentées par certains patients amnésiques. Dans ce travail, nous commencerons par développer les principaux modèles de la mémoire qui permettront de situer le système sémantique par rapport aux autres systèmes mnésiques. Nous développerons ensuite les modèles plus spécifiques de la mémoire sémantique qui nous aideront à mieux comprendre comment les connaissances sémantiques sont organisées et comment de nouveaux apprentissages peuvent survenir. Enfin, nous mettrons en évidence les éléments qui permettent de penser que les mécanismes dapprentissage implicite sont directement impliqués dans lacquisition de nouvelles connaissances sémantiques.

Mémoire d'orthophonie : Médecine : Nantes : 2008. / Bibliogr.

Mémoire d'orthophonie : Médecine : Nancy 1 : 2009. / Titre provenant de l'écran-titre. Bibliogr.

Avec la montée de la technologie et la facilité d'accès à Internet, les utilisateurs sont submergés par un large éventail de choix disponibles et une quantité considérable d'informations [6]. Il devient nécessaire d'avoir accès à des outils et des techniques efficaces pour filtrer les données et de les rendre utilisables pour des opérations de tous les jours. À cette fin, des systèmes de recommandations, qui ont fait l'objet de recherche active et de développement au cours des 15 dernières années, sont maintenant capables de fournir aux utilisateurs des choix [51] sur ce qu'ils aimeraient lire, acheter, regarder, manger, etc. La problématique étudiée dans ce mémoire est l'utilisation d'informations implicites pour construire des systèmes de recommandations en utilisant une approche par filtrage collaboratif. Beaucoup de travaux ont été faits sur l'utilisation de filtrage collaboratif à l'aide d'informations explicites telles que les cotes [48], [43], [19], [33]. Cependant, les techniques développées pour les systèmes de recommandations comprenant des articles sans informations explicites restent rudimentaires. Le plus grand défi vis-à-vis les systèmes de recommandations à informations implicites est l'absence de rétroaction de la part de l'utilisateur si nous n'utilisons pas un expert comme par exemple, un vendeur. En outre, comme il est mentionné dans [51], lorsque qu'un système avec cote existe, la proportion des éléments évalués est souvent inférieure à 1%. Par conséquent, même pour les systèmes de recommandations qui utilisent des informations explicites telles que les cotes, il est crucial d'avoir une méthode qui tire profit des informations implicites. Les progrès dans ce domaine sont timides depuis les dernières années. Il y a eu des études sur les recommandations par rapport aux médias sociaux en se basant sur des utilisateurs et des mots-clés [18], la modélisation probabiliste [30] et la modélisation sémantique basée sur la recommandation de nouvelles [29]. S'il est vrai que ces techniques utilisent des informations implicites, seuls quelques-uns [40], [23] abordent la question de recommander des produits d'un magasin sans l'utilisation d'informations explicites. Ces méthodes nécessitent généralement la disponibilité d'un expert afin de prendre la rétroaction d'un client ou le réglage de nombreux paramètres. Dans notre étude, nous avons réussi à élaborer un algorithme permettant de soumettre des recommandations personnelles à un utilisateur en utilisant seulement des informations implicites. Notre technique, lorsque comparée à un système semblable qui utiliserait des cotes comme informations explicites, génère de très bons résultats. De plus, lorsque la méthode développée est comparée à d'autres systèmes utilisant de l'information implicite, elle offr des résultats qui sont comparables et parfois supérieurs à ceux-ci.

Ce travail est consacré à l’étude contrastive du fonctionnement de l’anaphore résomptive à tête nominale (ARN) en allemand et en français. Il s’appuie principalement sur un corpus de textes journalistiques. Le journaliste est un scripteur qui, par le biais de son article, désire informer son lecteur, voire le faire adhérer à sa vision du monde. Mais il est soumis à des contraintes de place. L’ARN est un moyen linguistique de choix, car elle permet un compactage par abstraction et par généralisation des informations sous la forme d’un concept introduit par le nom-tête de l’ARN. Il en ressort que les constituants de l’ARN que sont le déterminatif, le nom-tête et son expansion, et l’ARN en soi jouent un rôle non négligeable au sein de l’énoncé et du paragraphe. Afin de rendre compte de la dimension cognitive du phénomène anaphorique, le recours à la notion de saillance permet de montrer le rôle central des ARN dans la cohérence textuelle. Ce type d’expressions anaphoriques joue en outre un rôle au niveau textuel et au niveau argumentatif. L’ARN est en effet une balise saillante au service de l’argumentation. Elle permet de structurer et d’organiser le discours, ainsi que de participer à la stratégie argumentative du journaliste. / The purpose of this work is to develop a contrastive study of nominal anaphoric encapsulation in German and in French. It is mainly based on a corpus of newspaper articles. Thanks to their articles, journalists want to inform their readers, and sometimes make them share their own world view. But journalists are forced to do with limited space. Nominal anaphoric encapsulation is a perfect linguistic tool because it allows concision through the abstraction and generalization of information – a concept being introduced by the head noun of the nominal anaphoric encapsulation. Therefore, constituent parts of nominal anaphoric encapsulation (determinative, head noun and its expansion) and nominal anaphoric encapsulation itself play an important role in the clause and in the paragraph. In order to analyse the cognitive dimension of the anaphoric phenomenon, we use the notion of saliency to show the central role of nominal anaphoric encapsulation in textual coherence. Furthermore, such anaphoric expressions play a role at the textual and argumentative levels. Nominal anaphoric encapsulation is actually a salient buoy supporting the argumentation. It serves to structure and organize the speech, and to participate in the argumentative strategy of journalists.