L’objectif de cette étude était de vérifier la biocompatibilité entre les mycètes du fromage Camembert et les bactéries lactiques (probiotiques ou d’affinage). La plupart des souches fongiques utilisées ont été isolées de laits en provenance du terroir québécois et deux laits d’origines différentes ont servi pour la fabrication de caillés modèles. La spectrophotométrie automatisée (SA) a été employée pour présélectionner des mélanges de souches mycéliennes et bactériennes biocompatibles. Des milieux à base de lait furent fermentés par des mycètes et étaient ensuite inoculés avec les bactéries. La croissance préalable des mycètes stimulait ou inhibait les bactéries, mais les effets étaient mineurs et variaient selon les souches. Par la suite, afin de confirmer ces résultats, des caillés modèles ont été inoculés simultanément par des combinaisons de bactéries et de mycètes. L’absence d’inhibition des bactéries par les mycètes observée en SA a été confirmée, mais les interactions en caillé modèle différaient de celles notées en SA en raison de l’évolution différente du pH dans les deux séries expérimentales. Finalement, des fromages Camembert probiotiques ont été fabriqués avec des souches du terroir et commerciales. Le Camembert s’est révélé un aliment intéressant pour favoriser la survie des bactéries lactiques. Par contre, aucun mélange de souches fongiques n’a été systématiquement meilleur qu’un autre pour stimuler la viabilité des probiotiques. / This study was carried out to verify the biocompatibility between the mycetes of Camembert cheese and lactic cultures (probiotic and ripening strains). Most of the fungi strains used had been isolated from different milk sources over the province of Quebec (Canada) and two different kinds of milk were used to produce cheese slurries. Automated spectrophotometry (AS) was employed to screen some biocompatible pairings of mycete and bacterial strains. A milk medium was fermented by yeasts and moulds and then inoculated with bacteria. The previous growth of the mycetes was sometimes stimulatory and sometimes inhibitory, but the effects were minor and varied as a function of the strains. Subsequently, to confirm these AS results, cheese slurries were inoculated simultaneously with different strains combinations. Finally, pilot scale Camembert cheese was produced to verify its ability to support probiotic bacterial cultures viability. The absence of inhibition of the bacteria by the mycetes in SA was confirmed, but the interactions in the cheese slurries differed from those noted in AS because of the different pH patterns in the two experimental series. Camembert was shown to have potential to favour the viability of probiotic bacterial strains during ripening and storage. However, no mycete mix was systematically better than another to stimulate this viability.

L’analyse statique des programmes est une technique de vérification qui permet de statuer si un programme est conforme à une propriété donnée. Pour l’atteinte de cet objectif, il faudrait disposer d’une abstraction du programme à vérifier et d’une définition des propriétés. Dans la mesure où l’outil de vérification prend place dans un cadre algébrique, la définition des propriétés ainsi que la modélisation du programme sont représentées sous la forme d’expressions régulières. Ce mémoire traite en premier lieu de la traduction des programmes écrits en langage C vers une abstraction sous forme d’expressions régulières. La méthode de traduction proposée, ainsi que les différentes étapes de transformations y sont exposées. Les premiers chapitres du présent mémoire énoncent les connaissances élémentaires de la théorie des langages ainsi que de la compilation des programmes. Un bref aperçu des différentes méthodes de vérification des programmes est présenté comme une mise en contexte. Finalement, la dernière partie concerne la traduction des programmes ainsi que la description de l’outil de traduction qui a été réalisé.

Les carabes sont des insectes abondants et jouent un rôle important dans l’agro-écosystème. Les systèmes culturaux et les travaux de sol ont des effets complexes sur les facteurs physico-chimiques du sol, qui peuvent aussi affecter les carabes. L’objectif du projet était de mesurer l’effet de trois systèmes culturaux (Conventionnel, CV; Sans herbicides, SH; Biologique, B) en interaction avec trois travaux de sol (Labour, L; Chisel, CH; Semis direct, SD) établis depuis 20 ans, sur l’abondance relative et la richesse spécifique des carabes. En 2007, l’abondance relative des carabes a été plus élevée dans le B-SD par rapport aux autres systèmes, à l’exception des systèmes SH-SD et SH-L, alors qu’en 2008, peu de différences ont été mesurées entre les traitements. La richesse des carabes a été plus grande dans le système biologique en 2007, tandis qu’en 2008, elle a varié dans le temps sans être favorisée par un système.

Le concept de miroir déformable à base de liquide magnétique (ferrofluide) a énormément contribué à la technologie des miroirs déformables. Les miroirs déformables à ferrofluide (MDFs) permettent des déformations qui peuvent varier de quelques nanometres jusqu'à quelques millimètres, ce qui est largement supérieur à ce que les miroirs déformables commerciaux peuvent produire. Toutefois, un inconvénient majeur de ces MDFs est leur réponse non linéaire. Une nouvelle technique qui permet de surmonter ce problème est de superposer un champ magnétique constant et uniforme au champ magnétique produit par les action-neurs. Nous avons fabriqué un MDF à 91 actionneurs qui utilise cette nouvelle technique de linéarisation. Les performances obtenues sont comparables à celles des miroirs déformables disponibles commercialement. Les premiers 36 polynômes de Zernikes ont été produits en utilisant ce miroir et, basés sur nos mesures, nous prévoyons des amplitude maximales sur le front d'onde qui peuvent atteindre plus de 70 [mu]m. La combinaison linéaire de polynômes de Zernike, la reproductibilité au fil du temps, ainsi que l'application de ce MDF à compenser les aberrations de l'oeil humain est présentée.

Ce mémoire poursuit deux objectifs. Le premier objectif est d'examiner les liens entre les dispositions d'attachement et le fait d'accepter d'être mentor ou protégé dans un programme de mentorat formel en milieu scolaire. Le second objectif vise à vérifier si la qualité de la relation développée entre le mentor et le protégé est influencée par leurs dispositions d'attachement respectives. Les participants sont des étudiants collégiaux et universitaires sollicités pour participer au programme MIRES (Mentorat pour l'Intégration et la Réussite des Étudiants de Sciences). Les dispositions d'attachement ont été mesurées avant d'inviter les étudiants à participer au programme MIRES alors que la qualité de la relation de mentorat a été évaluée en deux temps, après deux mois et six mois d'intervention. Les résultats suggèrent que les dispositions d'attachement des étudiants universitaires influencent leur intérêt à devenir mentor. De plus, la qualité de la relation est évaluée moins positivement par les mentors anxieux et perçue plus positivement lorsque le protégé présente une sécurité d'attachement. Certains effets d'interaction des dispositions d'attachement ont également été notés. Les dyades sécurisant-sécurisant démontrent une plus grande satisfaction de la qualité de la relation que les autres dyades.

Durant ces dernières décennies, nous avons assisté à une automatisation massive de la société selon toutes ses sphères. Malheureusement, cette révolution technologique n’a pas eu que des bienfaits. En effet, une nouvelle génération de criminels en a profité, afin d’occasionner davantage d’activités illégales. De ce fait, afin de protéger les systèmes informatiques, il est devenu plus que primordial de définir rigoureusement des politiques de sécurité ainsi que de mettre en oeuvre des mécanismes efficaces capables de les appliquer. L’objectif majeur d’un mécanisme de sécurité consiste souvent à contrôler des logiciels, afin de les contraindre à “bien” se comporter. Cependant, la plupart des mécanismes de sécurité procèdent par des méthodes ad hoc qui sont loin d’être efficaces. En outre, ils sont peu fiables, puisqu’il n’y a aucune preuve sur leur capacité à faire respecter les politiques de sécurité. De là apparaît la nécessité de concevoir des mécanismes de sécurité alternatifs qui résolvent le problème de l’application de la sécurité d’une manière formelle, correcte et précise. Dans ce contexte, notre thèse cible principalement la caractérisation formelle de l’application effective des politiques de sécurité via des mécanismes basés sur la réécriture de programmes. On entend par application effective, le fait d’éliminer tous les “mauvais” comportements d’un programme, tout en conservant tous les “bons” comportements qu’il engendre, et ce, sans compromettre la sémantique du programme à sécuriser. Nous avons opté pour la réécriture de programmes, vu sa grande puissance par rapport aux autres mécanismes de sécurité qui sont soit laxistes soit très restrictifs. Les principaux résultats qui ont été réalisés, afin d’atteindre les objectifs ciblés par cette thèse sont les suivants : – Caractérisation formelle de l’application des propriétés de sûreté par la réécriture de programmes. Il s’agit d’appliquer les propriétés de sûreté qui constituent la classe de propriétés de sécurité la plus communément appliquée par les mécanismes de sécurité. – Caractérisation formelle de l’application de n’importe quelle propriété de sécurité par la réécriture de programmes. Cette contribution montre comment la réécriture de programmes permet l’application de politiques de sécurité qu’aucune autre classe de mécanismes de sécurité ne peut appliquer. – Caractérisation alternative de l’application de la sécurité par une approche algébrique. Cette contribution propose un formalisme algébrique afin de réduire l’écart entre la spécification et l’implantation des mécanismes de sécurité basés-réécriture. / During the last decades, we have witnessed a massive automation of the society at all levels. Unfortunately, this technological revolution came with its burden of disadvantages. Indeed, a new generation of criminals emerged and is benefitting from continuous progress of information technologies to cause more illegal activities. Thus, to protect computer systems, it has become very crucial to rigorously define security policies and provide the effective mechanisms required to enforce them. Usually, the main objective of a security mechanism is to control the executions of a software and ensure that it will never violate the enforced security policy. However, the majority of security mechanisms are based on ad hoc methods and thus, are not effective. In addition, they are unreliable, since there is no evidence on their ability to enforce security policies. Therefore, there is a need to develop novel security mechanisms that allow enforcing security policies in a formal, correct, and accurate way. In this context, our thesis targets the formal characterization of effective security policies enforcement that is based on programs rewriting. We mean by “effective” enforcement preventing all the “bad” behaviors of a program while keeping all its "good" behaviors. In addition, effective enforcement should not compromise the semantics of controlled programs. We have chosen for rewriting programs, because it has a great power compared to other security mechanisms that are either permissive or too restrictive. Themain contributions of this thesis are the following : – Formal characterization of security enforcement of safety properties through program rewriting. Safety properties represent the main class of properties usually enforced by security mechanisms. – Formal characterization of any security property using program rewriting. This contribution shows how program rewriting allows the enforcement of security policies that no other class of security mechanisms can enforce. – Algebraic approach as an alternative formal characterization of program rewriting based security enforcement. In this contribution, we investigate an algebraic formal model in order to reduce the gap between the specification and the implementation of program rewriting based security mechansisms.

La copule de Abdelhaq Khoudraji permet de décrire complètement le lien de dépendance qui unit deux variables aléatoires continues. Ce mémoire présente une nouvelle copule basée sur les copules de Khoudraji mais avec plus de propriétés. On a étendu les copules de Khoudraji à des cas multidimen-sionnels tout en proposant quelques exemples. Des simulations ont été introduites dans le but de mieux visualiser ces nouvelles classes de copules. Finalement, des applications ont été réalisées afin de mettre en oeuvre les nouvelles copules trouvées.

Le Narcissistic Personality Inventory (NPI) est la mesure du narcissisme la plus utilisée en recherche et il n'en existe pas de version française validée. Dans cette étude, une adaptation française a donc été développée pour ensuite être distribuée à 546 participants de niveau baccalauréat âgés entre 19 et 59 ans. Nos données ne soutiennent pas le modèle à sept facteurs proposé par Raskin et Terry (1988). Des analyses factorielles exploratoires suggèrent plutôt la présence d'une structure à deux facteurs (Exhibitionnisme/Recherche d'attention et Leadership/Arrogance) ou à trois facteurs (Leadership, Exhibitionnisme/Recherche d'attention et Ambition/Arrogance). Ces structures présentent des similarités avec d'autres modèles récemment proposés pour la version anglaise. La cohérence interne de l'échelle totale de la mesure est excellente (0.91) et fidèle dans le temps (r = 0.79). Une corrélation positive est obtenue entre le NPI et la sous-échelle extraversion du NEO-FFI et des corrélations négatives sont observées entre le NPI et les sous-échelles agréabilité et névrotisme du NEO-FFI. L'échelle totale ne corrèle pas avec l'échelle d'estime de soi de Rosenberg (EESR).

Les analyses interprocédurales automatiques de programmes qui sont basées sur des théories mathématiques rigoureuses sont complexes à réaliser, mais elles sont d'excellents outils pour augmenter notre conance envers les comportements possibles d'un programme. Les méthodes classiques pour réaliser ces analyses sont l'analyse de modè- les, l'interprétation abstraite et la démonstration automatique de théorèmes. La base d'un démonstrateur automatique de théorèmes est une logique ou une algèbre et le choix de celle-ci a un impact sur la complexité de trouver une preuve pour un théorème donné. Cette dissertation développe un formalisme algébrique concis pouvant être utilisé en démonstration automatique de théorèmes. Ce formalisme est appellé algèbre de Kleene à pile visible. Cette dissertation explique comment ce formalisme peut être utilisé pour réaliser des analyses interprocédurales de programmes, comme des vérications formelles et des vérications d'optimisations efectuées par des compilateurs. Cette dissertation apporte aussi des preuves que ces analyses pourraient être automatisées. L'algèbre de Kleene à pile visible est une extension de l'algèbre de Kleene, un excellent formalisme pour réaliser des analyses intraprocédurales de programmes. En bref, l'algèbre de Kleene est la théorie algébrique des automates nis et des expressions régulières. Donc, cette algèbre à elle seule n'est pas appropriée pour faire des analyses interprocédurales de programmes car la puissance des langages non contextuels est souvent nécessaire pour représenter le lot de contrôle d'un tel programme. L'algèbre de Kleene à pile visible étend celle-ci en lui ajoutant une famille d'opérateurs de plus petit point xe qui est basée sur une restriction des grammaires non contextuelles. En fait, cette algèbre axiomatise exactement la théorie équationnelle des langages à pile visibles. Ces langages sont une sous-classe des langages non contextuels et ont été dénis par Alur et Madhusudan pour faire de l'analyse de modèles. La complexité résultante de la théorie équationnelle de l'algèbre proposée est EXPTIME-complète. / Automatic interprocedural program analyses based on rigorous mathematical theories are complex to do, but they are great tools to increase our condence in the behaviour of a program. Classical ways of doing them is either by model checking, by abstract interpretation or by automated theorem proving. The basis of an automated theorem prover is a logic or an algebra and the choice of this basis will have an impact in the complexity of nding a proof for a given theorem. This dissertation develops a lightweight algebraic formalism for the automated theorem proving approach. This formalism is called visibly pushdown Kleene algebra. This dissertation explains how to do some interprocedural program analyses, like formal veri cation and verication of compiler optimizations, with this formalism. Evidence is provided that the analyses can be automated. The proposed algebraic formalism is an extension of Kleene algebra, a formalism for doing intraprocedural program analyses. In a nutshell, Kleene algebra is the algebraic theory of nite automata and regular expressions. So, Kleene algebra alone is not well suited to do interprocedural program analyses, where the power of context-free languages is often needed to represent the control flow of a program. Visibly pushdown Kleene algebra extends Kleene algebra by adding a family of implicit least xed point operators based on a restriction of context-free grammars. In fact, visibly pushdown Kleene algebra axiomatises exactly the equational theory of visibly pushdown languages. Visibly pushdown languages are a subclass of context-free languages dened by Alur and Madhusudan in the model checking framework to model check interprocedural programs while remaining decidable. The resulting complexity of the equational theory of visibly pushdown Kleene algebra is EXPTIME-complete whereas that of Kleene algebra is PSPACE-complete.

Des algorithmes de conception automatisée d’amorces PCR et de sondes d’hybridation aux fins de diagnostic moléculaire ont été créés et implémentés. La vitesse de recherche d’amorces PCR à la fois spécifiques, ubiquitaires et sensibles s’est avérée considérablement accrue par le calcul et l’emploi de consensus binaires d’alignements multiples de séquences d’ADN. La recherche de sondes d’hybridation spécifiques et l’analyse du potentiel d’hybridation en général entre deux séquences a été facilitée par la synthèse de données empiriques d’hybridation trouvées dans divers articles publiés. D’autres programmes servant à faciliter ou automatiser l’exécution de diverses tâches utiles ont également été créés. Tous les programmes résultants ont permis de valider les algorithmes créés et de confirmer leur utilité dans l’exécution des tâches désirées par les membres de l’équipe de recherche auxquels ils étaient prioritairement destinés. / Algorithms for automatic design of PCR primers and of hybridization probes for molecular diagnostics have been created and implemented. The search speed for PCR primers that were at the same time specific, ubiquitary and sensitive was greatly improved by both computation and use of binary consensus of multiple alignments of DNA sequences. The search for specific hybridization probes and also analysis of hybridization potential in general between two sequences was facilitated by synthesis of empirical data gathered from different published papers. Other software for facilitating or automating the execution of different useful tasks were also created. All resulting software allowed both for the validation of algorithms and for the confirmation of their usefullness in executing desired tasks by the members of the research team for which they were written in the first place.