358 resultados para Langages de programmation fonctionnels


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thèse réalisée en cotutelle avec l'Université d'Avignon.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La leucémie lymphoblastique aiguë (LLA) est responsable d’environ 25% de l’ensemble des cancers pédiatriques. Chez 85% des enfants diagnostiqués, la LLA entraîne une prolifération massive et incontrôlée de lymphocytes immatures de type précurseurs B dans la moelle osseuse (LLA pré-B). Des avancées intéressantes ont été faites au cours des trente dernières années et ont mené à une augmentation de l’efficacité des traitements thérapeutiques. Plus de 80% des enfants atteints de LLA seront guéris de cette maladie. Malheureusement, ces traitements manquent de spécificité à cause du manque de connaissances sur les mécanismes moléculaires impliqués durant l’initiation et le développement de la LLA pré-B pédiatrique. En d’autres termes, nous connaissons peu de chose sur l’étiologie de cette maladie. Plus de 25% des enfants atteints de la LLA pré-B présentent la translocation chromosomique t(12;21)(p13;q22) qui implique les gènes ETV6 et AML1. Celle-ci est formée in utero et mène à l’expression de la protéine chimère transcriptionnelle ETV6-AML1, dont la présence seule ne suffit pas au développement de la LLA pré-B. Ainsi, d’autres événements génétiques sont nécessaires au développement de cette leucémie. La délétion de l’allèle résiduel de ETV6 est un événement génétique fréquemment rencontré au moment du diagnostic de la LLA pré-B t(12;21)+. Cette délétion entraîne l’inactivation complète de ETV6 dans les lymphocytes pré-B leucémiques. ETV6 est un répresseur transcriptionnel de la famille Ets. Mon hypothèse de recherche est que ETV6 agit comme gène suppresseur de tumeur dans la LLA pré-B pédiatrique. L’inactivation de ETV6 causerait une dérégulation de l’expression de ses cibles transcriptionnelles et, par le fait même, favoriserait l’initiation et le déroulement de la leucémogenèse pédiatrique. Dans le cadre de mon projet, comme peu de cibles transcriptionnelles de ETV6 sont connues, j’ai effectué des expériences d’immunoprécipitation de la chromatine et des essais luciférases qui ont permis d’identifier six nouvelles cibles transcriptionnelles: TP53 (p53 et Δ133p53), SPHK1, IL-18, PTGER4 et LUM. J’ai démontré que la régulation transcriptionnelle médiée par ETV6 requiert la présence de ses deux domaines fonctionnels: PNT (interactions protéiques) et ETS (liaison à l’ADN). Ces domaines favorisent la reconnaissance d’un site EBS consensus dans une région située près du promoteur de base. Ce mécanisme peut dépendre du promoteur régulé par ETV6, mais également du contexte cellulaire. Des études fonctionnelles réalisées sur des lymphocytes pré-B leucémiques ont permis de mesurer l’impact de la dérégulation de l’expression des cibles transcriptionnelles de ETV6 sur trois voies biologiques: la prolifération cellulaire, l’apoptose induite par un stress génotoxique et la migration cellulaire dirigée par la voie de signalisation CXCL12/CXCR4. Ceci a permis de démontrer l’implication des gènes SPHK1, IL-18 et PTGER4 durant la leucémogenèse pédiatrique. Cette étude est une des premières à suggérer le rôle de ETV6 comme gène suppresseur de tumeur dans la LLA pré-B pédiatrique. Suite à l’inactivation du répresseur transcriptionnel ETV6, l’augmentation de l’expression de ses cibles transcriptionnelles favoriserait la prolifération et la survie des lymphocytes pré-B leucémiques dans la moelle osseuse. L’identification de nouveaux gènes impliqués dans le développement de la LLA pré-B pédiatrique ouvre la porte au développement de nouveaux traitements thérapeutiques qui pourront présenter une meilleure spécificité envers l’étiologie de la maladie.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Activité de formation continue offerte aux nutritionnistes par NUTRIUM, Département de nutrition de l'Université de Montréal; cette présentation démontre les outils pour trouver les données probantes dans la littérature scientifique.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le problème de tarification qui nous intéresse ici consiste à maximiser le revenu généré par les usagers d'un réseau de transport. Pour se rendre à leurs destinations, les usagers font un choix de route et utilisent des arcs sur lesquels nous imposons des tarifs. Chaque route est caractérisée (aux yeux de l'usager) par sa "désutilité", une mesure de longueur généralisée tenant compte à la fois des tarifs et des autres coûts associés à son utilisation. Ce problème a surtout été abordé sous une modélisation déterministe de la demande selon laquelle seules des routes de désutilité minimale se voient attribuer une mesure positive de flot. Le modèle déterministe se prête bien à une résolution globale, mais pèche par manque de réalisme. Nous considérons ici une extension probabiliste de ce modèle, selon laquelle les usagers d'un réseau sont alloués aux routes d'après un modèle de choix discret logit. Bien que le problème de tarification qui en résulte est non linéaire et non convexe, il conserve néanmoins une forte composante combinatoire que nous exploitons à des fins algorithmiques. Notre contribution se répartit en trois articles. Dans le premier, nous abordons le problème d'un point de vue théorique pour le cas avec une paire origine-destination. Nous développons une analyse de premier ordre qui exploite les propriétés analytiques de l'affectation logit et démontrons la validité de règles de simplification de la topologie du réseau qui permettent de réduire la dimension du problème sans en modifier la solution. Nous établissons ensuite l'unimodalité du problème pour une vaste gamme de topologies et nous généralisons certains de nos résultats au problème de la tarification d'une ligne de produits. Dans le deuxième article, nous abordons le problème d'un point de vue numérique pour le cas avec plusieurs paires origine-destination. Nous développons des algorithmes qui exploitent l'information locale et la parenté des formulations probabilistes et déterministes. Un des résultats de notre analyse est l'obtention de bornes sur l'erreur commise par les modèles combinatoires dans l'approximation du revenu logit. Nos essais numériques montrent qu'une approximation combinatoire rudimentaire permet souvent d'identifier des solutions quasi-optimales. Dans le troisième article, nous considérons l'extension du problème à une demande hétérogène. L'affectation de la demande y est donnée par un modèle de choix discret logit mixte où la sensibilité au prix d'un usager est aléatoire. Sous cette modélisation, l'expression du revenu n'est pas analytique et ne peut être évaluée de façon exacte. Cependant, nous démontrons que l'utilisation d'approximations non linéaires et combinatoires permet d'identifier des solutions quasi-optimales. Finalement, nous en profitons pour illustrer la richesse du modèle, par le biais d'une interprétation économique, et examinons plus particulièrement la contribution au revenu des différents groupes d'usagers.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Certains neuropeptides (enképhaline et neurotensine) sont des modulateurs du système dopaminergique. Chez les rongeurs, le traitement avec l’antipsychotique typique halopéridol (antagoniste des récepteurs D2), augmente fortement leurs niveaux d’ARNm dans le striatum, une structure centrale du système dopaminergique qui contrôle l’activité locomotrice. Comme l’halopéridol est associé avec de nombreux effets secondaires moteurs, on peut penser que la modulation des neuropeptides est possiblement un mécanisme d’adaptation visant à rétablir l’homéostasie du système dopaminergique après le blocage des récepteurs D2. Cependant, le mécanisme moléculaire de cette régulation transcriptionnelle n’est pas bien compris. Nur77 est un facteur de transcription de la famille des récepteurs nucléaires orphelins qui agit en tant que gène d’induction précoce. Le niveau de son ARNm est aussi fortement augmenté dans le striatum suivant un traitement avec halopéridol. Plusieurs évidences nous suggèrent que Nur77 est impliqué dans la modulation transcriptionnelle des neuropeptides. Nur77 peut former des hétérodimères fonctionnels avec le récepteur rétinoïde X (RXR). En accord avec une activité transcriptionnelle d’un complexe Nur77/RXR, l’agoniste RXR (DHA) réduit tandis que l’antagoniste RXR (HX531) augmente les troubles moteurs induits par un traitement chronique à l’halopéridol chez les souris sauvages tandis que ces ligands pour RXR n’ont aucun effet chez les souris Nur77 nulles. Nos travaux ont révélé que l’antagoniste RXR (HX531) réduit l’augmentation des niveaux d’enképhaline suivant un traitement chronique avec l’halopéridol. Nous avons ensuite démontré la liaison in vitro de Nur77 sur un élément de réponse présent dans le promoteur proximal de la proenképhaline, le peptide précurseur de l’enképhaline. Ces résultats supportent l’hypothèse que Nur77, en combinaison avec RXR, pourrait participer à la régulation transcriptionnelle des neuropeptides dans le striatum et donc contribuer à la neuroadaptation du système dopaminergique suivant un traitement aux antipsychotiques typiques.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas borné (resp. borné par une constante). Dans ce mémoire, nous étudions la complexité du problème d'intersection d'automates pour plusieurs types de langages et d'automates tels les langages unaires, les automates à groupe (abélien), les langages commutatifs et les langages finis. Nous considérons plus particulièrement le cas où chacun des automates possède au plus un ou deux états finaux. Ces restrictions permettent d'établir des liens avec certains problèmes algébriques et d'obtenir une classification intéressante de problèmes d'intersection d'automates à l'intérieur de la classe P. Nous terminons notre étude en considérant brièvement le cas où le nombre d'automates est fixé.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

De nombreux problèmes en transport et en logistique peuvent être formulés comme des modèles de conception de réseau. Ils requièrent généralement de transporter des produits, des passagers ou encore des données dans un réseau afin de satisfaire une certaine demande tout en minimisant les coûts. Dans ce mémoire, nous nous intéressons au problème de conception de réseau avec coûts fixes et capacités. Ce problème consiste à ouvrir un sous-ensemble des liens dans un réseau afin de satisfaire la demande, tout en respectant les contraintes de capacités sur les liens. L'objectif est de minimiser les coûts fixes associés à l'ouverture des liens et les coûts de transport des produits. Nous présentons une méthode exacte pour résoudre ce problème basée sur des techniques utilisées en programmation linéaire en nombres entiers. Notre méthode est une variante de l'algorithme de branch-and-bound, appelée branch-and-price-and-cut, dans laquelle nous exploitons à la fois la génération de colonnes et de coupes pour la résolution d'instances de grande taille, en particulier, celles ayant un grand nombre de produits. En nous comparant à CPLEX, actuellement l'un des meilleurs logiciels d'optimisation mathématique, notre méthode est compétitive sur les instances de taille moyenne et supérieure sur les instances de grande taille ayant un grand nombre de produits, et ce, même si elle n'utilise qu'un seul type d'inégalités valides.