101 resultados para Programmation
Resumo:
Cette recherche dresse le portrait dun nouveau genre sur le Web, la websrie. Il sagit danalyser la websrie qubcoise afin den comprendre les influences, particulirement les influences tlvisuelles. Dans le premier chapitre, les thories de lintermdialit, de la remdiation et de la convergence sont abordes afin de bien comprendre les diffrents types dchanges entre les mdias daujourdhui. Dans le second chapitre, une vue densemble, en ce qui a trait lhistoire de la websrie au Qubec, est donne. Ensuite, quatre caractristiques principales de la tlvision sont analyses : le contexte de rception, la programmation, lesthtique et la srialit. Il est ensuite dmontr que ces caractristiques sont galement prsentes dans la websrie et il est expliqu de quelle manire elles le sont. Finalement, dans le dernier chapitre, des analyses de websries sont faites afin dexemplifier les diffrents liens entre les missions de tlvision et la websrie.
Resumo:
La mthylation de l'ADN est l'une des modifications pigntiques au niveau des lots CpG. Cette modification pigntique catalyse par les ADN mthyltransfrases (DNMTs) consiste en la mthylation du carbone 5' dune cytosine ce qui aboutit la formation de 5-mthylcytosine. La mthylation de l'ADN est clairement implique dans l'inactivation des gnes et dans l'empreinte gntique. Elle est module par la nutrition, en particulier par les donneurs de mthyle et par une restriction protique. Ces modifications pigntiques persistent plus tard dans la vie et conduisent au dveloppement de nombreuses pathologies telles que le syndrome mtabolique et le diabte de type 2. En fait, de nombreux gnes cls subissent une modification de leur tat de mthylation en prsence des composants du syndrome mtabolique. Cela montre que la mthylation de l'ADN est un processus important dans l'tiologie du syndrome mtabolique. Le premier travail de ce doctorat a port sur la rdaction dun article de revue qui a examin le cadre central du syndrome mtabolique et analyser le rle des modifications pigntiques susceptibles d'influer sur l'apparition du stress oxydant et des complications cardiomtaboliques. Dautre part, les cellules intestinales Caco-2/15, qui ont la capacit de se diffrencier et dacqurir les caractristiques physiologiques de l'intestin grle, ont t utilises et traites avec du Fer-Ascorbate pour induire un stress oxydant. Le Fer-Ascorbate a induit une augmentation significative de linflammation et de la peroxydation des lipides (malondialdehyde) ainsi que des altrations de de la dfense antioxydante (SOD2 et GPx) accompagnes de modifications pigntiques. De plus, la pr-incubation des cellules avec de la 5-aza-2'-dsoxycytidine, un agent de dmthylation et/ou lantioxydant Trolox a normalis la dfense antioxydante, rduit la peroxydation des lipides et prvenu l'inflammation. Ce premier travail a dmontr que les modifications du redox et linflammation induites par le Fer-Ascorbate peuvent impliquer des changements pigntiques, plus particulirement des changements dans la mthylation de lADN. Pour mieux dfinir limpact du stress oxydant au niveau nutritionnel, des cochons dInde gs de trois jours ont t spars en trois groupes : 1) Tmoins: alimentation rgulire; 2) Nutrition parentrale (NP) 3) H2O2 : Tmoins + 350 uM H2O2. Aprs quatre jours, pour un groupe, les perfusions ont t stoppes et les animaux sacrifis pour la collecte des foies. Pour lautre groupe danimaux, les perfusions ont t arrtes et les animaux ont eu un accs libre une alimentation rgulire jusqu' la fin de ltude, huit semaines plus tard o ils ont t sacrifis pour la collecte des foies. Ceci a dmontr qu une semaine de vie, l'activit DNMT et les niveaux de 5'-mthyl-2'-dsoxycytidine taient infrieurs pour les groupes NP et H2O2 par rapport aux tmoins. A neuf semaines de vie, lactivit DNMT est reste basse pour le groupe NP alors que les niveaux de 5'-mthyl-2'-dsoxycytidine taient plus faibles pour les groupes NP et H2O2 par rapport aux tmoins. Ce travail a dmontr que l'administration de NP ou de H2O2, tt dans la vie, induit une hypomthylation de l'ADN persistante en raison d'une inhibition de l'activit DNMT. Finalement, des souris ayant reu une dite riche en gras et en sucre (HFHS) ont t utilises comme modle in vivo de syndrome mtabolique. Les souris ont t nourris soit avec un rgime standard chow (tmoins), soit avec une dite riche en gras et en sucre (HFHS) ou avec une dite HFHS en combinaison avec du GFT505 (30 mg/kg), un double agoniste de PPAR et de PPAR, pendant 12 semaines. La dite HFHS tait efficace induire un syndrome mtabolique tant donne laugmentation du poids corporel, du poids hpatique, des adiposits viscrales et sous-cutanes, de linsensibilit linsuline, des lipides plasmatiques et hpatiques, du stress oxydant et de linflammation au niveau du foie. Ces perturbations taient accompagnes dune dficience dans lexpression des gnes hpatiques PPAR et PPAR concomitant avec une hypermthylation de leurs promoteurs respectifs. Lajout de GFT505 la dite HFHS a empch la plupart des effets cardiomtaboliques induits par la dite HFHS via la modulation ngative de lhypermthylation des promoteurs, rsultant en laugmentation de lexpression des gnes hpatiques PPAR et PPAR. En conclusion, GFT505 exerce des effets mtaboliques positifs en amliorant le syndrome mtabolique induit par l'alimentation HFHS via des modifications pigntiques des gnes PPARs. Ensemble, les travaux de cette thse ont dmontr que le stress oxydant provenant de la nutrition induit dimportants changements pigntiques pouvant conduire au dveloppement du syndrome mtabolique. La nutrition apparait donc comme un facteur crucial dans la prvention de la reprogrammation ftale et du dveloppement du syndrome mtabolique. Puisque les mcanismes suggrent que le stress oxydant agit principalement sur les mtabolites du cycle de la mthionine pour altrer lpigntique, une supplmentation en ces molcules ainsi quen antioxydants permettrait de restaurer lquilibre redox et pigntique.
Resumo:
Cette thse est divise en deux grands chapitres, dont le premier porte sur des problmes de commande optimale en dimension un et le deuxime sur des problmes en dimension deux ou plus. Notons bien que, dans cette thse, nous avons suppos que le facteur temps n'intervient pas. Dans le premier chapitre, nous calculons, au dbut, l'quation de programmation dynamique pour la valeur minimale F de l'esprance mathmatique de la fonction de cot considre. Ensuite, nous utilisons le thorme de Whittle qui est applicable seulement si une condition entre le bruit blanc v et les termes b et q associs la commande est satisfaite. Sinon, nous procdons autrement. En effet, un changement de variable transforme notre quation en une quation de Riccati en G= F', mais sans conditions initiales. Dans certains cas, partir de la symtrie des paramtres infinitsimaux et de q, nous pouvons en dduire le point x' o G(x')=0. Si ce n'est pas le cas, nous nous limitons des bonnes approximations. Cette mme dmarche est toujours possible si nous sommes dans des situations particulires, par exemple, lorsque nous avons une seule barrire. Dans le deuxime chapitre, nous traitons les problmes en dimension deux ou plus. Puisque la condition de Whittle est difficile satisfaire dans ce cas, nous essayons de gnraliser les rsultats du premier chapitre. Nous utilisons alors dans quelques exemples la mthode des similitudes, qui permet de transformer le problme en dimension un. Ensuite, nous proposons une nouvelle mthode de rsolution. Cette dernire linarise l'quation de programmation dynamique qui est une quation aux drives partielles non linaire. Il reste la fin trouver les conditions initiales pour la nouvelle fonction et aussi vrifier que les n expressions obtenues pour F sont quivalentes.
Resumo:
Des vidences exprimentales rcentes indiquent que les ARN changent de structures au fil du temps, parfois trs rapidement, et que ces changements sont ncessaires leurs activits biochimiques. La structure de ces ARN est donc dynamique. Ces mmes vidences notent galement que les structures cls impliques sont prdites par le logiciel de prdiction de structure secondaire MC-Fold. En comparant les prdictions de structures du logiciel MC-Fold, nous avons constat un lien clair entre les structures presque optimales (en termes de stabilit prdites par ce logiciel) et les variations dactivits biochimiques consquentes des changements ponctuels dans la squence. Nous avons compar les squences dARN du point de vue de leurs structures dynamiques afin dinvestiguer la similarit de leurs fonctions biologiques. Ceci a ncessit une acclration notable du logiciel MC-Fold. Lapproche algorithmique est dcrite au chapitre 1. Au chapitre 2 nous classons les impacts de lgres variations de squences des microARN sur la fonction naturelle de ceux-ci. Au chapitre 3 nous identifions des fentres dans de longs ARN dont les structures dynamiques occupent possiblement des rles dans les dsordres du spectre autistique et dans la polarisation des ufs de certains batraciens (Xenopus spp.).
Resumo:
Thse soutenue le 27 fvrier 2015 devant un jury compos par Marie-Hlne Benoit-Otis (prsidente, Universit de Montral), Franois de Mdicis (Universit de Montral), Christopher Moore (Universit d'Ottawa) et Michel Duchesneau (Universit de Montral).
Resumo:
En la actualidad, el uso de las tecnologas ha sido primordial para el avance de las sociedades, estas han permitido que personas sin conocimientos informticos o usuarios llamados no expertos se interesen en su uso, razn por la cual los investigadores cientficos se han visto en la necesidad de producir estudios que permitan la adaptacin de sistemas, a la problemtica existente dentro del mbito informtico. Una necesidad recurrente de todo usuario de un sistema es la gestin de la informacin, la cual se puede administrar por medio de una base de datos y lenguaje especfico, como lo es el SQL (Structured Query Language), pero esto obliga al usuario sin conocimientos a acudir a un especialista para su diseo y construccin, lo cual se ve reflejado en costos y mtodos complejos, entonces se plantea una pregunta qu hacer cuando los proyectos son pequeas y los recursos y procesos son limitados? Teniendo como base la investigacin realizada por la universidad de Washington[39], donde sintetizan sentencias SQL a partir de ejemplos de entrada y salida, se pretende con esta memoria automatizar el proceso y aplicar una tcnica diferente de aprendizaje, para lo cual utiliza una aproximacin evolucionista, donde la aplicacin de un algoritmo gentico adaptado origina sentencias SQL vlidas que responden a las condiciones establecidas por los ejemplos de entrada y salida dados por el usuario. Se obtuvo como resultado de la aproximacin, una herramienta denominada EvoSQL que fue validada en este estudio. Sobre los 28 ejercicios empleados por la investigacin [39], 23 de los cuales se obtuvieron resultados perfectos y 5 ejercicios sin xito, esto representa un 82.1% de efectividad. Esta efectividad es superior en un 10.7% al establecido por la herramienta desarrollada en [39] SQLSynthesizer y 75% ms alto que la herramienta siguiente ms prxima Query by Output QBO[31]. El promedio obtenido en la ejecucin de cada ejercicio fue de 3 minutos y 11 segundos, este tiempo es superior al establecido por SQLSynthesizer; sin embargo, en la medida un algoritmo gentico supone la existencia de fases que amplan los rangos de tiempos, por lo cual el tiempo obtenido es aceptable con relacin a las aplicaciones de este tipo. En conclusin y segn lo anteriormente expuesto, se obtuvo una herramienta automtica con una aproximacin evolucionista, con buenos resultados y un proceso simple para el usuario no experto.
Resumo:
La recherche des facteurs de longvit gagne en intrt dans le contexte actuel du vieillissement de la population. De la littrature portant sur la longvit et la mortalit aux grands ges, un constat merge : bien que les dterminants associs la survie humaine soient multiples, l'environnement familial aurait un rle dterminant sur la mortalit et sur l'atteinte des ges avancs. Ds lors, l'objectif de cette thse est d'valuer les dterminants de la survie exceptionnelle et d'examiner le rle des aspects familiaux, en dbut de vie et l'ge adulte, dans les diffrentiels de dure de vie. Plus spcifiquement, elle vise : (1) examiner la similarit des ges au dcs entre frres, soeurs et conjoints afin d'apprcier l'ampleur de la composante familiale de la longvit; (2) explorer, d'un point de vue intrafamilial, les consquences long terme sur la survie des variables non partages issues de la petite enfance tels l'ge maternel la reproduction, le rang de naissance et la saison de naissance; et (3) s'interroger sur le rle protecteur ou dltre de lenvironnement et du milieu familial d'origine dans lenfance sur l'atteinte des grands ges et dans quelle mesure le statut socioconomique parvient mdiatiser la relation. Cette analyse s'appuie sur le jumelage des recensements canadiens et des actes de dcs de ltat civil qubcois et emploie des donnes qubcoises du 20e sicle issues de deux chantillons distincts : un chantillon alatoire reprsentatif de la population provenant du recensement canadien de 1901 ainsi quun chantillon de frres et soeurs de centenaires qubcois appartenant la mme cohorte. Les rsultats, prsents sous forme d'articles scientifiques, ont montr, en outre, que les frres et soeurs de centenaires vivent plus longtemps que les individus appartenant aux mmes cohortes de naissance, refltant la contribution d'une robustesse commune, mais galement celle de l'environnement partag durant la petite enfance. Ces analyses ont galement tmoign d'un avantage de survie des conjoints des centenaires, soulignant l'importance d'un mme environnement l'ge adulte (1er article). De plus, nos travaux ont mis de l'avant la contribution aux ingalits de longvit des variables biodmographiques issues de l'environnement non partag telles que l'ge maternel la reproduction, le rang de naissance et la saison de naissance, qui agissent et interagissent entre elles pour crer des vulnrabilits et influer sur l'atteinte des ges exceptionnels (2e article). Enfin, une approche longitudinale a permis de souligner la contribution du milieu social d'origine sur la longvit, alors que les individus issus dun milieu socioconomique dfavoris pour l'poque (milieu urbain, pre ouvrier) vivent moins longtemps que ceux ayant vcu dans un environnement socioconomique favorable (milieu rural, fermier), rsultat d'une potentielle accumulation des avantages lie la reproduction du statut social ou d'une programmation prcoce des trajectoires de sant. Linfluence est toutefois moindre pour les femmes et pour les frres de centenaires et s'exprime, dans ce cas, en partie par l'effet de la profession l'ge adulte (3e article).
Resumo:
Ce mmoire a pour thse que les fonctions devraient tre transparentes lors de la phase de mtaprogrammation. En effet, la mtaprogrammation se veut une possibilit pour le programmeur dtendre le compilateur. Or, dans un style de programmation fonctionnelle, la logique du programme se retrouve dans les dfinitions des diverses fonctions le composant. Puisque les fonctions sont gnralement opaques, limpossibilit daccder cette logique limite les applications possibles de la phase de mtaprogrammation. Nous allons illustrer les avantages que procurent les fonctions transparentes pour la mtaprogrammation. Nous donnerons notamment lexemple du calcul symbolique et un exemple de nouvelles optimisations dsormais possibles. Nous illustrerons galement que la transparence des fonctions permet de faire le pont entre les datatypes du programme et les fonctions. Nous allons galement tudier ce qu'implique la prsence de fonctions transparentes au sein d'un langage. Nous nous concentrerons sur les aspects relis l'implantation de ces dernires, aux performances et la facilit d'utilisation. Nous illustrerons nos propos avec le langage Abitbol, un langage cr sur mesure pour la mtaprogrammation.
Resumo:
Le problme d'allocation de postes d'amarrage (PAPA) est l'un des principaux problmes de dcision aux terminaux portuaires qui a t largement tudi. Dans des recherches antrieures, le PAPA a t reformul comme tant un problme de partitionnement gnralis (PPG) et rsolu en utilisant un solveur standard. Les affectations (colonnes) ont t gnres a priori de manire statique et fournies comme entre au modle %d'optimisation. Cette mthode est capable de fournir une solution optimale au problme pour des instances de tailles moyennes. Cependant, son inconvnient principal est l'explosion du nombre d'affectations avec l'augmentation de la taille du problme, qui fait en sorte que le solveur d'optimisation se trouve court de mmoire. Dans ce mmoire, nous nous intressons aux limites de la reformulation PPG. Nous prsentons un cadre de gnration de colonnes o les affectations sont gnres de manire dynamique pour rsoudre les grandes instances du PAPA. Nous proposons un algorithme de gnration de colonnes qui peut tre facilement adapt pour rsoudre toutes les variantes du PAPA en se basant sur diffrents attributs spatiaux et temporels. Nous avons test notre mthode sur un modle d'allocation dans lequel les postes d'amarrage sont considrs discrets, l'arrive des navires est dynamique et finalement les temps de manutention dpendent des postes d'amarrage o les bateaux vont tre amarrs. Les rsultats exprimentaux des tests sur un ensemble d'instances artificielles indiquent que la mthode propose permet de fournir une solution optimale ou proche de l'optimalit mme pour des problme de trs grandes tailles en seulement quelques minutes.
Resumo:
clRNG et clProbdist sont deux interfaces de programmation (APIs) que nous avons dveloppes pour la gnration de nombres alatoires uniformes et non uniformes sur des dispositifs de calculs parallles en utilisant lenvironnement OpenCL. La premire interface permet de crer au niveau dun ordinateur central (hte) des objets de type stream considrs comme des gnrateurs virtuels parallles qui peuvent tre utiliss aussi bien sur lhte que sur les dispositifs parallles (units de traitement graphique, CPU multinoyaux, etc.) pour la gnration de squences de nombres alatoires. La seconde interface permet aussi de gnrer au niveau de ces units des variables alatoires selon diffrentes lois de probabilit continues et discrtes. Dans ce mmoire, nous allons rappeler des notions de base sur les gnrateurs de nombres alatoires, dcrire les systmes htrognes ainsi que les techniques de gnration parallle de nombres alatoires. Nous prsenterons aussi les diffrents modles composant larchitecture de lenvironnement OpenCL et dtaillerons les structures des APIs dveloppes. Nous distinguons pour clRNG les fonctions qui permettent la cration des streams, les fonctions qui gnrent les variables alatoires uniformes ainsi que celles qui manipulent les tats des streams. clProbDist contient les fonctions de gnration de variables alatoires non uniformes selon la technique dinversion ainsi que les fonctions qui permettent de retourner diffrentes statistiques des lois de distribution implmentes. Nous valuerons ces interfaces de programmation avec deux simulations qui implmentent un exemple simplifi dun modle dinventaire et un exemple dune option financire. Enfin, nous fournirons les rsultats dexprimentation sur les performances des gnrateurs implments.
Resumo:
Ce projet de recherche a t ralis avec la collaboration de FPInnovations. Une part des travaux concernant le problme de rcolte chilien a t effectue l'Instituto Sistemas Complejos de Ingeniera (ISCI) Santiago (Chili).
Resumo:
Les langages de programmation typs dynamiquement tels que JavaScript et Python repoussent la vrification de typage jusquau moment de lexcution. Afin doptimiser la performance de ces langages, les implmentations de machines virtuelles pour langages dynamiques doivent tenter dliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse dinfrence de types. Cependant, les analyses de ce genre sont souvent coteuses et impliquent des compromis entre le temps de compilation et la prcision des rsultats obtenus. Ceci a conduit la conception darchitectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation la vole simple qui limine efficacement les tests de typage dynamiques redondants sur les chemins dexcution critiques. Cette nouvelle approche gnre paresseusement des versions spcialises des blocs de base tout en propageant de linformation de typage contextualise. Notre technique ne ncessite pas lutilisation danalyses de programme coteuses, nest pas contrainte par les limitations de prcision des analyses dinfrence de types traditionnelles et vite la complexit des techniques doptimisation spculatives. Trois extensions sont apportes au versionnement de blocs de base afin de lui donner des capacits doptimisation interprocdurale. Une premire extension lui donne la possibilit de joindre des informations de typage aux proprits des objets et aux variables globales. Puis, la spcialisation de points dentre lui permet de passer de linformation de typage des fonctions appellantes aux fonctions appelles. Finalement, la spcialisation des continuations dappels permet de transmettre le type des valeurs de retour des fonctions appelles aux appellants sans cot dynamique. Nous dmontrons empiriquement que ces extensions permettent au versionnement de blocs de base dliminer plus de tests de typage dynamiques que toute analyse dinfrence de typage statique.
Resumo:
People go through their life making all kinds of decisions, and some of these decisions affect their demand for transportation, for example, their choices of where to live and where to work, how and when to travel and which route to take. Transport related choices are typically time dependent and characterized by large number of alternatives that can be spatially correlated. This thesis deals with models that can be used to analyze and predict discrete choices in large-scale networks. The proposed models and methods are highly relevant for, but not limited to, transport applications. We model decisions as sequences of choices within the dynamic discrete choice framework, also known as parametric Markov decision processes. Such models are known to be difficult to estimate and to apply to make predictions because dynamic programming problems need to be solved in order to compute choice probabilities. In this thesis we show that it is possible to explore the network structure and the flexibility of dynamic programming so that the dynamic discrete choice modeling approach is not only useful to model time dependent choices, but also makes it easier to model large-scale static choices. The thesis consists of seven articles containing a number of models and methods for estimating, applying and testing large-scale discrete choice models. In the following we group the contributions under three themes: route choice modeling, large-scale multivariate extreme value (MEV) model estimation and nonlinear optimization algorithms. Five articles are related to route choice modeling. We propose different dynamic discrete choice models that allow paths to be correlated based on the MEV and mixed logit models. The resulting route choice models become expensive to estimate and we deal with this challenge by proposing innovative methods that allow to reduce the estimation cost. For example, we propose a decomposition method that not only opens up for possibility of mixing, but also speeds up the estimation for simple logit models, which has implications also for traffic simulation. Moreover, we compare the utility maximization and regret minimization decision rules, and we propose a misspecification test for logit-based route choice models. The second theme is related to the estimation of static discrete choice models with large choice sets. We establish that a class of MEV models can be reformulated as dynamic discrete choice models on the networks of correlation structures. These dynamic models can then be estimated quickly using dynamic programming techniques and an efficient nonlinear optimization algorithm. Finally, the third theme focuses on structured quasi-Newton techniques for estimating discrete choice models by maximum likelihood. We examine and adapt switching methods that can be easily integrated into usual optimization algorithms (line search and trust region) to accelerate the estimation process. The proposed dynamic discrete choice models and estimation methods can be used in various discrete choice applications. In the area of big data analytics, models that can deal with large choice sets and sequential choices are important. Our research can therefore be of interest in various demand analysis applications (predictive analytics) or can be integrated with optimization models (prescriptive analytics). Furthermore, our studies indicate the potential of dynamic programming techniques in this context, even for static models, which opens up a variety of future research directions.
Resumo:
Travaux d'tudes doctorales ralises conjointement avec les travaux de recherches doctorales de Nicolas Leduc, tudiant au doctorat en gnie informatique l'cole Polytechnique de Montral.
Resumo:
De nombreux problmes lis aux domaines du transport, des tlcommunications et de la logistique peuvent tre modliss comme des problmes de conception de rseaux. Le problme classique consiste transporter un flot (donnes, personnes, produits, etc.) sur un rseau sous un certain nombre de contraintes dans le but de satisfaire la demande, tout en minimisant les cots. Dans ce mmoire, on se propose d'tudier le problme de conception de rseaux avec cots fixes, capacits et un seul produit, qu'on transforme en un problme quivalent plusieurs produits de faon amliorer la valeur de la borne infrieure provenant de la relaxation continue du modle. La mthode que nous prsentons pour la rsolution de ce problme est une mthode exacte de branch-and-price-and-cut avec une condition d'arrt, dans laquelle nous exploitons la fois la mthode de gnration de colonnes, la mthode de gnration de coupes et l'algorithme de branch-and-bound. Ces mthodes figurent parmi les techniques les plus utilises en programmation linaire en nombres entiers. Nous testons notre mthode sur deux groupes d'instances de tailles diffrentes (gran-des et trs grandes), et nous la comparons avec les rsultats donns par CPLEX, un des meilleurs logiciels permettant de rsoudre des problmes d'optimisation mathmatique, ainsi quavec une mthode de branch-and-cut. Il s'est avr que notre mthode est prometteuse et peut donner de bons rsultats, en particulier pour les instances de trs grandes tailles.
