Étude du rôle de la protéine Vpr du VIH-1 dans la modulation de la réponse immunitaire

L’infection par le VIH-1 est caractérisée par une activation chronique du système immunitaire et par une réduction graduelle du nombre de lymphocytes TCD4+, qui contribuent à une détérioration lente du système immunitaire menant à la phase SIDA. Paradoxalement, ce sont majoritairement des lymphocytes T CD4+ non infectés qui sont détruits et la cause de ce phénomène reste encore inconnue. Certaines protéines virales, dont la protéine accessoire Vpr, sont soupçonnées de jouer un rôle dans ce processus. Synthétisée tardivement, Vpr est incorporée à l’intérieur des virions, en plus d’être relâchée sous forme soluble dans le milieu extracellulaire. La principale fonction biologique de Vpr est l’induction d’un arrêt de cycle en phase G2/M, via le recrutement du complexe d’ubiquitine E3 ligase CUL4A-DDB1VprBP et l’activation de la voie de dommage à l’ADN contrôlée par la kinase ATR. Une étude démontre que l’activation des voies de dommages à l’ADN conduit à l’expression de ligands du récepteur activateur NKG2D, exprimés par les cellules NK, déclenchant leurs fonctions cytolytiques. Chose intéressante, plusieurs études suggèrent que le VIH-1 régule positivement l’expression des ligands de NKG2D à la surface des lymphocytes T CD4+ infectés. Cependant, le facteur viral impliqué dans ce processus reste encore indéfini. Le but de cette thèse était d’évaluer le rôle de Vpr dans la modulation des fonctions cytolytiques des cellules NK et son implication potentielle dans la destruction des lymphocytes T CD4+. Nos travaux ont permis de démontrer que l’expression de Vpr, seule ou dans le contexte de l’infection, est suffisante afin d’augmenter spécifiquement l’expression du ligand de NKG2D, ULBP2, au niveau de lymphocytes T CD4+ primaires. Conséquemment, Vpr augmente ainsi la susceptibilité de ces cellules à une lyse par des cellules NK autologues. Nous démontrons que cette régulation positive d’ULBP2 repose sur la capacité de Vpr de recruter le complexe d’ubiquitine E3 ligase DDB1-CUL4AVprBP et l’activation de la voie de dommage à l’ADN ATR. Plus important encore, nous apportons des preuves que Vpr augmente également l’expression d’ULBP2 au niveau des cellules non infectées lors d’une infection de lymphocytes TCD4+ par le VIH-1. À cet effet, nous montrons que l’acheminement de Vpr au niveau de lymphocytes T CD4+ non infectés via des particules virales défectives est suffisant afin de réguler positivement ULBP2 et d’augmenter leur lyse par des cellules NK autologues. De plus, nous décrivons pour la première fois que Vpr, sous forme soluble, a la capacité d’induire des dommages à l’ADN et de réguler positivement ULBP2 suite à la transduction de différents types cellulaires, incluant des cellules T. Globalement, nos résultats démontrent que Vpr est un facteur viral clé impliqué dans la régulation positive des ligands de NKG2D induite par le VIH-1. Cette régulation positive d’ULBP2 pourrait alors contribuer à la destruction des lymphocytes T CD4+ infectés et non infectés via l’activation des fonctions cytolytiques des cellules NK. Une meilleure compréhension de la contribution de cette activité de Vpr dans la pathogenèse du VIH-1 a le potentiel de permettre le développement de nouvelles cibles ou stratégies thérapeutiques contre le VIH-1.

Modulation de l'activité de structures cérébrales sous-corticales par optogénétique

L’optogénétique est une technique prometteuse pour la modulation de l’activité neuronale. Par l’insertion d’une opsine microbienne dans la membrane plasmique de neurones et par son activation photonique, il devient possible de réguler l’activité neuronale avec une grande résolution temporelle et spatiale. Beaucoup de travaux ont été faits pour caractériser et synthétiser de nouvelles opsines. Ainsi, plusieurs variétés d’opsines sont désormais disponibles, chacune présentant des cinétiques et sensibilités à des longueurs d’onde différentes. En effet, il existe des constructions optogénétiques permettant de moduler à la hausse ou à la baisse l’activité neuronale, telles la channelrhodopsine-2 (ChR2) ou la halorhodopsine (NpHR), respectivement. Les promesses de cette technologie incluent le potentiel de stimuler une région restreinte du cerveau, et ce, de façon réversible. Toutefois, peu d’applications en ce sens ont été réalisées, cette technique étant limitée par l’absorption et la diffusion de la lumière dans les tissus. Ce mémoire présente la conception d’une fibre optique illuminant à un angle de 90° à sa sortie, capable de guider la lumière à des structures bien précises dans le système nerveux central. Nous avons conduit des tests in vivo dans le système visuel de souris transgéniques exprimant la ChR2 dans l’ensemble du système nerveux central. Dans le système visuel, les signaux rétiniens sont conduits au corps genouillé latéral (CGL) avant d’être relayés au cortex visuel primaire (V1). Pour valider la capacité de mon montage optogénétique à stimuler spécifiquement une sous-population de neurones, nous avons tiré profit de l’organisation rétinotopique existant dans le système visuel. En stimulant optogénétiquement le CGL et en tournant la fibre optique sur elle-même à l’aide d’un moteur, il devient possible de stimuler séquentiellement différentes portions de cette structure thalamique et conséquemment, différentes représentations du champ visuel. L’activation des projections thalamiques sera enregistrée au niveau de l’aire V1 à l’aide de l’imagerie optique intrinsèque, une technique qui permet d’imager les variations de la concentration d’oxygène et du volume sanguin dans le tissu neuronal, sur une grande surface corticale. Comme l’organisation rétinotopique est maintenue au niveau de l’aire V1, l’espace activé au niveau du cortex révèlera l’étendue spatiale de notre stimulation optogénétique du CGL. Les expériences in vivo démontrèrent qu’en déplaçant la fibre optique dans le CGL, il nous était possible de stimuler différents sous- ensembles de neurones dans cette structure thalamique. En conclusion, cette étude montre notre capacité à développer un système à base de fibre optique capable de stimuler optogénétiquement une population de neurone avec une grande précision spatiale.

The Search for New Resonances in Strong Symmetry Breaking Scenarios with the ATLAS Detector

Utilisant les plus récentes données recueillies par le détecteur ATLAS lors de collisions pp à 7 et 8 TeV au LHC, cette thèse établira des contraintes sévères sur une multitude de modèles allant au-delà du modèle standard (MS) de la physique des particules. Plus particulièrement, deux types de particules hypothétiques, existant dans divers modèles théoriques et qui ne sont pas présentes dans le MS, seront étudiés et sondés. Le premier type étudié sera les quarks-vectoriels (QV) produits lors de collisions pp par l’entremise de couplages électrofaibles avec les quarks légers u et d. On recherchera ces QV lorsqu’ils se désintègrent en un boson W ou Z, et un quark léger. Des arguments théoriques établissent que sous certaines conditions raisonnables la production simple dominerait la production en paires des QV. La topologie particulière des évènements en production simple des QV permettra alors la mise en oeuvre de techniques d’optimisation efficaces pour leur extraction des bruits de fond électrofaibles. Le deuxième type de particules recherché sera celles qui se désintègrent en WZ lorsque ces bosons de jauges W, et Z se désintègrent leptoniquement. Les états finaux détectés par ATLAS seront par conséquent des évènements ayant trois leptons et de l’énergie transverse manquante. La distribution de la masse invariante de ces objets sera alors examinée pour déterminer la présence ou non de nouvelles résonances qui se manifesterait par un excès localisé. Malgré le fait qu’à première vue ces deux nouveaux types de particules n’ont que très peu en commun, ils ont en réalité tous deux un lien étroit avec la brisure de symétrie électrofaible. Dans plusieurs modèles théoriques, l’existence hypothétique des QV est proposé pour annuler les contributions du quark top aux corrections radiatives de la masse du Higgs du MS. Parallèlement, d’autres modèles prédisent quant à eux des résonances en WZ tout en suggérant que le Higgs est une particule composite, chambardant ainsi tout le sector Higgs du MS. Ainsi, les deux analyses présentées dans cette thèse ont un lien fondamental avec la nature même du Higgs, élargissant par le fait même nos connaissances sur l’origine de la masse intrinsèque des particules. En fin de compte, les deux analyses n’ont pas observé d’excès significatif dans leurs régions de signal respectives, ce qui permet d’établir des limites sur la section efficace de production en fonction de la masse des résonances.

Modulation of nociception and pain by attention and stress

Les facteurs psychologiques tels que l'hypnose, l'émotion, le stress et l’attention exercent un effet modulant puissant sur la nociception et la douleur. Toutefois, l’influence de l'attention sur la nociception et la douleur, ainsi que les mécanismes neuronaux sous-jacents, ne sont pas clairs. La littérature actuelle sur la modulation attentionnelle des réponses spinales nociceptives, telles que mesurées par le réflexe RIII, et de la perception de l’intensité de la douleur est discordante et souvent contradictoire. Ce mémoire fournit un nouveau cadre pour examiner la modulation du réflexe RIII et de la douleur par l’attention. Une tâche de discrimination sensorielle a été décomposée en trois composantes attentionnelles : la vigilance, l’orientation, et le contrôle exécutif. Auparavant, la nature multidimensionnelle de l’attention fut largement ignorée dans la littérature. Nous démontrons que les composantes attentionnelles ont des effets modulatoires distincts sur la nociception et la douleur et suggérons que ceci représente une partie de la confusion présente dans la littérature. En prenant compte du stress indépendamment, nous démontrons, pour la première fois, que le stress inhibe la modulation attentionnelle du réflexe RIII ce qui indique une interaction et dissociation de la modulation des réponses nociceptives par l’attention et le stress. Ces résultats importants clarifient, en grande partie, les contradictions dans la littérature, puisque les tâches cognitives produisent souvent des augmentations du stress ce qui confond l’interprétation des résultats. De plus, la tâche de discrimination inclut des stimuli visuels et somatosensoriels et révèle que l’influence de l'attention sur la douleur est spatialement spécifique tandis que la modulation attentionnelle de la nociception est spécifique à la modalité des stimuli, au moins en ce qui concerne les modalités examinées. A partir de ces résultats, un nouveau modèle de la modulation attentionnelle des processus de la douleur, basée sur les composantes attentionnelles, a été proposé. Celui-ci est appuyé par la littérature et fournit une explication systématique et intégratrice des résultats antérieurement contradictoires. De plus, à partir de ce modèle, plusieurs mécanismes neuronaux ont été proposés pour sous-tendre la modulation attentionnelle de la nociception et de la douleur.

Unfolded singularities of analytic differential equations

La thèse est composée d’un chapitre de préliminaires et de deux articles sur le sujet du déploiement de singularités d’équations différentielles ordinaires analytiques dans le plan complexe. L’article Analytic classification of families of linear differential systems unfolding a resonant irregular singularity traite le problème de l’équivalence analytique de familles paramétriques de systèmes linéaires en dimension 2 qui déploient une singularité résonante générique de rang de Poincaré 1 dont la matrice principale est composée d’un seul bloc de Jordan. La question: quand deux telles familles sontelles équivalentes au moyen d’un changement analytique de coordonnées au voisinage d’une singularité? est complètement résolue et l’espace des modules des classes d’équivalence analytiques est décrit en termes d’un ensemble d’invariants formels et d’un invariant analytique, obtenu à partir de la trace de la monodromie. Des déploiements universels sont donnés pour toutes ces singularités. Dans l’article Confluence of singularities of non-linear differential equations via Borel–Laplace transformations on cherche des solutions bornées de systèmes paramétriques des équations non-linéaires de la variété centre de dimension 1 d’une singularité col-noeud déployée dans une famille de champs vectoriels complexes. En général, un système d’ÉDO analytiques avec une singularité double possède une unique solution formelle divergente au voisinage de la singularité, à laquelle on peut associer des vraies solutions sur certains secteurs dans le plan complexe en utilisant les transformations de Borel–Laplace. L’article montre comment généraliser cette méthode et déployer les solutions sectorielles. On construit des solutions de systèmes paramétriques, avec deux singularités régulières déployant une singularité irrégulière double, qui sont bornées sur des domaines «spirals» attachés aux deux points singuliers, et qui, à la limite, convergent vers une paire de solutions sectorielles couvrant un voisinage de la singularité confluente. La méthode apporte une description unifiée pour toutes les valeurs du paramètre.

Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme

Dans le but d’optimiser la représentation en mémoire des enregistrements Scheme dans le compilateur Gambit, nous avons introduit dans celui-ci un système d’annotations de type et des vecteurs contenant une représentation abrégée des enregistrements. Ces derniers omettent la référence vers le descripteur de type et l’entête habituellement présents sur chaque enregistrement et utilisent plutôt un arbre de typage couvrant toute la mémoire pour retrouver le vecteur contenant une référence. L’implémentation de ces nouvelles fonctionnalités se fait par le biais de changements au runtime de Gambit. Nous introduisons de nouvelles primitives au langage et modifions l’architecture existante pour gérer correctement les nouveaux types de données. On doit modifier le garbage collector pour prendre en compte des enregistrements contenants des valeurs hétérogènes à alignements irréguliers, et l’existence de références contenues dans d’autres objets. La gestion de l’arbre de typage doit aussi être faite automatiquement. Nous conduisons ensuite une série de tests de performance visant à déterminer si des gains sont possibles avec ces nouvelles primitives. On constate une amélioration majeure de performance au niveau de l’allocation et du comportement du gc pour les enregistrements typés de grande taille et des vecteurs d’enregistrements typés ou non. De légers surcoûts sont toutefois encourus lors des accès aux champs et, dans le cas des vecteurs d’enregistrements, au descripteur de type.

On Space-Time Trade-Off for Montgomery Multipliers over Finite Fields

La multiplication dans le corps de Galois à 2^m éléments (i.e. GF(2^m)) est une opérations très importante pour les applications de la théorie des correcteurs et de la cryptographie. Dans ce mémoire, nous nous intéressons aux réalisations parallèles de multiplicateurs dans GF(2^m) lorsque ce dernier est généré par des trinômes irréductibles. Notre point de départ est le multiplicateur de Montgomery qui calcule A(x)B(x)x^(-u) efficacement, étant donné A(x), B(x) in GF(2^m) pour u choisi judicieusement. Nous étudions ensuite l'algorithme diviser pour régner PCHS qui permet de partitionner les multiplicandes d'un produit dans GF(2^m) lorsque m est impair. Nous l'appliquons pour la partitionnement de A(x) et de B(x) dans la multiplication de Montgomery A(x)B(x)x^(-u) pour GF(2^m) même si m est pair. Basé sur cette nouvelle approche, nous construisons un multiplicateur dans GF(2^m) généré par des trinôme irréductibles. Une nouvelle astuce de réutilisation des résultats intermédiaires nous permet d'éliminer plusieurs portes XOR redondantes. Les complexités de temps (i.e. le délais) et d'espace (i.e. le nombre de portes logiques) du nouveau multiplicateur sont ensuite analysées: 1. Le nouveau multiplicateur demande environ 25% moins de portes logiques que les multiplicateurs de Montgomery et de Mastrovito lorsque GF(2^m) est généré par des trinômes irréductible et m est suffisamment grand. Le nombre de portes du nouveau multiplicateur est presque identique à celui du multiplicateur de Karatsuba proposé par Elia. 2. Le délai de calcul du nouveau multiplicateur excède celui des meilleurs multiplicateurs d'au plus deux évaluations de portes XOR. 3. Nous determinons le délai et le nombre de portes logiques du nouveau multiplicateur sur les deux corps de Galois recommandés par le National Institute of Standards and Technology (NIST). Nous montrons que notre multiplicateurs contient 15% moins de portes logiques que les multiplicateurs de Montgomery et de Mastrovito au coût d'un délai d'au plus une porte XOR supplémentaire. De plus, notre multiplicateur a un délai d'une porte XOR moindre que celui du multiplicateur d'Elia au coût d'une augmentation de moins de 1% du nombre total de portes logiques.

Non invasive classification system of scoliosis curve types using least-squares support vector machines

Objective To determine scoliosis curve types using non invasive surface acquisition, without prior knowledge from X-ray data. Methods Classification of scoliosis deformities according to curve type is used in the clinical management of scoliotic patients. In this work, we propose a robust system that can determine the scoliosis curve type from non invasive acquisition of the 3D back surface of the patients. The 3D image of the surface of the trunk is divided into patches and local geometric descriptors characterizing the back surface are computed from each patch and constitute the features. We reduce the dimensionality by using principal component analysis and retain 53 components using an overlap criterion combined with the total variance in the observed variables. In this work, a multi-class classifier is built with least-squares support vector machines (LS-SVM). The original LS-SVM formulation was modified by weighting the positive and negative samples differently and a new kernel was designed in order to achieve a robust classifier. The proposed system is validated using data from 165 patients with different scoliosis curve types. The results of our non invasive classification were compared with those obtained by an expert using X-ray images. Results The average rate of successful classification was computed using a leave-one-out cross-validation procedure. The overall accuracy of the system was 95%. As for the correct classification rates per class, we obtained 96%, 84% and 97% for the thoracic, double major and lumbar/thoracolumbar curve types, respectively. Conclusion This study shows that it is possible to find a relationship between the internal deformity and the back surface deformity in scoliosis with machine learning methods. The proposed system uses non invasive surface acquisition, which is safe for the patient as it involves no radiation. Also, the design of a specific kernel improved classification performance.

Gender and Space in Tehran

Abstract: This dissertation generally concentrates on the relationships between “gender” and “space” in the present time of urban life in capital city of Tehran. “Gender” as a changing social construct, differentiated within societies and through time, studied this time by investigation on “gender attitude” or “gender identity” means attitudes towards “gender” issues regarding Tehran residences. “Space” as a concept integrated from physical and social constituents investigated through focus on “spatial attitude” means attitudes towards using “living spaces” including private space of “house”, semi private semi public space of neighborhood and finally public spaces of the city. “Activities and practices” in space concentrated instead of “physical” space; this perspective to “space” discussed as the most justified implication of “space” in this debate regarding current situations in city of Tehran. Under a systematic approach, the interactions and interconnections between “gender” and “space” as two constituent variables of social organization investigated by focus on the different associations presented between different “gender identities” and their different “spatial identities”; in fact, “spatial identity” manifests “gender identity” and in opposite direction, “spatial identity” influences to construction of “gender identity”. The hypotheses of case study in Tehran defined as followed: • “Gender identity” is reflected on “spatial identity”. Various “gender identities” in Tehran present different perspectives of “space” or they identify “space” by different values. • As “gender identity” internalizes patriarchal oppression, it internalizes associated “spatial” oppression too. • Within the same social class, different “gender identities” related to men and women, present interconnected qualities, compared with “gender identities” related to men or women of different social classes. This situation could be found in the “spatial” perspectives of different groups of men and women too. • Following the upper hypotheses, “spatial” oppression differs among social classes of Tehran living in different parts of this city. This research undertook a qualitative study in Tehran by interviewing with different parents of both young daughter and son regarding their attitudes towards gender issues from one side and activities and behaviors of their children in different spaces from the other side. Results of case study indicated the parallel changes of parents’ attitudes towards “gender” and “spatial” issues; it means strong connection between “gender” and “space”. It revealed association of “equal” spatial attitudes with “open, neutral” gender attitudes, and also the association of “biased, unequal” spatial identities with “conservative patriarchal” gender identities. It was cleared too that this variable concept – gender space - changes by “sex”; mothers comparing fathers presented more equitable notions towards “gender spatial” issues. It changes too by “social class” and “educational level”, that means “gender spatial” identity getting more open equitable among more educated people of middle and upper classes. “Breadwinning status in the family” also presents its effect on the changes of “gender spatial” identity so participant breadwinners in the family expressed relatively more equitable notions comparing householders and housekeepers. And finally, “gender spatial” identity changes through “place” in the city and regarding South – North line of the city. The illustration of changes of “gender spatial” identity from “open” to “conservative” among society indicated not only vertical variation across social classes, furthermore the horizontal changing among each social class. These results also confirmed hypotheses while made precision on the third one regarding variable of sex. More investigations pointed to some inclusive spatial attitudes throughout society penetrated to different groups of “gender identities”, to “opens” as to “conservatives”, also to groups between them, by two opposite features; first kind, conservative biased spatial practices in favor of patriarchal gender relations and the second, progressive neutral actions in favor of equal gender relations. While the major reason for the inclusive conservative practices was referred to the social insecurity for women, the second neutral ones associated to more formal & safer spaces of the city. In conclusion, while both trends are associated deeply with the important issues of “sex” & “body” in patriarchal thoughts, still strong, they are the consequences of the transitional period of social change in macro level, and the challenges involved regarding interactions between social orders, between old system of patriarchy, the traditional biased “gender spatial” relations and the new one of equal relations. The case study drew an inhomogeneous illustration regarding gender spatial aspects of life in Tehran, the opposite groups of “open” and “conservative”, and the large group of “semi open semi conservative” between them. In macro perspective it presents contradicted social groups according their general life styles; they are the manifestations of challenging trends towards tradition and modernity in Iranian society. This illustration while presents unstable social situations, necessitates probing solutions for social integration; exploring the directions could make heterogeneous social groups close in the way they think and the form they live in spaces. Democratic approaches like participatory development planning might be helpful for the city in its way to more solidarity and sustainability regarding its social spatial – gender as well – development, in macro levels of social spatial planning and in micro levels of physical planning, in private space of house and in public spaces of the city.

A Trainable Object Detection System: Car Detection in Static Images

This paper describes a general, trainable architecture for object detection that has previously been applied to face and peoplesdetection with a new application to car detection in static images. Our technique is a learning based approach that uses a set of labeled training data from which an implicit model of an object class -- here, cars -- is learned. Instead of pixel representations that may be noisy and therefore not provide a compact representation for learning, our training images are transformed from pixel space to that of Haar wavelets that respond to local, oriented, multiscale intensity differences. These feature vectors are then used to train a support vector machine classifier. The detection of cars in images is an important step in applications such as traffic monitoring, driver assistance systems, and surveillance, among others. We show several examples of car detection on out-of-sample images and show an ROC curve that highlights the performance of our system.

Vector-Based Integration of Local and Long-Range Information in Visual Cortex

Integration of inputs by cortical neurons provides the basis for the complex information processing performed in the cerebral cortex. Here, we propose a new analytic framework for understanding integration within cortical neuronal receptive fields. Based on the synaptic organization of cortex, we argue that neuronal integration is a systems--level process better studied in terms of local cortical circuitry than at the level of single neurons, and we present a method for constructing self-contained modules which capture (nonlinear) local circuit interactions. In this framework, receptive field elements naturally have dual (rather than the traditional unitary influence since they drive both excitatory and inhibitory cortical neurons. This vector-based analysis, in contrast to scalarsapproaches, greatly simplifies integration by permitting linear summation of inputs from both "classical" and "extraclassical" receptive field regions. We illustrate this by explaining two complex visual cortical phenomena, which are incompatible with scalar notions of neuronal integration.

Feature Selection for Face Detection

We present a new method to select features for a face detection system using Support Vector Machines (SVMs). In the first step we reduce the dimensionality of the input space by projecting the data into a subset of eigenvectors. The dimension of the subset is determined by a classification criterion based on minimizing a bound on the expected error probability of an SVM. In the second step we select features from the SVM feature space by removing those that have low contributions to the decision function of the SVM.

Improving Multiclass Text Classification with the Support Vector Machine

We compare Naive Bayes and Support Vector Machines on the task of multiclass text classification. Using a variety of approaches to combine the underlying binary classifiers, we find that SVMs substantially outperform Naive Bayes. We present full multiclass results on two well-known text data sets, including the lowest error to date on both data sets. We develop a new indicator of binary performance to show that the SVM's lower multiclass error is a result of its improved binary performance. Furthermore, we demonstrate and explore the surprising result that one-vs-all classification performs favorably compared to other approaches even though it has no error-correcting properties.

Properties of Support Vector Machines

Support Vector Machines (SVMs) perform pattern recognition between two point classes by finding a decision surface determined by certain points of the training set, termed Support Vectors (SV). This surface, which in some feature space of possibly infinite dimension can be regarded as a hyperplane, is obtained from the solution of a problem of quadratic programming that depends on a regularization parameter. In this paper we study some mathematical properties of support vectors and show that the decision surface can be written as the sum of two orthogonal terms, the first depending only on the margin vectors (which are SVs lying on the margin), the second proportional to the regularization parameter. For almost all values of the parameter, this enables us to predict how the decision surface varies for small parameter changes. In the special but important case of feature space of finite dimension m, we also show that there are at most m+1 margin vectors and observe that m+1 SVs are usually sufficient to fully determine the decision surface. For relatively small m this latter result leads to a consistent reduction of the SV number.