Réalisée dans le cadre d'un projet Esprit Il, cette thèse a eu pour objectif principal la réalisation d'un système à base de connaissances pour la conception de réseaux. A travers le développement de ce système appelé NEST (pour Network design Expert SysTem), deux principaux ax~s de recherche ont été entrepris : la modélisation d'une activité de conception pour laquelle 1 'intelligence artificielle a relativement peu de théories et la configuration de réseaux locaux pour laquelle peu de systèmes experts ont été conçus. L'originalité de l'approche est d'avoir employé plusieurs formalismes :un modèle centré objets pour les concepts de base, prolog pour l'implémentation des connaissances opératoires et une architecture constituée de plans de contrôle 1 tâches 1 sous-tâches 1 modules. En outre, implémenter un système à base de connaissances nécessite de représenter les connaissances propres au domaine d'application choisi. Une étude a été menée afin d'établir l'état de l'art en ce qui concerne la représentation des connaissances. Certains points particuliers ont été développés tels que la programmation orientée objets et les méthodes de représentation des connaissances employées pour résoudre des problèmes de conception. Le développement de NEST fait partie prenante du projet MMI2 dont le but est la réalisation d'une interface multi-modes pour des systèmes à base de connaissances. Les différents modes de communication permis par cette interface sont les langues naturelles (anglais, français, espagnol), le graphique, le gestuel et un langage de commande. Un premier démonstrateur intégrant ces modes et le système NESTa été présenté en Octobre 1991 et lors de la conférence Esprit en Novembre 1991 à Bruxelles.

L’objectif de cette thèse est d’étudier l’effet d’un entraînement explicite de la conscience phonémique (CP) en anglais L2 et les apports potentiels du tableau blanc interactif (TBI) comme instrument permettant de réaliser cet entraînement avec des apprenants de CE1. A partir des travaux de pédagogues tels que Borel-Maisonny et Caleb Gattegno, nous avons conçu des aides multimodales qui sont à la fois visuelles, sonores et kinesthésiques. Les couleurs de l’approche Gattegno ont été reprises pour créer des cartes de couleur auxquelles nous avons joint une représentation sonore du phonème. La carte sonore est également manipulable sur le TBI. En ce sens, la manipulation sur TBI pourrait aider la manipulation mentale des éléments. Les représentations des phonèmes constituent des représentations externes multimodales intégrées (REMI). Ces REMI ont été intégrées à un dispositif d’apprentissage permettant de valider les hypothèses de recherche. Il s’agissait non seulement d’évaluer l’efficacité de tâches explicites de conscience phonémique dans le cadre de l’apprentissage de l’anglais, mais également d’évaluer l’efficacité de l’utilisation du TBI pour réaliser les tâches de conscience phonémique. Ces hypothèses de recherche ont été testées à l’aide de trois groupes d’apprenants : deux groupes expérimentaux et un groupe contrôle. Un groupe a effectué des tâches explicites de conscience phonémique avec les REMI sur TBI (groupe ConsPhonoTBI), un groupe a effectué ces mêmes tâches de manière classique, c’est-à-dire mentalement sans aide multimodale (groupe ConsPhono), tandis que le groupe contrôle a fait des activités de vocabulaire anglais. La comparaison du groupe contrôle avec le groupe ConsPhono permet de déterminer l’effet d’un entraînement explicite de la conscience phonémique, tandis que la comparaison du groupe ConsPhono avec le groupe ConsPhonoTBI permet de déterminer l’effet des aides multimodales et de leur utilisation sur TBI dans le cadre de cet entraînement explicite. Cette recherche a pour objet une intervention dans le domaine du travail puisque les enseignants et les apprenants sont considérés comme étant en situation de travail. Cette recherche s’inscrit alors dans le cadre de l’ergonomie cognitive. En l’occurrence, la quasi-expérimentation a été menée en 2011-2012 auprès d’apprenants issus de classes de CE1 situées dans l’Isère. Dans la méthodologie de recherche mixte adoptée, les données qualitatives et quantitatives ont été triangulées et permettent d’obtenir des résultats ayant une validité interne. L’étude indique que le travail explicite de la conscience phonémique a un effet sur le niveau atteint dans ce domaine et que l’utilisation des REMI sur TBI permet d’atteindre un meilleur niveau dans le même laps de temps. Par ailleurs, cette étude indique que l’utilisation du TBI pour mener cet entraînement explicite permet à des enseignants non-spécialistes en langue de se décentrer pour réguler l’activité, de proposer une prononciation correcte aux élèves, renforçant ainsi le sentiment d’auto-efficacité au sens de Bandura (2003). En outre, le TBI favorise les échanges entre les apprenants au niveau du groupe classe et permet une découverte collective des phonèmes anglais. / This thesis seeks to study the effect of an explicit training of phonemic awareness (PA) in English L2 and the possible contribution of an Interactive Whiteboard (IWB) as a tool to carry such a training with 7-8 year old learners (in CE1 in France). Based on the work of some educators like Borel-Maisonny and Caleb Gattegno, we created some multimodal materials which are visual, sound and kinesthetic. We used the colors from Gattegno’s approach to create cards to which we attached the sound representation of each phoneme. These cards could also be moved on the IWB. Hence, the manipulation done on the IWB might help the mental manipulation that the learner should normally do mentally. The full representation for each phoneme is an external multimodal integrated representation (EMIR). These EMIR were used among a learning scenario which aimed to test research hypotheses. First of all, the aim was to know whether explicit tasks of phonemic awareness were useful or not. Then, the aim was to check the effect, in any, of the IWB in such a learning scenario concerning phonemic awareness. These research hypotheses have been tested thanks to three groups: two experimental groups and one control group. One group carried out the activities of phonemic awareness with EMIR on an IWB (PA-IWB group), one group carried out the same activities but on a traditional way, that-is-to-say mentally with any multimodal help (PA group) while the control group carried out some activities based on vocabulary. By comparing the control group with the PA group, we found out the effect, if any, of the explicit training of phonemic awareness and, by comparing the PA group with the PA-IWB group, we found out the effect, if any, of the multimodal tools used on the IWB. This research aims to take action in the field of ergonomics since teachers and learners are considered as being at work. This research fits into the field of cognitive ergonomics. Here, the quasi-experimentation was carried out during the school year 2011-2012 with 7-8 year old learners from Isère, France. Using a mixed research method, we triangulated qualitative data with quantitative data in order to get the most accurate results with an internal validity. This study shows that an explicit training of phonemic awareness (PA) has an effect on the level that learners can reach in PA and that the use of EMIR on an IWB allows learners to get an even better level in the same amount of time. Besides, it also appears that the use of the IWB for this kind of training helps the teacher when s/he is not a specialist in the target language. S/he can step aside, regulate the work and provide the correct pronunciation, which helps her/him reinforcing her/his feeling of self-efficacy as defined by Bandura (2003). Finally, the IWB urges the learners on interacting as a whole group and so discovering the English phonemes all together.

In classical propositional logic (CPL) logical reasoning is formalised as logical entailment and can be computed by means of tableau and resolution proof procedures. Unfortunately CPL is not expressive enough and using first order logic (FOL) does not solve the problem either since proof procedures for these logics are not decidable. Modal propositional logics (MPL) on the other hand are both decidable and more expressive than CPL. It therefore seems reasonable to apply tableau and resolution proof systems to MPL in order to compute logical entailment in MPL. Although some of the principles in CPL are present in MPL, there are complexities in MPL that are not present in CPL. Tableau and resolution proof systems which address these issues and others will be surveyed here. In particular the work of Abadi & Manna (1986), Chan (1987), del Cerro & Herzig (1988), Fitting (1983, 1990) and Gore (1995) will be reviewed. / Computing / M. Sc. (Computer Science)

No description available.

<p>Un code de permutations G(n,d) un sous-ensemble C de Sym(n) tel que la distance de Hamming D entre deux éléments de C est supérieure ou égale à d. Dans cette thèse, le groupe des isométries de (Sym(n),D) est déterminé et il est prouvé que ces isométries sont des automorphismes du schéma d'association induit sur Sym(n) par ses classes de conjugaison. Ceci mène, par programmation linéaire, à de nouveaux majorants de la taille maximale des G(n,d) pour n et d fixés et n compris entre 11 et 13. Des algorithmes de génération avec rejet d'objets isomorphes sont développés. Pour classer les G(n,d) non isométriques, des invariants ont été construits et leur efficacité étudiée. Tous les G(4,3) et les G(5,4) ont été engendrés à une isométrie près, il y en a respectivement 61 et 9445 (dont 139 sont maximaux et décrits explicitement). D’autres classes de G(n,d) sont étudiées.<p><p><p><p> <p><p><p><p>A permutation code G(n,d) is a subset C of Sym(n) such that the Hamming distance D between two elements of C is larger than or equal to d. In this thesis, we characterize the isometry group of the metric space (Sym(n),D) and we prove that these isometries are automorphisms of the association scheme induced on Sym(n) by the conjugacy classes. This leads, by linear programming, to new upper bounds for the maximal size of G(n,d) codes for n and d fixed and n between 11 and 13. We develop generating algorithms with rejection of isomorphic objects. In order to classify the G(n,d) codes up to isometry, we construct invariants and study their efficiency. We generate all G(4,3) and G(4,5)codes up to isometry; there are respectively 61 and 9445 of them. Precisely 139 out of the latter codes are maximal and explicitly described. We also study other classes of G(n,d)codes.<p><p><p><p> / Doctorat en sciences, Spécialisation mathématiques / info:eu-repo/semantics/nonPublished

The thesis is focused on the analysis of presently offered products supporting Business Intelligence (BI) which are affordable for small and medium-sized enterprises (SMEs). Current BI solutions available to SMEs are mostly offered via Cloud computing, specifically in the form of Software as a Service (SaaS) as it requires low initial acquisition costs. The objectives of this thesis are to analyse the work in applications for BI in cloud that can be used by SMEs and to analyse in detail the comparison the worldwide extended reporting tools distributed as SaaS in the lower price category. The theoretical part provides a description of the Cloud computing and the BI system. In the practical part are selected following products: IBM Watson Analytics, Qlik Sense Cloud, Zoho Reports, Tableau Public and Microsoft Power BI. Practical testing of these applications was based on evaluation of the selected metrics with weights calculated by using the Fuller's triangle. Analyses and the information form the basis for comparison of selected applications. The contribution of this thesis is in discovering the strengths and weaknesses of these BI solutions. The output of this thesis can be used as a source for the selection of BI applications for SMEs.

La synthèse d’images réalistes repose sur des modèles physiques décrivant les interactions entre la lumière et les matériaux attachés aux objets dans une scène tridimensionnelle. Ces modèles mathématiques sont complexes et, dans le cas général, n’admettent pas de solution analytique. Pour cette raison, l’utilisation de méthodes numériques robustes et efficaces est nécessaire. Les méthodes de Monte Carlo ou techniques alternatives comme l’utilisation de développement par fonction de base sont appropriées pour résoudre ce type de problème. Dans cette thèse par articles, nous présentons deux nouvelles techniques permettant l’in- tégration numérique efficace de matériaux complexes. En premier lieu, nous introduisons une nouvelle méthode permettant d’intégrer simultanément plusieurs dimensions définies dans le domaine angulaire et spatiale. Avoir une technique efficace est essentiel pour intégrer des matériaux avec des normales variant rapidement sous différentes conditions d’éclairage. Notre technique utilise une nouvelle formulation basée sur un histogramme sphérique définie de façon directionnelle et spatial. Ce dernier nous permet d’utiliser des harmoniques sphé- riques pour intégrer les différentes dimensions rapidement, réduisant le temps de calcul d’un facteur approximatif de 30× par rapport aux méthodes de l’état de l’art. Dans notre second travail, nous introduisons une nouvelle stratégie d’échantillonnage pour estimer le transport de lumière à l’intérieur de matériaux multicouches. En identifiant les meilleures stratégies d’échantillonnage, nous proposons une technique efficace et non biaisée pour construire des chemins de lumière à l’intérieur de ce type de matériau. Notre nouvelle approche permet d’obtenir un estimateur de Monte Carlo efficace et de faible variance dans des matériaux contenant un nombre arbitraire de couches. / Realistic computer generated images and simulations require physically-based models to properly capture and reproduce light-material interactions. The underlying mathematical formulations are complex and mandate the use of efficient numerical methods, since analytic solutions are not available. Monte Carlo integration is one such commonly used numerical method, although, alternative approaches leveraging, e.g., basis expansions, may be suitable to solve these challenging problems. In this thesis by articles, we present two works where we efficiently devise numerical integration strategies for the rendering of complex materials. First, we propose a method to compute a spatial-angular multi-dimensional integration problem present when rendering materials with high-frequency normal variation under large, angularly varying illumination. By computing and manipulating a novel spherical histogram data representation, we are able to use spherical harmonics to efficiently solve the integral, outperforming the state-of-the-art by a factor of roughly 30×. Our second work describes a high-performance Monte Carlo integration strategy for rendering layered materials. By identifying the best path sampling strategies in the micro-scale light transport context, we are able to tailor an unbiased and efficient path construction method to evaluate high throughput, low variance paths through an arbitrary number of layers.

Ce travail s’inscrit dans une problématique générale de l’analytique de l’apprentissage numérique et particulièrement dans le contexte du projet ANR HUBBLE, un observatoire national permettant le dépôt de processus d’analyse de haut niveau. Nous nous intéressons principalement à la communication des données d’analyse aux utilisateurs en mettant à leur disposition des tableaux de bord d'apprentissage (TBA). Notre problématique porte sur l’identification de structures génériques dans le but de générer dynamiquement des TBA sur mesure. Ces structures doivent être à la fois génériques et adaptables aux besoins d’utilisateurs. Les travaux existants proposent le plus souvent des TBA trop généraux ou développés de manière adhoc. Au travers du projet HUBBLE, nous souhaitons exploiter les décisions des utilisateurs pour générer dynamiquement des TBA. Nous nous sommes intéressés au domaine de l’informatique décisionnelle en raison de la place des tableaux de bord dans leur processus. La prise de décision exige une compréhension explicite des besoins des utilisateurs. C'est pourquoi nous avons adopté une approche de conception centrée sur l'utilisateur dans le but de lui fournir des TBA adaptés. Nous proposons aussi un processus de capture des besoins qui a permis l’élaboration de nos modèles (indicateur, moyens de visualisation, utilisateur, …). Ces derniers sont utilisés par un processus de génération implémenté dans un prototype de générateur dynamique. Nous avons procédé à une phase d'évaluation itérative dont l’objectif est d'affiner nos modèles et de valider l'efficacité de notre processus de génération ainsi que de démontrer l'impact de la décision sur la génération des TBA. / This work is part of a broader issue of Learning Analytics (LA). It is particularly carried out within the context of the HUBBLE project, a national observatory for the design and sharing of data analysis processes. We are interested in communicating data analysis results to users by providing LA dashboards (LAD). Our main issue is the identification of generic LAD structures in order to generate dynamically tailored LAD. These structures must be generic to ensure their reuse, and adaptable to users’ needs. Existing works proposed LAD which remains too general or developed in an adhoc way. According to the HUBBLE project, we want to use identified decisions of end-users to generate dynamically our LAD. We were interested in the business intelligence area because of the place of dashboards in the decision-making process. Decision-making requires an explicit understanding of user needs. That's why we have adopted a user-centered design (UCD) approach to generate adapted LAD. We propose a new process for capturing end-users’ needs, in order to elaborate some models (Indicator, visualization means, user, pattern, …). These models are used by a generation process implemented in a LAD dynamic generator prototype. We conducted an iterative evaluation phase. The objective is to refine our models and validate the efficiency of our generation process. The second iteration demonstrates the impact of the decision on the LAD generation. Thus, we can confirm that the decision is considered as a central element for the generation of LADs.

L’objectif de cette thèse est de déterminer l’influence des facteurs de contingence sur l’utilité des tableaux de bord dans le pilotage de la performance des ETI. Pour atteindre un tel objectif, la revue de littérature a permis d’un côté, d’appréhender les principaux concepts théoriques utilisés dans ce travail, et d’autre côté de présenter un cadre de la recherche qui constitue la pierre angulaire sur laquelle est fondée la conception de notre modèle théorique. Issu d’une méthodologie hypothético-déductive et d’un positionnement positiviste, un modèle explicatif de l’utilité des tableaux de bord dans le pilotage de la performance des ETI est élaboré. Ce dernier incorpore une variable à expliquer « utilité des TB dans le pilotage de la performance », dix variables explicatives, et une variable médiatrice « diversité d’utilisation des indicateurs de TB ».Ensuite, ce modèle est testé auprès de 156 ETI implantées en France. Les données recueillies sont examinées en utilisant l’analyse en composantes principales et la méthode de régression linéaire multiple. Les résultats de cette étude quantitative exposent les facteurs de contingence expliquant l’utilité des TB dans le pilotage de la performance. Ainsi, cette thèse permet d’enrichir les travaux théoriques antérieurs relatifs aux défis de mesure de la performance, et pratiquement de procurer aux directeurs financiers et aux contrôleurs de gestion un cadre explicatif des nouvelles pratiques de mesure de la performance des ETI. / This thesis aims to determine the influence of contingency factors on the utility of balanced scorecards in the performance management of ISEs. To achieve this objective, the literature review has allowed, on the one hand, to understand the main theoretical concepts used in this work and, on the other hand, to present a research framework which is the cornerstone of our theoretical model. From a hypothetical-deductive methodology and a positivist position, an explanatory model of the utility of balanced scorecards in the performance management of ISEs is developed. The latter incorporates one dependent variable which explains the "utility of balanced scorecards in the performance management", ten explanatory variables and one mediating variable "diversity of use of BSC indicators".Then, this model is tested on 156 ISEs established in France. The data collected is examined using the principal components analysis and the multiple linear regression method. The results of this quantitative study expose contingency factors explaining the utility of BSC in the performance management. Thus, this thesis enriches the previous theoretical works on the challenges of measuring performance, and practically, provides CFOs and management controllers with an explanatory framework of the new practices of ISEs’ performance management.

Cette thèse porte sur l’étude des familles de polynômes orthogonaux et leurs liens avec les modèles exactement résolubles. Elle se décline en deux parties. Dans la première, on caractérise quatre nouvelles familles de polynômes orthogonaux à l’aide de processus limites appliqués à des familles appartenant aux schéma d’Askey et de Bannai-Ito. Des troncations singulières des polynômes de Wilson et d’Askey-Wilson sont considérées. Deux premières extensions bivariées de polynômes appartenant au tableau de Bannai-Ito sont également introduites. La deuxième partie présente quatre modèles exactement résolubles en lien avec la théorie des polynômes orthogonaux. Les propriétés de transfert parfait d’information quantique et de partage d’intrication d’un modèle de chaîne de spin XX dont les couplage sont liés aux polynômes de para-Racah sont examinées. Deux modèles superintégrables contenant des opérateurs de réflexions sont proposés. Leurs solutions sont obtenues et leurs symétries s’encodent respectivement dans l’algèbre de Bannai-Ito de rang deux et de rang arbitraire ce qui mène à conjecturer l’apparition des polynômes de Bannai-Ito multivariés comme coefficients de connection. Finalement, par la théorie des représentations de la superalgèbre osp(1|2), deux identités de convolution pour des familles de polynômes du tableau de Bannai-Ito sont offertes. Une réalisation en termes d’opérateurs de Dunkl conduit à une fonction génératrice bilinéaire pour les polynômes de Big −1 Jacobi. / This thesis is concerned with the study of families of orthogonal polynomials and their connection to exactly solvable models. It comprises two parts. In the first one, four novel families of orthogonal polynomials are caracterized through limit processes applied to families belonging to the Askey and Bannai-Ito schemes. Singular truncations of the Wilson and Askey-Wilson polynomials are considered. The first two bivariate extensions of families of the Bannai-Ito tableau are also introduced. The second part presents four exactly solvable models connected to the theory of orthogonal polynomials. The perfect transfer of quantum information and entanglement generation properties of an XX spin chain model whose couplings are linked to the para-Racah polynomials are examined. Two superintegrable models containing reflexion operators are proposed. Their solutions are obtained and their symmetries are encoded respectively in the rank two and arbitrary rank Bannai-Ito algebra which leads to conjecture the apparition of multivariate Bannai-Ito polynomials as overlaps. Finally, via the representation theory of the osp(1|2) Lie superalgebra, two convolution identities for families of orthogonal polynomials of the Bannai-Ito tableau are offered. Realizations in terms of Dunkl operators lead to a bilinear generating function for the Big −1 Jacobi polynomials.