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
SINUS-IT : une approche évolutionnaire de l'analyse harmonique
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
 En savoir plus
 Description complète
SINUS-IT : une approche évolutionnaire de l'analyse harmonique
 Ajouter à mon panier
Accéder aux documents
Some contributions to financial risk management
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
 En savoir plus
 Description complète
Some contributions to financial risk management
 Ajouter à mon panier
Accéder aux documents
Sonde portable de spectroscopie par résonance magnétique nucléaire
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
 En savoir plus
 Description complète
Sonde portable de spectroscopie par résonance magnétique nucléaire
 Ajouter à mon panier
Accéder aux documents
Speculative rewriting of recursive programs as loop candidates for efficient parallelization and optimization using and inspector-executor mechanism
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
 En savoir plus
 Description complète
Speculative rewriting of recursive programs as loop candidates for efficient parallelization and optimization using and inspector-executor mechanism
 Ajouter à mon panier
Accéder aux documents
Stabilisation et asymptotique spectrale de l’équation des ondes amorties vectorielle
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
 En savoir plus
 Description complète
Stabilisation et asymptotique spectrale de l’équation des ondes amorties vectorielle
 Ajouter à mon panier
Accéder aux documents
Stabilisation polynomiale et contrôlabilité exacte des équations des ondes par des contrôles indirects et dynamiques
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
 En savoir plus
 Description complète
Stabilisation polynomiale et contrôlabilité exacte des équations des ondes par des contrôles indirects et dynamiques
 Ajouter à mon panier
Accéder aux documents
Stabilisation rapide et observation en plusieurs instants de systèmes oscillants
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
 En savoir plus
 Description complète
Stabilisation rapide et observation en plusieurs instants de systèmes oscillants
 Ajouter à mon panier
Accéder aux documents
Standard improvements and predictable performance for industrial Internet of things in indoor deployments
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
 En savoir plus
 Description complète
Standard improvements and predictable performance for industrial Internet of things in indoor deployments
 Ajouter à mon panier
Accéder aux documents
Standards optimization and network lifetime maximization for wireless sensor networks in the Internet of things
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
 En savoir plus
 Description complète
Standards optimization and network lifetime maximization for wireless sensor networks in the Internet of things
 Ajouter à mon panier
Accéder aux documents
State estimation for a class of non-linear systems
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
 En savoir plus
 Description complète
State estimation for a class of non-linear systems
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Static and dynamic methods of polyhedral compilation for an efficient execution in multicore environments
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
 En savoir plus
 Description complète
Static and dynamic methods of polyhedral compilation for an efficient execution in multicore environments
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Stating and manipulating periodicity in the polytope model : applications to program analysis and optimization
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
 En savoir plus
 Description complète
Stating and manipulating periodicity in the polytope model : applications to program analysis and optimization
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Statistical models on manifolds for anomaly detection in medical images
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
 En savoir plus
 Description complète
Statistical models on manifolds for anomaly detection in medical images
 Ajouter à mon panier
Accéder aux documents
Stereo visual servoing from straight lines
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
 En savoir plus
 Description complète
Stereo visual servoing from straight lines
 Ajouter à mon panier
Accéder aux documents
Stimulation magnétique transcrânienne robotisée guidée par imagerie médicale
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
 En savoir plus
 Description complète
Stimulation magnétique transcrânienne robotisée guidée par imagerie médicale
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Stochastic optimization by evolutionary methods applied to autonomous aircraft flight control
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
 En savoir plus
 Description complète
Stochastic optimization by evolutionary methods applied to autonomous aircraft flight control
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Stratégie Lean and Green : roadmap d'analyse et de déploiement d'une politique de management alliant amélioration continue et développement durable en entreprise industrielle
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
 En savoir plus
 Description complète
Stratégie Lean and Green : roadmap d'analyse et de déploiement d'une politique de management alliant amélioration continue et développement durable en entreprise industrielle
 Ajouter à mon panier
Accéder aux documents
Structuration d'un flot de conception pour la biologie synthétique
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
 En savoir plus
 Description complète
Structuration d'un flot de conception pour la biologie synthétique
 Ajouter à mon panier
Accéder aux documents
Structures algébriques associées aux relations de double mélange entre valeurs polylogarithmes multiples aux racines de l’unité
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
 En savoir plus
 Description complète
Structures algébriques associées aux relations de double mélange entre valeurs polylogarithmes multiples aux racines de l’unité
 Ajouter à mon panier
Accéder aux documents
Structures complexes supérieures et théorie de Teichmüller supérieure
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
 En savoir plus
 Description complète
Structures complexes supérieures et théorie de Teichmüller supérieure
 Ajouter à mon panier
Accéder aux documents