Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
892 résultats
page 40 sur 45
résultats 781 à 800
Description : L’analyse spectrale est l’une des branches principales du traitement du signal. De nombreux appareils expérimentaux produisent des signaux qui sont des sommes de sinus amorties. Avec perfectionnements de ces appareils, le volume de données qu’ils produisent ne cesse de grandir. Dans cette thèse, ...
Mots clés : Analyse harmonique (mathématiques), Algorithmes génétiques
Auteur : Abdulkarimova Ulviya
Année de soutenance : 2021
Description : Cette thèse traite différentes questions liées à la gestion quantitative des risques financiers. Nous nous intéressons, dans une première partie, aux modèles de temps de défaut en risque de crédit dans le cadre de la théorie de grossissement de filtrations. Nous proposons des modèles où le temps ...
Mots clés : Crédit, Risque de marché, Volatilité (finances), Processus gaussiens
Auteur : Gueye Djibril
Année de soutenance : 2021
Description : La spectroscopie de Résonance Magnétique Nucléaire (RMN) permet de détecter de manière fiable plusieurs composés chimiques au sein d’un même échantillon qui peut être liquide ou solide. Elle est très utilisée en chimie et commence à l’être de plus en plus en médecine, voire dans le domaine de la ...
Mots clés : Spectroscopie de la résonance magnétique nucléaire, Polluants de l'eau, Glyphosate, Atrazine
Auteur : Nguyen Duc-Vinh
Année de soutenance : 2020
Description : Dans cette thèse, nous proposons Rec2Poly, un cadriciel pour la réécriture spéculative des programmes récursifs sous forme de boucles affines qui sont candidates à une parallélisation et une optimisation efficaces. Rec2Poly cherche un flot de contrôle dynamique et un comportement mémoire conformes ...
Mots clés : Informatique, Réécriture, Systèmes de (informatique), Programmation récursive
Auteur : Kobeissi Salwa
Année de soutenance : 2021
Description : Dans cette thèse nous considérons l’équation des ondes amorties vectorielle sur une variété riemannienne compacte, lisse et sans bord. L’amortisseur est ici une fonction lisse allant de la variété dans l’espace des matrices hermitiennes de taille n. Les solutions de cette équation sont donc à valeurs ...
Mots clés : Mécanique ondulatoire, Équations aux dérivées partielles -- Théorie asymptotique, Théorie spectrale (mathématiques), Riemann, Variétés de
Auteur : Klein Guillaume
Année de soutenance : 2018
Description : La thèse est portée essentiellement sur la stabilisation et la contrôlabilité de deux équations des ondes moyennant un seul contrôle agissant sur le bord du domaine. Dans le cas du contrôle dynamique, le contrôle est introduit dans le système par une équation différentielle agissant sur le bord. ...
Mots clés : Équations d'onde, Mécanique ondulatoire
Auteur : Toufayli Laila
Année de soutenance : 2013
Description : Ce travail est constitué de deux parties indépendantes traitant chacune d'un problème issu de la théorie du contrôle des équations aux dérivées partielles. La première partie est consacrée à l'étude d'un feedback explicite et déjà connu, s'appliquant à des systèmes linéaires, réversibles en temps ...
Mots clés : Analyse harmonique (mathématiques), Semigroupes d'opérateurs, Fourier, Séries de, Équations différentielles fonctionnelles -- Oscillations
Auteur : Vest Ambroise
Année de soutenance : 2013
Description : Les réseaux industriels sont utilisés pour surveiller les processus liés à la sécurité, où une fiabilité élevée et des délais prévisibles doivent être assurés. Pour cette raison, la norme IEEE 802.15.4-2015 a été publiée en 2016, en définissant le mode TSCH (Time-Slotted Channel Hopping). TSCH permet ...
Mots clés : Réseaux locaux industriels (informatique), IEEE 802.15.4 (norme), Réseaux locaux sans fil, Réseaux de capteurs (technologie), Systèmes informatiques -- Mesures de sûreté
Auteur : Teles Hermeto Rodrigo
Année de soutenance : 2019
Description : De nouveaux protocoles ont été standardisés afin d'intégrer les réseaux de capteurs sans fil (WSN) dans l'Internet. Parmi eux, RPL pour la couche routage et IEEE 802.15.4 pour la couche MAC. L'objectif de cette thèse est d'améliorer ces protocoles en prenant compte des contraintes énergétiques des ...
Mots clés : Réseaux de capteurs (technologie), Réseaux locaux sans fil, Routage (informatique), IPv6 (protocole de réseaux d'ordinateurs), Analyse temporelle, Internet des objets
Auteur : Iova Oana-Teodora
Année de soutenance : 2014
Description : En raison du fait que des nombreux processus et systèmes du monde réel peuvent être modélisés comme des systèmes commutés ou des systèmes multi-modèles, la synthèse d'observateurs pour ce type de systèmes a suscité un intérêt croissant ces dernières décennies. Une deuxième raison qui justifie cet ...
Mots clés : Systèmes non linéaires
Auteur : Hua Yunjie
Année de soutenance : 2008
Description : Depuis plusieurs années, le nombre de cœurs de calcul dans les processeurs ne cesse d'augmenter à chaque nouvelle génération. Les processeurs multi-cœurs sont maintenant très fréquents mais le développement de logiciels séquentiels reste une pratique très courante. Pour pallier à ce problème, des ...
Mots clés : Microprocesseurs multi-coeurs, Compilateurs (logiciels), Parallélisme (informatique)
Auteur : Pradelle Benoît
Année de soutenance : 2011
Description : Cette thèse est centrée sur les objets mathématiques formés de l'intersection entre un polyèdre rationnel dépendant de paramètres et un réseau régulier de points à coordonnées entières: les Z-polyèdres paramétriques.Ces objets sont utilisés en compilation où ils permettent de modéliser les nids ...
Mots clés : Compilation (informatique), Programmation linéaire, Programmation en nombres entiers
Auteur : Meister Benoît
Année de soutenance : 2004
Description : On considère le problème de détecter des motifs anormaux au sein d’images neurologiques. Les approches classiques de détection d’anomalie sont le plus souvent des problèmes de classification à une classe, dans lesquels on souhaite détecter les sujets aberrants par rapport à la distribution (apprise ...
Mots clés : Télédiagnostic, Imagerie médicale, Imagerie par résonance magnétique, Détection des anomalies (informatique), Variétés (mathématiques), Méthodes statistiques
Auteur : Tilquin Florian
Année de soutenance : 2019
Description : L'emploi d'un retour visuel dans le but d'effectuer une commande en boucle fermée de robot s'est largement répandu et concerne de nos jours tous les domaines de la robotique. Un tel retour permet d'effectuer une comparaison entre un état désiré et l'état actuel, à l'aide de mesures visuelles. L' ...
Mots clés : Robots -- Cinématique, Robots -- Systèmes de commande, Vision par ordinateur, Vision artificielle (robotique), Servomécanismes
Auteur : Alkhalil Fadi
Année de soutenance : 2012
Description : La Stimulation Magnétique Transcrânienne est une méthode non-invasive qui consiste à déplacer une sonde électromagnétique à la surface du crâne du patient dans le but de modifier l'activité électrique de régions cibles de son cerveau. Son influence a déjà été mise en évidence pour le traitement ...
Mots clés : Robotique en médecine, Robots, Stimulation magnétique transcrânienne
Auteur : Lebossé Cyrille
Année de soutenance : 2008
Description : Le but de ce doctorat est de déterminer dans quelle mesure les algorithmes issus de l’intelligence artificielle, principalement les Algorithmes Evolutionnaires et la Programmation Génétique, pourraient aider les algorithmes de l’automatique classique afin de permettre aux engins autonomes de disposer ...
Mots clés : Intelligence artificielle, Algorithmes évolutionnaires, Programmation génétique (informatique)
Auteur : Querry Stephane
Année de soutenance : 2014
Restriction d'accès permanente : confidentialité ou accès intranet uniquement    Restriction d'accès permanente : confidentialité ou accès intranet uniquement
Description : Ces travaux de thèse s’intéressent à l’association des performances industrielles et environnementales avec une démarche d’amélioration continue orientée vers le développement durable et ciblent l’élimination conjointe des « gaspillages » Lean et Green dans les processus de fabrication. La problématique ...
Mots clés : Écologie industrielle, Industrie verte, Génie industriel, Déchets industriels -- Élimination
Auteur : Verrier Brunilde
Année de soutenance : 2015
Description : La biologie synthétique est une science issue du rapprochement entre les biotechnologies et les sciences pour l’ingénieur. Elle consiste à créer de nouveaux systèmes biologiques par une combinaison rationnelle d’éléments biologiques standardisés, découplés de leur contexte naturel. L’environnement, ...
Mots clés : Biologie de synthèse, Microélectronique, Systèmes, Conception de, Synthèse protéique, VHDL (langage de description de matériel informatique)
Auteur : Gendrault Yves
Année de soutenance : 2013
Description : Les travaux de Racinet ont permis d'associer à tout groupe cyclique fini G et à toute injection de groupes ι :G→C^× un Q-schéma DMR^ι décrivant les relations de double mélange et régularisation entre valeurs polylogarithmes multiples aux racines N^"ièmes" de l’unité avec N l’ordre de G. Il a aussi ...
Mots clés : Algèbre, Formalisme (mathématiques)
Auteur : Yaddaden Khalef
Année de soutenance : 2023
Description : Dans cette thèse, on donne une nouvelle approche géométrique aux composantes des variétés de caractères. En particulier on construit une structure géométrique sur des surfaces, généralisant la structure complexe, et on explore son lien avec les composantes de Hitchin. Cette structure, appelée st ...
Mots clés : Teichmüller, Espaces de, Groupes de Lie semi-simples, Caractères de groupes
Auteur : Thomas Alexander
Année de soutenance : 2020