• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 188
  • 63
  • 25
  • 3
  • 1
  • Tagged with
  • 270
  • 78
  • 49
  • 31
  • 29
  • 28
  • 24
  • 21
  • 20
  • 20
  • 19
  • 18
  • 17
  • 14
  • 14
  • 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.
121

L'espace urbain déformé : transports collectifs et cartes mentales

Poublan-Attas, Valérie 12 June 1998 (has links) (PDF)
L'intérêt pour les transports collectifs ne cesse de croître avec la prise de conscience des problèmes engendrés par le «tout automobile». Dans ce contexte, les transports en commun en site propre, et particulièrement les tramways, reconquièrent les villes. Toutes ces nouvelles orientations représentent des sommes d'argent considérables, c'est pourquoi les questions de conception et d'évaluation des projets de transport public sont cruciaux.<br />Cette thèse développe une méthode qualitative d'aide à la conception et à l'évaluation des réseaux de transports collectifs et s'intéresse, plus spécifiquement aux lignes de tramway. La méthode constitue aussi un outil puissant de pondération des outils quantitatifs.<br />Toute personne possède une représentation mentale de l'espace urbain qu'elle parcourt réellement ou virtuellement. Les réseaux de transport collectif influencent les cartes mentales de l'espace urbain. Ils contraignent la perception que les gens ont de la ville à travers leurs itinéraires mais aussi modifient les distances entre les points, créant un espace temps spécifique. Cependant, les cartes mentales, tels des instruments de navigation, agissent par activations sélectives ou abandon de certaines branches du réseau. C'est pourquoi l'étude des représentations mentales, de leur capacité à intégrer des éléments nouveaux comme une nouvelle ligne de transport public est capitale.<br />Cette recherche étudie les éléments constitutifs des cartes mentales puis la manière dont celles-ci évoluent avec la mise en service d'une nouvelle ligne de transport collectif. Elle s'intéresse aussi à la taille, à la localisation des territoires d'appartenance des individus et à leurs évolutions, question essentielle pour désenclaver les quartiers en difficulté.<br />Les enseignements cernent les éléments du transport collectif qui déterminent fortement les représentations mentales. La topologie de celles-ci, les seuils de perception sont analysés en particulier et partiellement expliqués. Enfin, les cartes mentales peuvent se regrouper par types selon leur capacité à intégrer des éléments nouveaux. Chaque type correspond à un profil d'individu. Cette conclusion est capitale car elle permet, par l'utilisation de la méthode, d'évaluer dans quelle mesure les représentations mentales des individus, concernés par un projet de transport collectif, sont enclines à intégrer la future ligne ou non.<br />Les résultats de cette recherche, ainsi que la méthode développée, sont autant d'enseignements précieux pour un aménageur ou, de manière générale, un décideur en matière d'urbanisme et de transport.
122

Une approche neuro-dynamique de conception des processus d'auto-organisation

Alecu, Lucian 30 June 2011 (has links) (PDF)
Dans ce manuscrit nous proposons une architecture neuronale d'inspiration corticale, capable de développer un traitement émergent de type auto-organisation. Afin d'implémenter cette architecture neuronale de manière distribuée, nous utilisons le modèle de champs neuronaux dynamiques, un formalisme mathématique générique conçu pour modéliser la compétition des activités neuronales au niveau cortical mésoscopique. Pour analyser en détail les propriétés dynamiques des modèles de référence de ce formalisme, nous proposons un critère formel et un instrument d'évaluation, capable d'examiner et de quantifier le comportement dynamique d'un champ neuronal quelconque dans différents contextes de stimulation. Si cet instrument nous permet de mettre en évidence les avantages pratiques de ces modèles, il nous révèle aussi l'incapacité de ces modèles à conduire l'implantation des processus d'auto-organisation (implémenté par l'architecture décrite) vers des résultats satisfaisants. Ces résultats nous amènent à proposer une alternative aux modèles classiques de champs, basée sur un mécanisme de rétro-inhibition, qui implémente un processus local de régulation neuronale. Grâce à ce mécanisme, le nouveau modèle de champ réussit à implémenter avec succès le processus d'auto-organisation décrit par l'architecture proposée d'inspiration corticale. De plus, une analyse détaillée confirme que ce formalisme garde les caractéristiques dynamiques exhibées par les modèles classiques de champs neuronaux. Ces résultats ouvrent la perspective de développement des architectures de calcul neuronal de traitement d'information pour la conception des solutions logicielles ou robotiques bio-inspirées.
123

Attaques en fautes globales et locales sur les cryptoprocesseurs AES : mise en œuvre et contremesures.

Selmane, Nidhal 13 December 2010 (has links) (PDF)
Dans cette thèse, Nous présentons différents aspects d'attaques physiques sur les implémentations cryptographiques de l'algorithme de chiffrement AES, ainsi qu'une étude sur les contre-mesures possibles. La première méthode d'injection utilisée est basée sur la violation temps de setup. Nous avons démontré pour la première fois que cette méthode globale permet l'injection de fautes exploitables dans les circuits cryptographiques ASIC et FPGA . On a également réalisé une attaque locale sur un microprocesseur ATmega128 en utilisant un laser. Nous présentons aussi dans cette thèse, une nouvelle approche pour contré les attaque en fautes basé sur la résilience. La résilience n'impose aucune destruction des secrets dans le cas d'une attaque en faute. Dans une implémentation protégée par résilience, quand une faute est injecté avec succès mais n'a pas de conséquence dans le calcul, le circuit ne présente aucune réaction par contre si le circuit est protégé par un système de détection arrête automatiquement le calcul même si la faute n'a pas d'effet. Dans une implémentation résilience même si la faute est injectée lors du calcul l'attaquant ne peut pas exploiter le résultat a fin d'exécuter une attaque DFA. Plusieurs méthodes concrètes pour mettre en oeuvre la résilience pour les chiffrements symétriques sont proposées, parmi lesquelles un mode aléatoire de fonctionnement qui convient pour des cartes à puce a faible coût. Nous proposons d'utiliser les logiques DPL comme méthode de protection. Ces logiques protègent simultanément contre les attaques par observation et par perturbation, et sont moins coûteux que la détection basée sur les codes.
124

Fonctions sur l'ensemble des diagrammes de Young : caractères du groupe symétrique et polynômes de Kerov

Féray, Valentin 09 March 2009 (has links) (PDF)
Cette thèse concerne les valeurs du caractère irréductible (renormalisé) comme fonction de la partition indexant la représentation (et non de la permutation sur laquelle on calcule le caractère). Avec une bonne renormalisation, les caractères s'écrivent comme des polynômes en fonction des coordonnées des diagrammes multirectangulaires d'une part et en fonction des cumulants libres d'autre part ( ce sont des observables du diagramme apparaissant naturellement dans des problèmes d'asymptotique). Nous avons donné des interprétations combinatoires des coefficients de ces différentes expressions. Celles-ci peuvent s'exprimer en termes de cartes, dont le genre est lié au comportement asymptotique du terme correspondant. Ce type d'expression permet d'une part de bien comprendre le comportement asymptotique : nous avons ainsi amélioré les bornes connues sur les caractères ainsi que le domaine de validité d'équivalents classique. D'autre part, la combinatoire apparaissant dans ces questions est riche et a pu être utilisée dans l'étude d'identité sur des fractions rationnelles
125

Modélisation en bosses pour l'analyse de motifs oscillatoires reproductibles dans l'activité de populations neuronales: applications à l'apprentissage olfactif chez l'animal et à la détection précoce de la maladie d'Alzheimer

Vialatte, François Benoît 16 December 2005 (has links) (PDF)
Le travail décrit dans ce mémoire a été effectué dans le cadre d'une collaboration entre le Laboratoire d'Électronique de l'École Supérieure de Physique et de Chimie Industrielles de la Ville de Paris (ESPCI), et l'équipe "Neurobiologie de la mémoire olfactive" de l'Institut des Sciences Cognitives de Lyon. L'étude des dynamiques neuronales associées aux processus cognitifs peut être abordée par l'analyse de l'activité électrique de populations neuronales enregistrée par des électrodes placées sur le scalp (électroencéphalogramme ou EEG); ou en profondeur (local field potential ou LFP) qui fournissent une meilleure résolution spatiale sur l'origine du signal. On détecte ainsi des motifs d'activité rythmiques divisés en bandes de fréquences (rythmes alpha, bêta, gamma...) et qui traduisent différents "états cérébraux" comme le niveau de vigilance et d'attention ou certains états pathologiques comme l'épilepsie. On ignore toutefois si ce type d'activité révèle également des aspects plus fins du traitement de l'information comme par exemple la réponse neuronale sélective ("code neuronal") à une stimulation sensorielle donnée. S'il en est ainsi, on devrait pouvoir mettre en évidence que la présentation d'un stimulus sensoriel donné évoque un pattern reproductible d'activité oscillatoire. C'est pourquoi dans un premier volet nous nous intéressons, dans ce travail, à l'analyse des représentations temps-fréquence des signaux LFP enregistrés chez le rat libre de se mouvoir en réponse à différents odorants. Dans un second volet, nous analysons des enregistrements EEG de courte durée obtenus chez des patients dont on soupçonne qu'ils développeront la maladie d'Alzheimer. Nous cherchons à détecter des patterns d'activité oscillatoires qui pourraient contribuer au diagnostic. Ces deux approches sont rendues possibles par une nouvelle méthode d'analyse des cartes temps-fréquence qui fait l'objet de cette thèse. La méthode que nous présentons ici, la "modélisation en bosses", fournit une représentation simple, parcimonieuse en nombre de paramètres, des cartes temps-fréquence obtenues par décomposition du signal en ondelettes. Cette modélisation permet l'extraction de caractéristiques temps-fréquence, à l'aide desquelles l'analyse statistique d'enregistrements nombreux, et la détection de motifs temps-fréquence reproductibles, peuvent être effectuées. La méthode est d'abord validée sur des signaux artificiels (simulation de signaux réels). Elle est ensuite appliquée en premier lieu à l'analyse de plusieurs centaines de réponses aux odeurs obtenues dans le bulbe olfactif du rat (signaux LFP). Nous montrons d'une part que chacun des 4 odorants évoquent des patterns d'activité oscillatoire reproductibles et que certains de ces patterns diffèrent entre eux de façon significative. Ces motifs spécifiques d'activité, principalement observés dans la bande beta (15-35 Hz), pourraient refléter le recrutement successif d'assemblées neuronales associées à la représentation du stimulus. Pour les signaux EEG, nous présentons les premiers résultats d'une étude effectuée en collaboration avec le laboratoire LABSP du Riken Brain Science Institute (Wako, Japon). Nous montrons que notre méthode permet une détection précoce de la maladie (18 à 24 mois avant le diagnostic de la pathologie) avec une précision largement améliorée par rapport aux prédictions effectuées par d'autres méthodes sur la même base de données. En conclusion, notre approche montre qu'il est possible d'extraire à partir de l'analyse des motifs complexes d'activités oscillatoires générées par de larges populations neuronales des corrélats du traitement de l'information sensorielle et la signature encore discrète d'états pathologiques.
126

Organisation spatiale du tissu conjonctif intramusculaire: Relation avec la texture de la viande bovine

Maunier-Sifre, Laurence 06 July 2005 (has links) (PDF)
Le périmysium a été analysé à l'aide de deux modalités d'imagerie, l'histologie et l'imagerie par résonance magnétique (IRM). L'histologie a permis l'observation des faisceaux primaires et l'IRM des faisceaux d'ordre supérieur. Dans les deux cas, une méthode de seuillage du périmysium a été mise au point et validée avec la construction d'une banque de cartes de référence probabilistes, résultat de la segmentation manuelle du réseau par un jury d'experts. Le périmysium segmenté a été caractérisé à l'aide de variable morpho-anatomiques et granulométriques. Celles-ci ont été ensuite reliées à la résistance mécanique et à la tendreté sensorielle de la viande cuite. Ce sont les structures macroscopiques, visualisées en IRM, qui jouent un rôle majeur sur le déterminisme de la tendreté de la viande bovine cuite. Ces résultats ouvrent des perspectives pour le développement de méthodes d'imagerie simples adaptées à la prédiction et au contrôle de la tendreté de la viande bovine.
127

Méthodes pédagogiques et représentation de la compréhension du développement durable : application à la formation des élèves ingénieurs

Lourdel, Nathalie 31 March 2005 (has links) (PDF)
L'évolution des réflexions et la prise en compte du développement durable à tous les niveaux rendent indispensable l'intégration de ce concept dans les formations des élèves ingénieurs. L'intérêt grandissant pour cette thématique ne doit cependant pas faire oublier ses particularités : la dimension évolutive, la complexité, les incertitudes, les divergences de points de vue, la difficulté à le transformer en approche pragmatique... L'ensemble de ces éléments nous a conduit à émettre deux hypothèses. La première est que le concept de développement durable ne peut être assimilé à une connaissance supplémentaire à acquérir, il correspond à une prise de conscience et à un changement de paradigme. La seconde est que la modification des enseignements visant à une intégration du développement durable ne peut se faire par simple implémentation, elle nécessite une réflexion pédagogique, une innovation ciblée. La validation de ces hypothèses nous a amené à définir des objectifs pédagogiques et à proposer l'utilisation d'approches basées sur les pédagogies innovantes. L'étude menée s'est focalisée plus particulièrement sur l'utilisation des jeux de rôles. Ce type d'approche s'est avérée être une des possibilités pour aider l'étudiant à aborder de manière systémique et concrète les principes liés au développement durable. Pour répondre à une problématique d'évaluation et d'identification des contenus cognitifs associés au concept de développement durable, une méthode d'analyse basée sur l'utilisation des cartes cognitives a été développée. L'utilisation des cartes cognitives est apparue pertinente, en effet, cette forme de représentation schématique demandée aux élèves leur a permis d'avoir une vision holistique et de réfléchir aux interactions entre les différents éléments constitutifs du développement durable. Cette méthode présente plusieurs potentialités d'évolution : outil d'amélioration des formations, aide aux réflexions métacognitives ou encore support de réflexion collective sur le développement durable.
128

De la sécurité des plateformes Java Card face aux attaques matérielles

Barbu, Guillaume 03 September 2012 (has links) (PDF)
Les cartes à puce jouent un rôle crucial dans de nombreuses applications que nous utilisons quotidiennement : paiement par carte bancaire, téléphonie mobile, titres de transport électroniques, etc. C'est dans ce contexte que la technologie Java Card s'est imposée depuis son introduction en 1996, réduisant les coûts de développement et de déploiement d'applications pour cartes à puce et permettant la cohabitation de plusieurs applications au sein d'une même carte. La communauté scientifique a rapidement démontré que la possibilité donnée à un attaquant d'installer des applications sur les cartes représente une menace. Mais dans le même temps, la sécurité des systèmes embarqués a également été un sujet d'étude très productif, révélant que des algorithmes cryptographiques considérés comme sûrs pouvaient être facilement cassés si leurs implémentations ne prenaient pas en compte certaines propriétés physiques des composants électroniques qui les accueillent. En particulier, une partie des attaques publiées repose sur la capacité de l'attaquant à perturber physiquement le composant pendant qu'un calcul est exécuté. Ces attaques par injections de fautes n'ont que très peu été étudiées dans le contexte de la technologie Java Card. Cette thèse étudie et analyse la sécurité des Java Cards contre des attaques combinant injections de fautes et installations d'applications malicieuses. Tout d'abord, nous présentons différents chemins d'attaques combinées et exposons dans quelle mesure ces attaques permettent de casser différents mécanismes sécuritaires de la plateforme. En particulier, notre analyse sécuritaire permet de démontrer que la propriété de sûreté du typage, l'intégrité du flot de contrôle, ainsi que le mécanisme d'isolation des applications peuvent être contournés et exploités par des combinaisons adéquates. Puis, nous présentons différentes approches permettant d'améliorer la résistance de la plateforme Java Card ainsi que des applications qu'elle accueille contre des attaques combinées. Ainsi, nous définissons plusieurs contremesures rendant les attaques exposées ainsi que certaines attaques de l'état de l'art inopérantes, et ce en gardant à l'esprit les fortes contraintes inhérentes au monde des cartes à puce.
129

Espace bâti, urbanisme et patrimoine à Rennes XVIIIe - XXIe siècle : représentations et images

Chmura, Sophie 28 September 2007 (has links) (PDF)
Ce travail s'inscrit dans un courant déjà prolifique qui s'intéresse à la réinvention des structures et aux opérations qui constituent, définissent et interprètent une forme. Il vise à comprendre l'ensemble des médiations successives qui ont contribué à construire le patrimoine architectural urbain, mais également à le déconstruire. Il s'intéresse plus particulièrement aux représentations de la ville car elles mettent en jeu l'ensemble des relations d'une société avec son espace, son identification territoriale, son identité même. Sans avoir à faire l'inventaire ou à définir la nature et la valeur patrimoniale de la ville de Rennes, il est possible de comprendre dans quelles conditions une partie des habitants tend plus ou moins formellement à l'ériger au rang de patrimoine et estime nécessaire de défendre certains lieux contre les assauts du temps et des hommes. Le terrain urbain est une source inépuisable d'observations et de témoignages que répercutent guides et relations de voyages, correspondances, oeuvres picturales, photographies, cartes postales et documents de presse. Chacune de ces sources est le reflet des mentalités, un moyen de diffusion collectif et d'appropriation personnelle des lieux. Les récits de voyage et les guides montrent les itinéraires et les destinations à travers lesquels les cultures récapitulent, expriment, échangent et valorisent les signes emblématiques de leur identité et de leur différence. L'étude des images de Rennes, particulièrement celle des cartes postales, s'avère riche en informations concernant les temporalités, les goûts et les personnes qui, localement, influent sur les choix patrimoniaux. Les correspondances et les pétitions des fonds d'Archives, les lettres publiées dans la presse, les comptes-rendus des séances des Sociétés Savantes et des associations locales éclairent certaines des conditions de naissance du sentiment de patrimoine et les formes d'existence de ce sentiment.
130

Localisation d'un robot mobile autonome en environnements naturels

Mallet, Anthony 02 July 2001 (has links) (PDF)
Cette thèse aborde le problème de la localisation d'un robot mobile autonome en environnements naturels. La première partie du mémoire s'intéresse aux méthodes algorithmiques pouvant fournir une estimation de position et une classification de ces différentes méthodes en trois grandes catégories est proposée. La première classe présentée est dite " locale ". Elle repose sur un niveau d'abstraction très faible et utilise des données " brutes " ; la position du robot est calculée de façon incrémentale, par cumul de déplacements élémentaires. L'odométrie appartient à cette classe et ce document présente une analyse de ses performances. Une méthode originale d'estimation visuelle des déplacements est également proposée. Elle utilise la stéreo-vision et effectue le suivi de pixels dans une séquence d'images vidéo pour en déduire des déplacements élémentaires. Cette méthode permet de pallier certains inconvénients de l'odométrie, notamment en terrains accidentés. Les positions produites par les méthodes locales sont cependant sujettes à des dérives inexorables. Il est donc nécessaire d'utiliser des méthodes de la seconde classe --- dite " globale ". Celles-ci permettent, dans certaines circonstances, de réduire la dérive des méthodes locales (on trouve notamment dans cette catégorie les méthodes de localisation sur amers). Une méthode basée sur des cartes d'élévations est présentée. Cette représentation permet un recalage en position par minimisation d'une distance entre une image 3D locale et le modèle. De plus, grâce à une technique particulière de construction, une mémorisation de la trajectoire du robot permet de rétro-propager des modifications sur certaines positions et de garantir ainsi une (meilleure) cohérence spatiale du modèle. La dernière catégorie, regroupant les méthodes de localisation par rapport à un modèle initial ou les méthodes " absolues ", ne sont pas abordées dans ce document. La deuxième partie du mémoire analyse les problèmes posés par l'intégration des diverses méthodes à bord d'un robot dans le but de doter celui-ci d'un éventail de fonctionnalités, éventuellement redondantes. Une démonstration de navigation, réalisée grâce au robot Lama du groupe RIA du LAAS, est détaillée. L'intégration a été réalisée à travers le formalisme défini dans l'architecture LAAS (architecture pour les systèmes autonomes) et a abouti à la précision, au sein de cette architecture, du cadre nécessaire aux fonctionnalités de localisation. Notamment, les problèmes du datage des données et de fusion des informations de position sont pris en compte et une réflexion sur les transferts de données est proposée.

Page generated in 0.0692 seconds