Browsing Sciences – Mémoires by Title
Now showing documents 912-931 of 1656
-
Genetic interactions between variant histone H2.A.Z and putative targets
Other titre : Caractérisation d'interactions génétiques entre la variante d'histone H2A.Z et des cibles potentielles(Université de Sherbrooke, 2005)In eukaryotic cells, the DNA is compacted into a complex structure known as chromatin. The individual unit of chromatin is the nucleosome, which is composed of 146 bp of DNA wrapped 1,75 times around a protein complex ... -
Geometric deformable models using the level set method
(Université de Sherbrooke, 2005)Geometric deformable models for active contours have brought tremendous impact to classical problems in image processing such as providing ways to devise efficient computational algorithms for automatic segmentation. This ... -
Gestion de contexte dans un habitat intelligent à base d’ontologie : modélisation, implantation et validation
(Université de Sherbrooke, 2016)Le laboratoire DOMUS développe des applications sensibles au contexte dans une perspective d’intelligence ambiante. L’architecture utilisée présentement pour gérer le contexte a atteint ses limites en termes de capacité ... -
Gestion de fichiers de configuration par une vue abstraite modifiable
(Université de Sherbrooke, 2011)La gestion de fichiers de configuration sous Linux est complexe et propice aux erreurs étant donné le grand nombre de fichiers de formats différents. Toutes les techniques couramment utilisées pour modifier ces fichiers ... -
Gestion de la migration des agents mobiles dans un environnement informatique diffus
(Université de Sherbrooke, 2008)Le laboratoire DOMUS, qui reproduit un habitat intelligent, a pour objectif de rendre les personnes en déficience cognitive plus autonomes. Dans cette optique, nous construisons un composant du système informatique de cet ... -
Gestion et localisation de ressources sur un assistant numérique personnel
(Université de Sherbrooke, 2000)Ce mémoire traite les problèmes liés à la gestion et à la localisation de services sur un assistant numérique personnel (ANP). La localisation de services permet aux applications de découvrir les ressources d'un réseau ... -
Généralisation d'un théorème de point fixe dans les ensembles ordonnés infinis
(Université de Sherbrooke, 1987)Dans le deuxième chapitre, nous rappellerons brièvement quelques rudiments d'ensembles ordonnés nécessaires à la bonne compréhension de ce mémoire. Par la suite, nous définirons des notions de topologie algébrique telles ... -
Génération automatique d'interfaces Web à partir de spécifications l'outil DCI-Web
(Université de Sherbrooke, 2008)L'expansion du domaine Web a entraîné l'émergence de nouveaux outils, permettant le développement d'applications Web dans différents langages. La complexité de ces langages, et donc du développement des applications Web, ... -
Génération automatique de démonstrations de tâche pour le Canadarm II
(Université de Sherbrooke, 2009)Le présent mémoire présente une solution à la génération automatique de démonstrations de tâche impliquant le bras robotique canadien (BRC), connu aussi sous le nom de Canadarm II, sur la station spatiale internationale. ... -
Génération automatique de messages d'erreur pour l'exécution symbolique d'expressions de processus EB[exposant]3
(Université de Sherbrooke, 2008)Dans le cadre des systèmes d'information générés automatiquement à partir de spécifications formelles EB[exposant]3 (selon la méthode APIS), les concepteurs de systèmes se heurtent à plusieurs difficultés. Il n'est notamment ... -
Génération d'iminiums en cascade cyclisation d'énamines sur amides actives
(Université de Sherbrooke, 2006)Les travaux décrits dans ce rapport portent sur les efforts mis à développer une nouvelle stratégie de synthèse. Cette stratégie consiste en l'addition intramoléculaire séquentielle de deux nucléophiles rattachés au même ... -
Génération d'impulsions laser terahertz par redressement optique dans les cristaux non-linéaires
(Université de Sherbrooke, 2005)Ce mémoire de maîtrise présente les résultats de mesures de l’intensité moyenne associée à des impulsions laser terahertz (THz) générées par redressement optique dans trois types de cristaux non-linéaires : ZnTe, GaSe et ... -
Génération d'une inosine-uridine nucléoside hydrolase (IU-NH) par évolution moléculaire dirigée capable de mieux fonctionner en solvant organique
(Université de Sherbrooke, 2002)L'approche d'évolution moléculaire dirigée, laquelle est un ensemble de méthodes in vitro et in vivo basées sur la génération d'une bibliothèque de chimères suivie d'une méthode rapide de sélection, a été utilisée pour ... -
Génération de centres quaternaires complètement carbonés par réaction Vilsmeier-Haack intermoléculaire : application à la synthèse d'acides beta-animés et dérivés
(Université de Sherbrooke, 2013)Les travaux présentés dans ce mémoire ont été effectués dans le but de développer une nouvelle méthodologie mettant en oeuvre une réaction de Vilsmeier-Haack intermoléculaire afin d'accéder à differents composes ?-aminés ... -
Génération de graphes d'accessibilité à partir de structures réplicables
(Université de Sherbrooke, 2009)Ce mémoire explore une méthode symbolique pour le calcul hors ligne de contrôleurs non bloquants basée principalement sur un algorithme de génération de graphes d'accessibilité. Dans le but de réduire l'explosion de l'espace ... -
Génération de plans réactifs basée sur l'abstraction
(Université de Sherbrooke, 1997)La planification peut être définie comme un processus permettant de poursuivre et d'atteindre des objectifs précis. L'abstraction a longtemps été perçue par les chercheurs comme une manière subtile d'analyser et de ... -
Génération de séquences de tests de protocole à partir d'un réseau de Petri
(Université de Sherbrooke, 1993)Dans le cadre de ce mémoire, nous présenterons une approche basée sur l'analyse d'accessibilité pour dériver des séquences de tests à partir des spécifications décrites par des réseaux de Petri. Nous présenterons aussi un ... -
Génération de tests de vulnérabilité pour des programmes Java Card itératifs
(Université de Sherbrooke, 2019)Utilisée très largement par le système bancaire actuel, la carte à puce peut être considérée comme un système critique. La majorité de ces cartes évoluent sous le système d'exploitation pour carte à puce Java Card, dont ... -
Génération de tests de vulnérabilité pour la structure des fichiers cap en Java Card
(Université de Sherbrooke, 2016)Les cartes à puce Java comportent plusieurs mécanismes de sécurité, dont le vérifieur de code intermédiaire (\emph{$ \ll $Java Card bytecode verifier$ \gg $}), qui est composé de deux parties, la vérification de structure ... -
Génération de tests de vulnérabilité pour vérifieur de byte code Java Card
(Université de Sherbrooke, 2013)Il devient important d'assurer que tout système critique est fiable. Pour cela différentes techniques existent, telles que le test ou l'utilisation de méthodes formelles. S'assurer que le comportement d'un vérifieur de ...
