Parallelization of SAT on Reconfigurable Hardware

Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression fulgurante des outils conçus pour trouver des solutions à ce problème NP-complet. Deux grandes avenues générales ont été explorées afin de produire ces outils, notamment l’approche logicielle et matérielle. Afin de raffiner et améliorer ces solveurs, de nombreuses techniques et heuristiques ont été proposées par la communauté de recherche. Le but final de ces outils a été de résoudre des problèmes de taille industrielle, ce qui a été plus ou moins accompli par les solveurs de nature logicielle. Initialement, le but de l’utilisation du matériel reconfigurable a été de produire des solveurs pouvant trouver des solutions plus rapidement que leurs homologues logiciels. Cependant, le niveau de sophistication de ces derniers a augmenté de telle manière qu’ils restent le meilleur choix pour résoudre SAT. Toutefois, les solveurs modernes logiciels n’arrivent toujours pas a trouver des solutions de manière efficace à certaines instances SAT. Le but principal de ce mémoire est d’explorer la résolution du problème SAT dans le contexte du matériel reconfigurable en vue de caractériser les ingrédients nécessaires d’un solveur SAT efficace qui puise sa puissance de calcul dans le parallélisme conféré par une plateforme FPGA. Le prototype parallèle implémenté dans ce travail est capable de se mesurer, en termes de vitesse d’exécution à d’autres solveurs (matériels et logiciels), et ce sans utiliser aucune heuristique. Nous montrons donc que notre approche matérielle présente une option prometteuse vers la résolution d’instances industrielles larges qui sont difficilement abordées par une approche logicielle.

Génération de résumés par abstraction

Cette thèse présente le résultat de plusieurs années de recherche dans le domaine de la génération automatique de résumés. Trois contributions majeures, présentées sous la forme d'articles publiés ou soumis pour publication, en forment le coeur. Elles retracent un cheminement qui part des méthodes par extraction en résumé jusqu'aux méthodes par abstraction. L'expérience HexTac, sujet du premier article, a d'abord été menée pour évaluer le niveau de performance des êtres humains dans la rédaction de résumés par extraction de phrases. Les résultats montrent un écart important entre la performance humaine sous la contrainte d'extraire des phrases du texte source par rapport à la rédaction de résumés sans contrainte. Cette limite à la rédaction de résumés par extraction de phrases, observée empiriquement, démontre l'intérêt de développer d'autres approches automatiques pour le résumé. Nous avons ensuite développé un premier système selon l'approche Fully Abstractive Summarization, qui se situe dans la catégorie des approches semi-extractives, comme la compression de phrases et la fusion de phrases. Le développement et l'évaluation du système, décrits dans le second article, ont permis de constater le grand défi de générer un résumé facile à lire sans faire de l'extraction de phrases. Dans cette approche, le niveau de compréhension du contenu du texte source demeure insuffisant pour guider le processus de sélection du contenu pour le résumé, comme dans les approches par extraction de phrases. Enfin, l'approche par abstraction basée sur des connaissances nommée K-BABS est proposée dans un troisième article. Un repérage des éléments d'information pertinents est effectué, menant directement à la génération de phrases pour le résumé. Cette approche a été implémentée dans le système ABSUM, qui produit des résumés très courts mais riches en contenu. Ils ont été évalués selon les standards d'aujourd'hui et cette évaluation montre que des résumés hybrides formés à la fois de la sortie d'ABSUM et de phrases extraites ont un contenu informatif significativement plus élevé qu'un système provenant de l'état de l'art en extraction de phrases.

“All work and no play … ?” : a critical investigation of an emerging public health discourse on children’s play.

Dans de nombreuses sociétés industrialisées, une grande valeur est attribuée au jeu des enfants, principalement parce que le jeu est considéré comme étant une composante essentielle de leur développement et qu’il contribue à leur bonheur et à leur bien-être. Toutefois, des inquiétudes ont récemment été exprimées au regard des transformations qui s’opèrent dans le jeu des enfants, notamment en ce qui a trait à la réduction du temps de jeu en plein air. Ces transformations ont été attribuées, en grande partie, à une perception de risques accrus associés au jeu en plein air et à des changements sociaux qui favorisent des activités de loisirs plus structurées et organisées. L’inquiétude concernant la diminution de l’espace-temps accordé au jeu des enfants est d’ailleurs clairement exprimée dans le discours de la santé publique qui, de plus, témoigne d’un redoublement de préoccupations vis-à-vis du mode de vie sédentaire des enfants et d’une volonté affirmée de prévention de l'obésité infantile. Ainsi, les organisations de santé publique sont désormais engagées dans la promotion du jeu actif pour accroître l'activité physique des enfants. Nous assistons à l’émergence d’un discours de santé publique portant sur le jeu des enfants. À travers quatre articles, cette thèse explore le discours émergeant en santé publique sur le jeu des enfants et analyse certains de ses effets potentiels. L'article 1 présente une prise de position sur le sujet du jeu en santé publique. J’y définis le cadre d'analyse de cette thèse en présentant l'argument central de la recherche, les positions que les organisations de santé publique adoptent vis-à-vis le jeu des enfants et les répercussions potentielles que ces positions peuvent avoir sur les enfants et leurs jeux. La thèse permet ensuite d’examiner comment la notion de jeu est abordée par le discours de santé publique. L'article 2 présente ainsi une analyse de discours de santé publique à travers 150 documents portant sur la santé, l'activité physique, l'obésité, les loisirs et le jeu des enfants. Cette étude considère les valeurs et les postulats qui sous-tendent la promotion du jeu comme moyen d’améliorer la santé physique des enfants et permet de discerner comment le jeu est façonné, discipliné et normalisé dans le discours de santé publique. Notre propos révèle que le discours de santé publique représente le jeu des enfants comme une activité pouvant améliorer leur santé; que le plaisir sert de véhicule à la promotion de l’activité physique ; et que les enfants seraient encouragés à organiser leur temps libre de manière à optimiser leur santé. Étant donné l’influence potentielle du discours de santé publique sur la signification et l’expérience vécue du jeu parmi les enfants, cette thèse présente ensuite une analyse des représentations qu’ont 25 enfants âgés de 7 à 11 ans au regard du jeu. L’article 3 suggère que le jeu est une fin en soi pour les enfants de cette étude; qu'il revêt une importance au niveau émotionnel; et qu'il s’avère intrinsèquement motivé, sans but particulier. De plus, l’amusement que procure le jeu relève autant d’activités engagées que d’activités sédentaires. Enfin, certains enfants expriment un sentiment d'ambivalence concernant les jeux organisés; tandis que d’autres considèrent parfois le risque comme une composante particulièrement agréable du jeu. De tels résultats signalent une dissonance entre les formes de jeux promues en santé publique et le sens attribué au jeu par les enfants. Prenant appui sur le concept de « biopédagogies » inspiré des écrits de Michel Foucault, le quatrième article de cette thèse propose un croisement des deux volets de cette étude, soit le discours de santé publique sur le jeu et les constructions du jeu par les enfants. Bien que le discours de la santé publique exhortant au «jeu actif» soit reproduit par certains enfants, d'autres soulignent que le jeu sédentaire est important pour leur bien-être social et affectif. D’autre part, tandis que le « jeu actif » apparait, dans le discours de santé publique, comme une solution permettant de limiter le risque d'obésité, il comporte néanmoins des contradictions concernant la notion de risque, dans la mesure où les enfants ont à négocier avec les risques inhérents à l’activité accrue. À terme, cet article suggère que le discours de santé publique met de l’avant certaines représentations du jeu (actifs) tandis qu’il en néglige d’autres (sédentaires). Cette situation pourrait donner lieu à des conséquences inattendues, dans la mesure où les enfants pourraient éventuellement reconfigurer leurs pratiques de jeu et les significations qu’ils y accordent. Cette thèse n'a pas pour but de fournir des recommandations particulières pour la santé publique au regard du jeu des enfants. Prenant appui sur la perspective théorique de Michel Foucault, nous présentons plutôt une analyse d’un discours émergeant en santé publique ainsi que des pistes pour la poursuite de recherches sur le jeu dans le domaine de l’enfance. Enfin, compte tenu des effets potentiels du discours de la santé publique sur le jeu des enfants, et les perspectives contemporaines sur le jeu et les enfants, la conclusion offre des pistes de réflexion critique.

Les discours ruraux, urbains et périurbains du cinéma québécois

Ce projet s’intéresse aux représentations que fait le cinéma des territoires et à la manière dont ces représentations reflètent des grands enjeux socio-spatiaux. L’espace cinématographique devient une clé d’entrée pour l’analyse géographique. Cette analyse porte plus particulièrement sur les représentations que fait le cinéma québécois contemporain des espaces urbains, ruraux et périurbains. Les récits et les représentations spatiales qui les composent se positionnent souvent sur les enjeux socio-spatiaux, produits par l’histoire nationale et les processus socioéconomiques. La proposition d’analyser les représentations cinématographiques en lien avec le contexte socioéconomique vise deux principaux objectifs conceptuels. D’une part, elle s’intéresse à une meilleure compréhension du façonnement des discours sur l’espace, en ce qui a trait à leur émergence et leur négociation. D’autre part, l’analyse vise une définition élargie des espaces ruraux, urbains et périurbains contemporains, en révélant la complexité et simultanément, la simplification dont ils font l’objet, ainsi que les enjeux qui leurs sont associés. Il s’agit d’exploiter la cinématographie québécoise comme un outil d’analyse qui permet de dévoiler la diversité des discours socio-spatiaux. Des approches quantitatives et qualitatives d’interprétation des discours sont jumelées pour réaliser une analyse complète. La méthode retenue est l’analyse critique du discours (ACD), qui tient compte des rapports idéologiques et vise à la dénaturalisation du discours. En quelques mots, l’analyse consiste en l’identification de relations entre les représentations spatiales et le contexte socioéconomique duquel elles ont émergé. Le cadre opérationnel est constitué d’un corpus de 50 films québécois réalisés entre 1980-2008, « lus » à l’aide d’une grille de lecture originale et analysés avec des méthodes d’analyse spatiale et statistique, combinées à une interprétation qualitative. L’analyse quantitative révèle que le monde urbain et le monde rural sont souvent mis en opposition. Les films font de Montréal le principal pôle urbain, tandis que le reste du Québec est associé au milieu rural. Influencées par les flux culturels et économiques globaux, les représentations montréalaises suggèrent une ville fragmentée et continuellement en mouvement. En opposition à ces représentations urbaines, les cinéastes envisagent l’espace rural comme étant exempt de travail, axé sur le chez-soi et doté d’un esprit communautaire. Il est suggéré que la ville, toujours en croissance, restreint les possibilités d’un développement communautaire fort. Face à une ville transformée par la globalisation et en perte d’authenticité, une forme de régionalisme est observée. Ce dernier associe un ensemble de valeurs à une communauté ou à un territoire, afin de se distinguer devant des forces globalisantes qui semblent homogénéiser les valeurs. Pourtant, l’analyse quantitative laisse voir des contradictions au sein de chaque entité géographique ou milieu. L’analyse qualitative permet d’approfondir l’interprétation et révèle sept grands discours sur les espaces urbains et ruraux. Sont notamment identifiés des discours sur la contestation de la modernité urbaine, sur la réappropriation du milieu de vie par les citoyens et sur un espace rural parfois brutal. Cette analyse amène à conclure que la diversité des discours s’explique par l’hétérogénéité des pratiques socio-spatiales, qui remettent en question l’idée d’un discours national homogène. Cela témoigne de l’évolution et la négociation des regards que nous posons sur nos espaces. Au final, cette thèse contribue à une meilleure utilisation du matériel cinématographique comme support d’étude géographique en proposant une approche méthodologique claire et originale. Sur un plan conceptuel, elle rappelle la complexité et le dynamisme des représentations territoriales québécoises, ainsi que les stratégies de négociation des cinéastes face aux enjeux socio-spatiaux vécus dans la province.

Le saut de Leucade : érotique et contre-érotique d’un rituel de précipitation en Grèce ancienne

L’amour, la mort et la souffrance sont parmi les expériences les plus incompréhensibles que l’homme doit affronter dans sa vie. Elles définissent sa nature et font partie intégrante de son univers symbolique. Le saut de Leucade aurait été pratiqué pendant plus de mille ans. À la fois présent dans les récits mythiques, religieux et historiques, le rituel est attesté par les premiers historiens de l’Antiquité qui décrivent ce phénomène à partir des données de l’historiographie antique. La forme traditionnelle du saut s’inscrit dans l’univers mythologique des Grecs et le plongeon est un acte de délivrance de la passion amoureuse. La nature du rituel change selon les contextes littéraires, passant d’un rite érotique à un rituel apotropaïque pour se voir perpétuer de manière désacralisée dans les récits plus tardifs. L’analyse des différentes fonctions du saut semble démontrer le profil d’une expérience limite, où la mort serait vécue de manière métaphorique et pose le problème de la nature ordalique du rituel qui serait à la base de son efficacité pragmatique. Cette étude projette d’analyser les formes de la pensée grecque dans son expression anthropologique à travers la dialectique du mythe et du rite et vise à comprendre l’interprétation de la souffrance amoureuse dans le cadre du rituel de précipitation. Le saut de Leucade serait dès lors un discours spécifique qui témoignerait d’une certaine conception de la nature humaine, de la mort et de la souffrance amoureuse dans l’imaginaire de la Grèce ancienne.

Searching for novel gene functions in yeast : identification of thousands of novel molecular interactions by protein-fragment complementation assay followed by automated gene function prediction and high-throughput lipidomics

La compréhension de processus biologiques complexes requiert des approches expérimentales et informatiques sophistiquées. Les récents progrès dans le domaine des stratégies génomiques fonctionnelles mettent dorénavant à notre disposition de puissants outils de collecte de données sur l’interconnectivité des gènes, des protéines et des petites molécules, dans le but d’étudier les principes organisationnels de leurs réseaux cellulaires. L’intégration de ces connaissances au sein d’un cadre de référence en biologie systémique permettrait la prédiction de nouvelles fonctions de gènes qui demeurent non caractérisées à ce jour. Afin de réaliser de telles prédictions à l’échelle génomique chez la levure Saccharomyces cerevisiae, nous avons développé une stratégie innovatrice qui combine le criblage interactomique à haut débit des interactions protéines-protéines, la prédiction de la fonction des gènes in silico ainsi que la validation de ces prédictions avec la lipidomique à haut débit. D’abord, nous avons exécuté un dépistage à grande échelle des interactions protéines-protéines à l’aide de la complémentation de fragments protéiques. Cette méthode a permis de déceler des interactions in vivo entre les protéines exprimées par leurs promoteurs naturels. De plus, aucun biais lié aux interactions des membranes n’a pu être mis en évidence avec cette méthode, comparativement aux autres techniques existantes qui décèlent les interactions protéines-protéines. Conséquemment, nous avons découvert plusieurs nouvelles interactions et nous avons augmenté la couverture d’un interactome d’homéostasie lipidique dont la compréhension demeure encore incomplète à ce jour. Par la suite, nous avons appliqué un algorithme d’apprentissage afin d’identifier huit gènes non caractérisés ayant un rôle potentiel dans le métabolisme des lipides. Finalement, nous avons étudié si ces gènes et un groupe de régulateurs transcriptionnels distincts, non préalablement impliqués avec les lipides, avaient un rôle dans l’homéostasie des lipides. Dans ce but, nous avons analysé les lipidomes des délétions mutantes de gènes sélectionnés. Afin d’examiner une grande quantité de souches, nous avons développé une plateforme à haut débit pour le criblage lipidomique à contenu élevé des bibliothèques de levures mutantes. Cette plateforme consiste en la spectrométrie de masse à haute resolution Orbitrap et en un cadre de traitement des données dédié et supportant le phénotypage des lipides de centaines de mutations de Saccharomyces cerevisiae. Les méthodes expérimentales en lipidomiques ont confirmé les prédictions fonctionnelles en démontrant certaines différences au sein des phénotypes métaboliques lipidiques des délétions mutantes ayant une absence des gènes YBR141C et YJR015W, connus pour leur implication dans le métabolisme des lipides. Une altération du phénotype lipidique a également été observé pour une délétion mutante du facteur de transcription KAR4 qui n’avait pas été auparavant lié au métabolisme lipidique. Tous ces résultats démontrent qu’un processus qui intègre l’acquisition de nouvelles interactions moléculaires, la prédiction informatique des fonctions des gènes et une plateforme lipidomique innovatrice à haut débit , constitue un ajout important aux méthodologies existantes en biologie systémique. Les développements en méthodologies génomiques fonctionnelles et en technologies lipidomiques fournissent donc de nouveaux moyens pour étudier les réseaux biologiques des eucaryotes supérieurs, incluant les mammifères. Par conséquent, le stratégie présenté ici détient un potentiel d’application au sein d’organismes plus complexes.

L’importance de la polyphonie organisationnelle dans un processus de changement stratégique

Ce mémoire de maîtrise s’applique à montrer comment la polyphonie narrative peut nous informer sur le vécu des employés en période de changement organisationnel. Pour être en mesure d’entendre ces multiples voix, nous avons fait l’étude des récits des employés et des dirigeants dans le cadre d’un tel processus. Nous voulions, à travers les récits des employés, illustrer empiriquement la manière dont ces récits constituent le changement organisationnel lui-même en mettant à jour les préoccupations qui alimentent le processus de changement et qui sont constitutives à la fois du changement et de l’entité organisationnels. Ces récits ont été analysés selon une perspective polyphonique, autrement dit, une approche mettant de l’avant l’existence de multiples voix en tensions, des voix composant ces récits. Pour procéder à l’analyse de ces récits, notre cadre théorique a mobilisé la notion de ventriloquie, tel que proposée et présentée dans les travaux de Cooren (2012, 2013). Ces préoccupations ont été analysées comme autant de voix animant et « auteurisant » (authoring) ces récits, fondant ainsi une polyphonie narrative que nous avons tenté de repérer et répertorier dans des entrevues. L’analyse de cette polyphonie par le repérage des voix, figures et tensions nous a permis de mettre à jour les préoccupations constitutives du changement lui-même. Dans ce mémoire, nous avons ainsi identifié puis analysé, les voix, les figures et les tensions qui illustrent le vécu de certains employés en période de changement organisationnel, comblant ainsi certaines lacunes repérées dans la littérature portant sur la polyphonie et le changement organisationnel. Comme nous le montrons, la littérature actuelle sur la polyphonie organisationnelle ne permet pas de saisir la manière dont les employés donnent voix à des préoccupations qui émergent du processus de changement et comment ces préoccupations interagissent et s’intègrent dans leurs récits organisationnels sur le changement. L’analyse de cette polyphonie par le repérage des voix, figures et tensions nous permet non seulement de mettre à jour les préoccupations constitutives du changement, mais aussi certains mécanismes communicationnels qui émergent de ce processus. En somme, l’étude de la polyphonie narrative nous permet de rendre compte de ce qui habite et préoccupe les employés en période de changement. Aussi, l’ensemble des préoccupations identifiées nous permet de brosser un portrait global du vécu des employés pendant cette période de changement tout en mettant à jour les tensions qui composent ce processus.

Quand _Refus global_ devient "Refus global" : l'histoire d'une réception partielle

Refus global, le recueil, n’est pas « Refus global », le texte rédigé par Paul-Émile Borduas et cosigné par 15 membres du groupe automatiste. Partant de cette distinction entre le recueil automatiste et son texte éponyme et du constat selon lequel la partie éclipse le tout dans le discours critique, cette thèse a pour objectif d’expliquer l’occultation du recueil dans l’histoire sociale et artistique québécoise. À partir de l’étude de la réception de 1948 à 2008, j’interroge la constitution du récit commun entourant l’œuvre, duquel le recueil est exclu. Il s’agit donc de mettre au jour les obstacles qui se sont présentés dans le parcours de réception du recueil, nuisant à la formation d’un discours unifié et cohérent à son sujet et l’empêchant de s’inscrire dans l’histoire. Dégagés de l’étude du corpus composé de 639 objets sémiotiques secondaires (OSS, selon le concept proposé par Brigitte Louichon), les obstacles à la réception du recueil relèvent à la fois de facteurs pragmatiques, telles la composition hétérogène de l’œuvre ou sa disponibilité; de facteurs institutionnels ou historiographiques, comme la disciplinarisation du champ culturel ou l’impact du récit de la Révolution tranquille sur l’histoire littéraire; et de facteurs humains, reposant sur le rôle des auteurs et de certains critiques dans l’accueil réservé à l’œuvre. Les différentes étapes de la réception sont ainsi considérées : de l’horizon d’attente (Jauss) à la réception productive (Link), en passant par la publication, les premières critiques, les rééditions, les lectures savantes, l’historicisation et l’entrée de l’œuvre dans la mémoire à titre de symbole ou d’hypotexte. Or, plutôt qu’à ce parcours de réception exemplaire, c’est son envers qui est interrogé ici, c’est-à-dire les difficultés et les déviations de la réception du recueil Refus global. Cette thèse est divisée en trois parties. La première, théorique et méthodologique, situe mon propos dans les domaines de l’histoire culturelle et des études de réception, et présente diverses considérations concernant la constitution du corpus et le traitement des données. La deuxième aborde l’horizon d’attente et la première réception, moment crucial pour la survie de l’œuvre, comme l’ont montré Hans Robert Jauss et Daniel Chartier. On y observe notamment l’effet de verrou (Cambron) qu’a le renvoi de Borduas sur la constitution du récit de réception, de même que les critères éthiques et esthétiques en fonction desquels s’est opérée la hiérarchisation des composantes du recueil. La troisième partie couvre la réception subséquente (1950-2008). À l’étude des obstacles empêchant l’intégration du recueil dans l’histoire s’ajoute alors l’étude des réceptions parallèles, parcellaires et autonomes dont a bénéficié Refus global pour survivre – ponctuellement et partiellement – en dehors du récit commun formé autour de « Refus global ». Avec les différentes catégories d’OSS (directs, indirects, hypertextuels, métacritiques et parcellaires), ces trois types de réception font partie des outils heuristiques développés dans le but d’expliquer la réception partielle dont a fait l’objet le recueil. Selon l’approche quantitative et environnementaliste de l’histoire culturelle, Refus global est envisagé comme un microcosme de la culture, dans lequel certaines œuvres sont retenues et d’autres négligées. L’analyse d’un corpus critique large et varié permet ainsi de saisir non seulement les phénomènes conduisant à la consécration du texte éponyme ou à l’oubli relatif du recueil, mais aussi les tendances critiques, les parutions marginales, les critiques isolées, etc. qui, enfouies dans les angles morts de la réception, offrent au recueil et à ses composantes des voies de contournement du discours dominant. En somme, l’étude de la réception du recueil Refus global a permis à la fois de déplacer la focalisation critique depuis « Refus global » vers Refus global, de développer des outils pour envisager la réception d’œuvres marginalisées et de mettre en évidence des critères privilégiés dans la constitution de l’histoire et de la mémoire culturelles québécoises depuis 1948.

Ruptures et disjonctions dans le cinéma de Djibril Diop Mambety : le film-griot ou l'invention d'une oralité moderne

Cette étude se penche sur le geste singulier se dégageant de l’œuvre du cinéaste sénégalais Djibril Diop Mambety. Une force de « mise en présence » y est identifiée, dont la présente recherche démontre qu’elle s’apparente à l’action médiatrice du griot des traditions orales d’Afrique de l’Ouest. Singulièrement, cette force tenant de l’oralité ne repose pas sur le récit ou la parole comme discours, mais relève au contraire de ruptures narratives et de disjonctions image-son qui mettent le récit en question, invitant le spectateur à fréquemment réviser son interprétation de ce qu’il voit et entend. C’est le film lui-même qui devient alors griot, actualisant un lien en constante transformation entre l’univers qu’il porte et son spectateur. En instaurant un rapport critique à l’égard du monde dans lequel s’inscrit le récit, les multiples ruptures dans le cinéma de Mambety sont également les brèches par lesquelles se crée un espace d’accueil pour la marginalité, qui habite tous ses films. La tradition orale et le griot sont présentés en premier lieu, de manière à poser les bases à partir desquelles peut se développer la réflexion. La description et l’analyse des films Parlons Grand-mère et Le franc démontrent en quoi ceux-ci sont des films médiateurs, qui se comportent en griots. Cette découverte ouvre la voie à une réflexion plus large sur la médiation au cinéma, où la portée éthique du film-médiateur est explorée, ainsi que la nature des relations possibles entre médiation et récit. Finalement, l’analyse du film Hyènes, eu égard à la différence qu’il présente en déployant un récit plus linéaire, est l’occasion d’approfondir une compréhension à la fois de ce que font les films de Mambety et de ce que peut la médiation au cinéma de façon plus large.