Malgré sa popularité grandissante, la formation en ligne en contexte universitaire doit composer avec des problématiques liées à la persévérance et à la réussite, puisque les taux d'abandon et d'échec seraient plus élevés dans ce type de formation qu'en présentiel sur le campus. Dans l'optique de soutenir la persévérance et la réussite des étudiants, l'Université Laval a développé un tableau de bord d'analyse des activités d'apprentissage qui vise à faire prendre conscience aux étudiants de leur participation dans leurs cours, et à les orienter vers des ressources d'aide. Cette recherche porte sur l'utilisation de ce tableau de bord (appelé Ma réussite) pour soutenir l'autorégulation de l'apprentissage et la réussite des étudiants de premier cycle en formation en ligne. Plus précisément, elle a pour objectif de documenter comment et par qui le tableau de bord est utilisé ainsi que les représentations des étudiants à son égard. Cette thèse vise également à vérifier si la théorie unifiée d'acceptation et d'utilisation de la technologie (UTAUT) peut expliquer l'utilisation du tableau de bord, et si son utilisation est liée à la réussite des étudiants. Pour ce faire, nous avons réalisé un sondage auprès de 309 étudiants de 15 cours en ligne différents dans quatre facultés. Nous avons également obtenu les traces numériques d'utilisation de Ma réussite par les étudiants durant la session d'automne 2019. Nos résultats indiquent que Ma réussite est peu utilisé, et que le nombre de visites est significativement plus élevé pour les étudiants qui suivent leur premier cours en ligne, pour ceux qui sont en contact avec l'outil pour la première fois ainsi que pour les primo-entrants. À l'aide du modèle d'autorégulation de Zimmerman (1998), nous avons exploré les perceptions des étudiants concernant l'utilité du tableau de bord pour soutenir l'autorégulation de l'apprentissage. Nos résultats indiquent que les étudiants sont d'accord que Ma réussite soutient l'autorégulation de l'apprentissage, notamment le monitorage et la régulation de l'effort. Les primo-entrants et les étudiants qui sont en contact avec l'outil pour la première fois perçoivent davantage le tableau de bord comme un soutien à l'autorégulation. Nous avons également documenté les perceptions des étudiants concernant les variables qui prédisent l'utilisation selon l'UTAUT, soit la performance attendue, l'effort attendu, l'influence sociale, les conditions facilitatrices et l'intention d'utilisation. Nos résultats indiquent que Ma réussite est utile, facile à utiliser et que les conditions facilitant son utilisation sont en place. Cependant, l'influence sociale pour l'utiliser est perçue comme étant faible. Les étudiants en contact avec l'outil pour la première fois et les primo-entrants perçoivent Ma réussite plus utile et ont davantage l'intention de l'utiliser à l'avenir que les autres étudiants. Ensuite, nous avons validé l'UTAUT, adaptée à l'étude, avec des analyses d'équations structurelles basées sur les moindres carrés partiels. Nos résultats ont permis de valider les hypothèses comme quoi la performance attendue, l'effort attendu, l'influence sociale et l'utilisation actuelle influencent l'intention d'utilisation. Cependant, nos résultats indiquent que les conditions facilitatrices ne sont pas un facteur déterminant de l'intention d'utilisation. Notre modèle de recherche permet d'expliquer 62 % de la variance de l'intention d'utilisation et 72 % de la variance de la performance attendue, avec comme seule variable prédictive le soutien à l'autorégulation. Finalement, nos résultats n'ont pas permis de confirmer un lien entre l'utilisation du tableau de bord et la note finale au cours des étudiants. Cette étude a ainsi contribué à l'avancement des connaissances, puisque très peu d'études ont traité de l'utilisation du tableau de bord des activités d'apprentissage par les étudiants dans des contextes éducatifs réels. Elle permet donc d'apporter un éclairage sur la fréquence et les périodes d'utilisation du tableau de bord par les étudiants selon plusieurs caractéristiques sociodémographiques. Cette étude a également permis d'approfondir le concept d'utilité du tableau de bord, en explorant les perceptions des étudiants sur le soutien que procure Ma réussite à l'autorégulation de l'apprentissage. Ces découvertes peuvent ainsi fournir de l'information aux gestionnaires de l'outil pour l'améliorer, notamment en ajoutant des fonctionnalités permettant de mieux soutenir l'autorégulation de l'apprentissage, et en informant davantage les parties prenantes de son fonctionnement. Finalement, il s'agit de la première étude à valider l'UTAUT en contexte d'utilisation du tableau de bord des activités d'apprentissage par les étudiants. / Despite its growing popularity, online training in university context have to deal with issues related to perseverance and success, since dropout and failure rates are higher in this type of training than on campus training. In an effort to support student retention and success, Université Laval has developed a learning analytics dashboard that aims to make students aware of their participation in their courses, and to guide them toward help resources. This research focuses on the use of this dashboard (called Ma réussite) to support self-regulation of learning and the success of undergraduate online learning students. More specifically, it aims to document how and by whom the learning analytics dashboard is used as well as students' perceptions towards it. This thesis also aims to verify whether the Unified Theory of Acceptance and Use of Technology (UTAUT) can explain the use of the learning analytics dashboard, and whether its use is related to student success. To do this, we conducted a survey with 309 students in 15 different online courses across four faculties. We also obtained digital traces of student use of Ma réussite during the fall 2019 semester. Our results indicate that Ma réussite has low usage, and that the number of visits to Ma réussite is significantly higher for students taking their first semester in university or their first online course, and for those who are in contact with the tool for the first time. Using the self-regulation learning model (Zimmerman, 1998), we explored students' perceptions of the usefulness of the dashboard in supporting self-regulation of learning. Our results indicate that students agree that Ma réussite supports self-regulation of learning, including monitoring and regulation of effort. New entrants and students who are in contact with the tool for the first time perceive the dashboard more as a support for self-regulation. We also documented students' perceptions of the variables that predict use according to UTAUT: performance expectancy, effort expectancy, social influence, facilitating conditions, and intention to use. Our results indicate that Ma réussite is useful, easy to use and that the conditions facilitating its use are in place. However, the social influence to use it is perceived to be low. New entrants and students who are in contact with the tool for the first time perceive Ma réussite as more useful and intend more to use it in the future than other students. We also conducted partial least squares structural equation modeling to validate UTAUT, tailored to the study. Our results confirm hypotheses that performance expectancy, effort expectancy, social influence, and current use influence intention to use. However, our results indicate that facilitating conditions are not a determinant of intention to use. Our research model explains 62% of the variance in intention to use and 72% of the variance of performance expectancy, with self-regulation support as the only predictor variable. Finally, our results did not confirm a relationship between learning analytics dashboard use and student final grade. This study has contributed to the advancement of knowledge, since very few studies have examined the use of the learning analytics dashboard by students in real educational contexts. It therefore provides insight into the frequency and timing of student dashboard use across several socio-demographic characteristics. This study also further explored the concept of dashboard utility by exploring students' perceptions of the support that Ma réussite provides for self-regulation of learning. These findings can thus provide information for managers of the tool to improve it, including adding features to better support self-regulation of learning and further informing stakeholders about how it works. Finally, this is the first study to validate UTAUT in the context of student use of a learning analytics dashboard.

Cette thèse se situe au carrefour de la combinatoire énumérative, algébrique et bijective. Elle se consacre d’une part à traduire des problèmes algébriques en des problèmes combinatoires, et inversement, utilise le formalisme algébrique pour traiter des questions combinatoires.Après un rappel des notions classiques de combinatoire et de structures algébriques, nous abordons l’étude des tableaux de dominos décalés, qui sont des objets combinatoires définis dans le but de mieux comprendre la combinatoire des fonctions symétriques P et Q de Schur. Nous donnons la définition de ces tableaux et nous démontrons qu'ils sont en bijection avec les paires de tableaux de Young décalés. Cette bijection nous permet de voir ces objets comme des éléments du super monoïde plaxique décalé, qui est l'analogue décalé du super monoïde plaxique de Carré et Leclerc. Nous montrons aussi que ces tableaux décrivent un produit de deux fonctions P de Schur et en prenant un autre type de tableaux de dominos décalés, nous décrivons un produit de deux fonctions Q de Schur. Nous proposons aussi deux algorithmes d'insertion pour les tableaux de dominos décalés, analogues aux algorithmes d'insertion mixte et d'insertion gauche-droit de Haiman. Toujours dans le domaine de la combinatoire bijective, nous nous intéressons dans la deuxième partie de notre travail à des bijections en lien avec des statistiques sur les permutations et les nombres eulériens.Dans cette deuxième partie de thèse, nous introduisons l'unimodalité des suites finies associées aux différentes directions dans le triangle eulérien. Nous donnons dans un premier temps une interprétation combinatoire ainsi que la relation de récurrence des suites associées à la direction (1,t) dans le triangle eulérien, où t≥1. Ces suites sont les coefficients de polynômes appelés les polynômes eulériens avec succession d'ordre t, qui généralisent les polynômes eulériens. Nous démontrons par une bijection entre les permutations et des chemins nord-est étiquetés que ces suites sont log-concaves et donc unimodales. Puis nous prouvons que les suites associées aux directions (r,q), où r est un entier positif et q est un entier, tel que r+q≥0, sont aussi log-concaves et donc unimodales / This thesis is at the crossroads of enumerative, algebraic and bijective combinatorics. It studies some algebraic problems from a combinatorial point of view, and conversely, uses algebraic formalism to deal with combinatorial questions.After a reminder about classical notions of combinatoics and algebraic structures, We introduce new combinatorial objects called the shifted domino tableaux, these objects can be seen as a shifted analog of domino tableaux or as an extension of shifted Young tableaux. We prove that these objects are in bijection with pairs of shifted Young tableaux. This bijection shows that shifted domino tableaux can be seen as elements of the super shifted plactic monoid, which is the shifted analog of the super plactic monoid. We also show that the sum over all shifted domino tableaux of a fixed shape describe a product of two P-Schur functions, and by taking a different kind of shifted domino tableaux we describe a product of two Q-Schur functions. We also propose two insertion algorithms for shifted domino tablaux, analogous to Haiman's left-right and mixed insertion algorithms. Still in the field of bijective combinatorics, we are interested in the second part of our work with bijections related to statistics on permutations and Eulerian numbers.In this second part of this thesis, we introduce the unimodality of finite sequences associated to different directions in the Eulerian triangle. We first give a combinatorial interpretations as well as recurrence relations of sequences associated with the direction (1, t) in the Eulerian triangle, where t≥1. These sequences are the coefficients of polynomials called the t-successive eulerian polynomials, which generalize the eulerian polynomials. We prove using a bijection between premutations and north-east lattice paths that those sequences are unomodal. Then we prove that the sequences associated with the directions (r, q), where r is a positive integer and q is an integer such that r + q ≥ 0, are also log-concave and therefore unimodal

Le développement de nouveaux formalismes logiques est au cœur de nombreuses problématiques de méthodes formelles. Ces formalismes doivent répondre à la fois à des impératifs de modélisation (ils doivent permettre de décrire certains systèmes) et de calcul (ils doivent fournir des méthodes de calcul correctes et complètes). Dans ce contexte, nous nous intéressons aux logiques de ressources, en particulier les logiques BI et BBI qui traitent du partage et de la séparation de ressources et qui ont conduit aux diverses logiques de séparation dont les applications à la vérification de programmes se sont développées fortement ces dernières années. Nous proposons dans cette thèse d’étudier, à partir des logiques BI et BBI, des logiques de séparation modales et épistémiques en se focalisant sur leurs capacités de modélisation et leur expressivité mais aussi les nouveaux calculs de preuve pour ces logiques. Une première étude a porté sur la modélisation de propriétés dynamiques de ressources au travers d’une nouvelle logique LTBI, qui est une logique de séparation temporelle, fondée sur la logique BI et des modalités temporelles. Cette logique offre notamment des perspectives intéressantes de modélisation temporelle branchante, permettant par exemple de caractériser les processus multi-thread. Une étude complémentaire a porté sur la modélisation de l’accès par des agents à des propriétés sous conditions de posséder certaines ressources, au travers d’une nouvelle logique ERL, qui est une logique de séparation épistémique, fondée sur la logique BBI et des modalités épistémiques. Cette logique permet de nombreuses modélisations de systèmes de contrôle d’accès. En vue d’étendre l’expressivité de telles logiques de séparation, comme la logique BBI et ses variantes, une étude sur l’internalisation des symboles de ressources dans la syntaxe de la logique a été développée au travers des nouvelles logiques HRL et HBBI (version hybride de BBI). L’internalisation permet à la fois d’étendre l’expressivité des logiques et d’axiomatiser la logique BBI et certaines de ses variantes. Outre la conception de ces logiques, l’étude de leur sémantique et aussi de leurs capacités de modélisation, une partie de cette thèse a été consacrée à la définition de calculs de preuve, ici de tableaux, pour ces nouvelles logiques ainsi qu’à leurs preuves de correction et de complétude / The design of new logical formalisms is at the heart of several problems in formal methods. Those formalisms must respond to requirements both concerning modelling (they must be able to describe certain systems) and computing (they must provide complete and sound calculus methods). In this context, we look at resource logics, and in particular BI and BBI logics, that deal with the separation and sharing of resources and have led to several separation logics whose applications to software verification have been widely developped recently. We propose in this thesis, starting from BI and BBI logics, to study some modal and epistemic separation logics by focusing on their modelling capacities and their expresiveness, as well as on the new proof calculi for those logics. A first study deals with the modelling of dynamic resource properties through new logic LTBI, which is a temporal separation logic, based on BI logic and temporal modalities. This logic notably offers interesting perspectives in temporal branching modelling, allowing for instance to characterize multi-thread processes. A complementary study concerns the modelling of access by agents to properties under the conditions of posessing some resources, through a new logic ERL, which is an epistemic separation logic, based on BBI logic and epistemic modalities. This logic allows many modellings of access control systems. In order to extend the expressivity of such separation logics, like BBI logic and its variants, a study on the internalization of resources symbols in the logic’s syntax has been developed through the new logics HRL and HBBI (hybrid version of BBI). Internalization allows both the extension of the expressivity of logics and the axiomatisation of BBI logic and some of its variants. In addition to the conception of those logics, the study of their semantics and their modelling capacities, a part of this thesis is dedicated to the definition of proof calculs, here tableaux calculus, for those new logics, as well as their proof of soundness and completeness

La recherche développée dans le cadre de cette thèse aborde différents aspects relevant de l’analyse statistique de données. Dans un premier temps, une analyse de trois indices d’associations entre deux tableaux de données est développée. Par la suite, des stratégies d’analyse liées à la standardisation de tableaux de données avec des applications en analyse en composantes principales (ACP) et en régression, notamment la régression PLS sont présentées. La première stratégie consiste à proposer une standardisation continuum des variables. Une standardisation plus générale est aussi abordée consistant à réduire de manière graduelle non seulement les variances des variables mais également les corrélations entre ces variables. De là, une approche continuum de régression a été élaborée regroupant l’analyse des redondances et la régression PLS. Par ailleurs, cette dernière standardisation a inspiré une démarche de régression biaisée dans le cadre de régression linéaire multiple. Les propriétés d’une telle démarche sont étudiées et les résultats sont comparés à ceux de la régression Ridge. Dans le cadre de l’analyse de plusieurs tableaux de données, une extension de la méthode ComDim pour la situation de K+1 tableaux est développée. Les propriétés de cette méthode, appelée P-ComDim, sont étudiées et comparées à celles de Multiblock PLS. Enfin, la situation où il s’agit d’évaluer l’effet de plusieurs facteurs sur des données multivariées est considérée et une nouvelle stratégie d’analyse est proposée. / The research developed in this thesis deals with several statistical aspects for analyzing datasets. Firstly, investigations of the properties of several association indices commonly used by practitioners are undergone. Secondly, different strategies related to the standardization of the datasets with application to principal component analysis (PCA) and regression, especially PLS-regression were developed. The first strategy consists of a continuum standardization of the variables. The interest of such standardization in PCA and PLS-regression is emphasized.A more general standardization is also discussed which consists in reducing gradually not only the variances of the variables but also their correlations. Thereafter, a continuum approach was developed combining Redundancy Analysis and PLS-regression. Moreover, this new standardization inspired a biased regression model in multiple linear regression. Properties related to this approach are studied and the results are compared on the basis of case studies with those of Ridge regression. In the context of the analysis of several datasets in an exploratory perspective, the method called ComDim, has certainly raised interest among practitioners. An extension of this method for the analysis of K+1 datasets was developed. Properties related to this method, called P-ComDim, are studied and compared to Multiblock PLS. Finally, for the analysis of datasets depending on several factors, a new approach based on PLS regression is proposed.

La combinatoire algébrique est le champ de recherche qui utilise des méthodes combinatoires et des algorithmes pour étudier les problèmes algébriques, et applique ensuite des outils algébriques à ces problèmes combinatoires. L’un des thèmes centraux de la combinatoire algébrique est l’étude des permutations car elles peuvent être interprétées de bien des manières (en tant que bijections, matrices de permutations, mais aussi mots sur des entiers, ordre totaux sur des entiers, sommets du permutaèdre…). Cette riche diversité de perspectives conduit alors aux généralisations suivantes du groupe symétrique. Sur le plan géométrique, le groupe symétrique engendré par les transpositions élémentaires est l’exemple canonique des groupes de réflexions finis, également appelés groupes de Coxeter. Sur le plan monoïdal, ces même transpositions élémentaires deviennent les opérateurs du tri par bulles et engendrent le monoïde de 0-Hecke, dont l’algèbre est la spécialisation à q=0 de la q-déformation du groupe symétrique introduite par Iwahori. Cette thèse se consacre à deux autres généralisations des permutations. Dans la première partie de cette thèse, nous nous concentrons sur les matrices de permutations partielles, en d’autres termes les placements de tours ne s’attaquant pas deux à deux sur un échiquier carré. Ces placements de tours engendrent le monoïde de placements de tours, une généralisation du groupe symétrique. Dans cette thèse nous introduisons et étudions le 0-monoïde de placements de tours comme une généralisation du monoïde de 0-Hecke. Son algèbre est la dégénérescence à q=0 de la q-déformation du monoïde de placements de tours introduite par Solomon. On étudie par la suite les propriétés monoïdales fondamentales du 0-monoïde de placements de tours (ordres de Green, propriété de treillis du R-ordre, J-trivialité) ce qui nous permet de décrire sa théorie des représentations (modules simples et projectifs, projectivité sur le monoïde de 0-Hecke, restriction et induction le long d’une fonction d’inclusion).Les monoïdes de placements de tours sont en fait l’instance en type A de la famille des monoïdes de Renner, définis comme les complétés des groupes de Weyl (c’est-à-dire les groupes de Coxeter cristallographiques) pour la topologie de Zariski. Dès lors, dans la seconde partie de la thèse nous étendons nos résultats du type A afin de définir les monoïdes de 0-Renner en type B et D et d’en donner une présentation. Ceci nous conduit également à une présentation des monoïdes de Renner en type B et D, corrigeant ainsi une présentation erronée se trouvant dans la littérature depuis une dizaine d’années. Par la suite, nous étudions comme en type A les propriétés monoïdales de ces nouveaux monoïdes de 0-Renner de type B et D : ils restent J-triviaux, mais leur R-ordre n’est plus un treillis. Cela ne nous empêche pas d’étudier leur théorie des représentations, ainsi que la restriction des modules projectifs sur le monoïde de 0-Hecke qui leur est associé. Enfin, la dernière partie de la thèse traite de différentes généralisations des permutations. Dans une récente séries d’articles, Châtel, Pilaud et Pons revisitent la combinatoire algébrique des permutations (ordre faible, algèbre de Hopf de Malvenuto-Reutenauer) en terme de combinatoire sur les ordres partiels sur les entiers. Cette perspective englobe également la combinatoire des quotients de l’ordre faible tels les arbres binaires, les séquences binaires, et de façon plus générale les récents permutarbres de Pilaud et Pons. Nous généralisons alors l’ordre faibles aux éléments des groupes de Weyl. Ceci nous conduit à décrire un ordre sur les sommets des permutaèdres, associaèdres généralisés et cubes dans le même cadre unifié. Ces résultats se basent sur de subtiles propriétés des sommes de racines dans les groupes de Weyl qui s’avèrent ne pas fonctionner pour les groupes de Coxeter qui ne sont pas cristallographiques / Algebraic combinatorics is the research field that uses combinatorial methods and algorithms to study algebraic computation, and applies algebraic tools to combinatorial problems. One of the central topics of algebraic combinatorics is the study of permutations, interpreted in many different ways (as bijections, permutation matrices, words over integers, total orders on integers, vertices of the permutahedron…). This rich diversity of perspectives leads to the following generalizations of the symmetric group. On the geometric side, the symmetric group generated by simple transpositions is the canonical example of finite reflection groups, also called Coxeter groups. On the monoidal side, the simple transpositions become bubble sort operators that generate the 0-Hecke monoid, whose algebra is the specialization at q=0 of Iwahori’s q-deformation of the symmetric group. This thesis deals with two further generalizations of permutations. In the first part of this thesis, we first focus on partial permutations matrices, that is placements of pairwise non attacking rooks on a n by n chessboard, simply called rooks. Rooks generate the rook monoid, a generalization of the symmetric group. In this thesis we introduce and study the 0-Rook monoid, a generalization of the 0-Hecke monoid. Its algebra is a proper degeneracy at q = 0 of the q-deformed rook monoid of Solomon. We study fundamental monoidal properties of the 0-rook monoid (Green orders, lattice property of the R-order, J-triviality) which allow us to describe its representation theory (simple and projective modules, projectivity on the 0-Hecke monoid, restriction and induction along an inclusion map).Rook monoids are actually type A instances of the family of Renner monoids, which are completions of the Weyl groups (crystallographic Coxeter groups) for Zariski’s topology. In the second part of this thesis we extend our type A results to define and give a presentation of 0-Renner monoids in type B and D. This also leads to a presentation of the Renner monoids of type B and D, correcting a misleading presentation that appeared earlier in the litterature. As in type A we study the monoidal properties of the 0-Renner monoids of type B and D : they are still J-trivial but their R-order are not lattices anymore. We study nonetheless their representation theory and the restriction of projective modules over the corresponding 0-Hecke monoids. The third part of this thesis deals with different generalizations of permutations. In a recent series of papers, Châtel, Pilaud and Pons revisit the algebraic combinatorics of permutations (weak order, Malvenuto-Reutenauer Hopf algebra) in terms of the combinatorics of integer posets. This perspective encompasses as well the combinatorics of quotients of the weak order such as binary trees, binary sequences, and more generally the recent permutrees of Pilaud and Pons. We generalize the weak order on the elements of the Weyl groups. This enables us to describe the order on vertices of the permutahedra, generalized associahedra and cubes in the same unified context. These results are based on subtle properties of sums of roots in Weyl groups, and actually fail for non-crystallographic Coxeter groups.

L'algèbre des fonctions symétriques est un outil majeur de la combinatoire algébrique qui joue un rôle central dans la théorie des représentations du groupe symétrique. Cette thèse traite des fonctions quasisymétriques, une puissante généralisation introduite par Gessel en 1984, avec des applications significatives dans l'énumération d'objets combinatoires majeurs tels que les permutations, les tableaux de Young et les P-partitions. Plus précisément, nous trouvons un nouveau lien entre l'extension des fonctions quasisymétriques de Chow à des groupes de Coxeter de type B et des tableaux de dominos. Ceci nous permet d'apporter de nouveaux résultats dans divers domaines, notamment les constantes de structure de l'algèbre de descente de Solomon de type B, l'extension de la théorie de la Schur-positivité aux permutations signées et l'étude d'une formule de Cauchy de type B $q$-déformée avec des implications importantes statistiques pour les tableaux dominos.Parmi les bases remarquables de l'algèbre des fonctions symétriques, les fonctions de Schur ont fait l'objet d'une attention particulière car elles sont étroitement liées aux caractères irréductibles du groupe linéaire général et aux diagrammes de Young. La fonction symétrique de Schur est la fonction génératrice des tableaux de Young semistandards. Ce résultat s'étend aux formes gauches et permet d'écrire n'importe quelle fonction de Schur (gauche) comme la somme des fonctions quasisymétriques fondamentales de Gessel, indexées par l'ensemble de descente de tous les tableaux de Young standard d'une forme donnée. En outre, la célèbre formule de Cauchy pour les fonctions de Schur donne une preuve algébrique de la correspondance de Robinson-Schensted-Knuth. Enfin, les constantes de structure pour la multiplication et la comultiplication des polynômes de Schur sont respectivement les coefficients de Littlewood-Richardson et de Kronecker, deux familles importantes de coefficients ayant diverses applications combinatoires et algébriques. En utilisant des résultats connus sur les fonctions quasisymétriques fondamentales de Gessel, nous montrons que ces propriétés impliquent directement et de façon purement algébrique divers résultats pour les constantes de structure de l'algèbre de descente de Salomon d'un groupe de Coxeter fini de type A et la propriété de préservation de descente de la correspondance de Robinson-Schensted, un outil essentiel pour identifier les ensembles Schur-positifs, c'est-à-dire les ensembles de permutations dont la fonction quasisymétrique associée est symétrique et qui peut s'écrire sous la forme d'une somme non négative de fonctions symétriques de Schur.Pour étendre ces résultats aux groupes de Coxeter de type B, nous avons introduit une famille de fonctions génératrices modifiées pour les tableaux de dominos et la relions aux fonctions quasisymétriques fondamentales de type B de Chow. Grâce à cette relation, nous obtenons de nouvelles formules reliant les constantes de structure de l'algèbre de descente de Salomon de type B aux coefficients de Kronecker et de Littlewood-Richardson de type B.Cela nous permet en outre d'introduire une nouvelle extension de type B de la Schur-positivité basée sur une définition de la descente pour les permutations signées, conforme à la définition abstraite de Solomon pour tous les groupes de Coxeter. Nous concevons des bijections préservant la descente entre des permutations d'arc signées et des ensembles de tableaux de dominos afin de montrer qu'ils sont bien type B Schur-positifs.Enfin, nous introduisons une $ q $-déformation des fonctions génératrices modifiées pour les tableaux de dominos afin d'étendre une identité de Cauchy de type B proposée par Lam et de la lier aux fonctions quasisymétriques de Chow. Nous appliquons ce résultat à un nouveau cadre de positivité de type B $ q $ -Schur et à la démonstration de nouveaux résultats d'équidistribution pour certains ensembles de tableaux de dominos. / The algebra of symmetric functions is a major tool in algebraic combinatorics that plays a central role in the representation theory of the symmetric group. This thesis deals with quasisymmetric functions, a powerful generalisation introduced by Gessel in 1984, with significant applications in the enumeration of major combinatorial objects as permutations, Young tableaux and P-partitions. More specifically we find a new connection between Chow's extension of quasisymmetric functions to Coxeter groups of type B and domino tableaux. It allows us to contribute new results to various fields including the structure constants of type B Solomon's descent algebra, the extension of the theory of Schur-positivity to signed permutations and the study a $q$-deformed type B Cauchy formula with important implications regarding statistics for domino tableaux.Among the remarkable bases of the algebra of symmetric functions, Schur functions received a particular attention as they are strongly related to the irreducible characters of the general linear group and Young diagrams. The Schur symmetric function is the generating function for semistandard Young tableaux. This result extends to skew shapes and allows to write any (skew-) Schur function as the sum of Gessel's fundamental quasisymmetric functions indexed by the descent set of all standard Young tableaux of a given shape. Furthermore the celebrated Cauchy formula for Schur functions gives an algebraic proof of the Robinson-Schensted-Knuth correspondence. Finally, the structure constants for the outer product and inner product of Schur polynomials are respectively the Littlewood-Richardson and Kronecker coefficients, two important families of coefficients with various combinatorial and algebraic applications. Using known results about Gessel's fundamental quasisymmetric functions we show that these properties imply directly and in a pure algebraic fashion, various results for the structure constants of the Solomon descent algebra of a finite Coxeter group of type A and the descent preserving property of the Robinson-Schensted correspondence, an essential tool to identify Schur-positive sets, i.e. sets of permutations whose associated quasisymmetric function is symmetric and can be written as a non-negative sum of Schur symmetric functions.To extend these results to Coxeter groups of type B we introduced a family of modified generating functions for domino tableaux and relate it to Chow's type B fundamental quasisymmetric functions. Thanks to this relation we derive new formulas relating the structure constants of the type B Solomon's descent algebra with type B Kronecker and Littlewood-Richardson coefficients.It further allows us to introduce a new type B extension of Schur-positivity based on a definition of descent for signed permutations that is conform to the abstract definition of Solomon for any Coxeter groups. We design descent preserving bijections between signed arc permutations and sets of domino tableaux to show that they are indeed type B Schur-positive.Finally, we introduce a $q$-deformation of the modified generating functions for domino tableaux to extend a type B Cauchy identity by Lam and link it with Chow's quasisymmetric functions. We apply this result to a new framework of type B $q$-Schur positivity and to prove new equidistribution results for some sets of domino tableaux.

Le tableau électrique est un élément clé de toute installation électrique. Il incorpore des dispositifs destinés à distribuer l'électricité et à protéger les circuits et les personnes. Cette thèse porte sur un système innovant de surveillance et de diagnostic des tableaux BT, basée sur les mesures de températures, et de courants. Ce système répond au besoin de prévenir les pannes, qui, bien que rares, peuvent entrainer des pertes financières énormes. Les mesures thermiques sont réalisées à l'aide de capteurs sans fil. Les données mesurées sont transmises via internet, et collectées dans un serveur, pour être traitées. Ce traitement comprend une phase de détection locale de défaut et une autre de diagnostic global conduisant à des recommandations de maintenance. Notre travail est axé sur les modules de détection et le diagnostic. Des résultats issus d'expérimentations et d'informations provenant d'experts sont présentés pour valider la faisabilité des méthodes mises en œuvre

En informatique, la notion de ressource est une notion centrale. Nous considérons comme ressource toute entité pouvant être composée ou décomposée en sous-entités. Plusieurs logiques ont été proposées afin de modéliser et d’exprimer des propriétés sur celles-ci, comme la logique BI exprimant des propriétés de partage et de séparation. Puisque les systèmes informatiques manipulent des ressources, la proposition de nouveaux modèles capturant la dynamique de ces ressources, ainsi que la vérification et la preuve de propriétés sur ces modèles, sont des enjeux cruciaux. Dans ce contexte, nous définissons de nouvelles logiques permettant la modélisation logique de la dynamique des ressources, proposant de nouveaux modèles et permettant l’expression de nouvelles propriétés sur cette dynamique. De plus, pour ces logiques, nous proposons des méthodes des tableaux et d’extraction de contre-modèles. Dans un premier temps, nous définissons de nouveaux réseaux de Petri, nommés ß-PN, et proposons une nouvelle sémantique à base de ß-PN pour BI. Puis nous proposons une première extension modale de BI, nommée DBI, permettant la modélisation de ressources ayant des propriétés dynamiques, c’est-à-dire évoluant en fonction de l’état courant d’un système. Ensuite, nous proposons une logique, nommée DMBI, modélisant des systèmes manipulant/produisant/consommant des ressources. Par ailleurs, nous proposons une nouvelle logique (LSM) possédant de nouvelles modalités multiplicatives (en lien avec les ressources). Pour finir, nous introduisons la séparation au sein des logiques épistémiques, obtenant ainsi une nouvelle logique ESL, exprimant de nouvelles propriétés épistémiques / In computer science, the notion of resource is a central concern. We consider as a resource, any entity that can be composed or decomposed into sub-entities. Many logics were proposed to model and express properties on these resources, like BI logic, a logic about sharing and separation of resources. As the computer systems manipulate resources, a crucial issue consists in providing new models that capture the dynamics of resources, and also in verifying and proving properties on these models. In this context, we define new logics with new models and new languages allowing to respectively capture and express new properties on the dynamics of resources. Moreover, for all these logics, we also study the foundations of proof search and provide tableau methods and counter-model extraction methods. After defining new Petri nets, called ß-PN, we propose a new semantics based on ß-PN for BI logic, that allows us to show that BI is able to capture a kind of dynamics of resources. After observing that it is necessary to introduce new modalities in BI logic, we study successively different modal extensions of BI. We define a logic, called DBI, that allows us to model resources having dynamic properties, meaning that they evolve during the iterations of a system. Then, we define a logic, called DMBI, that allows us to model systems that manipulate/produce/consume resources. Moreover, we define a new modal logic, called LSM, having new multiplicative modalities, that deals with resources. Finally, we introduce the notion of separation in Epistemic Logic, obtaining a new logic, called ESL, that models and expresses new properties on agent knowledge

Les statistiques présentes dans les Open Data ou données ouvertes constituent des informations utiles pour alimenter un système décisionnel. Leur intégration et leur entreposage au sein du système décisionnel se fait à travers des processus ETL. Il faut automatiser ces processus afin de faciliter leur accessibilité à des non-experts. Ces processus doivent pallier aux problèmes de manque de schémas, d'hétérogénéité structurelle et sémantique qui caractérisent les données ouvertes. Afin de répondre à ces problématiques, nous proposons une nouvelle démarche ETL basée sur les graphes. Pour l'extraction du graphe d'un tableau, nous proposons des activités de détection et d'annotation automatiques. Pour la transformation, nous proposons un programme linéaire pour résoudre le problème d'appariement holistique de données structurelles provenant de plusieurs graphes. Ce modèle fournit une solution optimale et unique. Pour le chargement, nous proposons un processus progressif pour la définition du schéma multidimensionnel et l'augmentation du graphe intégré. Enfin, nous présentons un prototype et les résultats d'expérimentations. / Statistical Open Data present useful information to feed up a decision-making system. Their integration and storage within these systems is achieved through ETL processes. It is necessary to automate these processes in order to facilitate their accessibility to non-experts. These processes have also need to face out the problems of lack of schemes and structural and sematic heterogeneity, which characterize the Open Data. To meet these issues, we propose a new ETL approach based on graphs. For the extraction, we propose automatic activities performing detection and annotations based on a model of a table. For the transformation, we propose a linear program fulfilling holistic integration of several graphs. This model supplies an optimal and a unique solution. For the loading, we propose a progressive process for the definition of the multidimensional schema and the augmentation of the integrated graph. Finally, we present a prototype and the experimental evaluations.

We study a quantum mechanical $\sigma$-model whose target space is a hyperKähler cone. As shown by Singleton, [184], such a theory has superconformal invariance under the algebra $\mathfrak{osp}(4^*|4)$. One can formally define a superconformal index that counts the short representations of the algebra. When the hyperKähler cone has a projective symplectic resolution, we define a regularised superconformal index. The index is defined as the equivariant Hirzebruch index of the Dolbeault cohomology of the resolution, hereafter referred to as the index. In many cases, the index can be explicitly calculated via localisation theorems. By limiting to zero the fugacities in the index corresponding to an isometry, one forms the index of the submanifold of the target space invariant under that isometry. There is a limit of the fugacities that gives the Hilbert series of the target space, and often there is another limit of the parameters that produces the Poincaré polynomial for $\mathbb C^\times$-equivariant Borel-Moore homology of the space. A natural class of hyperKähler cones are Nakajima quiver varieties. We compute the index of the $A$-type quiver varieties by making use of the fact that they are submanifolds of instanton moduli space invariant under an isometry. Every Nakajima quiver variety arises as the Higgs branch of a three dimensional $\mathcal N =4$ quiver gauge theory, or equivalently the Coulomb branch of the mirror dual theory. We show the equivalence between the descriptions of the Hilbert series of a line bundle on the ADHM quiver variety via localisation, and via Hanany's monopole formula. Finally, we study the action of the Poisson algebra of the coordinate ring on the Hilbert series of line bundles. We restrict to the case of looking at the Coulomb branch of balanced $ADE$-type quivers in a certain infinite rank limit. In this limit, the Poisson algebra is a semiclassical limit of the Yangian of $ADE$-type. The space of global sections of the line bundle is a graded representation of the Poisson algebra. We find that, as a representation, it is a tensor product of the space of holomorphic functions with a finite dimensional representation. This finite dimensional representation is a tensor product of two irreducible representations of the Yangian, defined by the choice of line bundle. We find a striking duality between the characters of these finite dimensional representations and the generating function for Poincaré polynomials.