Demand-driven type analysis for dynamically-typed functional languages

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Prediction of scoliosis curve type based on the analysis of trunk surface topography

Scoliosis treatment strategy is generally chosen according to the severity and type of the spinal curve. Currently, the curve type is determined from X-rays whose acquisition can be harmful for the patient. We propose in this paper a system that can predict the scoliosis curve type based on the analysis of the surface of the trunk. The latter is acquired and reconstructed in 3D using a non invasive multi-head digitizing system. The deformity is described by the back surface rotation, measured on several cross-sections of the trunk. A classifier composed of three support vector machines was trained and tested using the data of 97 patients with scoliosis. A prediction rate of 72.2% was obtained, showing that the use of the trunk surface for a high-level scoliosis classification is feasible and promising.

Quadratic M-Estimators for ARCH-Type Processes

This paper addresses the issue of estimating semiparametric time series models specified by their conditional mean and conditional variance. We stress the importance of using joint restrictions on the mean and variance. This leads us to take into account the covariance between the mean and the variance and the variance of the variance, that is, the skewness and kurtosis. We establish the direct links between the usual parametric estimation methods, namely, the QMLE, the GMM and the M-estimation. The ususal univariate QMLE is, under non-normality, less efficient than the optimal GMM estimator. However, the bivariate QMLE based on the dependent variable and its square is as efficient as the optimal GMM one. A Monte Carlo analysis confirms the relevance of our approach, in particular, the importance of skewness.

Contribution of the C-terminal tri-lysine regions of human immunodeficiency virus type 1 integrase for efficient reverse transcription and viral DNA nuclear import

Affiliation: Zhujun Ao, Éric Cohen & Xiaojian Yao : Département de microbiologie et immunologie, Faculté de Médecine, Université de Montréal

Caractérisation de la voie de signalisation AMPK/ACC dans le foie et l’intestin du Psammomys obesus, un modèle animal de résistance à l’insuline et de diabète de type 2

L’expansion des maladies métaboliques dans les sociétés modernes exige plus d’activités de recherche afin d’augmenter notre compréhension des mécanismes et l’identification de nouvelles cibles d’interventions cliniques. L’obésité, la résistance à l’insuline (RI) et la dyslipidémie, en particulier sont tous des facteurs de risque associés à la pathogenèse du diabète de type 2 (DT2) et des maladies cardiovasculaires. Ainsi, la dyslipidémie postprandiale, notamment la surproduction des lipoprotéines hépatiques et intestinales, contribue d’une façon significative à l’hypertriglycéridémie. Quoique plusieurs études cliniques et fondamentales chez l’homme et les modèles animaux aient mis en évidence les rôles importants joués par le foie et l’intestin dans la dyslipidémie, les mécanismes moléculaires en cause ne sont pas bien élucidés. L’une des voies principales régulant le métabolisme lipidique est la voie de la protéine kinase AMPK. L’épuisement de l’ATP intracellulaire entraîne une activation de l’AMPK qui va œuvrer pour rétablir l’équilibre énergétique en stimulant des voies génératrices d’ATP et en inhibant des voies anaboliques consommatrices d’ATP. Les effets positifs de l’activation de l’AMPK comprennent l’augmentation de la sensibilité à l’insuline dans les tissus périphériques, la réduction de l’hyperglycémie et la réduction de la lipogenèse, d’où son importance dans les interventions cliniques pour la correction des dérangements métaboliques. Il est à souligner que le rôle de l’AMPK dans le foie et l’intestin semble plus complexe et mal compris. Ainsi, la voie de signalisation de l’AMPK n’est pas bien élucidée dans les situations pathologiques telles que le DT2, la RI et l’obésité. Dans le présent projet, notre objectif consiste à caractériser le rôle de cette voie de signalisation dans la lipogenèse hépatique et dans le métabolisme des lipides dans l’intestin chez le Psammomys obesus, un modèle animal d’obésité, de RI et de DT2. À cette fin, 3 groupes d’animaux sont étudiés (i.e. contrôle, RI et DT2). En caractérisant la voie de signalisation de l’AMPK/ACC dans le foie, nous avons constaté une augmentation de l’expression génique des enzymes clés de la lipogenèse (ACC, FAS, SCD-1 et mGPAT) et des facteurs de transcription (ChREBP, SREBP-1) qui modulent leur niveau d’expression. Nos analyses détaillées ont révélé, par la suite, une nette augmentation de l’expression de l’isoforme cytosolique de l’ACC, ACC1 (impliqué dans la lipogenèse de novo) concomitante avec une invariabilité de l’expression de l’isoforme mitochondrial ACC2 (impliqué dans la régulation négative de la β-oxydation). En dépit d’un état adaptatif caractérisé par une expression protéique et une phosphorylation (activation) élevées de l’AMPKα, l’activité de la kinase qui phosphoryle et inhibe l’ACC reste très élevée chez les animaux RI et DT2. Au niveau de l’intestin grêle des animaux RI et DT2, nous avons démontré que l’augmentation de la lipogenèse intestinale est principalement associée avec une diminution de la voie de signalisation de l’AMPK (i.e. expression protéique et phosphorylation/activation réduites des deux isoformes AMPKα1 et AMPKα2). La principale conséquence de la diminution de l’activité AMPK est la réduction de la phosphorylation de l’ACC. Étant donné que le niveau d’expression totale d’ACC reste inchangé, nos résultats suggèrent donc une augmentation de l’activité des deux isoformes ACC1 et ACC2. En parallèle, nous avons observé une réduction de l’expression protéique et génique de la CPT1 [enzyme clé de la β-oxydation des acides gras (AG)]. L’ensemble de ces résultats suggère une inhibition de l’oxydation des AG concomitante avec une stimulation de la lipogenèse de novo. Enfin, nous avons démontré que l’intestin grêle est un organe sensible à l’action de l’insuline et que le développement de la résistance à l’insuline pourrait altérer les deux voies de signalisation (i.e. Akt/GSK3 et p38MAPK) essentielles dans plusieurs processus métaboliques. En conclusion, nos résultats indiquent que l’augmentation de la lipogenèse qui contribue pour une grande partie à la dyslipidémie dans la résistance à l’insuline et le diabète serait due, en partie, à des défauts de signalisation par l’AMPK. Nos observations illustrent donc le rôle crucial du système AMPK au niveau hépatique et intestinal, ce qui valide l’approche thérapeutique consistant à activer l’AMPK pour traiter les maladies métaboliques.

Caractérisation et étude d'un élément régulateur du gène codant pour le récepteur à la vasopressine de type 2

Thèse réalisée en cotutelle avec l'Université Pierre et Marie Curie, Paris VI, France

Modulation de l’expression du gène CFTR par le produit du gène FIC1 responsable de la cholestase familiale intra-hépatique progressive de type 1 : Identification des mécanismes moléculaires impliqués

Réalisé en cotutelle avec l'Université de Cergy-Pontoise

L’expérience vécue à domicile par les conjointes de partenaires atteints de la démence de type Alzheimer au moment des soins d’hygiène

Suite à une recension des écrits sur les soins d’hygiène des personnes atteintes de démence de type Alzheimer (DTA), force est de constater la rareté, voire l’absence de recherches sur la question des soins d’hygiène (SH) dispensés à domicile par les conjointes. Pourtant, la conjointe à domicile est confrontée aux mêmes difficultés que les intervenants des établissements de santé et doit ainsi faire face aux comportements, parfois difficiles de la personne atteinte. Dans la pratique, les infirmières questionnent peu les difficultés rencontrées par les aidantes au moment des soins d’hygiène, ce qui permet difficilement de prendre conscience de leurs sentiments d’isolement et de détresse et de les réduire, le cas échéant. Pour pallier cette lacune, la présente recherche vise à comprendre l’expérience que vivent des conjointes d’hommes atteints de DTA lorsqu’elles leur dispensent des SH à domicile. Un second objectif vise à identifier les dimensions qui sont associées à cette expérience. Une approche de recherche qualitative est utilisée. Les participantes ont été recrutées par l’entremise des Sociétés Alzheimer de Laval et des Laurentides. La stratégie de collecte des données a impliqué la réalisation de deux entrevues individuelles, face à face, de même que l’administration d’un court questionnaire portant sur les aspects sociodémographiques. La démarche retenue pour l’analyse de l’ensemble de données est inspirée de l’approche proposée par Miles et Huberman (2003). Les résultats permettent d’abord de mettre en évidence des profils de conjointes qui, tout en étant variables, présentent certaines similarités. Eu égard aux SH, toutes ont à consacrer des efforts soutenus, quotidiens et intenses. Elles doivent faire montre de patience et compter sur des capacités personnelles les amenant à ressentir des sentiments positifs malgré les situations difficiles. Les résultats montrent par ailleurs que la dispensation des SH provoque aussi des sentiments négatifs associés au fardeau que ces soins impliquent. Les conjointes mettent toutefois en œuvre une variété de stratégies d’adaptation au stress telles la résolution de problème, la recherche de soutien social et le recadrage. Cinq ensembles de dimensions personnelles et contextuelles sont associés à l’expérience des aidantes : 1) En ce qui a trait aux caractéristiques personnelles des conjointes, l’avancement en âge et l’état de santé physique ou psychologique influencent négativement l’expérience lors des SH. Par contre, les ressources personnelles intrinsèques (acceptation de la réalité, capacité de trouver un sens à l’évènement, habileté à improviser et sens de l’humour) sont utilisées de manière naturelle ou acquise; 2) Les caractéristiques personnelles du conjoint (année du diagnostic, pertes d’autonomie et troubles de comportement) affectent négativement l’expérience vécue; 3) La relation conjugale présente un intérêt important puisqu’il apparaît qu’une relation conjugale pré-diagnostic positive semble favoriser des sentiments positifs chez la conjointe en ce qui a trait aux SH; 4) Les dimensions familiales ont un impact favorable, étant donné le soutien psychologique reçu de la famille; 5) Les dimensions macro-environnementales, incluant l’aide reçue du réseau informel plus large de même que du réseau formel, ainsi que les divers aménagements matériels de l’environnement physique du couple, ressortent enfin comme ayant un impact positif. Au terme de l’analyse des résultats, l’auteure est en mesure de proposer une synthèse de l’expérience des conjointes. La discussion aborde quatre enjeux qui se dégagent des résultats observés : impacts des difficultés rencontrées lors des SH dans la décision d’hébergement, réticence des aidantes à faire appel aux ressources du réseau formel pour obtenir de l’aide eu égard aux SH, importance des ressources personnelles des aidantes et potentiel de l’approche relationnelle humaine (human caring) pour faire face aux défis que pose la dispensation des SH.

A Comprehensive Analysis of the Legal Issues Relating to Nominee Directors

Dans la foulée des scandales financiers ayant secoué le milieu des affaires ces dernières années, l’efficacité des pratiques de régie d’entreprise, et, en particulier celles liées à l’indépendance des administrateurs, a été passée au crible. L’administrateur désigné par une partie pour la représenter est un type d’administrateur que l’on rencontre fréquemment au sein des conseils d’administration des entreprises. Toutefois, l’on peut se questionner sur l’indépendance réelle de ces administrateurs, considérant leur loyauté envers la personne les ayant désignés, laquelle détient habituellement un intérêt à titre d’actionnaire ou de partie prenante dans l’entreprise visée. En outre, alors que les principes légaux requièrent que les administrateurs agissent dans le meilleur intérêt de l’entreprise, la réalité pratique est parfois toute autre: aux prises avec les instructions ou les souhaits de la personne les ayant nommés, les administrateurs désignés se retrouvent placés en situation inhérente de conflit d’intérêts. Ce texte vise à offrir une analyse détaillée au sujet de l’administrateur désigné et du conflit d’intérêts résultant de cette double exigence de loyauté. L’objectif est de présenter un examen approfondi des diverses difficultés résultant de la nomination d’un administrateur désigné ou associées à celle-ci, ainsi que des réponses judiciaires et législatives liées à cette problématique. Cette réflexion mènera à une exploration de certains systèmes législatifs et légaux, en particulier ceux du Royaume-Uni, de l’Australie et de la Nouvelle-Zélande, afin d’obtenir une meilleure compréhension et d’offrir une perspective éclairée quant aux enjeux analysés par la présente.

N-acétyltransférase lysosomale : organisation, fonctionnement et défauts moléculaires chez les patients atteints du syndrome de Sanfilippo type C

L’acétylation des résidus de glucosamine terminaux par la N-acétyltransférase lysosomale (HGSNAT) est une étape essentielle de la dégradation catabolique de l’héparan sulfate. Des défauts dans cette réaction causent une maladie de surcharge lysosomale autosomale récessive rare : le désordre de Sanfilippo type C (SFC). À ce jour, 54 mutations ont été rapportées chez des patients SFC, incluant 13 mutations des sites d’épissage, 11 insertions et délétions, 8 mutations non-sens, 18 mutations faux-sens et 4 polymorphismes, avec différentes manifestations phénotypiques. Nous avons identifié 10 d’entre elles et effectué une étude exhaustive portant sur l’éventail des mutations SFC, leur distribution dans la population de patients, ainsi que leur impact potentiel sur la structure de la HGSNAT. Les erreurs d’épissage, les mutations non-sens, les insertions et les délétions devraient toutes entraîner un ARN non fonctionnel qui est rapidement dégradé par des mécanismes de contrôle qualité cellulaire. Les 4 polymorphismes identifiés sont des changements d'acides aminés qui ne modifient pas l'activité enzymatique, la glycosylation ou la localisation et n'ont donc pas de signification au niveau clinique. Au niveau des enzymes, les polymorphismes sont des changements d’acides aminés qui n’affectent pas la fonction, mais dans un contexte d’acides nucléiques ils peuvent être considérés comme des mutations faux-sens. Les dix-huit mutations faux-sens qui ont été exprimées ont produit des protéines inactives, en raison d'erreurs dans leur repliement. Ceci expliquerait donc la progression sévère de la maladie chez les personnes porteuses de ces mutations. Les protéines mutantes mal repliées sont anormalement glycosylées et conservées dans le réticulum endoplasmique. La thérapie par amélioration de l’activité enzymatique par des chaperonnes est une option thérapeutique potentielle, spécifiquement conçue pour exploiter l'activité enzymatique résiduelle de mutants mal repliés, afin d’éliminer les substrats stockés. Nous avons démontré que le traitement de plusieurs lignées de fibroblastes de patients SFC avec le chlorhydrate de glucosamine, un inhibiteur spécifique de la HGSNAT, a partiellement restauré l’activité de l'enzyme mutante, fournissant une preuve de l’utilité future de la thérapie par des chaperonnes dans le traitement de la maladie de SFC.

Non-negative matrix decomposition approaches to frequency domain analysis of music audio signals

On étudie l’application des algorithmes de décomposition matricielles tel que la Factorisation Matricielle Non-négative (FMN), aux représentations fréquentielles de signaux audio musicaux. Ces algorithmes, dirigés par une fonction d’erreur de reconstruction, apprennent un ensemble de fonctions de base et un ensemble de coef- ficients correspondants qui approximent le signal d’entrée. On compare l’utilisation de trois fonctions d’erreur de reconstruction quand la FMN est appliquée à des gammes monophoniques et harmonisées: moindre carré, divergence Kullback-Leibler, et une mesure de divergence dépendente de la phase, introduite récemment. Des nouvelles méthodes pour interpréter les décompositions résultantes sont présentées et sont comparées aux méthodes utilisées précédemment qui nécessitent des connaissances du domaine acoustique. Finalement, on analyse la capacité de généralisation des fonctions de bases apprises par rapport à trois paramètres musicaux: l’amplitude, la durée et le type d’instrument. Pour ce faire, on introduit deux algorithmes d’étiquetage des fonctions de bases qui performent mieux que l’approche précédente dans la majorité de nos tests, la tâche d’instrument avec audio monophonique étant la seule exception importante.

Les défis de la gestion alimentaire des personnes atteintes de la démence de type Alzheimer : le vécu des aidants dans le cadre d’une intervention nutritionnelle ciblée

Introduction: Les aidants des personnes âgées (PA) atteintes de la démence de type Alzheimer (DTA) sont confrontés à de nombreux défis lors du soin de leurs proches, y compris ceux liés à l’alimentation. Cependant, ces défis restent méconnus et les stratégies créées pour les gérer sont encore peu efficaces. Objectifs: Identifier les difficultés rencontrées par les aidants pendant la gestion de l’alimentation des PA atteintes de la DTA ayant participé à une intervention nutritionnelle (l’étude NIS) et dégager leurs opinions concernant cette intervention. Sujets: Trente-trois aidants des PA avec DTA du groupe intervention de l’étude NIS ont été ciblés. Méthodes: L’approche qualitative a été employée lors des entrevues individuelles auprès de ces aidants. Les entrevues ont été transcrites et le verbatim fut soumis à une analyse thématique. Résultats: Vingt-quatre aidants ont été interviewés. Quelque 58,4 % avaient 70 ans et plus et 58,3 % étaient des conjoint (es) des patients affectés. Quatre catégories de thèmes furent dégagées menant à l’identification des défis alimentaires suivants: les changements des habitudes alimentaires (altération des préférences); les perturbations du comportement alimentaire (ex. l’oubli de repas); la dépendance à la préparation des repas. L’utilité des conseils, la gentillesse et la compétence du personnel NIS, la documentation écrite offerte et la durée du suivi ont été appréciées par les aidants. Conclusion: Une meilleure compréhension de l'expérience de soin vécu par l’aidant est essentielle au développement des interventions nutritionnelles adaptées aux besoins des aidants et des PA atteintes de la DTA.

Charge virale intégrée du papillomavirus de type 16 dans la maladie anale préinvasive

L’histoire naturelle de l’infection anale par le virus du papillome de type 16 (VPH-16) est mal définie pour les hommes ayant des relations sexuelles avec d’autres hommes (HARSAHs) VIH-séropositifs. Le but de cette étude était d’évaluer l’association entre la charge épisomale et intégrée du VPH-16 et la progression de la néoplasie intraépithéliale anale (AIN). Les charges épisomales et intégrées du VPH-16 furent mesurées par PCR quantitatif en temps réel sur 665 spécimens anaux obtenus de 135 hommes VPH-16-positifs participant à l’étude prospective HIPVIRG (Human Immunodeficiency and Papilloma VIrus Research Group). Le grade de l’AIN fut déterminé sur des biopsies obtenues lors des anuscopies à haute résolution périodiques. L’intégration du VPH-16 fut confirmée par DIPS-PCR pour démontrer la présence de jonctions virales-cellulaires. La charge épisomale du VPH-16 [ratio de cote (OR) 1.5, intervalle de confiance (IC) à 95%=1.1–2.1], le nombre de types de VPH [OR 1.4 (IC 95%=1.1–1.8)] et le tabagisme actuel [OR 4.8 (IC 95%=1.3–18.6)], mais non la charge intégrée, furent associés aux lésions de haut-grade (AIN-2,3) après ajustement pour l’âge et le décompte des lymphocytes CD4. La charge épisomale du VPH-16 était le seul facteur prédictif de progression de l’AIN de bas-grade (AIN-1) vers l’AIN-2,3 [OR 8.0 (IC 95%=1.2–55.4)]. Les spécimens avec une charge épisomale du VPH-16 élevée étaient moins susceptibles de contenir de l’intégration [OR 0.5 (IC 95%=0.3–0.8)]. L’intégration du VPH-16 fut détectée en absence d’AIN, dans l’AIN-1 et dans l’AIN-2,3. L’analyse des jonctions virales-cellulaires ne permit pas d’identifier un site d’intégration spécifique.

Le cancer épithélial des ovaires à cellules claires et de type mucineux exprime un niveau élevé de HYAL-1 : corrélation inverse avec l’expression des récepteurs d’estrogène et de progestérone

Le cancer épithélial des ovaires (CEO) est classifié en sous types histopathologiques identifiés tel que séreux, endométrioide, à cellules claires et mucineux. Une analyse génétique réalisée au niveau moléculaire a suggéré un rôle pour des gènes suppresseurs de tumeur localisés sur le bras court du chromosome 3p21.3 dans la pathogénèse du CEO de type séreux. Notre objectif était d’évaluer le profil d’expression de HYAL-1, localisé dans cette même région, dans les différents sous types du CEO, et de vérifier une éventuelle corrélation avec l’expression des récepteurs d’hormones stéroïdiennes. Pour se faire, nous avons analysé par RT-PCR quantitative l’expression de l’ARNm de HYAL-1, des récepteurs d’estrogène (ER-α et ER-β) et du récepteur de progestérone (PR) dans des échantillons de tissus extraits de tumeurs du CEO provenant de deux cohortes indépendantes et dans des lignées cellulaires. Nous avons également réalisé des analyses bioinformatiques à partir de l’expression de ces gènes en ayant recours à une base de données de microarray disponible en ligne et ouverte au public. Par la suite, nous avons mesuré l’activité enzymatique de HYAL-1 dans des lignées cellulaires du CEO et dans des échantillons de plasma. Nos résultats ont montré que l’expression de l’ARNm de HYAL-1 était élevée dans le type à cellules claires et mucineux mais non dans les types séreux et endométrioides, autant dans les échantillons sains que de ceux provenant de tumeurs bénignes. De façon cohérente, le niveau d’ARNm et l’activité enzymatique de HYAL-1 étaient élevés dans les lignées cellulaires à cellules claires et mucineuses. Nous avons aussi démontré qu’il y avait une corrélation inverse entre les niveaux de l’ARNm de HYAL-1 et ceux d’ER-α et PR dans les échantillons de tissus de CEO du type mucineux et à cellules claires. De façon similaire, nous avons noté que l’activité de HYAL-1 était élevée dans le plasma de ces mêmes patients. En conséquence nos travaux proposent HYAL-1 en tant que biomarqueur potentiel dans le cas des CEO de type à cellules claires et mucineux présentant un faible niveau d’expression d’ER-α et PR.