L'extraction de connaissances dans les bases de données, également appelé data mining, désigne le processus non trivial permettant d'extraire des informations et des connaissances utiles qui sont enfouies dans les bases de données, les entrepôts de données (data warehouse) ou autres sources de données. Les recherches en ce domaine sont motivées par la croissance très rapide des volumes de données stockées et le potentiel de telles informations pour l'aide à la décision dans de nombreux domaines. Dans ce mémoire, nous traitons du problème de la génération efficace des règles d'association. Une règle d'association est une implication conditionnelle entre ensembles d'attributs binaires appelés items. Dans l'ensemble des travaux existants, ce problème est décomposé en deux sous-problèmes qui sont la recherche des ensembles fréquents d'items et la génération des règles d'association à partir de ces ensembles. Le premier sous-problème a une complexité exponentielle dans la taille de la relation en entrée et nécessite de parcourir à plusieurs reprises la totalité de la relation. L'extraction des ensembles fréquents d'items constitue donc la phase la plus coûteuse en termes de temps d'exécution et d'espace mémoire pour les algorithmes d'extraction des règles d'association. Nous proposons une nouvelle sémantique pour le problème de l'extraction des règles d'association basée sur la connexion de Galois d'une relation binaire finie. Utilisant cette sémantique, nous démontrons que les ensembles fermés fréquents d'items constituent une base, c'est à dire un ensemble générateur non redondant, pour les ensembles fréquents d'items et les règles d'association. Nous proposons deux nouveaux algorithmes, nommés Close et A-Close, permettant l'extraction des ensembles fermés fréquents d'items, à partir desquels les ensembles fréquents d'items et les règles d'association peuvent être dérivés sans accéder au jeu de données. Les résultats expérimentaux démontrent que ces algorithmes permettent de réduire les temps d'extraction des règles d'association dans le cas de jeux de données constitués de données denses ou corrélées. Utilisant la sémantique définie, nous proposons d'améliorer la pertinence et l'utilité des règles d'association extraites en limitant l'extraction à des bases pour les règles d'association. Nous adaptons pour cela les bases pour les règles d'implication définies en analyse de données et nous définissons de nouvelles bases constituées des règles non redondantes d'antécédents minimaux et de conséquences maximales à partir des ensembles fermés fréquents. Nous proposons également des algorithmes efficaces de génération de ces bases.

Les travaux réalisés au cours de cette thèse se décomposent en deux thèmes principaux, eux-même subdivisés enplusieurs projets. D'une part, des travaux ont été menés concernant l'analyse et le développement de fonctionnelles " doubles hybrides ". Une analyse des fonctionnelles " doubles hybrides " à séparation linéaire le long de la connexionadiabatique a été proposée. Une nouvelle fonctionnelle " double hybride " à séparation de portée basée sur uneséparation alternative de l'énergie d'échange et de corrélation, RSDHf, a été développée. D'autre part, des travaux quant au développement de surfaces d'énergie potentielle (SEP) analytiques ont été menés. Un nouveau potentiel analytique a été proposé pour la description de la SEP des systèmes triatomiques. La combinaison de ce potentiel avec un potentiel électrostatique a été utilisé pour le développement de SEP analytiques pour de petits systèmes en interaction faible : H2O***HF, HF2-, Ne***ClF.

Les Technologies de l'Information et de la Communication (TIC) font désormais partie du quotidien de travail de la plupart des salariés. L'activité des cadres, salariés les plus équipés en TIC mobiles par l'employeur, est majoritairement réalisée à partir de la médiation de dispositifs communicationnels. Cet équipement leur octroie de nouvelles possibilités : en particulier celle qui consiste à s'affranchir de la dimension spatio-temporelle en restant connectés en permanence avec le travail, et celle qui autorise une plus large modulation de leur emploi du temps. Face à la reconfiguration de leur activité professionnelle, comment les cadres, salariés résolument autonomes, réagissent-ils ? L'objectif principal de cette recherche doctorale vise à accompagner la verbalisation des pratiques quotidiennes des TIC afin d'appréhender l'enjeu psychosocial de cet équipement et d'identifier les éventuelles ressources pour y pallier. Convoquant une approche croisée entre les Sciences de l'Information et de la Communication et la Psychologie du Travail, nous nous intéressons à l'expérience vécue des cadres quant à la médiation technique de leur activité. La méthodologie utilisée est à la fois qualitative et longitudinale. Privilégiant une approche biographique, des entretiens approfondis agrémentés de la Technique des Incidents Critiques ont été menés auprès d'un échantillon de 62 cadres exerçant leurs fonctions en Aquitaine (T0) ; puis réitérés un an plus tard (T1). Les principaux résultats de nos analyses mettent en évidence : le rôle de médiateur des TIC vis-à-vis des risques psychosociaux au travail ; le déploiement volontaire de stratégies de connexion / déconnexion visant à optimiser non seulement l'usage des TIC mais aussi la qualité de vie des sujets ; le caractère discontinu de l'appropriation des TIC attesté par l'expérience d'événements marquants ; mais encore un effet de réflexivité des pratiques amorcé lors du premier entretien.

La interconexión por medio de redes sociales digitales ha permitido generar conexiones e interacciones entre los jóvenes adultos. En el contexto peruano, las personas han usado Facebook, Instagram y Twitter como herramientas para generar la co-presencia de familiares y amigos. La efectividad de las redes sociales digitales en medio de la crisis de salubridad por el coronavirus, ha posibilitado que los usuarios mantengan una comunicación que simula a la co –presencia. La efectividad se destaca en las posibilidades visuales, auditivas y táctiles que los asemejan a la co –presencia. El uso de redes sociales digitales ha posibilitado que los usuarios puedan generar conductas y emociones positivas en la interacción de estas plataformas. Contradictoriamente, la ausencia de lazos presenciales y el cara a cara, ha desarrollado en los jóvenes adultos emociones negativas que provocan una carga emocional, generan miedos, estrés y angustia. Por lo tanto, este estudio analiza las emociones positivas y negativas de los usuarios en relación a la red social digital Facebook y evalúa cómo estas conexiones se han desarrollado en medio de la pandemia por el coronavirus. La metodología que se desarrollará, será entrevista estructurada a jóvenes adultos que estén trabajando y estudiando, y que hayan generado interconexiones en medio de la pandemia. / The interconnection through digital social networks has allowed to generate connections and interactions between young adults. The effectiveness of digital social networks in the media of the coronavirus health crisis has enabled users to maintain communication that simulates co-presence. The effectiveness is highlighted in the visual, auditory and tactile possibilities that make them similar to co-presence. The use of digital social networks has enabled users to generate positive behaviours and emotions in the interaction of these platforms. Contradictory, the absence of face-to-face and face-to-face ties has developed negative emotions in young adults, which cause an emotional charge, generating fear, stress and anguish. Therefore, this study analyses the positive and negative emotions of users in relation to the digital social network Facebook and assesses how these connections have developed in the midst of the coronavirus pandemic. / Trabajo de investigación

Ce mémoire court a comme objectif d’appliquer le concept de responsabilité politique développé par Iris Marion Young dans Responsibility for Justice, ainsi que son modèle de connexion sociale, au contexte du recyclage des déchets électriques et électroniques. Au premier chapitre, il sera question en un premier temps d’explorer comment Young définit ses concepts et comment ils diffèrent des conceptions plus traditionnelles de la responsabilité. Au chapitre suivant, il s’agira de comprendre à quels problèmes philosophiques Young tente de répondre. Il sera intéressant ici de voir comment Young se distingue de J. Rawls, de comment elle s’inspire d’H. Arendt et comment elle se distance de l’approche nationaliste de D. Miller. Enfin, au dernier chapitre, ce travail termine par une application du modèle de Young au contexte du recyclage des déchets électriques et électroniques. Bien qu’il y ait des similitudes avec l’étude de cas présenté par Young dans Responsibility for Justice, des différences marquées dans les types d’interactions sociales à la source des injustices structurelles illustrent la pertinence d’utiliser le modèle de Young afin d’entamer une réflexion sur les solutions possibles. Ce mémoire court se veut donc être une sorte d’hommage à la pensée de Young qui est toujours d’actualité. / The objective of this short-form master thesis is to put in application the concept of political responsibility and its social connexion model developed by Iris Marion Young in Responsibility for Justice to the context of e-waste. In the first chapter, we will start by exploring how Young define her concepts and how they differ from traditional conceptions of responsibility. In the second chapter, we will see which philosophical questions Young wanted to address with her model. It will be interesting to see how she distinguishes her theory to the one of J. Rawls, how she seeks inspiration in the thoughts of H. Arendt, and how she distances herself from the national conception of responsibility developed by D. Miller. Finally, in the last chapter, this work ends with an application of Young’s social connection model to the context of e-waste. While there are some similarities with the case study presented by Young in Responsibility for Justice, the context of e-waste provides a different insight on the many types of social interactions at the source of structural injustices, and how Young’s theory is useful for a reflection about the possible solutions. This work is a kind of tribute to the thoughts of Young which are still relevant today.

Cette thèse par article comprend quatre articles qui contribuent au domaine de l'apprentissage profond, en particulier à l'accélération de l’apprentissage par le biais de réseaux à faible précision et à l'application de réseaux de neurones profonds au traitement du langage naturel. Dans le premier article, nous étudions un schéma d’entraînement de réseau de neurones qui élimine la plupart des multiplications en virgule flottante. Cette approche consiste à binariser ou à ternariser les poids dans la propagation en avant et à quantifier les états cachés dans la propagation arrière, ce qui convertit les multiplications en changements de signe et en décalages binaires. Les résultats expérimentaux sur des jeux de données de petite à moyenne taille montrent que cette approche produit des performances encore meilleures que l’approche standard de descente de gradient stochastique, ouvrant la voie à un entraînement des réseaux de neurones rapide et efficace au niveau du matériel. Dans le deuxième article, nous avons proposé un mécanisme structuré d’auto-attention d’enchâssement de phrases qui extrait des représentations interprétables de phrases sous forme matricielle. Nous démontrons des améliorations dans 3 tâches différentes: le profilage de l'auteur, la classification des sentiments et l'implication textuelle. Les résultats expérimentaux montrent que notre modèle génère un gain en performance significatif par rapport aux autres méthodes d’enchâssement de phrases dans les 3 tâches. Dans le troisième article, nous proposons un modèle hiérarchique avec graphe de calcul dynamique, pour les données séquentielles, qui apprend à construire un arbre lors de la lecture de la séquence. Le modèle apprend à créer des connexions de saut adaptatives, ce qui facilitent l'apprentissage des dépendances à long terme en construisant des cellules récurrentes de manière récursive. L’entraînement du réseau peut être fait soit par entraînement supervisée en donnant des structures d’arbres dorés, soit par apprentissage par renforcement. Nous proposons des expériences préliminaires dans 3 tâches différentes: une nouvelle tâche d'évaluation de l'expression mathématique (MEE), une tâche bien connue de la logique propositionnelle et des tâches de modélisation du langage. Les résultats expérimentaux montrent le potentiel de l'approche proposée. Dans le quatrième article, nous proposons une nouvelle méthode d’analyse par circonscription utilisant les réseaux de neurones. Le modèle prédit la structure de l'arbre d'analyse en prédisant un scalaire à valeur réelle, soit la distance syntaxique, pour chaque position de division dans la phrase d'entrée. L'ordre des valeurs relatives de ces distances syntaxiques détermine ensuite la structure de l'arbre d'analyse en spécifiant l'ordre dans lequel les points de division seront sélectionnés, en partitionnant l'entrée de manière récursive et descendante. L’approche proposée obtient une performance compétitive sur le jeu de données Penn Treebank et réalise l’état de l’art sur le jeu de données Chinese Treebank. / This thesis by article consists of four articles which contribute to the field of deep learning, specifically in the acceleration of training through low-precision networks, and the application of deep neural networks on natural language processing. In the first article, we investigate a neural network training scheme that eliminates most of the floating-point multiplications. This approach consists of binarizing or ternarizing the weights in the forward propagation and quantizing the hidden states in the backward propagation, which converts multiplications to sign changes and binary shifts. Experimental results on datasets from small to medium size show that this approach result in even better performance than standard stochastic gradient descent training, paving the way to fast, hardware-friendly training of neural networks. In the second article, we proposed a structured self-attentive sentence embedding that extracts interpretable sentence representations in matrix form. We demonstrate improvements on 3 different tasks: author profiling, sentiment classification and textual entailment. Experimental results show that our model yields a significant performance gain compared to other sentence embedding methods in all of the 3 tasks. In the third article, we propose a hierarchical model with dynamical computation graph for sequential data that learns to construct a tree while reading the sequence. The model learns to create adaptive skip-connections that ease the learning of long-term dependencies through constructing recurrent cells in a recursive manner. The training of the network can either be supervised training by giving golden tree structures, or through reinforcement learning. We provide preliminary experiments in 3 different tasks: a novel Math Expression Evaluation (MEE) task, a well-known propositional logic task, and language modelling tasks. Experimental results show the potential of the proposed approach. In the fourth article, we propose a novel constituency parsing method with neural networks. The model predicts the parse tree structure by predicting a real valued scalar, named syntactic distance, for each split position in the input sentence. The order of the relative values of these syntactic distances then determine the parse tree structure by specifying the order in which the split points will be selected, recursively partitioning the input, in a top-down fashion. Our proposed approach was demonstrated with competitive performance on Penn Treebank dataset, and the state-of-the-art performance on Chinese Treebank dataset.

L'extraction de règles d'association et de bi-clusters sont deux techniques de fouille de données complémentaires majeures, notamment pour l'intégration de connaissances. Ces techniques sont utilisées dans de nombreux domaines, mais aucune approche permettant de les unifier n'a été proposée. Hors, réaliser ces extractions indépendamment pose les problèmes des ressources nécessaires (mémoire, temps d'exécution et accès aux données) et de l'unification des résultats. Nous proposons une approche originale pour extraire différentes catégories de modèles de connaissances tout en utilisant un minimum de ressources. Cette approche est basée sur la théorie des ensembles fermés et utilise une nouvelle structure de données pour extraire des représentations conceptuelles minimales de règles d'association, bi-clusters et règles de classification. Ces modèles étendent les règles d'association et de classification et les bi-clusters classiques, les listes d'objets supportant chaque modèle et les relations hiérarchiques entre modèles étant également extraits. Cette approche a été appliquée pour l'analyse de données d'interaction protéomiques entre le virus VIH-1 et l'homme. L'analyse de ces interactions entre espèces est un défi majeur récent en bio-informatique. Plusieurs bases de données intégrant des informations hétérogènes sur les interactions et des connaissances biologiques sur les protéines ont été construites. Les résultats expérimentaux montrent que l'approche proposée peut traiter efficacement ces bases de données et que les modèles conceptuels extraits peuvent aider à la compréhension et à l'analyse de la nature des relations entre les protéines interagissant. / Knowledge pattern extraction is one of the major topics in the data mining and background knowledge integration domains. Out of several data mining techniques, association rule mining and bi-clustering are two major complementary tasks for these topics. These tasks gained much importance in many domains in recent years. However, no approach was proposed to perform them in one process. This poses the problems of resources required (memory, execution times and data accesses) to perform independent extractions and of the unification of the different results. We propose an original approach for extracting different categories of knowledge patterns while using minimum resources. This approach is based on the frequent closed patterns theoretical framework and uses a novel suffix-tree based data structure to extract conceptual minimal representations of association rules, bi-clusters and classification rules. These patterns extend the classical frameworks of association and classification rules, and bi-clusters as data objects supporting each pattern and hierarchical relationships between patterns are also extracted. This approach was applied to the analysis of HIV-1 and human protein-protein interaction data. Analyzing such inter-species protein interactions is a recent major challenge in computational biology. Databases integrating heterogeneous interaction information and biological background knowledge on proteins have been constructed. Experimental results show that the proposed approach can efficiently process these databases and that extracted conceptual patterns can help the understanding and analysis of the nature of relationships between interacting proteins.

Nous développons une méthode de modélisation et de validation adaptée aux système parallèles structurés en couches hiérarchiques. Nous définissons deux notions : la concordance de modèle prouve que le modèle possède bien les propriétés dégagées par les spécifications; l'adéquation de service valide le protocole par rapport à son service. Nous appliquons notre méthode à la modélisation du protocole de télécommunication de niveau Transport (la couche 4 d'après la norme ISO sur l'interconnexion des systèmes ouverts). Nous étudions tout particulièrement la gestion de désynchronisations du Service de la couche Réseau, et le contrôle de flux avec réquisition de crédit du protocole de la couche Transport. Nous utilisons les réseaux de Petri à prédicats pour décrire le modèle du service rendu par le couche Réseau sous-jacente et nous en servir pour construire le modèle du protocole de ma couche Transport. nous prouvons que la notion d'abstraction peut s'étendre aux réseaux de Petri à prédicats. La preuve du déroulement correct du protocole est apportée en utilisant les invariants issus du modèle.

Les travaux réalisés au cours de cette thèse se décomposent en deux thèmes principaux, eux-même subdivisés enplusieurs projets. D'une part, des travaux ont été menés concernant l'analyse et le développement de fonctionnelles « doubles hybrides ». Une analyse des fonctionnelles « doubles hybrides » à séparation linéaire le long de la connexionadiabatique a été proposée. Une nouvelle fonctionnelle « double hybride » à séparation de portée basée sur uneséparation alternative de l'énergie d'échange et de corrélation, RSDHf, a été développée. D'autre part, des travaux quant au développement de surfaces d'énergie potentielle (SEP) analytiques ont été menés. Un nouveau potentiel analytique a été proposé pour la description de la SEP des systèmes triatomiques. La combinaison de ce potentiel avec un potentiel électrostatique a été utilisé pour le développement de SEP analytiques pour de petits systèmes en interaction faible : H2O···HF, HF2-, Ne···ClF. / Works done during this thesis split into two main themes, themselves subdivided in several projects. On the one hand, works have been led concerning the analysis and the development of double-hybrid functionals. An analysis of linearly-separated double-hybrid functionals along the adiabatic connection has been proposed. A new range-separated double-hybrid functional based on an alternative separation of the exchange-correlation energy, RSDHf, has been developed. On the other hand, works related to the development of analytic potential energy surfaces (PES) has been led. A new analytic potential has been proposed for the description of the PES of triatomic systems. The combinaition of this potential with an electrostatic potential has been used for the development of analytic PES for small systems in weak interaction : H2O···HF, HF2-, Ne···ClF.

Cette thèse est divisée en trois parties. Dans la première, on étudie des systèmes articulés (mécanismes formés de tiges rigides) dont l'espace ambiant n'est pas le plan, mais diverses variétés riemanniennes. On étudie la question de l'universalité des mécanismes : cette notion correspond à l'idée que toute courbe serait tracée par un sommet d'un mécanisme, et que toute variété différentiable serait l'espace de configuration d'un mécanisme. On étend les théorèmes d'universalité au plan de Minkowski, au plan hyperbolique et enfin à la sphère.Toute surface dans R^3 peut être aplatie selon l'axe des z, et la surface aplatie s'approche d'une table de billard dans R^2. Dans la seconde partie, on montre que, sous certaines hypothèses, le flot géodésique de la surface converge localement uniformément vers le flot de billard. De plus, si le billard est dispersif, les propriétés chaotiques du billard remontent au flot géodésique : on montre qu'il est alors Anosov. En appliquant ce résultat à la théorie des systèmes articulés, on obtient un nouvel exemple de systèmes articulé Anosov, comportant cinq tiges.Dans la troisième partie, on s'intéresse aux variétés munies de connexions localement métriques, c'est-à-dire de connexions qui sont localement des connexions de Levi-Civita de métriques riemanniennes ; on donne dans ce cadre un analogue du théorème de décomposition de De Rham, qui s'applique habituellement aux variétés riemanniennes. Dans le cas où une telle connexion préserve une structure conforme, on montre que cette décomposition comporte au plus deux facteurs ; de plus, lorsqu'il y a exactement deux facteurs, l'un des deux est l'espace euclidien R^q. La démonstration des résultats de cette partie passe par l'étude des feuilletages munis d'une structure de similitude transverse. Sur ces feuilletages, on montre un résultat de rigidité qui peut être vu indépendamment des autres: ils sont soit transversalement plats, soit transversalement riemanniens. / This thesis is divided into three parts. In the first part, we study linkages (mechanisms made of rigid rods) whose ambiant space is no longer the plane, but various Riemannian manifolds. We study the question of the universality of linkages: this notion corresponds to the idea that every curve would be traced out by a vertex of some linkage, and that any differentiable manifold would be the configuration space of some linkage. We extend universality theorems to the Minkowski plane, the hyperbolic plane, and finally the sphere.Any surface in R^3 can be flattened with respect to the z-axis, and the flattened surface gets close to a billiard table in R^2. In the second part, we show that, under some hypotheses, the geodesic flow of the surface converges locally uniformly to the billiard flow. Moreover, if the billiard is dispersing, the chaotic properties of the billiard also apply to the geodesic flow: we show that it is Anosov in this case. By applying this result to the theory of linkages, we obtain a new example of Anosov linkage, made of five rods.In the third part, we first consider manifolds with locally metric connections, that is, connections which are locally Levi-Civita connections of Riemannian metrics; we give in this framework an analog of De Rham's decomposition theorem, which usually applies to Riemannian manifolds. In the case such a connection also preserves a conformal structure, we show that this decomposition has at most two factors; moreover, when there are exactly two factors, one of them is the Euclidean space R^q. The proofs of the results of this part use foliations with transverse similarity structures. On these foliations, we give a rigidity theorem of independant interest: they are either transversally flat, or transversally Riemannian.