• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2447
  • 1618
  • 1255
  • 21
  • 6
  • 6
  • 2
  • 2
  • 1
  • Tagged with
  • 5650
  • 3140
  • 3002
  • 1276
  • 692
  • 690
  • 662
  • 645
  • 620
  • 597
  • 486
  • 476
  • 457
  • 453
  • 438
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
831

Étude d'un système d'aide à la programmation d'applications conversationnelles : spécification et réalisation d'une maquette.

Chtayti, Ahmed, January 1900 (has links)
Th. doct.-ing.--Inform.--Nancy--I.N.P.L., 1984.
832

Intégration du système réparti CHORUS dans le langage de haut niveau PASCAL.

Guillemont, Marc, January 1900 (has links)
Th. doct.-ing.--Grenoble 1, 1982. N°: 14.
833

Étude algébrique et relationnelle des types abstraits et de leurs représentations.

Lescanne, Pierre, January 1900 (has links)
Th.--Sci.--Nancy--I.N.P.L., 1979.
834

Outils d'amélioration de l'accessibilité du web pour les personnes visuellement handicapées / Web accessibility improvement tools for visually impaired people

Colas, Sonia 17 November 2008 (has links)
Pour profiter des nombreux services offerts via Internet et « surfer » sur la toile comme quiconque, les personnes handicapées ont recours à des aides techniques. Des normes ont été établies pour assurer la compatibilité des sites web avec les aides techniques, et des lois ont été instaurées pour en imposer le respect. Néanmoins encore trop peu de sites web respectent ces normes et sont de ce fait inaccessibles aux personnes handicapées. Lors de ce travail, nous avons cherché à améliorer l'accessibilité du web aux personnes handicapées, en contribuant à l'adaptation « du » web (ou adaptation du contenu, c'est-à-dire en développant des outils pour aider les webmestres à rendre leur site accessible au regard des normes) ainsi qu'à l'adaptation « au » web (ou adaptation de l'utilisateur). / Disabled persons use assistive technologies to take advantage of numerous services offered by Internet and to navigate on the World Wide Web as whoever. Standards were established to insure compatibility of Web sites with assistive technologies, and laws were established to impose respect of these standards. However few Web sites respect these standards and as a result a lot of Web sites are inaccessible for disabled persons. During this work, we tried to improve web accessibility to the disabled persons, by contributing to the web adaptation (or contents adaptation, i.e. by proposing tools to help webmasters to return their accessible site towards the standards) as well as to the adaptation to Web (or user adaptation).
835

Contribution à la résolution des problèmes combinatoires : optimisation séquentielle et parallèle / Contribution for solving combinatorial problems : sequential and parallel optimization

Saleh, Sagvan Ali 15 June 2015 (has links)
Les problèmes d’optimisation combinatoire sont d’un grand intérêt à la fois pour le monde scientifique et le monde industriel. La communauté scientifique a oeuvré pour la simplification de certains problèmes issus du monde industriel vers des modèles d’optimisation combinatoire. Parmi ces problèmes, on peut trouver des problèmes appartenant à la famille du problème du sac à dos (knapsack). Dans cette thèse, nous considérons une variante du problème du sac à dos : le problème du sac à dos avec des contraintes disjonctives (Knapsack with Disjunctive Constraints). En raison de la difficulté de cette problématique, nous nous sommes intéressés au développement de méthodes heuristiques produisant des solutions de bonne qualité en un temps de calcul modéré. Nos travaux de recherche s’appuient sur le principe de la recherche par voisinage. Bien que cette façon de faire nous conduise vers des solutions approchées,leur utilisation ainsi que les résultats que nous avons obtenus restent intéressants tout en gardant un temps d’exécution raisonnable. Afin de résoudre des instances de grande taille pour la problématique étudiée, nous avons proposé des méthodes séquentielles et parallèles. Ces deux techniques de résolution sont basées sur la recherche par voisinage. Dans un premier temps, une première méthode de recherche par voisinage aléatoire a été proposée. Elle s’appuie sur la combinaison de deux procédures : une première procédure qui cherche à construire une série de solutions partielles et une deuxième procédure qui complète chacune des solutions partielles courantes par une exploration de son voisinage. Ensuite, une deuxième méthode adaptative a été mise en place. Elle s’appuie sur un système d’optimisation par colonie de fourmis pour simuler une recherche guidée et une procédure de descente pour explorer au mieux les solutions produites au cours du processus de recherche. Finalement, une troisième méthode a été élaborée dans le but de faire évoluer la performance des méthodes de recherche par voisinage. Dans cette partie de nos travaux de recherche, nous avons proposé une recherche par voisinage aléatoire parallèle. Nous nous appuyés sur l’exploration simultanée de différents (sous) espaces de recherche par différents processeurs, où chaque processeur adopte sa propre stratégie aléatoire pour construire ses propres voisinages en fonction de ses informations internes récoltées / Combinatorial optimization problems are of high interest both for the scientific world and for the industrial world. The research community has simplified many practical situations as combinatorial optimization problems. Among these problems, we can find some problems belonging to the knapsack family. This thesis considers a particular problem belonging to the knapsack family, known as the disjunctively constrained knapsack problem. Because of the difficulty of this problem, we are searching for approximate solution techniques with fast solution times for its large scale instances. A promising way to solve the disjunctively constrained knapsack problem is to consider some techniques based upon the principle of neighborhood search. Although such techniques produce approximate solution methods, they allow us to present fast algorithms that yield interesting solutions within a short average running time. In order to tackle large scale instances of the disjunctively constrained knapsack problem, we present sequential and parallel algorithms based upon neighborhood search techniques. The first algorithm can be viewed as a random neighborhood search method. This algorithm uses a combination of neighborhood search techniques in order to randomly explore a series of sub-solution spaces, where each subspace is characterized by a neighborhood of a local optimum. The second algorithm is an adaptive neighborhood search that guides the search process in the feasible solution space towards high quality solutions. This algorithm uses an ant colony optimization system to simulate the guided search. The third andlast algorithm is a parallel random neighborhood search method which exploits the parallelism for exploring simultaneously different sub-solution spaces by several processors. Each processor adopts its own random strategy to yield its own neighborhoods according to its internal information
836

Invention architecturale et algorithmes non-lineaires / Architectural invention and nonlinear algorithms

Ma, Liang 27 May 2015 (has links)
En quelques décennies, les outils de conception assistée par ordinateur ont connu un développement d’une ampleur considérable mettant l’intelligence artificielle et ses puissances de calcul de plus en plus à contribution dans l’élaboration même du projet architectural, alors qu’à ses débuts l’ordinateur était requis pour illustrer ce qui avait été conçu indépendamment ou calculer les portées, les résistances, les charges des ouvrages échafaudés. Au centre de ces étonnants progrès se joue la question de l’algorithme et des possibilités d’investigation qu’il génère. Nous proposons d’inventorier les projets les plus significatifs ayant recours à ces recherches et d’interroger le sens et la raison de telles importations. Une des caractéristiques des projets présentés est qu’ils renvoient systématiquement à des systèmes complexes notamment non linéaires laissant la part belle à l’émergence d’événements imprévisibles. Ce qui retient notre intérêt est de comprendre et apprécier la pertinence de ces programmes qui, tout en étant initiés à partir de règles strictes, inscrivent l’émergence de topologies imprévisibles dans leur système de génération. Pour conduire cet examen, nous proposons de confronter ces projets avec les catégories de l’architecture telles qu’elles que définies dans certains traités, manuels, manifestes afin d’évaluer ce qui les sépare, les rapproche, ouvre de nouvelles perspectives. / In the past few decades, computer-aided design tools have experienced a magnificent development, involving artificial intelligence and its computing power into the architectural conception development. While at the first stage, computers were used just for presenting designs or calculating the range, resistance, loads of scaffold structures. The essential of this progress is the algorithm and potential opportunities it generates. We studied some of the most representative projects in order to understand the meaning of the use of algorithm in the architectural invention and the reason for importing algorithm from other disciplines. One of the common characteristics of these projects is that they all return to the complex systems including nonlinear with emergence of unpredictable events. What catches our interest is the relevance of these programs, in which unpredictable topologies generated from strict rules. To conduct this project, we propose to compare these projects with architectural treaties, manuals, manifest to evaluate, categorize and open up new perspectives.
837

Analyse de primitives cryptographiques récentes / Analysis of recent cryptographic primitives

Minaud, Brice 07 October 2016 (has links)
Dans cette thèse, nous nous intéressons à la sécurité de quelques primitives cryptographiques récentes, d’abord symétriques puis asymétriques, en passant par le modèle en boîte blanche, qui est à certains égards intermédiaire. Dans un premier temps, nous montrons l’existence de fonctions linéaires non triviales commutant avec la fonction de tour de certains chiffrements par bloc, dont découlent des attaques par auto-similarité et sous-espace invariant. Nous nous intéressons ensuite à la cryptanalyse de la structure ASASA, où deux couches non linéaires S sont imbriquées dans des couches affines A. Notre cryptanalyse structurelle permet de casser des instances de chiffrement symétrique, multivarié et en boîte blanche. En nous concentrant sur le modèle d’incompressibilité en boîte blanche, nous montrons ensuite comment réaliser un chiffrement par bloc et un générateur de clef efficaces dont la sécurité est prouvable. Finalement, du côté purement asymétrique, nous décrivons une attaque polynomiale contre une construction récente d’application multilinéaire. / In this thesis, we study the security of some recent cryptographic primitives, both symmetric and asymmetric. Along the way we also consider white-box primitives, which may be regarded as a middle ground between symmetric and asymmetric cryptography. We begin by showing the existence of non-trivial linear maps commuting with the round function of some recent block cipher designs, which give rise to self-similarity and invariant subspace attacks. We then move on to the structural cryptanalysis of ASASA schemes, where nonlinear layers S alternate with affine layers A. Our structural cryptanalysis applies to symmetric, multivariate, as well as white-box instances. Focusing on the white-box model of incompressibility, we then build an efficient block cipher and key generator that offer provable security guarantees. Finally, on the purely asymmetric side, we describe a polynomial attack against a recent multilinear map proposal.
838

Transfert international de technologie informatique dans le cadre d'un projet de coopération institutionnelle

Bendaoud, Salah-Eddine January 1990 (has links) (PDF)
Le transfert et l'implantation technologiques, dans le cadre d'une coopération institutionnelle internationale, constituent l'objet de ce mémoire. L'intervention canadienne, opérée par l'Université du Québec à Chicoutimi (U.Q.A.C.), dans le cadre d'une organisation d'enseignement étrangère, l'Institut Supérieur de Commerce et d'Administration des Entreprises (ISCAE), visait à apporter un soutien didactique et une assistance technique en vue de l'amorce du virage technologique. Face à ce défi majeur qui est l'informatique et son envahissement irréversible, l'univers organisationnel ne peut que se conditionner et subir des transformations des moeurs, des attitudes et une requalification du management en général. L'adaptation est nécessaire et doit faire l'objet d'une réflexion sur les capacités de l'organisation à accepter le changement et à oeuvrer dans un environnement mouvant. Notre démarche nous a amené à découvrir la problématique issue de l'incorporation des nouvelles technologies ainsi que la résistance dynamique à toute impulsion de changement. Le contexte décrit fait ressortir que l'adoption d'une technologie n'est pas une action ponctuelle et conjoncturelle mais avant tout un élément non-isolé qui requiert une stratégie de développement avec une méthodologie à long terme adaptée à la fois à l'individu et à l'organisation. Le changement technologique s'inscrit dans le courant du Développement Organisationnel. Les points saillants découlant de ce travail se dégagent de la représentation de la situation problématique réelle, de la mise en évidence des solutions potentielles et de leur application. Sous l'aspect d'une démarche de recherche-action liant étroitement les équipes de travail des deux institutions, l'identification et l'évaluation des principaux problèmes ont été réalisées et des efforts communs d'appui et de développement structurel ont été engagés pour atténuer les pressions constatées, réorienter et restructurer dans la mesure du possible les activités pédagogiques et administratives. La finalité de notre démarche est d'apporter une aide à l'édification d'une activité pédagogique intégrant les nouvelles technologies micro-informatiques et de mettre sur les rails un processus d'adoption technologique progressif.
839

L'informatisation du travail dans une administration municipale cas : ville de Joliette

Thérien, Michel January 1990 (has links) (PDF)
L'idée principale de cette recherche est d'aider les dirigeants de la ville de Joliette dans leur stratégie d'informatisation du travail. L'originalité de cette étude est d'employer la méthodologie du diagnostic-intervention comme un outil de planification pour favoriser une gestion harmonieuse de la technologie en prenant en considération le contexte évolutif de l'organisation et des intérêts des individus. L'élaboration de la problématique de l'informatisation du travail s'est fait par l'approche systémique et la perspective des flux d'information. La description de l'environnement, des processus, des structures, des ressources et du climat organisationnel nous à permis de diagnostiquer une liste d'améliorations possibles. Cet exercice s'est effectué avec la rencontre des points de vue issus de la compétence de chacun. Des rétroactions et des efforts de concertation nous ont amenés à découvrir la pertinence de se préoccuper en priorité de l'orientation de l'informatisation du travail à la Ville de Joliette. Un système de planification municipale avec un sous-système de planification de l'informatisation du travail a servi d'ancrage et de cadre conceptuel pour guider notre intervention. En guise de comparaison, la simulation de ce modèle à partir d'événements d'actualité a permis aux dirigeants de la Ville d'identifier des changements appropriés et d'accroître leur confiance dans leurs possibilités de planifier ce processus. Dans notre souci de les soutenir sur le comment faire, nous avons suggéré une stratégie d'implantation. La réalisation de cette stratégie d'implantation visait à décristalliser la situation problématique d'origine. En axant les changements à apporter sur l'introduction du modèle conceptuel dans la réalité organisationnelle, nous nous assurions d'un lien cohérent et congru. La méthodologie prévoit des boucles de révision et une phase d'évaluation. L'auteur aurait aimé participer à l'évaluation mais la période de changement était trop étendue par rapport à son engagement.
840

Un modèle de développement de système d'information par le biais d'une base de données

Perron, Rémi January 1988 (has links) (PDF)
La vie économique est ainsi faite que l'entreprise qui ne s'adapte pas assez rapidement à l'évolution de son marché se retrouve rapidement dans une position inconfortable. Si elle ne sait pas croître au rythme de la demande, une entreprise plus agressive s'accaparera la clientèle mal desservie et avant longtemps ira chercher une partie de la clientèle de ses concurrents. C'est à ce point vrai que la rapidité d'adaptation aux nouvelles techniques de production, de vente, de marketing, d'informatique ou de gestion fait souvent la différence, à moyen terme, entre les entreprises dynamiques et les autres. La notion de productivité prend là tout son sens et sa valeur. Toutefois on ne peut dissocier emploi et technologie quand vient le temps de parler de productivité: la combinaison de ces deux éléments apporte des réponses à certains problèmes et permet d'ajuster l'activité de l'entreprise aux besoins du marché. La productivité peut se définir comme étant la maximisation des ressources d'une entreprise pour atteindre un niveau idéal de production de biens ou de services. Il n'y a pas de recette miracle en affaires: l'opportunisme entrepreneurial a été et sera toujours la clé du succès. Par contre, certains dirigeants d'entreprise ont, plus que d'autres, l'esprit ouvert à l'évolution de nouvelles techniques de production, aux changements technologiques et recherchent constamment ce qui fera de leur entreprise un leader dans son domaine. Comme dans bien des domaines, l'arrivée de l'informatique dans l'entreprise a chambardé les divers aspects de l'organisation. Les systèmes de gestion informatisés (inventaire, comptabilité, personnel, etc.) sont devenus des outils beaucoup plus familiers pour les entrepreneurs et ils ont facilité la prise de décision. L'implantation d'équipement électronique est devenue une pratique courante dans tous les secteurs d'activité économique et ce, même dans des domaines tels que les arts graphiques ou la transformation des métaux. Les gestionnaires, tant dans l'industrie que dans les services publics, ont à coeur cette notion de productivité et doivent parfois prendre des risques relativement importants pour se doter des meilleures structures de production possibles: personnel qualifié, équipement moderne, contrôle de la qualité. La croissance, et souvent la survie même de leur organisation, en dépendent. Nous, les conseillers de la PMO, devons donc trouver les moyens nécessaires pour introduire des outils qui faciliteront la prise de décision. L'objectif de ce mémoire est essentiellement de trouver un de ces moyens et l'aspect privilégié ici est l'informatique. Vous verrez dans ce mémoire comment l'approche systémique peut aider à la gestion d'implantation de système d'information organisationnel.

Page generated in 0.5229 seconds