Nous proposons dans cette thèse la méthode STREE de construction d'arbres de décision avec des données symboliques. Ce type de données permet de caractériser des individus de niveau supérieur qui peuvent être des classes ou catégories d’individus ou des concepts au sens des treillis de Galois. Les valeurs des variables, appelées variables symboliques, peuvent être des ensembles, des intervalles ou des histogrammes. Le critère de partitionnement récursif est une combinaison d'un critère par rapport aux variables explicatives et d'un critère par rapport à la variable à expliquer. Le premier critère est la variation de la variance des variables explicatives. Quand il est appliqué seul, STREE correspond à une méthode descendante de classification non supervisée. Le second critère permet de construire un arbre de décision. Il s'agit de la variation de l'indice de Gini si la variable à expliquer est nominale et de la variation de la variance si la variable à expliquer est continue ou bien est une variable symbolique. Les données classiques sont un cas particulier de données symboliques sur lesquelles STREE peut aussi obtenir de bons résultats. Il en ressort de bonnes performances sur plusieurs jeux de données UCI par rapport à des méthodes classiques de Data Mining telles que CART, C4.5, Naive Bayes, KNN, MLP et SVM. STREE permet également la construction d'ensembles d'arbres de décision symboliques soit par bagging soit par boosting. L'utilisation de tels ensembles a pour but de pallier les insuffisances liées aux arbres de décisions eux-mêmes et d'obtenir une décision finale qui est en principe plus fiable que celle obtenue à partir d'un arbre unique. / In this thesis, we propose the STREE methodology for the construction of decision trees with symbolic data. This data type allows us to characterize individuals of higher levels which may be classes or categories of individuals or concepts within the meaning of the Galois lattice. The values of the variables, called symbolic variables, may be sets, intervals or histograms. The criterion of recursive partitioning is a combination of a criterion related to the explanatory variables and a criterion related to the dependant variable. The first criterion is the variation of the variance of the explanatory variables. When it is applied alone, STREE acts as a top-down clustering methodology. The second criterion enables us to build a decision tree. This criteron is expressed as the variation of the Gini index if the dependant variable is nominal, and as the variation of the variance if thedependant variable is continuous or is a symbolic variable. Conventional data are a special case of symbolic data on which STREE can also get good results. It has performed well on multiple sets of UCI data compared to conventional methodologies of Data Mining such as CART, C4.5, Naive Bayes, KNN, MLP and SVM. The STREE methodology also allows for the construction of ensembles of symbolic decision trees either by bagging or by boosting. The use of such ensembles is designed to overcome shortcomings related to the decisions trees themselves and to obtain a finaldecision that is in principle more reliable than that obtained from a single tree.

Cette thèse est consacrée à l'étude des décalages, ou encore systèmes dynamiques symboliques, définis sur certains monoïdes finiment présentés, $Z^d$ d'une part et les arbres d'autre part. Le principal résultat concernant les décalages multidimensionnels établit que tout décalage effectif de dimension d est obtenu par facteur et sous-action projective d'un décalage de type fini de dimension d+1. De ce résultat nous déduisons que les décalages S-adiques multidimensionnels donnés par une suite effective de substitutions sont sofiques. Sur les décalages d'arbres nous montrons un théorème de décomposition, qui permet d'écrire une conjugaison entre deux décalages d'arbres quelconques comme une suite finie d'opérations élémentaires, les fusions entrantes et les éclatements entrants. De ce théorème, associé à la commutation des fusions entrantes, nous déduisons la décidabilité du problème de conjugaison entre deux décalages d'arbres de type fini. Nous nous intéressons ensuite à la classe des décalages d'arbres sofiques, qui sont exactement ceux reconnus par des automates d'arbres montants dans lesquels tous les états sont à la fois initiaux et finaux. Nous montrons l'existence d'un unique automate d'arbres déterministe, réduit, irréductible et synchronisé qui reconnaît un décalage d'arbres sofique. Enfin nous montrons que l'appartenance à la sous-classe des décalages d'arbres AFT est décidable / This thesis is devoted to the study of subshifts, or symbolic dynamical systems, defined on some finitely presented monoids like $Z^d$ or the infinite binary tree. The main result concerning multidimensional subshifts establishes that any effective subshift of dimension d can be obtained by factor map and projective subaction of a subshift of finite type of dimension d+1. This result has many applications, and in particular we prove that multidimensional effective S-adic subshifts are sofic. On tree-shifts we prove a decompositiontheorem, which implies that the conjugacy problem between two tree-shifts of finite type is decidable. We then investigate the class of sofic tree-shifts that are exactly those recocognized by tree automata. We prove that any sofic tree-shift has a unique deterministic, reduced, irreducible and synchronized tree automaton that recognized it. Finally we prove that it is decidable wether a sofic tree-shift belong to the sub-class of AFT tree-shifts

L'ingénierie orientée services est un nouveau paradigme pour développer des logiciels distribués et collaboratifs. Un tel logiciel se compose de plusieurs entités, appelés services, chacun d'entre eux étant par exemple une application Web, un service Web, ou même un humain. Les services peuvent être développés indépendamment et sont composés pour atteindre quelques exigences. Les chorégraphies de service définissent ces exigences avec une perspective globale, basée sur les interactions entre des participants qui sont implémentés en tant que services. Cette thèse vise à formaliser des problèmes et tente d'élaborer un environnement intégré avec lequel les chorégraphies de services peuvent être développés correctement pour les deux types d'approches de développement: l'approche descendante et l'approche ascendante. Elle consiste à analyser la relation entre une spécification de chorégraphie et une implémentation de la chorégraphie au niveau du modèle et aussi au niveau de l'implémentation réelle. Particulièrement, il s'agit de la composition/décomposition des services, la vérification, et le test de l'implémentation de chorégraphie. Le premier point-clé de notre environnement intégré est de représenter le passage de valeurs entre les services en utilisant la technique symbolique et un solveur SMT. Cette technique nous permet de réduire les faux négatifs et de contourner le problème d'explosion combinatoire de l'espace d'états, ces problèmes sont durs à l'abstraction et à l'énumération des valeurs pour les approches existantes basées données. Le second point-clé est le test passif boîte noire de l'implémentation de chorégraphie. Il ne nécessite pas d'accéder au code source, ni de rendre indisponible l'implémentation pendant le processus de test. Notre environnement intégré est mis en œuvre dans nos outils qui sont disponibles en téléchargement ou à utiliser en ligne à l’adresse http://schora.lri.fr. / Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several entities abstracted as services, each of them being for example a Web application, a Web service, or even a human. The services can be developed independently and are composed to achieve common requirements through interactions among them. Service choreographies define such requirements from a global perspective, based on interactions among a set of participants. This thesis aims to formalize the problems and attempts to develop a framework by which service choreographies can be developed correctly for both top-down and bottom-up approaches. It consists in analyzing the relation between a choreography specification and a choreography implementation at both model level and real implementation level. Particularly, it concerns the composition/decomposition service design, the verification, and the testing of choreography implementation. The first key point of our framework is to support value-passing among services by using symbolic technique and SMT solver. It overcomes false negatives or state space explosion issues due by abstracting or limiting the data domain of value-passing in existing approaches. The second key point is the black-box passive testing of choreography implementation. It does not require neither to access to source codes nor to make the implementation unavailable during the testing process. Our framework is fully implemented in our toolchains, which can be downloaded or used online at address: http://schora.lri.fr.

L'enjeu de cette recherche ethnologique consiste à saisir quelques traits et expressions de la socialité vietnamienne à travers l'étude de la circulation non marchande dans un village au Nord du Vietnam. La première partie vise à définir les manifestations concrètes, la nature et le fonctionnement de la circulation non marchande telle qu'elle se déploie dans le village. La deuxième partie s'attache à analyser les significations et les fonctions sociales de ce système de prestations symboliques. La description ethnographique de ce système montre qu'il s'affirme comme un dispositif de transferts ritualisés, selon lequel les agents sociaux donnent, lors d'occasions définies, à celui qui en a besoin au moment où il en a besoin. Ce système de dons cérémoniels est fondé sur l'entraide, la réciprocité des gestes et l'entretien de dettes morales. L'examen des rapports sociaux en jeu dans la circulation des dons permet de dresser une carte de l'organisation des relations sociales selon les degrés de proximité relationnelle. Cette étude se termine sur la fonction sociale de ces prestations réciproques, qui consiste à inaugurer et à perpétuer des relations tình cảm, c'est-à-dire des relations chargées d'affection spontanée et morale à la fois. En tant que dons d'alliance qui participent à réguler les relations personnelles, nous estimons que les transferts cérémoniels incarnent l'« instant fugitif où la société prend » (Mauss, 1999 : 275) en milieu rural au Nord du Vietnam. La conclusion tente une généralisation du propos à travers la description du giao lưu, qui consiste à se rencontrer et à échanger en vue d'actualiser, de sceller et de renforcer des relations sociales. / The following ethnological research aims at grasping a few characteristic features of the Vietnamese principles of sociality, through the study of non-commercial transactions taking place in a village located in the Northern Vietnam. The first part of the doctoral thesis lists the forms, the practices and the nature of non-commercial transactions occurring in the village. The second part analyses the social meanings and functions of those symbolics transactions. The ethnographic description of the system shows that most of the transactions occurring are ritualized : on defined occasions, villagers give a gift to someone else in need and at the moment when they need it. Those non-commercial transactions can be defined as a system of ceremonial gif-giving based on mutual aid, gesture reciprocity, and moral debt. The study of the connections between the gifts given and the social relations involved in the transactions allow us to map out the organization of the social relations according to the degrees of closeness. This study ends with the analysis of the social function entailed by mutual gifts. Their role is mainly to create and strengthen tình cảm, relationships, that is to say relationships filled with spontaneous and moral feelings. Because those « bonding gifts » participate to the regulation of the personnel relationship in the village, we can consider that they embody that «fleeting moment when society sets » (Mauss, 1999: 275) in rural area in Northern Vietnam.

La rencontre du théâtre et du carnaval est aussi ancienne que le carnaval lui-même. D’une part, les cérémonies et les comportements collectifs possèdent, en propre, une dimension spectaculaire ; d’autre part, les jeux dramatiques font partie intégrante du rituel. Dans la France d’Ancien Régime, les réjouissances du carnaval sont un temps fort du calendrier, qui occupe toute la société pendant plusieurs semaines, des Rois au Carême. Les comédies créées pendant cette période, au Théâtre-Italien, à la Comédie-Française, à la Foire Saint-Germain, se rattachent explicitement à la coutume et s’insèrent dans son cycle cérémoniel. Plus largement, tirant parti de cette proximité calendaire, les dramaturges recourent au langage symbolique du carnaval, à celui du charivari, pour inventer un système de représentation du réel qui en offre un mode d’intelligibilité spécifique. Une langue pleine d’équivoques scabreuses et de saillies ordurières, des lazzis outrés et obscènes, un univers fantaisiste et bouffon, des personnages extravagants et burlesques : les modèles comiques qui se développent, de 1680 à 1720, sont à rattacher à la culture carnavalesque et à son imaginaire mythico-rituel. Les croyances et les pratiques symboliques innervent la création dramatique et participent à la construction de son sens, en lien étroit avec le contexte historique dans lequel s’inscrivent les œuvres. Il convient de restituer à ce théâtre la dimension anthropologique qui est la sienne, si l’on veut accéder à sa raison esthétique. La comédie de mœurs offre alors un nouveau visage : représentant la société contemporaine comme un monde à l’envers sur lequel règnent des souverains parodiques, elle revêt des enjeux idéologiques et possède une portée politique. Parallèlement, c’est aussi le concept critique de « carnavalesque » qui apparaît sous un jour inédit. / The meeting of theatre and carnival is as old as carnival itself. On the one hand, ceremonies and collective behaviour have a spectacular dimension in themselves; on the other hand, dramatic performance is an integral part of the ritual. In the early modern France, celebrating carnival was a key moment of the year, and kept the whole society busy for several weeks from Epiphany (or Twelfth Night) to Lent. The comedies created during that period at the Théâtre-Italien, at the Comédie-Française or at the Saint-Germain Fair, are explicitly related to the custom and fit into its ceremonial cycle. More generally, playwrights took advantage of the calendar proximity and used the symbolic language of carnival, that of charivari, to invent a system of representation of reality that offers a specific mode of intelligibility. A language full of lewd ambiguities and bawdy sallies, offensive, obscene lazzi, a fanciful, farcical universe, extravagant and burlesque characters: the comic models that developed, from 1680 to 1720, are to be related to the carnivalesque culture and to its mythical and ritual imaginary world. Symbolic beliefs and practices pervade the dramatic creation of that time and partake in the construction of its meaning, in close connection with the historical context within which the works are framed. It is necessary to restore their anthropological dimension to these plays to grasp their aesthetic purpose. The comedy of morals after Molière then offers a new face: as the plays represent the contemporary society as a world that has been turned upside down and that is ruled by parodic monarchs, they tackle ideological issues and have a political significance. It is also the critical concept of "carnivalesque" that appears in a new light.

Le calcul rigoureux vise à produire des représentations certifiées pour les solutions de nombreux problèmes, notamment en analyse fonctionnelle, comme des équations différentielles ou des problèmes de contrôle optimal. En effet, certains domaines particuliers comme l’ingénierie des systèmes critiques ou les preuves mathématiques assistées par ordinateur ont des exigences de fiabilité supérieures à ce qui peut résulter de l’utilisation d’algorithmes relevant de l’analyse numérique classique.Notre objectif consiste à développer des algorithmes à la fois efficaces et validés / certifiés, dans le sens où toutes les erreurs numériques (d’arrondi ou de méthode) sont prises en compte. En particulier, nous recourons aux approximations polynomiales rigoureuses combinées avec des méthodes de validation a posteriori à base de points fixes. Ces techniques sont implémentées au sein d’une bibliothèque écrite en C, ainsi que dans un développement de preuve formelle en Coq, offrant ainsi le plus haut niveau de confiance, c’est-à-dire une implémentation certifiée.Après avoir présenté les opérations élémentaires sur les approximations polynomiales rigoureuses, nous détaillons un nouvel algorithme de validation pour des approximations sous forme de séries de Tchebychev tronquées de fonctions D-finies, qui sont les solutions d’équations différentielles ordinaires linéaires à coefficients polynomiaux. Nous fournissons une analyse fine de sa complexité, ainsi qu’une extension aux équations différentielles ordinaires linéaires générales et aux systèmes couplés de telles équations. Ces méthodes dites symboliques-numériques sont ensuite utilisées dans plusieurs problèmes reliés : une nouvelle borne sur le nombre de Hilbert pour les systèmes quartiques, la validation de trajectoires de satellites lors du problème du rendez-vous linéarisé, le calcul de polynômes d’approximation optimisés pour l’erreur d’évaluation, et enfin la reconstruction du support et de la densité pour certaines mesures, grâce à des techniques algébriques. / Rigorous numerics aims at providing certified representations for solutions of various problems, notably in functional analysis, e.g., differential equations or optimal control. Indeed, specific domains like safety-critical engineering or computer-assisted proofs in mathematics have stronger reliability requirements than what can be achieved by resorting to standard numerical analysis algorithms. Our goal consists in developing efficient algorithms, which are also validated / certified in the sense that all numerical errors (method or rounding) are taken into account. Specifically, a central contribution is to combine polynomial approximations with a posteriori fixed-point validation techniques. A C code library for rigorous polynomial approximations (RPAs) is provided, together with a Coq formal proof development, offering the highest confidence at the implementation level.After providing basic operations on RPAs, we focus on a new validation algorithm for Chebyshev basis solutions of D-finite functions, i.e., solutions of linear ordinary differential equations (LODEs) with polynomial coefficients. We give an in-depth complexity analysis, as well as an extension to general LODEs, and even coupled systems of them. These symbolic-numeric methods are finally used in several related problems: a new lower bound on the Hilbert number for quartic systems; a validation of trajectories arising in the linearized spacecraft rendezvous problem; the design of evaluation error efficient polynomial approximations; and the support and density reconstruction of particular measures using algebraic techniques.

Le sujet principal de notre travail d'habilitation concerne l'extension de l'approche systémique, initialement implantée dans le Système de Recherche d'Information NOMAD, qui a fait l'objet de notre travail de thèse, pour mettre en place un nouveau paradigme général d'analyse de données basé sur les points de vue multiples, paradigme que nous avons baptisé MVDA (Multi-View Data Analysis). Ce paradigme couvre à la fois le domaine de l'analyse de données et celui de la fouille de données. Selon celui-ci, chaque analyse de données est considérée comme une vue différente sur les données. Le croisement entre les vues s'opère par l'intermédiaire d'un réseau bayésien construit, de manière non supervisée, à partir des données ou des propriétés partagées entre ces dernières. Le paradigme MDVA repose également sur l'exploitation de méthodes spécifiques de visualisation, comme la visualisation topographique ou la visualisation hyperbolique. La mise en place de nouveaux estimateurs de qualité de type Rappel/Précision non supervisés basés sur l'analyse de la distribution des propriétés associées aux classes, et qui à la fois sont indépendants des méthodes de classification et des changements relatifs à leur mode opératoire (initialisation, distances utilisées ...), nous a permis de démontrer objectivement la supériorité de ce paradigme par rapport à l'approche globale, classique en analyse de données. Elle nous a également permis de comparer et d'intégrer dans le paradigme MVDA des méthodes de classification non supervisées (clustering) neuronales qui sont plus particulièrement adaptées à la gestion des données ultra-éparses et fortement multidimensionnelles, à l'image des données documentaires, ainsi que d'optimiser le mode opératoire de telles méthodes. Notre démarche a par ailleurs impliqué de développer la cohabitation entre le raisonnement neuronal et le raisonnement symbolique, ou entre des modèles de nature différente, de manière à couvrir l'ensemble des fonctions de la recherche et de l'analyse de l'information et à éliminer, sinon à réduire, les défauts inhérents à chacun des types d'approche. A travers de nombreuses applications, notamment dans le domaine de l'évaluation des sciences, nous montrons comment l'exploitation d'un tel paradigme peut permettre de résoudre des problèmes complexes d'analyse de données, comme ceux liés l'analyse diachronique à grande échelle des données textuelles polythématiques. Nous montrons également comment l'ensemble des outils développés dans le cadre de ce paradigme nous ont permis mettre en place de nouvelles méthodes très robustes et très performantes pour la classification supervisée et pour le clustering incrémental. Nous montrons finalement comment nous envisageons d'étendre leur application à d'autres domaines très porteurs, comme ceux du traitement automatique des langues ou de la bioinformatique.

Le calcul scientifique est souvent associé au calcul numérique. Pourtant dans de nombreuses disciplines scientifiques il est nécessaire d'aller au-delà du calcul approché : nécessité de certification des résultats, calculs dans des structures mathématiques discrètes, instabilité des algorithmique numériques. Le calcul exact s'attache donc à donner des résultats exacts ou certifiés. Cependant, la principale obstruction à l'utilisation du Calcul Formel est bien souvent les faibles performances des systèmes commerciaux y compris pour les opérations fondamentales comme l'algèbre linéaire. L'objectif de ces travaux est donc de réduire l'écart entre le calcul exact et le calcul numérique, tant sur le plan algorithmique, que sur le plan logiciel. Les défis sont multiples : développer une arithmétique efficace dans les structures discrètes ; concevoir des algorithmes ayant un terme dominant de complexité optimal même en tenant compte de la croissance des données intermédiaires ; transcrire ces algorithmes dans des logiciels combinant efficacité pérenne, interfaçage et généricité.

No description available.

Le développement simultané du cinéma et de la psychanalyse a donné lieu à de nombreuses études confrontant et associant ces deux sphères. Cette thèse interroge plus particulièrement le transfert comme phénomène se manifestant dans la rencontre entre le spectateur et le film, et s’appuie sur les théories de psychanalyse jungienne. À partir de la prise en compte d’un cinéma analytique, associant réflexivité et thématique psychologique, l’hypothèse émise est celle de la présence de « psychés-films », facilitant l’étude du phénomène de transfert dans l’expérience spectatorielle. À travers leur construction spatiale et temporelle et par leur constitution figurale, ces « psychés-films » s’apparentent à des psychés projetées à l’écran et visuellement accessibles. Dans son acception jungienne, le transfert est un phénomène transpersonnel aux conséquences psychiques et physiques et qui engage deux individus dont les inconscients communiquent entre eux. En mettant en évidence les spécificités d’un tel phénomène au cinéma, cette thèse interroge la possibilité d’envisager un inconscient propre au film, notamment à l’aide de théories d’esthétique du cinéma, et les conséquences éventuelles, dans le corps et dans la psyché, d’une rencontre transférentielle entre le spectateur et le film. Afin d’étudier la possibilité d’un transfert dans l’expérience spectatorielle, cinq films interprétables en tant que « psychés-films » sont analysés sous un angle jungien : Persona et L’Heure du loup, réalisés par Ingmar Bergman et Antichrist, Melancholia et Nymphomaniac, réalisés par Lars von Trier. Pour ce faire, cette recherche s’effectue suivant des perspectives psychanalytique (Jung, Ferenczi, Freud, Abraham et Török), esthétique (Brenez, Lefebvre, Vancheri) et philosophique (Damasio, Derrida), et par la prise en compte d’un spectateur idéal. / The simultaneous development of cinema and psychoanalysis led to many studies confronting and associating these two fields. This thesis examines more specifically transference as a phenomenon arising in the encounter between spectator and film, and is based on Jungian psychoanalytic theories. Considering an analytic cinema, which associates reflexivity and psychological themes, I hypothesised the existence of “psyche-films”, enabling the study of the psychoanalytic transference within spectator’s experience. Through their spatial and temporal constructions and their figural composition, these “psyche-films” are akin to psyches projected on screen and visually accessible. According to Jung, transference is a transpersonal phenomenon with psychological and physical consequences, involving two individuals whose unconscious communicate together. Bringing out the characteristics of such a phenomenon, this thesis explores the possibility of considering the film’s own unconscious, in particular with the help of film aesthetics theories, and questions the consequences, inside body and psyche, that might be caused by the transferential encounter between spectator and film. In order to study the possibility of such a transference in the spectator’s experience, five films regarded as “psyche-films” are analysed using a Jungian perspective: Persona and Hour of the Wolf, directed by Ingmar Bergman and Antichrist, Melancholia and Nymphomaniac, directed by Lars von Trier. To this end, this research is performed using psychoanalytic (Jung, Ferenczi, Freud, Abraham and Török), aesthetic (Brenez, Lefebvre, Vancheri) and philosophical (Damasio, Derrida) perspectives, and considering an ideal spectator.