Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
885 résultats
page 20 sur 45
résultats 381 à 400
Fast and flexible compilation techniques for effective speculative polyhedral parallelization
Description : Dans cette thèse, nous présentons nos contributions à APOLLO : un compilateur de parallélisation automatique qui combine l'optimisation polyédrique et la parallélisation spéculative, afin d'optimiser des programmes dynamiques à la volée. Grâce à une phase de profilage en ligne et un modèle spéculatif ...
Mots clés : Programmation parallèle (informatique), Compilation (informatique), Polyèdres, Algorithmes
Auteur : Martinez Caamaño Juan Manuel
Année de soutenance : 2016
 En savoir plus
 Description complète
Fast and flexible compilation techniques for effective speculative polyhedral parallelization
 Ajouter à mon panier
Accéder aux documents
Feuilletages mesurés et feuilletages transversalement affines
Description : On étudie les feuilletages transversalement affines des surfaces compactes, avec ou sans bord. On met en relation plusieurs méthodes de construction de tels feuilletages: application de premier retour et échanges d'intervalles affines (pour un feuilletage pas nécessairement orientable) ; mesure brisée ...
Mots clés : Feuilletages (mathématiques), Échanges d'intervalles, Chemins de fer
Auteur : Said Ahmad
Année de soutenance : 2013
 En savoir plus
 Description complète
Feuilletages mesurés et feuilletages transversalement affines
 Ajouter à mon panier
Accéder aux documents
Fibré vectoriel fini sur une courbe algébrique
Description : Soit X une courbe projective lisse de genre g, définie sur un corps algébriquement clos k, et soit G un groupe réductif connexe sur k. Nous disons qu'un G-torseur est essentiellement fini s'il admet une réduction à un groupe fini, généralisant la notion de fibrés vectoriels essentiellement finis ...
Mots clés : Fibrés vectoriels, Espaces de modules
Auteur : Ghiasabadi Archia
Année de soutenance : 2023
 En savoir plus
 Description complète
Fibré vectoriel fini sur une courbe algébrique
 Ajouter à mon panier
Accéder aux documents
Filtrations à temps discret négatif
Description : Pas de résumé
Mots clés : filtrations, discret négatif
Auteur : Laurent Stéphane
Année de soutenance : 2004
 En savoir plus
 Description complète
Filtrations à temps discret négatif
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Finite subgroups of the extended Morava stabilizer groups
Description : L'objet de la thèse est la classification à conjugaison près des sous-groupes finis du groupe de stabilisateur (classique) de Morava S_n et du groupe de stabilisateur étendu G_n(u) associé à une loi de groupe formel F de hauteur n définie sur le corps F_p à p éléments. Une classification complète ...
Mots clés : Théorie des groupes, Groupes cohomologiques, Brauer, Groupe de, Corps locaux (algèbre), Algèbres à division
Auteur : Bujard Cédric
Année de soutenance : 2012
 En savoir plus
 Description complète
Finite subgroups of the extended Morava stabilizer groups
 Ajouter à mon panier
Accéder aux documents
Finitely generated normal subgroups of Kähler groups
Description : Dans cette thèse nous nous sommes intéressés à l'étude des sous-groupes normaux detype fini des groupes kählériens. Nous étudions les groupes de type fini munis d’une actionsur un arbre qui admettent un plongement dans un groupe kählérien comme sous-groupesnormaux et dont l'action sur l'arbre peut ...
Mots clés : Mathématiques, Produits de sous-groupes
Auteur : Nicolás Cardona Francisco
Année de soutenance : 2021
 En savoir plus
 Description complète
Finitely generated normal subgroups of Kähler groups
 Ajouter à mon panier
Accéder aux documents
Foncteurs de Long-Moody et homologie stable des groupes de difféotopie
Description : Parmi les représentations linéaires des groupes de tresses, les représentations de Burau peuvent être construites à partir d’une représentation triviale via une construction introduite par Long en 1994, à l’issue d’une collaboration avec Moody. Cette construction, dite de Long-Moody, permet ainsi ...
Mots clés : Topologie algébrique, Foncteurs, Théorie des, Théorie des tresses
Auteur : Soulié Arthur
Année de soutenance : 2018
 En savoir plus
 Description complète
Foncteurs de Long-Moody et homologie stable des groupes de difféotopie
 Ajouter à mon panier
Accéder aux documents
Foncteurs polynomiaux sur les catégories FId .
Description : Dans cette thèse on introduit différentes notions (forte et faibles) de foncteurs polynomiaux sur les catégories FId et on étudie leur comportement. On adapte aussi la définition classique de foncteurs polynomiaux (basée sur les effets croisés) au cadre de FId, et on montre que les deux définitions ...
Mots clés : Foncteurs, Théorie des, Catégories (mathématiques)
Auteur : Feltz Antoine
Année de soutenance : 2024
 En savoir plus
 Description complète
Foncteurs polynomiaux sur les catégories FId .
 Ajouter à mon panier
Accéder aux documents
Fonctionnalisation de surfaces par microstructuration laser
Description : Cette thèse porte sur la fonctionnalisation de surface par microstructuration laser. L’étude expérimentale a consisté à texturer des surfaces d’acier inoxydable avec une source laser impulsionnelle à fibre dopée Yb (1030 nm, 300 fs), dans le but de contrôler leur mouillabilité et de les rendre s ...
Mots clés : Nanostructures, Lasers femtoseconde, Mouillage (chimie des surfaces)
Auteur : Hairaye Camille
Année de soutenance : 2017
 En savoir plus
 Description complète
Fonctionnalisation de surfaces par microstructuration laser
 Ajouter à mon panier
Accéder aux documents
Formalisation et développement de la phase de résolution de problème en conception industrielle
Description : L'innovation technologique est un outil stratégique qui prend de plus en plus d'importance dans les entreprises. L'efficience d'un système d'innovation technologique impose au préalable une bonne maîtrise du processus de conception de produit et plus particulièrement de la phase de résolution de ...
Mots clés : Conception technique, Résolution de problème, Créativité dans le travail, Contrats de conseil, Brainstorming
Auteur : Thiebaud Fabrice
Année de soutenance : 2003
 En savoir plus
 Description complète
Formalisation et développement de la phase de résolution de problème en conception industrielle
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Formalisation et exploitation des contraintes Produit/Process pour la conception de systèmes de production : application à l'Usinage Grande Vitesse
Description : Pas de résumé
Mots clés : Ingénierie, Procédés de fabrication, Usinage à très grande vitesse, Instrumentation (cybernétique)
Auteur : Geiskopf François
Année de soutenance : 2004
 En savoir plus
 Description complète
Formalisation et exploitation des contraintes Produit/Process pour la conception de systèmes de production : application à l'Usinage Grande Vitesse
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Formalité pour certains espaces de configurations tordus et connexions de type Knizhnik - Zamolodchikov
Description : Pour X un espace topologique, l'algèbre de Lie de Malcev de son groupe fondamental (ou algèbre de Lie de Malcev de X) fait partie des invariants étudiés en homotopie rationnelle. Un espace est dit 1-formel si cette algèbre de Lie est quadratique. Les connexions de type Knizhnik-Zamolodochikov peuvent ...
Mots clés : Théorie des tresses, Knizhnik-Zamolodchikov, Équations de, Lie, Algèbres de
Auteur : Maassarani Mohamad
Année de soutenance : 2017
 En savoir plus
 Description complète
Formalité pour certains espaces de configurations tordus et connexions de type Knizhnik - Zamolodchikov
 Ajouter à mon panier
Accéder aux documents
Formality theorems for Lie algebroids and quantization of dynamical r-matrices
Description : Pas de résumé
Mots clés : Lie, Algèbres de, Géométrie symplectique, Quantification géométrique
Auteur : Calaque Damien
Année de soutenance : 2005
 En savoir plus
 Description complète
Formality theorems for Lie algebroids and quantization of dynamical r-matrices
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Frequency-comb stabilized laser sources for absolute distance metrology at the very large telescope interferometer
Description : PRIMA, un futur instrument du VLTI, utilise un système de métrologie laser pour mesurer les variations de chemin optique internes à l'interféromètre. L'étude présentée dans ce mémoire porte sur le développement, l'intégration et le test de sources lasers stabilisées en fréquence pour ce système ...
Mots clés : Interféromètres laser, Interféromètre du très grand télescope ESO, Distances, Stabilité de fréquence
Auteur : Schuhler Nicolas
Année de soutenance : 2006
 En savoir plus
 Description complète
Frequency-comb stabilized laser sources for absolute distance metrology at the very large telescope interferometer
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
From an art to a science : chimie colloïdale, pigments et recherche fondamentale chez Du Pont de Nemours, 1900-1945
Description : Cette thèse porte sur la genèse de la chimie colloïdale et étudie en particulier la trajectoire du groupe des colloïdes de la grande compagnie américaine Du Pont de Nemours pendant l'entre-deux guerres. Elle cherche à comprendre l'articulation entre les enjeux scientifiques que les substances ...
Mots clés : Épistémologie, Colloïdes, E.I. du Pont de Nemours & Company
Auteur : Cerveaux Augustin
Année de soutenance : 2010
 En savoir plus
 Description complète
From an art to a science : chimie colloïdale, pigments et recherche fondamentale chez Du Pont de Nemours, 1900-1945
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
G-structures entières de représentations cristallines
Description : Jean-Marc Fontaine a montré que la catégorie tannakienne des représentations cristallines du groupe de Galois d'un corps local K est équivalente à celle des Phi-modules filtrés sur K admissibles. De plus, la théorie de Fontaine-Laffaille, sous certaines restrictions, précise ceci à l'aide d'un f ...
Mots clés : Représentations intégrales, Galois, Théorie de, Lie, Algèbres de, Modules filtrés
Auteur : Dorat Lionel
Année de soutenance : 2006
 En savoir plus
 Description complète
G-structures entières de représentations cristallines
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Gain-scheduled controller design framework : an application of cluster analysis to the field of feedback control
Description : Cette thèse présente un nouveau cadre pour la conception de correcteurs à gain programmé. Une partie de ce cadre est une fusion novatrice de la théorie des systèmes et de la commande (la métrique ν-gap et sa variante fréquentiellle) et de l'analyse en grappes, technique commune en analyse de données ...
Mots clés : Systèmes de commande (vol), Commande robuste
Auteur : Fleischmann Sebastian
Année de soutenance : 2018
Restriction d'accès permanente : confidentialité ou accès intranet uniquement    Restriction d'accès permanente : confidentialité ou accès intranet uniquement
Accès restreint jusqu'au 19-03-2029 (confidentialité ou accès intranet)    Accès restreint jusqu'au 19-03-2029 (confidentialité ou accès intranet)
 En savoir plus
 Description complète
Gain-scheduled controller design framework : an application of cluster analysis to the field of feedback control
 Ajouter à mon panier
Accéder au document 
Droits d'accès : non autorisé
Génération automatique de codes adaptatifs
Description : Dans cette thèse nous proposons une interface de programmation pour aider les développeurs dans leur tâche d'optimisation de programme par calcul approché. Cette interface prend la forme d'extensions aux langages de programmation pour indiquer au compilateur quelles parties du programme peuvent ...
Mots clés : Compilation (informatique), Langages de programmation, Optimisation mathématique, Calcul adaptatif
Auteur : Schmitt Maxime
Année de soutenance : 2019
 En savoir plus
 Description complète
Génération automatique de codes adaptatifs
 Ajouter à mon panier
Accéder aux documents
Génération de maillages hexaédriques à partir de squelettes
Description : La thèse se concentre sur la création de maillages hexaédriques à partir de squelettes pour produire des supports de simulation médicaux. Il existe peu de méthodes automatiques pour générer ces maillages, qui sont utiles pour la simulation numérique de phénomènes physiques. Le type de données qui ...
Mots clés : Maillages polyédriques, Squelette
Auteur : Viville Paul
Année de soutenance : 2022
 En savoir plus
 Description complète
Génération de maillages hexaédriques à partir de squelettes
 Ajouter à mon panier
Accéder aux documents
Génération de programmes modèles pour la représentation et l'analyse de profils d'exécution : le modèle périodique-linéaire
Description : Cette thèse présente une nouvelle technique de représentation et d'analyse de traces d'exécution de programmes. Après une étude de quelques méthodes générales d'analyse de données, l'accent est mis sur une nouvelle modélisation qui consiste à exprimer le comportement à l'exécution d'un programme ...
Mots clés : Compilation (informatique), Optimisation mathématique
Auteur : Kenmei Youta Bénédicte Ramelie
Année de soutenance : 2006
 En savoir plus
 Description complète
Génération de programmes modèles pour la représentation et l'analyse de profils d'exécution : le modèle périodique-linéaire
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé