Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

Modelling software quality : a multidimensional approach

Les sociétés modernes dépendent de plus en plus sur les systèmes informatiques et ainsi, il y a de plus en plus de pression sur les équipes de développement pour produire des logiciels de bonne qualité. Plusieurs compagnies utilisent des modèles de qualité, des suites de programmes qui analysent et évaluent la qualité d'autres programmes, mais la construction de modèles de qualité est difficile parce qu'il existe plusieurs questions qui n'ont pas été répondues dans la littérature. Nous avons étudié les pratiques de modélisation de la qualité auprès d'une grande entreprise et avons identifié les trois dimensions où une recherche additionnelle est désirable : Le support de la subjectivité de la qualité, les techniques pour faire le suivi de la qualité lors de l'évolution des logiciels, et la composition de la qualité entre différents niveaux d'abstraction. Concernant la subjectivité, nous avons proposé l'utilisation de modèles bayésiens parce qu'ils sont capables de traiter des données ambiguës. Nous avons appliqué nos modèles au problème de la détection des défauts de conception. Dans une étude de deux logiciels libres, nous avons trouvé que notre approche est supérieure aux techniques décrites dans l'état de l'art, qui sont basées sur des règles. Pour supporter l'évolution des logiciels, nous avons considéré que les scores produits par un modèle de qualité sont des signaux qui peuvent être analysés en utilisant des techniques d'exploration de données pour identifier des patrons d'évolution de la qualité. Nous avons étudié comment les défauts de conception apparaissent et disparaissent des logiciels. Un logiciel est typiquement conçu comme une hiérarchie de composants, mais les modèles de qualité ne tiennent pas compte de cette organisation. Dans la dernière partie de la dissertation, nous présentons un modèle de qualité à deux niveaux. Ces modèles ont trois parties: un modèle au niveau du composant, un modèle qui évalue l'importance de chacun des composants, et un autre qui évalue la qualité d'un composé en combinant la qualité de ses composants. L'approche a été testée sur la prédiction de classes à fort changement à partir de la qualité des méthodes. Nous avons trouvé que nos modèles à deux niveaux permettent une meilleure identification des classes à fort changement. Pour terminer, nous avons appliqué nos modèles à deux niveaux pour l'évaluation de la navigabilité des sites web à partir de la qualité des pages. Nos modèles étaient capables de distinguer entre des sites de très bonne qualité et des sites choisis aléatoirement. Au cours de la dissertation, nous présentons non seulement des problèmes théoriques et leurs solutions, mais nous avons également mené des expériences pour démontrer les avantages et les limitations de nos solutions. Nos résultats indiquent qu'on peut espérer améliorer l'état de l'art dans les trois dimensions présentées. En particulier, notre travail sur la composition de la qualité et la modélisation de l'importance est le premier à cibler ce problème. Nous croyons que nos modèles à deux niveaux sont un point de départ intéressant pour des travaux de recherche plus approfondis.

Simulateur compilé d’une description multi-langage des systèmes hétérogènes

La conception de systèmes hétérogènes exige deux étapes importantes, à savoir : la modélisation et la simulation. Habituellement, des simulateurs sont reliés et synchronisés en employant un bus de co-simulation. Les approches courantes ont beaucoup d’inconvénients : elles ne sont pas toujours adaptées aux environnements distribués, le temps d’exécution de simulation peut être très décevant, et chaque simulateur a son propre noyau de simulation. Nous proposons une nouvelle approche qui consiste au développement d’un simulateur compilé multi-langage où chaque modèle peut être décrit en employant différents langages de modélisation tel que SystemC, ESyS.Net ou autres. Chaque modèle contient généralement des modules et des moyens de communications entre eux. Les modules décrivent des fonctionnalités propres à un système souhaité. Leur description est réalisée en utilisant la programmation orientée objet et peut être décrite en utilisant une syntaxe que l’utilisateur aura choisie. Nous proposons ainsi une séparation entre le langage de modélisation et la simulation. Les modèles sont transformés en une même représentation interne qui pourrait être vue comme ensemble d’objets. Notre environnement compile les objets internes en produisant un code unifié au lieu d’utiliser plusieurs langages de modélisation qui ajoutent beaucoup de mécanismes de communications et des informations supplémentaires. Les optimisations peuvent inclure différents mécanismes tels que le regroupement des processus en un seul processus séquentiel tout en respectant la sémantique des modèles. Nous utiliserons deux niveaux d’abstraction soit le « register transfer level » (RTL) et le « transaction level modeling » (TLM). Le RTL permet une modélisation à bas niveau d’abstraction et la communication entre les modules se fait à l’aide de signaux et des signalisations. Le TLM est une modélisation d’une communication transactionnelle à un plus haut niveau d’abstraction. Notre objectif est de supporter ces deux types de simulation, mais en laissant à l’usager le choix du langage de modélisation. De même, nous proposons d’utiliser un seul noyau au lieu de plusieurs et d’enlever le bus de co-simulation pour accélérer le temps de simulation.

Ancrage de l'idéologie de l'Union des producteurs agricoles et de l'utopie de l'Union paysanne dans des significations imaginaires sociales.

Le but de cette thèse est de découvrir l'idéologie de l'Union des producteurs agricoles et l'utopie de l'Union paysanne et de les interpréter à la lumière de "significations imaginaires sociales" déterminantes de notre période historique. Dans la première partie de notre thèse, nous présentons l'évolution de l'imaginaire social du syndicalisme agricole québécois de 1924 à 2005. Nous distinguons quatre périodes et notre étude s'attarde à la dernière, c'est-à-dire celle qui débute en 2001 avec la naissance de l'Union paysanne. Afin d'étudier cette période nous présentons d'abord l'imaginaire social de la société, c'est-à-dire une configuration de significations imaginaires sociales (SIS) - des "idées-valeurs" générales et "englobantes" - qui fait qu'une société est ce qu'elle est et qu'elle ne pourrait être autrement compte tenu de son noyau de SIS. Ensuite, nous constatons que les travaux d'auteurs importants nous permettent de parler de niveaux et types d'imaginaires sociaux et d'établir des relations entre ces niveaux et formes d'imaginaires sociaux. C'est par l'entremise de la problématique générale agriculture-ruralité que nous démontrons, dans la deuxième partie de cette thèse, que des imaginaires sociaux "intermédiaires" - l'idéologie de l'UPA et l'utopie de la "minorité active", l'UP - permettent, en les ancrant dans quelqu'un et dans quelque chose, d'une part de découvrir les SIS de l'imaginaire social de la société et, d'autre part, de comprendre et d'interpréter ces deux imaginaires sociaux à la lumière des SIS. La problématique agriculture-ruralité est "opérationnalisée" à l'aide des trois dimensions suivantes: rapport à soi, rapport à l'autre et rapport à la nature. Le rapport à soi dévoile que la sphère du travail de l'agriculteur-éleveur dans l'idéologie de l'UPA correspond à la "sphère de la nécessité" qui implique notamment l'hétéronomie des agriculteurs, alors que l'utopie de l'UP la souhaite à la fois comme "sphère de la nécessité" et comme sphère de l'autonomie. Le rapport à l'autre permet de découvrir une utopie préconisant l'égalité des chances entre différents types d'agriculteurs et d'agricultures et entre la relève et les agriculteurs établis ainsi que l'égalité politique en territoire rural agricole. Dans l'idéologie de l'UPA, l'inégalité des chances et l'inégalité politique sont discutables mais inéluctables. Enfin, abstraction faite des nuances, la relation agriculture et nature est à l'utopie de l'UP ce que la relation agriculture ou nature est à l'idéologie de l'UPA. La construction partielle de l'idéologie et de l'utopie, nous permet, dans la troisième et dernière partie de cette thèse, d'y découvrir les SIS et de démontrer que l'utopie trouve son sens et sa cohérence en l'interprétant par l'entremise du naturalisme-écologie, de l'"autonomie" et de l'"autolimitation" comme SIS dominantes et de l'"expansion illimitée de la maîtrise rationnelle" (technique) et du capitalisme (économique) comme SIS "secondaires". Nous découvrons l'inverse dans l'idéologie de l'UPA. Les SIS dominantes et les SIS "secondaires" de l'utopie de l'UP sont respectivement les SIS secondaires et les SIS dominantes sous-jacentes à l'idéologie de l'UPA, ce qui correspond à la configuration des SIS dominantes de l'imaginaire social des sociétés constitutives de l'Occident contemporain.

La monnaie en droit : nature d'une abstraction outre fondée : essai dialectique et logique sur la dualité dans la catégoricité juridique et sur l'abstraction d'hérédité monétaire

"Thèse présentée à la Faculté des études supérieures en vue de l'obtention du grade de Docteur en droit (LL.D.)"

Cardiovascular effects of a medetomidine constant rate infusion at different dose levels in anaesthetized dogs

Les effets cardiovasculaires des alpha-2 agonistes, particulièrement importants chez les chiens, limitent leur utilisation en pratique vétérinaire. La perfusion à débit constant (PDC) de ces drogues, comme la médétomidine (MED) permettrait un contrôle plus précis de ces effets. Les effets hémodynamiques de plusieurs doses de MED en PDC ont été évalués chez le chien. Lors de cette étude prospective, réalisée en double aveugle, 24 chiens en santé, ont reçu de façon aléatoire une des 6 doses de MED PDC (4 chiens par groupe). Les chiens ont été ventilés mécaniquement pendant une anesthésie minimale standardisée avec de l’isoflurane dans de l’oxygène. Une dose de charge (DC) de médétomidine a été administrée aux doses de 0.2, 0.5, 1.0, 1.7, 4.0 ou 12.0 µg/kg pendant 10 minutes, après laquelle la MED PDC a été injectée à une dose identique à celle de la DC pendant 60 minutes. L’isoflurane a été administré seul pendant une heure après l’administration d’une combinaison d’ISO et de MED PDC pendant 70 minutes. La fréquence cardiaque (FC), la pression artérielle moyenne (PAM) et l’index du débit cardiaque (IC) ont été mesurés. Des prélèvements sanguins ont permis d’évaluer le profil pharmacocinétique. D’après ces études, les effets hémodynamiques de la MED PDC pendant une anesthésie à l’isoflurane ont été doses-dépendants. L’IC a diminué progressivement alors que la dose de MED augmentait avec: 14.9 (12.7), 21.7 (17.9), 27.1 (13.2), 44.2 (9.7), 47.9 (8.1), and 61.2 (14.1) % respectivement. Les quatre doses les plus basses n’ont provoqué que des changements minimes et transitoires de la FC, de la PAM et de l’IC. La pharmacocinétique apparaît clairement dose-dépendante. De nouvelles expériences seront nécessaires afin d’étudier l’utilisation clinique de la MED PDC.

Studies on the exaggerated inflammatory response caused by streptococcus suis at systemic and central nervous system levels

Streptococcus suis de type 2 est un microorganisme pathogène d’importance chez le porc. Il est la cause de différentes pathologies ayant comme caractéristique commune la méningite. C’est également un agent émergeant de zoonose : des cas cliniques humains ont récemment été rapportés en Asie. Cependant, la pathogénèse de S. suis n’est pas encore complètement élucidée. Jusqu’à présent, la réponse pro-inflammatoire initiée par S. suis n’a été étudiée qu’in vitro. L’étude du choc septique et de la méningite requiert toujours des modèles expérimentaux appropriés. Au cours de cette étude, nous avons développé un modèle in vivo d’infection chez la souris qui utilise la voie d’inoculation intra-péritonéale. Ce modèle a servi à l’étude de la réponse pro-inflammatoire associée à ce pathogène, tant au niveau systémique qu’au niveau du système nerveux central (SNC). Il nous a également permis de déterminer si la sensibilité aux infections à S. suis pouvait être influencée par des prédispositions génétiques de l’hôte. Le modèle d’infection par S. suis a été mis au point sur des souris de lignée CD1. Les résultats ont démontré une bactériémie élevée pendant les trois jours suivant l’infection. Celle-ci était accompagnée d’une libération rapide et importante de différentes cytokines pro-inflammatoires (TNF-α, IL-6, IL-12p40/p70, IFN-ɣ) et de chémokines (KC, MCP-1 and RANTES), qui ont entraîné un choc septique et la mort de 20 % des animaux. Ensuite, pour confirmer le rôle de l’inflammation sur la mortalité et pour déterminer si les caractéristiques génétiques de l’hôte pouvaient influencer la réponse inflammatoire et l’issue de la maladie, le modèle d’infection a été étendu à deux lignées murines consanguines différentes considérées comme résistante : la lignée C57BL/6 (B6), et sensible : la lignée A/J. Les résultats ont démontré une importante différence de sensibilité entre les souris A/J et les souris B6, avec un taux de mortalité atteignant 100 % à 20 h post-infection (p.i.) pour la première lignée et de seulement 16 % à 36 h p.i. pour la seconde. La quantité de bactéries dans le sang et dans les organes internes était similaire pour les deux lignées. Donc, tout comme dans la lignée CD1, la bactériémie ne semblait pas être liée à la mort des souris. La différence entre les taux de mortalité a été attribuée à un choc septique non contrôlé chez les souris A/J infectées par S. suis. Les souris A/J présentaient des taux exceptionnellement élevés de TNF-α, IL-12p40/p70, IL-1β and IFN- γ, significativement supérieurs à ceux retrouvés dans la lignée B6. Par contre, les niveaux de chémokines étaient similaires entre les lignées, ce qui suggère que leur influence est limitée dans le développement du choc septique dû à S. suis. Les souris B6 avaient une production plus élevée d’IL-10, une cytokine anti-inflammatoire, ce qui suppose que la cascade cytokinaire pro-inflammatoire était mieux contrôlée, entraînant un meilleur taux de survie. Le rôle bénéfique potentiel de l’IL-10 chez les souris infectées par S. suis a été confirmé par deux approches : d’une part en bloquant chez les souris B6 le récepteur cellulaire à l’IL-10 (IL-10R) par un anticorps monoclonal anti-IL-10R de souris et d’autre part en complémentant les souris A/J avec de l’IL-10 de souris recombinante. Les souris B6 ayant reçu le anticorps monoclonal anti-IL-10R avant d’être infectées par S. suis ont développé des signes cliniques aigus similaires à ceux observés chez les souris A/J, avec une mortalité rapide et élevée et des taux de TNF-α plus élevés que les souris infectées non traitées. Chez les souris A/J infectées par S. suis, le traitement avec l’IL-10 de souris recombinante a significativement retardé l’apparition du choc septique. Ces résultats montrent que la survie au choc septique dû à S. suis implique un contrôle très précis des mécanismes pro- et anti-inflammatoires et que la réponse anti-inflammatoire doit être activée simultanément ou très rapidement après le début de la réponse pro-inflammatoire. Grâce à ces expériences, nous avons donc fait un premier pas dans l’identification de gènes associés à la résistance envers S. suis chez l’hôte. Une des réussites les plus importantes du modèle d’infection de la souris décrit dans ce projet est le fait que les souris CD1 ayant survécu à la septicémie présentaient dès 4 jours p.i. des signes cliniques neurologiques clairs et un syndrome vestibulaire relativement similaires à ceux observés lors de méningite à S. suis chez le porc et chez l’homme. L’analyse par hybridation in situ combinée à de l’immunohistochimie des cerveaux des souris CD1 infectées a montré que la réponse inflammatoire du SNC débutait avec une augmentation significative de la transcription du Toll-like receptor (TLR)2 et du CD14 dans les microvaisseaux cérébraux et dans les plexus choroïdes, ce qui suggère que S. suis pourrait se servir de ces structures comme portes d’entrée vers le cerveau. Aussi, le NF-κB (suivi par le système rapporteur de l’activation transcriptionnelle de IκBα), le TNF-α, l’IL-1β et le MCP-1 ont été activés, principalement dans des cellules identifiées comme de la microglie et dans une moindre mesure comme des astrocytes. Cette activation a également été observée dans différentes structures du cerveau, principalement le cortex cérébral, le corps calleux, l’hippocampe, les plexus choroïdes, le thalamus, l’hypothalamus et les méninges. Partout, cette réaction pro-inflammatoire était accompagnée de zones extensives d’inflammation et de nécrose, de démyélinisation sévère et de la présence d’antigènes de S. suis dans la microglie. Nous avons mené ensuite des études in vitro pour mieux comprendre l’interaction entre S. suis et la microglie. Pour cela, nous avons infecté des cellules microgliales de souris avec la souche sauvage virulente (WT) de S. suis, ainsi qu’avec deux mutants isogéniques, un pour la capsule (CPS) et un autre pour la production d’hémolysine (suilysine). Nos résultats ont montré que la capsule était un important mécanisme de résistance à la phagocytose pour S. suis et qu’elle modulait la réponse inflammatoire, en dissimulant les composants pro-inflammatoires de la paroi bactérienne. Par contre, l’absence d’hémolysine, qui est un facteur cytotoxique potentiel, n’a pas eu d’impact majeur sur l’interaction de S. suis avec la microglie. Ces études sur les cellules microgliales ont permis de confirmer les résultats obtenus précédemment in vivo. La souche WT a induit une régulation à la hausse du TLR2 ainsi que la production de plusieurs médiateurs pro-inflammatoires, dont le TNF-α et le MCP-1. S. suis a induit la translocation du NF-kB. Cet effet était plus rapide dans les cellules stimulées par le mutant déficient en CPS, ce qui suggère que les composants de la paroi cellulaire représentent de puissants inducteurs du NF-kB. De plus, la souche S. suis WT a stimulé l’expression de la phosphotyrosine, de la PKC et de différentes cascades liées à l’enzyme mitogen-activated protein kinase (MAPK). Cependant, les cellules microgliales infectées par le mutant déficient en CPS ont montré des profils de phosphorylation plus forts et plus soutenus que celles infectées par le WT. Finalement, la capsule a aussi modulé l’expression de l’oxyde nitrique synthétase inductible (iNOS) induite par S. suis et par la production subséquente d’oxyde nitrique par la microglie. Ceci pourrait être lié in vivo à la neurotoxicité et à la vasodilatation. Nous pensons que ces résultats contribueront à une meilleure compréhension des mécanismes sous-tendant l’induction de l’inflammation par S. suis, ce qui devrait permettre, d’établir éventuellement des stratégies plus efficaces de lutte contre la septicémie et la méningite. Enfin, nous pensons que ce modèle expérimental d’infection chez la souris pourra être utilisé dans l’étude de la pathogénèse d’autres bactéries ayant le SNC pour cible.

Presence of menarche is associated with high depressive symptoms and cortisol levels in adolescent girls

Plusieurs études antérieures ont proposé que la ménarche pouvait représenter une vulnérabilité accrue au développement de la dépression en augmentant la réactivité au stress chez les filles ayant atteint leur cycle menstruel. Dans la présente étude, les symptômes dépressifs et les niveaux de cortisol salivaire ont été mesurés chez 198 garçons et 142 filles (11 - 13 ans), et ce, à quatre reprises au cours de leur première année de transition vers l’école secondaire, une période de stress chez les adolescents. Les résultats ont montré que les filles qui avaient atteint la ménarche au moment de la transition vers le secondaire avait des niveaux significativement plus élevés de symptômes dépressifs et de cortisol salivaire entre l’automne et le printemps, comparativement aux filles qui n'avaient pas encore atteint la ménarche. Ces dernières présentaient des niveaux plus élevés de symptômes dépressifs que les filles sans et les garçons. Les filles sans ménarche présentaient d’avantages des niveaux de symptômes dépressives plus élevés que les garçons. En utilisant l’âge de ménarche comme variable catégorique, les résultats démontrent que les filles ayant eu leur ménarche plus jeunes présentent des symptômes dépressifs plus élevés tout au long de l'année scolaire, alors que les filles qui ont commencé leur cycle menstruel à l’âge dit ‘normal’ présentent des symptômes dépressifs transitoires. Globalement, ces résultats suggèrent que la ménarche est un indice significatif d’une vulnérabilité accrue pour les symptômes dépressifs et les niveaux de cortisol plus élevés chez les adolescentes qui font leur entrée au secondaire. Également, ces résultats suggèrent qu’un âge précoce de ménarche peut exposer à long-terme le cerveau en développement à des niveaux élévés de cortisol, rendant ainsi ce groupe d’adolescentes plus vulnérables à la dépression.

Regulation of intestinal cholesterol transport and metabolism by high glucose levels = Régulation intestinale du transport et du métabolisme du cholestérol par le glucose

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Carbon metabolism in transgenic roots with altered levels of hexokinase and triosephosphate isomerase and growing under different nitrogen status

Ce projet a pour but d’évaluer la capacité de la voie des pentoses phosphates (VPP) dans les racines transgéniques de pomme de terre (Solanum tuberosum) modifiées pour exprimer différents niveaux de l'hexokinase (HK) et de la triosephosphate isomérase cytosolique (cTPI). Dans les racines, la VPP alimente la voie de l’assimilation de l’azote en equivalents réducteurs et permet donc la biosynthèse des acides aminés. Le glucose-6-phosphate produit par l’HK est consommé par la partie oxydative de la VPP catalysée par la glucose-6-phosphate déshydrogénase (G6PDH) et la 6-phosphogluconate déshydrogénase (6PGDH). Les changements dans l'expression de HK et cTPI peuvent affecter le fonctionnement de la VPP et les mécanismes qui sont liés à l’utilisation des équivalents réducteurs produits par la VPP, comme l'assimilation de l’azote et la synthèse des acides aminés. Afin d’évaluer l’effet des manipulations génétiques de l’HK et de la cTPI sur l’assimilation de l’azote, nous avons cultivé les racines transgéniques sur des milieux contenant des concentrations élevées (7 mM) ou basses (0,7 mM) de nitrate d’ammonium comme source d’azote. Les résultats montrent que la culture sur un milieu riche en azote induit les activités G6PDH et 6PGDH. Les données montrent que la capacité de la VPP est plus grande avec des niveaux élevés en HK ou en cTPI. Nous avons aussi pu démontrer une plus grande activité spécifique de l’HK dans les conditions pauvres en azote. Ces données ont été complémentées par des mesures des pools d’acides aminés dans les racines transgéniques cultivées sur différents niveaux d’azote. Aucune tendance notable des pools d’acides aminés n’a été remarquée dans les racines modifiées pour leur contenu en HK suggèrant que la manipulation de HK n’affecte pas l'assimilation de l’azote. Dans les racines transgéniques modifiées pour la cTPI, les ratios Gln/Glu et Asn/Asp sont plus élevés chez les clones antisens, indiquant une assimilation de l’azote plus élevée. Ces résultats ont démontré l'activation de l'assimilation de l’azote chez les clones antisens cTPI dans les conditions élevées et basses d’azote alors que la manipulation de l’HK n’affecte pas l’assimilation de l’azote.

Abstraction et plasticité sonore : une nouvelle approche à la composition de musique acousmatique

« La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU). »

Génération de résumés par abstraction

Cette thèse présente le résultat de plusieurs années de recherche dans le domaine de la génération automatique de résumés. Trois contributions majeures, présentées sous la forme d'articles publiés ou soumis pour publication, en forment le coeur. Elles retracent un cheminement qui part des méthodes par extraction en résumé jusqu'aux méthodes par abstraction. L'expérience HexTac, sujet du premier article, a d'abord été menée pour évaluer le niveau de performance des êtres humains dans la rédaction de résumés par extraction de phrases. Les résultats montrent un écart important entre la performance humaine sous la contrainte d'extraire des phrases du texte source par rapport à la rédaction de résumés sans contrainte. Cette limite à la rédaction de résumés par extraction de phrases, observée empiriquement, démontre l'intérêt de développer d'autres approches automatiques pour le résumé. Nous avons ensuite développé un premier système selon l'approche Fully Abstractive Summarization, qui se situe dans la catégorie des approches semi-extractives, comme la compression de phrases et la fusion de phrases. Le développement et l'évaluation du système, décrits dans le second article, ont permis de constater le grand défi de générer un résumé facile à lire sans faire de l'extraction de phrases. Dans cette approche, le niveau de compréhension du contenu du texte source demeure insuffisant pour guider le processus de sélection du contenu pour le résumé, comme dans les approches par extraction de phrases. Enfin, l'approche par abstraction basée sur des connaissances nommée K-BABS est proposée dans un troisième article. Un repérage des éléments d'information pertinents est effectué, menant directement à la génération de phrases pour le résumé. Cette approche a été implémentée dans le système ABSUM, qui produit des résumés très courts mais riches en contenu. Ils ont été évalués selon les standards d'aujourd'hui et cette évaluation montre que des résumés hybrides formés à la fois de la sortie d'ABSUM et de phrases extraites ont un contenu informatif significativement plus élevé qu'un système provenant de l'état de l'art en extraction de phrases.

Genetic association study of plasma creatine kinase levels in the Montreal Heart Institute Hospital Cohort

Il a déjà été démontré que les statines (ou inhibiteurs de la HMG-CoA réductase) sont efficaces pour réduire le LDL-cholestérol et elles se sont depuis établies comme étant le pilier dans le traitement de la dyslipidémie. Toutefois, environ 10 pourcent des utilisateurs de statines souffrent d'effets indésirables, généralement sous forme de myopathie qui est souvent accompagnée d’un taux élevé de la créatine kinase (CK) plasmatique. Il est fréquent que les patients doivent arrêter les statines à cause d’un taux de CK dépassant un seuil de référence. Nous avons examiné le taux de CK de près de 6000 participants de la biobanque de l’ICM, qui ont récemment été génotypés à l'aide de la micropuce d'ADN ExomChip d'Illumina. Des études antérieures ont démontré une association significative entre le taux de CK plasmatique et des polymorphismes génétiques et nous avons cherché à répliquer ces résultats par association génétique et à l'aide du test SKAT pour les polymorphismes rares. Nous avons répliqué les résultats dans le gène CKM (rs11559024, p=1.59x10-23) et le gène LILRB5 (rs12975366, p=1.44x10-26) dans le chromosome 19. Nous espérons que ces résultats seront éventuellement utilisés en clinique pour la prédiction des taux de référence de CK personnalisés selon le profil génétique des patients utilisateurs de statines.