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.

Le terroir villageois : un cadre d'analyse pertinent des dynamiques rurales ? Recompositions des pouvoirs locaux autour de la gestion de terres de l'ouest du Burkina Faso

International audience

Rôle de la conformation des glycoprotéines de l’enveloppe du VIH-1 dans la réponse cytotoxique cellulaire dépendante des anticorps et impact des protéines virales Nef et Vpu

Alors que d’énormes efforts sont mis de l’avant pour mettre en place des stratégies thérapeutiques contre l’infection au VIH-1, il est nécessaire de mieux cerner les déterminants viraux qui aideront à l’efficacité de celles-ci. En ce sens, une volumineuse littérature scientifique suggère que les anticorps contre le VIH-1 possédant une capacité à induire une réponse effectrice dépendante de leur portion Fc puissent jouer un rôle important dans la prévention de l’infection et dans la progression de la maladie. Cependant, peu d’information est disponible concernant les déterminants reconnus par ces anticorps et comment le virus s’en protège. Le but des travaux présentés dans cette thèse est donc d’élucider les mécanismes viraux contrôlant la reconnaissance des cellules infectées par ces anticorps capables d’induire une réponse effectrice. De par les corrélats de protection identifiés au cours de l’essai vaccinal RV144, les travaux présentés ici se concentrent sur la réponse cytotoxique dépendante des anticorps (ADCC), puisqu’il s’agit d’une réponse effectrice suggérée pour avoir joué un rôle dans la protection observée dans le RV144, seul essai vaccinal anti-VIH à avoir démontré un certain degré de protection. De plus, plusieurs anticorps capables d’induire cette réponse contre le VIH sont connus pour reconnaître les glycoprotéines de surface du virus (Env) dans une conformation dite ouverte, c’est-à-dire la conformation adoptée lors de la liaison d’Env avec son récepteur CD4 (épitopes CD4i). Nous avons mis au point deux techniques in vitro permettant d’étudier ces changements de conformation ainsi que leur impact sur la réponse ADCC. Les techniques mises au point, un ÉLISA sur base cellulaire pour mesurer les changements de conformation d’Env ainsi que la mesure de la réponse ADCC par cytométrie en flux, nous ont permis de démontrer comment le virus empêche l’exposition des épitopes d’Env CD4i. L’activité simultanée des protéines accessoires virales Nef et Vpu sur le retrait du récepteur CD4 de la surface des cellules infectées et l’inhibition du facteur de restriction Tétherine / BST-2 par Vpu contrôlent à la fois les niveaux d’Env et de CD4 à la surface cellulaire et donc modulent l’interaction Env-CD4 et ultimement la susceptibilité à la réponse ADCC contre les épitopes CD4i reconnus par des anticorps hautement prévalents lors de l’infection au VIH. Également, nous démontrons comment de petits composés mimant la liaison de CD4 sur Env sont capables de forcer l’exposition des épitopes CD4i, même en présence des protéines Nef et Vpu, et donc d’augmenter la susceptibilité des cellules infectées à la réponse ADCC. Une autre découverte présentée ici est la démonstration que la portion soluble d’Env produite par les cellules infectées peut interagir avec le récepteur CD4 des cellules non-infectées avoisinantes et induire leur reconnaissance et élimination par la réponse ADCC contre Env. Somme toute, la modulation de la réponse ADCC par l’interaction Env–CD4 représente un important pilier de la relation hôte – pathogène du VIH-1 de la perspective des réponses Fc-dépendantes. Les travaux présentés dans cette thèse ont le potentiel d’être utilisés dans l’élaboration de nouvelles stratégies antivirales tout en élargissant les connaissances fondamentales de cette interaction hôte – pathogène.

Mutation in NDUFA13/GRIM19 leads to early onset hypotonia, dyskinesia and sensorial deficiencies, and mitochondrial complex I instability

International audience

Recessive Mutations in RTN4IP1 Cause Isolated and Syndromic Optic Neuropathies

International audience

Infrared thermography monitoring of the NaCl crystallisation process

In this work, we describe the growth of NaCl crystals by evaporating droplets of aqueous solution while monitoring them with infrared thermography. Over the course of the evaporation experiments, variations in the recorded signal were observed and interpreted as being the result of evaporation and crystallisation. In particular, we observed sharp and transient decreases in the thermosignal during the later stages of high-concentration drop evaporation. The number of such events per experiment, referred to as “pop-cold events”, varied from 1 to over 100 and had durations from 1 to 15 s. These events are interpreted as a consequence from the top-supplied creeping (TSC) of the solution feeding the growth of efflorescence-like crystals. This phenomenon occurred when the solution was no longer macroscopically visible. In this case, efflorescence-like crystals with a spherulite shape grew around previously formed cubic crystals. Other crystal morphologies were also observed but were likely fed by mass diffusion or bottom-supplied creeping (BSC) and were not associated with “pop-cold events”; these morphologies included the cubic crystals at the centre, ring-shaped at the edge of droplets and fan-shaped crystals. After complete evaporation, an analysis of the numbers and sizes of the different types of crystals was performed using image processing. Clear differences in their sizes and distribution were observed in relation to the salt concentration. Infrared thermography permitted a level of quantification that previously was only possible using other techniques. As example, the intermittent efflorescence growth process was clearly observed and measured for the first time using infrared thermography.

Reproduction des ascomycètes. Stylospores et spermaties. Étude morphologique et physiologique,

"Extrait des Annales des sciences naturelles. Botanique, 6# série, tome III."

La question de l'histoire chez Husserl

Ce présent mémoire porte sur la conception historique de la phénoménologie dans le dernier ouvrage de Husserl, La crise des sciences européennes et la phénoménologie transcendantale (1937). Le chapitre 1 avance, qu’il n’y a pas, du point de vue de ses motifs internes, de « tournant historique » de la phénoménologie. Le projet d’une théorie transcendantale de l’histoire doit se comprendre comme étant l’aboutissement nécessaire de la pensée husserlienne. Le chapitre 2 s’intéresse à la manière par laquelle la phénoménologie serait censée renouveler l’identité collective de l’Europe et résoudre la séparation entre la pensée et l'action. La phénoménologie, à partir d’une critique de l’objectivisme des sciences, serait la réalisation du telos de la pensée moderne. Cependant, l’exigence d’authenticité de Husserl s’avère insuffisante pour parvenir à une juste compréhension des implications de la responsabilité. Bien que cette visée humaniste soit d’un intérêt évident, elle s’avère trop rudimentaire.

La question de l'histoire chez Husserl

Ce présent mémoire porte sur la conception historique de la phénoménologie dans le dernier ouvrage de Husserl, La crise des sciences européennes et la phénoménologie transcendantale (1937). Le chapitre 1 avance, qu’il n’y a pas, du point de vue de ses motifs internes, de « tournant historique » de la phénoménologie. Le projet d’une théorie transcendantale de l’histoire doit se comprendre comme étant l’aboutissement nécessaire de la pensée husserlienne. Le chapitre 2 s’intéresse à la manière par laquelle la phénoménologie serait censée renouveler l’identité collective de l’Europe et résoudre la séparation entre la pensée et l'action. La phénoménologie, à partir d’une critique de l’objectivisme des sciences, serait la réalisation du telos de la pensée moderne. Cependant, l’exigence d’authenticité de Husserl s’avère insuffisante pour parvenir à une juste compréhension des implications de la responsabilité. Bien que cette visée humaniste soit d’un intérêt évident, elle s’avère trop rudimentaire.

A qualitative impairment in face perception in Alzheimer’s disease : evidence from a reduced face inversion effect

Prevalent face recognition difficulties in Alzheimer’s disease (AD) have typically been attributed to the underlying episodic and semantic memory impairment. The aim of the current study was to determine if AD patients are also impaired at the perceptual level for faces, more specifically at extracting a visual representation of an individual face. To address this question, we investigated the matching of simultaneously presented individual faces and of other nonface familiar shapes (cars), at both upright and inverted orientation, in a group of mild AD patients and in a group of healthy older controls matched for age and education. AD patients showed a reduced inversion effect (i.e., larger performance for upright than inverted stimuli) for faces, but not for cars, both in terms of error rates and response times. While healthy participants showed a much larger decrease in performance for faces than for cars with inversion, the inversion effect did not differ significantly for faces and cars in AD. This abnormal inversion effect for faces was observed in a large subset of individual patients with AD. These results suggest that AD patients have deficits in higher-level visual processes, more specifically at perceiving individual faces, a function that relies on holistic representations specific to upright face stimuli. These deficits, combined with their memory impairment, may contribute to the difficulties in recognizing familiar people that are often reported in patients suffering from the disease and by their caregivers.

Dynamique holocène de la végétation et des feux d’un paysage contemporain dominé par des espèces de début de succession au sein de la Pessière à mousses de l’Ouest du Québec

Dans le contexte d’études visant à établir des liens entre les paysages forestiers naturels actuels et la façon dont ils se sont transformés au cours de l’Holocène (variabilité naturelle), il est important de définir des stratégies sylvicoles qui répondent aux critères de la mise en place de l’aménagement écosystémique. Au sein du domaine bioclimatique de la pessière à mousses de l’Ouest du Québec, certains paysages forestiers sont aujourd’hui caractérisés par de vastes peuplements de début de succession dominés par le peuplier faux-tremble et le pin gris. Les objectifs de cette étude étaient 1) de reconstituer l’histoire postglaciaire de la végétation et des feux d’un secteur dominé par de tels peuplements, et 2) de préciser leur variabilité naturelle plurimillénaire. À cette fin, les paysages forestiers d’un territoire couvrant une superficie de 4000 km2 dans la région de la plaine du lac Matagami ont d’abord été caractérisés. Dans un deuxième temps, l’histoire de la végétation et des feux a été reconstituée à l’aide de l’analyse pollinique et anthracologique de deux tourbières. Les lieux de prélèvement des sédiments ont été choisis en fonction d’obtenir un enregistrement local et extra-local de l’histoire des forêts jouxtant chacune des tourbières. Les résultats montrent que la majeure partie de l’Holocène (7000 à 1000 ans A.A.) a été caractérisée des feux peu fréquents qui ont permis le maintien de paysages dominés par la pessière noire à sapin baumier. Au cours des 1000 dernières années, des feux plus fréquents et sans doute plus sévères et de plus grandes étendues ont provoqué une diminution de l’abondance du sapin et une augmentation des espèces de début de succession. Les feux du dernier millénaire seraient ainsi à l’origine des actuels peuplements de début de succession qui se maintiendraient selon une dynamique de récurrence.

Étude de la dynamique du ferrofluide appliquée sur une surface générée par plusieurs actionneurs

Le sujet de cette thèse est la caractérisation dynamique d’une surface générée par plusieurs actionneurs d’un miroir ferrofluidique intégré dans un montage d’optique adaptative. Elle conclut un projet de doctorat au sein du groupe Borra s’étant échelonné sur 4 années. Un bref portrait général de l’optique adaptative est d’abord présenté, suivi d’une section sur la théorie du contrôle. Les types de contrôleurs y sont abordés, soit PID et surcharge. L’effet de la viscosité sur la réponse dynamique du système, ainsi que les analyseurs de front d’onde utilisés sont ensuite expliqués. La section résultats est subdivisée en plusieurs sous-sections ordonnées de façon chronologique. Dans un premier temps, il est question des résultats obtenus dans le cadre d’une caractérisation d’un nouveau miroir de 91 actionneurs fabriqué au sein du groupe. Il est ensuite question des résultats obtenus avec diverses techniques telles le PSD et l’imagerie déclenchée. Il y aura toute une section sur les résultats en vitesse, en fonction de la viscosité du liquide, suivie d’une section sur les simulations réalisées avec Simulink afin de bien cibler les limites du système. Les résultats portant sur la technique de surcharge des actionneurs seront ensuite présentés avec des projections futures. La dernière partie de cette thèse portera sur une innovation apportée par un autre membre du groupe. Nous parlerons de la déposition d’une membrane élastomère réfléchissante et de ses effets sur la dynamique du système.

L’imputation des paiements: étude d’un régime délaissé par la doctrine et la jurisprudence

Le présent texte porte sur les règles régissant l’imputation des paiements dans le Code civil du Québec. Dans l’état actuel du droit, le droit de l’imputation des paiements est essentiellement traité à l’intérieur des ouvrages généraux portant sur le droit des obligations. Quant à la jurisprudence, celle-ci se présente comme étant confuse et de peu d’aide pour qui voudrait comprendre l’application de ces règles. L’objet de ce mémoire est donc de procéder avant tout à une analyse détaillée des articles 1569 à 1572 du Code civil du Québec. Nous expliciterons et expliquerons les termes de chacun de ces articles, nous démontrerons leur mécanisme propre et décrirons leurs applications et leurs limites. Nous procéderons également à une critique, parfois poussée, de ce qui a été écrit sur le sujet par la doctrine et la jurisprudence et nous nous questionnerons à l’occasion sur la rédaction même des dispositions actuelles.

Amplification d’impulsions brèves de haute énergie par effet Raman stimulé dans les fibres optiques

Le développement au cours des dernières décennies de lasers à fibre à verrouillage de modes permet aujourd’hui d’avoir accès à des sources fiables d’impulsions femtosecondes qui sont utilisées autant dans les laboratoires de recherche que pour des applications commerciales. Grâce à leur large bande passante ainsi qu’à leur excellente dissipation de chaleur, les fibres dopées avec des ions de terres rares ont permis l’amplification et la génération d’impulsions brèves de haute énergie avec une forte cadence. Cependant, les effets non linéaires causés par la faible taille du faisceau dans la fibre ainsi que la saturation de l’inversion de population du milieu compliquent l’utilisation d’amplificateurs fibrés pour l’obtention d’impulsions brèves dont l’énergie dépasse le millijoule. Diverses stratégies comme l’étirement des impulsions à des durées de l’ordre de la nanoseconde, l’utilisation de fibres à cristaux photoniques ayant un coeur plus large et l’amplification en parallèle ont permis de contourner ces limitations pour obtenir des impulsions de quelques millijoules ayant une durée inférieure à la picoseconde. Ce mémoire de maîtrise présente une nouvelle approche pour l’amplification d’impulsions brèves utilisant la diffusion Raman des verres de silice comme milieu de gain. Il est connu que cet effet non linéaire permet l’amplification avec une large bande passante et ce dernier est d’ailleurs couramment utilisé aujourd’hui dans les réseaux de télécommunications par fibre optique. Puisque l’adaptation des schémas d’amplification Raman existants aux impulsions brèves de haute énergie n’est pas directe, on propose plutôt un schéma consistant à transférer l’énergie d’une impulsion pompe quasi monochromatique à une impulsion signal brève étirée avec une dérive en fréquence. Afin d’évaluer le potentiel du gain Raman pour l’amplification d’impulsions brèves, ce mémoire présente un modèle analytique permettant de prédire les caractéristiques de l’impulsion amplifiée selon celles de la pompe et le milieu dans lequel elles se propagent. On trouve alors que la bande passante élevée du gain Raman des verres de silice ainsi que sa saturation inhomogène permettent l’amplification d’impulsions signal à une énergie comparable à celle de la pompe tout en conservant une largeur spectrale élevée supportant la compression à des durées très brèves. Quelques variantes du schéma d’amplification sont proposées, et leur potentiel est évalué par l’utilisation du modèle analytique ou de simulations numériques. On prédit analytiquement et numériquement l’amplification Raman d’impulsions à des énergies de quelques millijoules, dont la durée est inférieure à 150 fs et dont la puissance crête avoisine 20 GW.