Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
456 résultats
page 18 sur 23
résultats 341 à 360
On the formalization of foundations of geometry
Description : Dans cette thèse, nous examinons comment un assistant de preuve peut être utilise pour étudier les fondements de la géométrie. Nous débutons en nous concentrant sur les façons d’axiomatiser la géométrie euclidienne et leurs relations. Ensuite, nous exposons une nouvelle preuve de l’indépendance ...
Mots clés : Géométrie -- Informatique, Axiomes, Langages formels
Auteur : Boutry Pierre
Année de soutenance : 2018
 En savoir plus
 Description complète
On the formalization of foundations of geometry
 Ajouter à mon panier
Accéder aux documents
Optical and thermal performance of complex fenestration systems in the context of building information modelling
Description : L'efficacité énergétique du bâtiment occupe une place importante dans les projets de construction. La façade, intermédiaire entre l'environnement et l'intérieur, joue un rôle clé pour déterminer les performances énergétiques du bâtiment. Les systèmes de fenestration complexes sont généralement u ...
Mots clés : Habitations -- Économies d'énergie, Constructions -- Isolation thermique, Éclairage, Fenêtres
Auteur : Boudhaim Marouane
Année de soutenance : 2018
 En savoir plus
 Description complète
Optical and thermal performance of complex fenestration systems in the context of building information modelling
 Ajouter à mon panier
Accéder aux documents
Optimal design and visual servoing of a suspended aerial manipulator
Description : Un Manipulateur Aérien à Suspension Élastique (MASE) est un nouveau type de robot développé par notre équipe afin d’avoir un système simple, dextre, accessible, précis et avec un grand espace de travail. Les travaux précédents s’intéressent à la commande de robot MASE. Le but de cette thèse est ...
Mots clés : Robotique
Auteur : Arpa Perozo Miguel
Année de soutenance : 2023
 En savoir plus
 Description complète
Optimal design and visual servoing of a suspended aerial manipulator
 Ajouter à mon panier
Accéder aux documents
Optimal synergy of multi-source data and hydraulic-hydrological models for the cartographic modeling of complex hydrosystems
Description : Cette thèse présente des approches de modélisation hydrauliques-hydrologiques des réseaux hydrographiques permettant d'exploiter des données multi-sources par assimilation variationnelle. Une mise en cohérence est recherchée entre la complexité des modélisations numériques des grandeurs physiques ...
Mots clés : Modèles hydrologiques, Modèles hydrauliques, Cours d'eau, Bassins hydrographiques
Auteur : Pujol Léo
Année de soutenance : 2022
 En savoir plus
 Description complète
Optimal synergy of multi-source data and hydraulic-hydrological models for the cartographic modeling of complex hydrosystems
 Ajouter à mon panier
Accéder aux documents
Optimisation conjointe de l'aérodynamique et de la commande d'un projectile guidé en soufflerie
Description : Les projectiles guidés offrent une portée et une précision accrue par rapport aux obus classiques. Certains nouveaux concepts nécessitent d’être commandés sur une plage d’incidence étendue malgré l’émergence de phénomènes non-linéaires dégradant l’efficacité des gouvernes. Dans le cadre de ces t ...
Mots clés : Commande robuste, Aérodynamique, Projectiles, Essais en soufflerie aérodynamique
Auteur : Riss Valentin
Année de soutenance : 2022
 En savoir plus
 Description complète
Optimisation conjointe de l'aérodynamique et de la commande d'un projectile guidé en soufflerie
 Ajouter à mon panier
Accéder aux documents
Optimisation et planification préopératoire des trajectoires en conditions statiques et déformables pour la chirurgie guidée par l'image
Description : En chirurgie mini-invasive guidée par l’image, une planification préopératoire précise des trajectoires des outils chirurgicaux est un facteur clé pour une intervention réussie. Cependant, une planification efficace est une tâche difficile, qui peut être considérablement améliorée en considérant ...
Mots clés : Chirurgie mini-invasive, Imagerie médicale, Contraintes (intelligence artificielle), Planification -- Informatique, Biomécanique
Auteur : Hamze Noura
Année de soutenance : 2016
 En savoir plus
 Description complète
Optimisation et planification préopératoire des trajectoires en conditions statiques et déformables pour la chirurgie guidée par l'image
 Ajouter à mon panier
Accéder aux documents
Optimization of nerve repair and regeneration
Description : Les études biomécaniques réalisés ont démontré l’absence d’une norme pour réaliser les essais sur les nerfs. Le modèle de tissu nerveux varie entre les rats, les cochons et les humains. Les variables du protocole de traction changent d’un article à l’autre. Pour contribuer à l’optimisation de la ...
Mots clés : Système nerveux -- Régénération (biologie), Biomécanique, Microchirurgie expérimentale
Auteur : Salazar Botero Santiago
Année de soutenance : 2019
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
Optimization of nerve repair and regeneration
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Outils d'aide à la conception pour l'ingénierie de systèmes biologiques
Description : En biologie synthétique, il existe plusieurs manières d’adresser les problèmes soulevés dans plusieurs domaines comme la thérapeutique, les biofuels, les biomatériaux ou encore les biocapteurs. Nous avons choisi de nous concentrer sur l’une d’entre elles : les réseaux de régulation génétique (RRG). ...
Mots clés : Régulation génétique, Biologie de synthèse, Systèmes, Conception de, Automatisation
Auteur : Rosati Elise
Année de soutenance : 2018
 En savoir plus
 Description complète
Outils d'aide à la conception pour l'ingénierie de systèmes biologiques
 Ajouter à mon panier
Accéder aux documents
Outils d’aide à la conception pour les laboratoires sur puce
Description : Depuis les années 2000 la demande en outils d’analyses biologiques et chimiques, fiables et portatifs a augmenté dans plusieurs domaines (santé, environnement, agroalimentaire, …). Pour répondre à cette demande, des outils d’analyses miniaturisés, appelés « laboratoires sur puces » se sont développés ...
Mots clés : Laboratoires sur puces, Procédures d'analyse par micropuces, Microfluidique
Auteur : Bonament Alexi
Année de soutenance : 2021
 En savoir plus
 Description complète
Outils d’aide à la conception pour les laboratoires sur puce
 Ajouter à mon panier
Accéder aux documents
Outils multirésolutions pour la gestion des interactions en simulation temps réel
Description : La plupart des simulations interactives ont besoin d'un modèle de détection de collisions. Cette détection nécessite d'une part d'effectuer des requêtes de proximité entre les entités concernées et d'autre part de calculer un comportement à appliquer. Afin d'effectuer ces requêtes, les entités p ...
Mots clés : Collisions (physique nucléaire), Topologie combinatoire, Grilles (analyse numérique)
Auteur : Pitiot Thomas
Année de soutenance : 2015
 En savoir plus
 Description complète
Outils multirésolutions pour la gestion des interactions en simulation temps réel
 Ajouter à mon panier
Accéder aux documents
Outils numériques pour la conception de mécanismes
Description : Dans le contexte médico-chirurgical, la robotique peut être d’un grand intérêt pour des procédures plus sûres et plus précises. Les contraintes d’encombrement sont cependant très fortes et des mobilités complexes peuvent être nécessaires. A ce jour, la conception de mécanismes non conventionnels ...
Mots clés : Mécanismes, Robotique en médecine, Sensibilité, Théorie de la (mathématiques)
Auteur : Hentz Gauthier
Année de soutenance : 2017
 En savoir plus
 Description complète
Outils numériques pour la conception de mécanismes
 Ajouter à mon panier
Accéder aux documents
Parallélisation et passage à l'échelle durable d'une chaïne de traitement graphique pour l'impression professionnelle
Description : Les nombreuses avancées du vaste domaine de l’impression professionnelle ont permis la multiplication des objets imprimés dans nos quotidiens. Désormais, la flexibilité introduite par les procédés d’impression numérique promet d’associer les souhaits de personnalisation avec les avantages de la ...
Mots clés : Impression numérique, Calcul intensif (informatique), Systèmes autonomes distribués (informatique), Pilotes d'imprimante (logiciels), Infographie
Auteur : Godard Paul
Année de soutenance : 2019
 En savoir plus
 Description complète
Parallélisation et passage à l'échelle durable d'une chaïne de traitement graphique pour l'impression professionnelle
 Ajouter à mon panier
Accéder aux documents
Parallélisation hybride d’une application de détection de noyaux cellulaires
Description : L’algorithme Marked Point Process parallélisé en mémoire partagée permet d’accélérer la détection de noyaux cellulaires. Cependant, les limites imposées par le nombre de cœurs CPU ou la capacité mémoire des cartes GPU ne permet pas d’analyser une image histologique entière (50 000 × 50 000 pixels). ...
Mots clés : Cancer du sein, Algorithmes parallèles, Télédiagnostic, Imagerie médicale
Auteur : Salas Daniel
Année de soutenance : 2019
 En savoir plus
 Description complète
Parallélisation hybride d’une application de détection de noyaux cellulaires
 Ajouter à mon panier
Accéder aux documents
Parametric LCA approaches for efficient design
Description : Ces travaux de recherche portent sur la problématique de la mise en pratique de l'analyse de cycle de vie (ACV). La question principale est : comment faire une ACV plus rapide et plus facilement accessible pour la conception des produits ? Nous nous concentrons sur deux problématiques qui prolongent ...
Mots clés : Analyse du cycle de vie, Algorithmes, Polypropylène, Résistance des matériaux, Écoconception, Design durable
Auteur : Kozderka Michal
Année de soutenance : 2016
 En savoir plus
 Description complète
Parametric LCA approaches for efficient design
 Ajouter à mon panier
Accéder aux documents
Photonic jet for spatial resolution improvement in direct pulse near-IR laser micro-etching
Description : Ce travail de thèse a permis de montrer que la résolution latérale de gravure de lasers proches infrarouges nanosecondes pouvait être réduite en faisant passer le faisceau à travers des microbilles de verre ou des fibres de silice à embouts façonnés de telle manière à générer des jets photoniques. ...
Mots clés : Lasers femtoseconde, Cristaux photoniques, Fibres optiques, Faisceaux laser -- Diffraction
Auteur : Abdurrochman Andri
Année de soutenance : 2015
 En savoir plus
 Description complète
Photonic jet for spatial resolution improvement in direct pulse near-IR laser micro-etching
 Ajouter à mon panier
Accéder aux documents
Physical analysis of electroactive morphing concepts for the aerodynamic performance increase of future wing design through high-fidelity numerical simulation and turbulence modelling in high Reynols number
Description : Cette thèse vise à étudier des concepts pour le design des ailes en morphing à différentes échelles (échelle réduite et proche à l'échelle réelle), en régime subsonique en différentes phases de vol. L'étude a été réalisée à l'aide des simulations numériques haute-fidélité utilisant des modèles de ...
Mots clés : Mécanique des fluides, Aérodynamique, Métamorphose (animation par ordinateur), Turbulence de sillage, Tourbillons (mécanique des fluides), Interaction fluide-structure
Auteur : Marouf Abderahmane
Année de soutenance : 2020
 En savoir plus
 Description complète
Physical analysis of electroactive morphing concepts for the aerodynamic performance increase of future wing design through high-fidelity numerical simulation and turbulence modelling in high Reynols number
 Ajouter à mon panier
Accéder aux documents
Phytoremédiation des sols pollués par les hydrocarbures : inventaires floristiques, évaluation des performances des espèces végétales et modélisation du transfert sol-plante des HAP
Description : Proposer l’adoption de la procédure de phytoremédiation des sites de déversement d’hydrocarbures au Cameroun nécessite des arguments scientifiques vérifiés. L’objectif principal de cette thèse est de (i) faire une étude floristique des sites de déversement anarchique de produits pétroliers au Ca ...
Mots clés : Phytorestauration, Plantes -- Effets de la pollution, Relations plante-sol, Sols -- Pollution par les hydrocarbures
Auteur : Matsodoum Nguemte Pulchérie
Année de soutenance : 2019
 En savoir plus
 Description complète
Phytoremédiation des sols pollués par les hydrocarbures : inventaires floristiques, évaluation des performances des espèces végétales et modélisation du transfert sol-plante des HAP
 Ajouter à mon panier
Accéder aux documents
Pic-Vert : une implémentation de la méthode particulaire pour architectures multi-coeurs
Description : Cette thèse a pour contexte la résolution numérique du système de Vlasov–Poisson (modèle utilisé en physique des plasmas, par exemple dans le cadre du projet ITER) par les méthodes classiques particulaires (PIC pour "Particle-in-Cell") et semi-Lagrangiennes. La contribution principale de notre thèse ...
Mots clés : Microprocesseurs multi-coeurs, Méthodes particulaires (analyse numérique), Mémoire partagée répartie, Programmation parallèle (informatique)
Auteur : Barsamian Yann
Année de soutenance : 2018
 En savoir plus
 Description complète
Pic-Vert : une implémentation de la méthode particulaire pour architectures multi-coeurs
 Ajouter à mon panier
Accéder aux documents
Polyhedral code generation : reducing overhead and increasing parallelism
Description : Cette thèse propose de nouvelles extensions à la phase de génération de code dans les compilateurs polyédriques. Une grande partie des travauex actuels dans le domaine du modèle polédrique porte sur les transformations à appliquer et les optimisations ainsi permises. À l’inverse, la génération de ...
Mots clés : Code source (informatique), Compilation (informatique), Parallélisme (informatique)
Auteur : Razanajato Harenome
Année de soutenance : 2020
 En savoir plus
 Description complète
Polyhedral code generation : reducing overhead and increasing parallelism
 Ajouter à mon panier
Accéder aux documents
Polymorphic network protocol suite in heterogeneous wake-up IoT networks
Description : L'Internet des objets et les réseaux de capteurs sans fil offrent de nouvelles façons de connecter des entités physiques du monde réel au monde cybernétique. Ceci est réalisé grâce à des systèmes embarqués distribués, alimentés par des batteries. Le principal défi dans ces applications est de pr ...
Mots clés : Internet des objets, Protocoles de réseaux d'ordinateurs, Réseaux de capteurs (technologie)
Auteur : Sampayo Sebastian Lucas
Année de soutenance : 2021
 En savoir plus
 Description complète
Polymorphic network protocol suite in heterogeneous wake-up IoT networks
 Ajouter à mon panier
Accéder aux documents