154 research outputs found

    Cyclotomic modular lattices

    Full text link

    ModÚle d'analyse morpho-syntaxique adaptatif au web usages : ré-indexation sociale dans une norme syntagmatique

    Get PDF
    Colloque international, Novembre 2013, sur : "La NĂ©ologie, les corpus informatisĂ©s et les processus d’élaboration des langues de moindre diffusion“, tenu Ă  GhardaĂŻa, AlgĂ©rie. (http://www.paragraphe.univ-paris8.fr/colloque_international/amenagement_lexical_terminologie_traductionnelle/).International audienceIn the presentation of this problematic , the contribution of the user whom consults content while leaving traces of his actions, can capitalize information and knowledge for the benefit of the reindexing process . this opens reflections on the process of research on content management (see multimedia) by usage and therefore a review on the organization of knowledge between content, users and needs . In the context of the reindexing , it is necessary to rethink the system of knowledge management to contain the activities around content, uses and needs. To do so, the proposed methodology and applied grows on the following aspects: (i ) Definition and filtering semantic concepts in content for indexing , (ii) Organization of knowledge in the process of information retrieval , (iii) Management knowledge to answer an information need of the user, and ( iv ) Cognitive comments on the content and implication of Practice for control the variability formal implementations.Le processus d'indexation consiste dans le fait de dĂ©crire des contenus dans une forme simple et manipulable pour les rendre exploitables et pour en assurer l'usage. Ce dernier est le plus habituel qu'est la recherche d'informations par le contenu. Ce dernier est dĂ©crit par une sĂ©quence structurĂ©e ou non de mots-clĂ©s (concepts ou descripteurs) ; cette sĂ©quence constitue l'index pour un document. L'usager quand il invoque le processus de recherche d'informations (RI), sa requĂȘte se formule en une sĂ©quence de mots empruntĂ©s ou assimilĂ©s au mĂȘme vocabulaire que l'indexation, puis le systĂšme RI compare la requĂȘte et l'index des contenus pour proposer des documents qui coĂŻncident en tout ou en partie au besoin informationnel exprimĂ©. Dans l'exposĂ© de cette problĂ©matique, l'apport de l'usager, qui consulte des contenus tout en laissant des traces sur ses actions, permet de capitaliser des informations et des connaissances au profit du processus de rĂ©indexation. Ce dernier point ouvrira des rĂ©flexions de recherche autour du processus de gestion de contenus (voir le multimĂ©dia) par les usages et donc un rĂ©examen sur l'organisation des connaissances entre les contenu, les usagers et les besoins. Dans le contexte de la rĂ©indexation, il est nĂ©cessaire de repenser le systĂšme de management de la connaissance pour contenir les activitĂ©s autour des contenus, usages et besoins. Pour se faire, la mĂ©thodologie proposĂ©e et appliquĂ©e se dĂ©veloppe sur les aspects suivants : (i) DĂ©finition et filtrage de concepts sĂ©mantiques dans les contenus pour l'indexation, (ii) Organisation des connaissances dans le processus de recherche d'informations, (iii) Gestion de connaissances pour rĂ©ponde Ă  un besoin informationnel de l'usager, et (iv) Observations cognitives sur les contenus et implication des usages pour maĂźtriser la variabilitĂ© des implĂ©mentations formelles

    Technologies logicielles de la modélisation, de la simulation et de l'interaction multisensorielles instrumentales pour la création

    Get PDF
    The presented works have firstly questioned the possible inter-relations between physics-based modelling and simulation on the one hand, and creation and creativity on the other. More specifically, the possibility and fundamental interests of rooting creative activities onto physics-based modelling have been considered.This theme was approached from a Computer Sciences perspective, through the invention and the design of a new family of software environments aimed at creation with masses-interactions physics-based networks. In particular: GENESIS for musical creation, and MIMESIS for movement and computer graphics animation.These software environments empower the artist with innovative and complete creation processes, centred on physical modelling activities.Each and all of these environments are characterized by a specific “software environment paradigm”: dedicated features, software architecture specificities, adequate and necessary human-computer interaction means (interfaces and languages), and particular usage protocols (in our case: modelling and creative processes).These elements have been situated in the scientific and technological history of computer creation tools, and in the state of the art of the various concerned scientific domains. This work has in particular led to analysing the properties of masses-interactions physical networks (modularity, generic potential, calculability, usability, 
), in relation with other categories of algorithms, models and formalisms used nowadays to address human sensori-motor skills. It also accompanied the demonstration that the building of physical models by an artist can be deeply relevant. This relevance lies in the qualities of the phenomena that are finally generated, but also, which is more original, and probably more essential, in the modelling/creation processes themselves.Finally, the works have been extended to various other axes: contributions to synchronous real-time simulation architecture and software for multisensory interaction, including force-feedback, sound, and image, by means of physics-based simulation; experimental modelling works; contributions to the evolutions of the formal basis of the physics networks paradigm; contributions to graphical representation of punctual movements, etc.These past works and the achieved results altogether lead to introduce new research perspectives, which we name software technologies of multisensory instrumental interaction, with, as a far end view, the foundation of a new “science of the multisensory computer” and the possibility of a “multisensory art”.Les travaux prĂ©sentĂ©s ont Ă©tĂ© pour l’essentiel traversĂ©s par un questionnement sur les relations liant modĂ©lisation et simulation physiques et crĂ©ation ou, plus spĂ©cifiquement, sur la possibilitĂ© et l’intĂ©rĂȘt fondamental d’appuyer une activitĂ© de crĂ©ation sur la modĂ©lisation. Ce thĂšme a Ă©tĂ© abordĂ© sous l’angle de l’informatique appliquĂ©e (en anglais, les « computer sciences »), au moyen de l’invention et de la rĂ©alisation d’une nouvelle famille d’environnements logiciels pour la crĂ©ation avec les rĂ©seaux physiques masses-interactions, dont en particulier les modeleurs-simulateurs GENESIS pour la crĂ©ation musicale, puis MIMESIS pour la crĂ©ation du mouvement et l’image animĂ©e. Ces environnements permettent Ă  l’artiste d’organiser des processus de crĂ©ation complets et novateurs, fondĂ©s sur l’activitĂ© de modĂ©lisation physique.Ils sont chacun, et dans leur ensemble, caractĂ©risĂ©s par un paradigme d’environnement logiciel nouveau : des fonctionnalitĂ©s, des caractĂ©ristiques en matiĂšre d’architecture logicielle, des ergonomies nĂ©cessaires, adĂ©quates et spĂ©cifiques, ainsi que des protocoles d’utilisation – ici des processus de modĂ©lisation et de crĂ©ation – qui leur sont propres. Ces propriĂ©tĂ©s ont Ă©tĂ© situĂ©es dans l’histoire scientifique et technologique des outils de crĂ©ation et dans les Ă©tats de l’art des communautĂ©s scientifiques concernĂ©es. Ce travail a notamment donnĂ© lieu Ă  une Ă©tude des propriĂ©tĂ©s des rĂ©seaux physiques masses-interactions (gĂ©nĂ©ricitĂ©, modularitĂ©, calculabilitĂ©, utilisabilitĂ©, gĂ©nĂ©ralitĂ©...) en vis-Ă -vis des catĂ©gories d’algorithmes, modĂšles et formalismes utilisĂ©s pour adresser la sensori-motricitĂ© humaine. Il s’est de plus accompagnĂ© d’une analyse du fait que l’activitĂ© de construction de modĂšles physiques peut prĂ©senter une pertinence profonde pour l’artiste – pertinence qui se joue non seulement dans les qualitĂ©s des phĂ©nomĂšnes gĂ©nĂ©rĂ©s, mais encore, de façon plus originale et peut-ĂȘtre plus essentielle, dans le processus de modĂ©lisation/crĂ©ation lui-mĂȘme.Enfin, les travaux se sont Ă©tendus Ă  plusieurs autres axes d’études : contributions aux logiciels de simulation temps rĂ©el pour l’interaction multisensorielle incluant le retour d’effort, le son et l’image, au moyen de la simulation physique ; travaux expĂ©rimentaux en modĂ©lisation ; contributions Ă  l’amĂ©lioration du cadre formel des rĂ©seaux physiques masses-interactions ; contributions aux procĂ©dĂ©s de mise en forme visuelle de mouvements ponctuels ; travaux de positionnement thĂ©orique ; etc.L’expĂ©rience et les rĂ©sultats acquis conduisent Ă  introduire de nouvelles perspectives de recherche, sous le fil conducteur des technologies logicielles de l’interaction multisensorielle instrumentale, avec en ligne de mire la fondation d’une « science de l’ordinateur multisensoriel » et la possibilitĂ© d’un « art multisensoriel »

    Planification SAT et Planification Temporellement Expressive. Les SystĂšmes TSP et TLP-GP.

    Get PDF
    This thesis deals with Artificial Intelligence planning. After introducing the domain and the main algorithms in the classical framework of planning, we present a state of the art of SAT planning. We analyse in detail this approach which allows us to benefit directly from improvements brought regularly to SAT solvers. We propose new encodings integrating a least-commitment strategy postponing as much as possible the scheduling of actions. We then introduce the TSP system which we have implemented to equitably compare the different encodings and we detail the results of numerous experimental tests which show the superiority of our encodings in comparison with the existing ones. We introduce then a state of the art of temporal planning by analysing algorithms and expressiveness of their representation languages. The great majority of these planners do not allow us to solve real problems for which the concurrency of actions is required. We then detail the two original approaches of our TLP-GP system which allow us to solve this type of problem. As with SAT planning, a large part of search work is delegated to a SMT solver. We then propose extensions of the PDDL planning language which allows us to a certain extent to take into account uncertainty, choice, or continuous transitions. We show finally, thanks to an experimental study, that our algorithms allow us to solve real problems requiring numerous concurrent actions.Cette thÚse s'inscrit dans le cadre de la planification de tùches en intelligence artificielle. AprÚs avoir introduit le domaine et les principaux algorithmes de planification dans le cadre classique, nous présentons un état de l'art de la planification SAT. Nous analysons en détail cette approche qui permet de bénéficier directement des améliorations apportées réguliÚrement aux solveurs SAT. Nous proposons de nouveaux codages qui intÚgrent une stratégie de moindre engagement en retardant le plus possible l'ordonnancement des actions. Nous présentons ensuite le systÚme TSP que nous avons implémenté pour comparer équitablement les différents codages puis nous détaillons les résultats de nombreux tests expérimentaux qui démontrent la supériorité de nos codages par rapport aux codages existants. Nous présentons ensuite un état de l'art de la planification temporelle en analysant les algorithmes et l'expressivité de leurs langages de représentation. La trÚs grande majorité de ces planificateurs ne permet pas de résoudre des problÚmes réels pour lesquels la concurrence des actions est nécessaire. Nous détaillons alors les deux approches originales de notre systÚme TLP-GP permettant de résoudre ce type de problÚmes. Ces approches sont comparables à la planification SAT, une grande partie du travail de recherche étant déléguée à un solveur SMT. Nous proposons ensuite des extensions du langage de planification PDDL qui permettent une certaine prise en compte de l'incertitude, du choix, ou des transitions continues. Nous montrons enfin, grùce à une étude expérimentale, que nos algorithmes permettent de résoudre des problÚmes réels nécessitant de nombreuses actions concurrentes

    Traces numériques. De la production à l'interprétation

    Get PDF
    Relié à des inconnus par des technologies numériques simplifiant l’accès à l’information et à la communication, l’humain du XXIe siècle, même le moins tenté par les nouvelles technologies, laisse partout des traces de ses actions. Relevant de la sphère publique ou privée, les traces numériques de ce Nouveau Monde sont manipulables et susceptibles de ressurgir dans des contextes imprévisibles. Chaque jour, ce fonctionnement inquiète d’autant plus que le numérique gagne progressivement toutes les pratiques contemporaines. Issus de champs disciplinaires variés (sciences de la communication, informatique, linguistique, sociologie, etc.), les universitaires de renom, réunis ici, non seulement lèvent le voile sur la façon dont se fabriquent et s’utilisent les traces numériques, mais aussi analysent les réponses aux risques encourus, qu’elles relèvent d’une protection passive (« le droit à l’oubli ») ou active (la performance dans la gestion des traces numériques)

    MorphogenĂšse de la ville contemporaine:essai sur la multi-Ă©chelle

    Get PDF
    Unstable growth, unlimited urban sprawl, and multiple fragmentations are contemporary urban phenomena requiring new investigations and interpretations of the physical impact of form on today's cities. The city as a living organism with an evolving structure adopts a principle of economy in its form generating process. The city is indeed capable of auto-organization by interaction of its programs. In the frame of this research, this dynamic process named "urban morphogenesis", originating from a logic of nature, is an engineering approach which uses concepts of symmetry – invariance, transformation, and reorganization – from local to global scales. The evolution and complexity of the contemporary city's form could be explained in a new and simple model operating with dynamic notions. A theoretical "multi-scale" model based on ascendant process that uses a set of dynamic notions was set up to accurately describe the city's transformations. The dynamics are mainly applied to the appearance of programs, to the reproduction of habitat groups, to the movement of urban centres due to the presence of new collective programs and to the flexible limit of continuous urban systems. The model can also contribute to explain strategic (de) localizations of important public programs in unsteady areas. To test the new model, the agglomeration areas of Lausanne located in the middle of "MĂ©tropole lĂ©manique" were chosen as experiment subjects. Hopefully, this polyvalent "morphogenesis representation" model based on the following simple geometric codes: "—, Δ, ◻, ○" will serve to generate new insights and analyses of metropolitan areas. Evolution of the research will make progress the following debate: "Are both nature's forms and the urban form symmetrical in their morphogenesis?

    Modélisation par la méthode des plans d'expériences du comportement dynamique d'un module IGBT utilisé en traction ferroviaire

    Get PDF
    La conception des onduleurs de traction ferroviaire dĂ©veloppĂ©s par Alstom Transport se base sur l'aire de sĂ©curitĂ© de ces modules. La surtension et la vitesse de commutation des modules IGBT de forte puissance tels que ceux utilisĂ© en traction ferroviaire peuvent ĂȘtre considĂ©rĂ©s comme des performances critiques dans la dĂ©finition de cette aire de sĂ©curitĂ©. La modĂ©lisation de ces performances, effectuĂ©e dans ce travail de recherche, repose sur l'utilisation des mĂ©thodes de plan d'expĂ©riences. Ces mĂ©thodes, dĂ©finies comme un agencement raisonnĂ© d'essais et considĂ©rĂ©es comme l'un des outils statistiques le plus puissant dĂ©veloppĂ© au 20Ăšme siĂšcle, ont permis d'obtenir des modĂšles de façon empirique en n'effectuant qu'un nombre minimal d'expĂ©rimentations. Ces modĂšles, de forme quadratique, prennent en compte l'ensemble des facteurs prĂ©alablement jugĂ©s influents sur les performances observĂ©es et amĂ©liorent la connaissance du comportement dynamique des modules IGBT dans chacune de leurs applications. ABSTRACT : Design of the IGBT power converter developed by Alstom Transport is based on the safety area of these modules. Overvoltage and commutation speed of high power IGBT modules as these used in railway traction can be considered as critical performances in the safety area definition for these modules. In this PhD work, modelling of these performances is made using design of experiments methods. These methods can be define as reasoned organisation of array and considered as one of the most powerful statistical tool developed during the 20th century. Design of experiments allows to obtain empirical models using a minimal number of experiments. These quadratic models take into account all the influent factors on the observed performances previously identify and increase the knowledge of the dynamical behaviour of IGBTs modules in each one of its applications

    Assistance Ă  la construction et Ă  la comparaison de techniques de diagnostic des connaissances

    Get PDF
    Comparing and building knowledge diagnostic is a challenge in the field of Technology Enhanced Learning (TEL) systems. Knowledge diagnostic aims to infer the knowledge mastered or not by a student in a given learning domain (like mathematics for high school) using student traces recorded by the TEL system. Knowledge diagnostics are widely used, but they strongly depend on the learning domain and are not well formalized. Thus, there exists no method or tool to build, compare and evaluate different diagnostics applied on a given learning domain. Similarly, using a diagnostic in two different domain usually imply to implementing almost both from scratch. Yet, comparing and reusing knowledge diagnostics can lead to reduce the engineering cost, to reinforce the evaluation and finally help knowledge diagnostic designers to choose a diagnostic. We propose a method, refine in a first platform, to assist knowledge diagnostic designers to build and compare knowledge diagnostics, using a new formalization of the diagnostic and student traces. To help building diagnostics, we used a semi-automatic machine learning algorithm, guided by an ontology of the traces and the knowledge designed by the designer. To help comparing diagnostics, we use a set of comparison criteria (either statistical or specific to the field of TEL systems) applied on the results of each diagnostic on a given set of traces. The main contribution is that our method is generic over diagnostics, meaning that very different diagnostics can be built and compared, unlike previous work on this topic. We evaluated our work though three experiments. The first one was about applying our method on three different domains and set of traces (namely geometry, reading and surgery) to build and compare five different knowledge diagnostics in cross validation. The second experiment was about designing and implementing a new comparison criteria specific to TEL systems: the impact of knowledge diagnostic on a pedagogical decision, the choice of a type of help to give to a student. The last experiment was about designing and adding in our platform a new diagnostic, in collaboration with an expert in didactic.Cette thĂšse aborde la thĂ©matique de la comparaison et de la construction de diagnostics des connaissances dans les Environnements Informatiques pour l'Apprentissage Humain (EIAH). Ces diagnostics sont utilisĂ©s pour dĂ©terminer si les apprenants maĂźtrisent ou non les connaissances ou conceptions du domaine d'apprentissage (par exemple math au collĂšge) Ă  partir des traces collectĂ©es par l'EIAH. Bien que ces diagnostics soient rĂ©currents dans les EIAH, ils sont fortement liĂ©s au domaine et ne sont que peu formalisĂ©s, si bien qu'il n'existe pas de mĂ©thode de comparaison pour les positionner entre eux et les valider. Pour la mĂȘme raison, utiliser un diagnostic dans deux domaines diffĂ©rents implique souvent de le redĂ©velopper en partie ou en totalitĂ©, sans rĂ©elle rĂ©utilisation. Pourtant, pouvoir comparer et rĂ©utiliser des diagnostics apporterait aux concepteurs d'EIAH plus de rigueur pour le choix, l'Ă©valuation et le dĂ©veloppement de ces diagnostics. Nous proposons une mĂ©thode d'assistance Ă  la construction et Ă  la comparaison de diagnostics des connaissances, rĂ©ifiĂ©e dans une premiĂšre plateforme, en se basant sur une formalisation du diagnostic des connaissances en EIAH que nous avons dĂ©fini et sur l'utilisation de traces d'apprenant. L'assistance Ă  la construction se fait via un algorithme d'apprentissage semi-automatique, guidĂ© par le concepteur du diagnostic grĂące Ă  une ontologie dĂ©crivant les traces et les connaissances du domaine d'apprentissage. L'assistance Ă  la comparaison se fait par application d'un ensemble de critĂšres de comparaison (statistiques ou spĂ©cifiques aux EIAH) sur les rĂ©sultats des diffĂ©rents diagnostics construits. La principale contribution au domaine est la gĂ©nĂ©ricitĂ© de notre mĂ©thode, applicable Ă  un ensemble de diagnostics diffĂ©rents pour tout domaine d'apprentissage. Nous Ă©valuons notre travail Ă  travers trois expĂ©rimentations. La premiĂšre porte sur l'application de la mĂ©thode Ă  trois domaines diffĂ©rents (gĂ©omĂ©trie, lecture, chirurgie) en utilisant des jeux de traces en validation croisĂ©e pour construire et appliquer les critĂšres de comparaison sur cinq diagnostics diffĂ©rents. La seconde expĂ©rimentation porte sur la spĂ©cification et l'implĂ©mentation d'un nouveau critĂšre de comparaison spĂ©cifique aux EIAH : la comparaison des diagnostics en fonction de leur impact sur une prise de dĂ©cision de l'EIAH, le choix d'un type d'aide Ă  donner Ă  l'apprenant. La troisiĂšme expĂ©rimentation traite de la spĂ©cification et de l'ajout d'un nouveau diagnostic dans notre plateforme, en collaborant avec une didacticienne
    • 

    corecore