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.

Québec en mutation

Les textes qui ont été retenus pour former ce livre ont un dénominateur commun. On retrouve dans chacun le thème du changement de la société québécoise, de son évolution récente et actuelle. J'appartiens à cette génération qui s'est longtemps impatientée de voir le Québec stagner dans la peur, l'insécurité, la soumission et l'aliénation, mais qui fut ensuite étonnée et peut-être aussi dépassée par le rythme du changement, lorsqu'il a débuté, et par les directions qu'il a prises. Par profession autant que par engagement personnel, j'ai dû m'interroger sur les sources, les agents et les conditions du changement dans lequel est engagée la société québécoise, et aussi sur les forces de résistance que cette évolution a éveillées.

L'énigmatique Monsieur Herr

Lucien Herr, bibliothécaire de l’École normale supérieure à Paris au début de XXième siècle, fut l’un des intellectuels français les plus importants de son époque. Malgré tout, son nom reste méconnu aujourd’hui dans le milieu de la documentation. Les lignes suivantes, en s’attachant à brosser non seulement le portrait du bibliothécaire, mais aussi celui de l’intellectuel socialiste et du directeur de conscience qu’il fut, voudront en quelque sorte réhabiliter la mémoire de cet homme énigmatique et engagé. // Lucien Herr, librarian at the École normale supérieure of Paris at the beginning of the 20th century, was one of the most important French intellectuals of his era. Nonetheless, his name still remains unknown today in the milieu of library documentation. The following lines will, in some way, revive the memory of this involved and mysterious man by endeavouring to paint not only the portrait of the librarian, but that of the socialist intellectual and spiritual adviser that he was.

L'Internet: un reflet de la concurrence des souverainetés

Un résumé en anglais est également disponible

Collections particulières et collectionneurs à Montréal au XIXe siècle : le cas de Louis-François Georges Baby.

Cette communication s'appuie sur des recherches réalisées dans le cadre de notre projet de thèse portant sur les collections particulières et les collectionneurs montréalais au XIXe siècle. Plus précisément, nous tentons de cerner l'identité sociale et l'habitus culturel de ces derniers. Un des principaux objectifs de notre recherche consiste à cibler et à comprendre les motivations des collectionneurs. L'histoire du collectionnement révèle cinq catégories générales de motivations : la collection comme porteur de sens par rapport à soi ou par rapport aux autres, collectionner par volonté de conserver le patrimoine et par souci de garder les traces du passé, collectionner en tant qu'investissement financier ou encore pour répondre à un besoin compulsif. Nous tenterons ici de déterminer quelles ont été les motivations de Louis-François-Georges Baby. Juge et homme politique, Baby fut un collectionneur passionné d'histoire et amateur d'art. Sa collection, d'une ampleur considérable, comprenait des documents historiques, des livres, des tableaux, des gravures, des plans, des monnaies, des médailles ainsi que des objets ethnographiques. Elle fut léguée, selon ses dernières volontés, au Collège de Joliette, à la Société d'archéologie et de numismatique de Montréal qu'il présida de 1884 à son décès ainsi qu'à l'Université Laval à Montréal qui hérita de plus de 20 000 documents d'archives et de 3 400 livres rares, estampes et autres documents.

Un bibliothécaire parmi les humanistes : Gottfried Wilhelm Leibniz (1646 – 1716)

Ce texte constitue la version élargie du document soumis à la revue Argus.

Schémas de classification et repérage des documents administratifs électroniques dans un contexte de gestion décentralisée des ressources informationnelles

Les employés d’un organisme utilisent souvent un schéma de classification personnel pour organiser les documents électroniques qui sont sous leur contrôle direct, ce qui suggère la difficulté pour d’autres employés de repérer ces documents et la perte possible de documentation pour l’organisme. Aucune étude empirique n’a été menée à ce jour afin de vérifier dans quelle mesure les schémas de classification personnels permettent, ou même facilitent, le repérage des documents électroniques par des tiers, dans le cadre d’un travail collaboratif par exemple, ou lorsqu’il s’agit de reconstituer un dossier. Le premier objectif de notre recherche était de décrire les caractéristiques de schémas de classification personnels utilisés pour organiser et classer des documents administratifs électroniques. Le deuxième objectif consistait à vérifier, dans un environnement contrôlé, les différences sur le plan de l’efficacité du repérage de documents électroniques qui sont fonction du schéma de classification utilisé. Nous voulions vérifier s’il était possible de repérer un document avec la même efficacité, quel que soit le schéma de classification utilisé pour ce faire. Une collecte de données en deux étapes fut réalisée pour atteindre ces objectifs. Nous avons d’abord identifié les caractéristiques structurelles, logiques et sémantiques de 21 schémas de classification utilisés par des employés de l’Université de Montréal pour organiser et classer les documents électroniques qui sont sous leur contrôle direct. Par la suite, nous avons comparé, à partir d'une expérimentation contrôlée, la capacité d’un groupe de 70 répondants à repérer des documents électroniques à l’aide de cinq schémas de classification ayant des caractéristiques structurelles, logiques et sémantiques variées. Trois variables ont été utilisées pour mesurer l’efficacité du repérage : la proportion de documents repérés, le temps moyen requis (en secondes) pour repérer les documents et la proportion de documents repérés dès le premier essai. Les résultats révèlent plusieurs caractéristiques structurelles, logiques et sémantiques communes à une majorité de schémas de classification personnels : macro-structure étendue, structure peu profonde, complexe et déséquilibrée, regroupement par thème, ordre alphabétique des classes, etc. Les résultats des tests d’analyse de la variance révèlent des différences significatives sur le plan de l’efficacité du repérage de documents électroniques qui sont fonction des caractéristiques structurelles, logiques et sémantiques du schéma de classification utilisé. Un schéma de classification caractérisé par une macro-structure peu étendue et une logique basée partiellement sur une division par classes d’activités augmente la probabilité de repérer plus rapidement les documents. Au plan sémantique, une dénomination explicite des classes (par exemple, par utilisation de définitions ou en évitant acronymes et abréviations) augmente la probabilité de succès au repérage. Enfin, un schéma de classification caractérisé par une macro-structure peu étendue, une logique basée partiellement sur une division par classes d’activités et une sémantique qui utilise peu d’abréviations augmente la probabilité de repérer les documents dès le premier essai.

Prolégomènes à une recherche sur la vie privée dans une perspective historique et sociologique

Dans cet article, l’auteur, qui est docteur en droit et doctorant en sociologie, tente de refaire le long cheminement historique qui conduit à la reconnaissance de la vie privée, telle que nous la connaissons aujourd’hui dans les sociétés du capitalisme libéral. Texte synthèse d’une première étape d’une recherche plus vaste sur les conséquences de l’introduction des NTIC à l’égard du respect de la vie privée dans nos sociétés contemporaines, ce texte met en lumière un certain nombre de phénomènes à l’égard du concept de vie privée. D’abord, l’auteur constate le décalage fondamental qui existe entre la protection de la vie privée des individus en fonction de la classe sociale à laquelle ils sont associés et ce, à travers l’ensemble des modes de production de la richesse sociale ayant existé historiquement. Ensuite, l’auteur montre que les sociétés où l’espace public fut le plus étroit sont également celles où la vie privée fut, dans les faits, le moins bien protégé. Les sociétés ayant poussé le plus loin le concept de privatisation sont, du point de vue des valeurs sociales associées au progrès, les plus arriérés et les moins intéressantes. En conséquence, de l’opinion de l’auteur, les tentatives des courants néolibéraux d’aller vers une plus large privatisation de la société constitueraient un nouveau recul pour la protection de la vie privée elle-même. Plus fondamentalement, l’auteur conclut que la vie privée « n’est que l’expression matérielle et symbolique des rapports de pouvoir dans la société; ce n’est que le nom que nous donnons aux privilèges des uns à l’égard des droits des autres ». Finalement, l’auteur s’interroge sur les conséquences, à l’égard de la protection de la vie privée, de l’introduction des NTIC. À son opinion, et contrairement aux points de vue généralement entendus sur cette question, les NTIC ne constituent pas, malgré les apparences, un changement qualitatif ou d’échelle justifiant la mise en place des nouvelles normes juridiques qui auraient pour conséquence de réduire l’espace public et celui de la liberté d’expression dans le cyberespace, et qui constitueraient, dans les faits, une nouvelle forme de censure.

Incidence de la réglementation actuelle et future des aliments génétiquement modifiés sur leur exploitation

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maître en droit (LL.M)"

La liberté d'expression et l'administration de la justice : le choc de deux paradigmes

"Thèse présentée à la Faculté des études supérieures En vue de l'obtention du grade de Docteur en droit (LL.D.)"

La chaîne de responsabilité de la sécurité maritime

"Mémoire présenté à la faculté des études supérieures en vue de l'obtention du grade de maître en droit (LL.M.)". Ce mémoire a été accepté à l'unanimité et classé parmi les 15% des mémoires de la discipline.

L'intégration d'un discours de la conservation à la pratique urbanistique québécoise: réflexions sur la période 1960-2006

Depuis quelques années, l’urbanisme tend à considérer de plus en plus la question patrimoniale. Au Québec, c’est suite à l’adoption, en 1980, de la Loi sur l’aménagement et l’urbanisme que fut formellement introduite la donne patrimoniale dans la pratique urbanistique. Bien que cette pratique tente aujourd’hui de poser la conservation du patrimoine bâti comme l’une de ses préoccupations, elle ne parvient pas à l’assumer complètement. En nous basant sur la définition du patrimoine urbain telle que proposée par Gustavo Giovannoni, nous voulons, par cette étude, amorcer une réflexion sur les enjeux d’une approche urbanistique du patrimoine urbain. Nous proposons dans un premier temps un survol de l’évolution de la notion de patrimoine urbain. Cette évolution est mise en relation avec la constitution d’un regard sur le patrimoine bâti québécois. Nous analysons, par la suite, trois moments clés dans la constitution d’un tel regard. La mise en contexte de la naissance de l’urbanisme québécois constitue, quant à elle, le troisième et avant-dernier volet de notre réflexion. À la lumière de cette analyse, nous considérons que le regard de l’urbaniste, posé sur le patrimoine bâti, témoigne encore aujourd’hui d’un désintérêt pour la forme. L’abandon du domaine du physico-spatial au profit d’une gestion rationnelle de la ville a engendré une méconnaissance des processus de constitution des ensembles bâtis et du rôle des formes spécialisées polarisantes. Une véritable approche urbanistique du patrimoine bâti ne saurait passer que par la reconnaissance des processus morphogénétiques des ensembles urbains anciens et de leur inscription dans la ville contemporaine.

Évaluation pré-clinique du (–)-[18F]FEOBV: Profil métabolique plasmatique.

Introduction. Plusieurs maladies neurodégénératives bénéficieraient de meilleures ap-proches diagnostiques, dont la maladie d’Alzheimer. Celle-ci affecte en particulier les systèmes cholinergiques du SNC, et de nombreuses études d’imagerie ont tenté d’évaluer la dégénérescence de ce système à des fins diagnostiques, à l’aide de ligands radioactifs de diverses composantes du système ACh. En définitive, la plupart de ces études ne se sont pas montrées satisfaisantes. À la recherche de meilleures approches dans ce domaine, nous avons décidé d’évaluer les possibilités offertes par le (-)-[18F]Fluoroethoxy-benzovesamicol ((-)-[18F]FEOBV), un agent émetteur de positons se liant au VAChT de façon spécifique et réversible. Avant d’en arriver à une utilisation humaine cependant, une validation animale en plusieurs étapes s’avère nécessaire, mais celle-ci nous est apparue justifiée à la lumière de résultats d’études préliminaires en TEP chez le rat, qui se sont montrées très prometteuses. Nous nous sommes donc attaqués à la caractérisation du métabolisme de cet agent. Ceci a exigé, dans un premier temps, la mise au point d’une méthode chromatographique d’analyse des métabolites sanguins et, dans un deuxième temps, l’évaluation de ces métabolites et de leur cinétique chez le rat. Ces données permettront ultérieurement, chez l’humain, de procéder à des études quantitatives en TEP. Étude #1: Une fois les paramètres chromatographiques optimisés, le TR du (–)-FEOBV fut établi à 7.92 ± 0.18 minutes. Étude #2 : Le métabolisme in vivo s’est montré très rapide et temporellement variable, mais un seul métabolite hydrophile a été identifié. La fonction d’apport au cerveau du (–)-[18F]FEOBV a pu être établie après correction pour la présence du métabolite détecté. Conclusion. Dans l’ensemble, le (–)-[18F]FEOBV semble très prometteur en tant que marqueur biologique du système cholinergique pré-synaptique.

User Generated Content in Researching for Design: How the Internet Supports Creativity

Résumé Cette recherche a débuté avec l’idée que l’Internet est en train de changer la manière dont nous créons des connaissances et du contenu culturel. Notre point de départ était d’utiliser l’Internet afin de rassembler et amplifier plusieurs points de vue dans un processus de design. Une approche complexe a exposé l’Internet comme un système et conséquemment comme une plateforme pour l’innovation. La structure ouverte de l’Internet a soutenu le mouvement participatif des usagers qui ont choisi de partager leurs besoins, leurs désirs et leurs solutions. Notre recherche a pour but d’étudier ce contenu généré par les usagers en ligne et comprendre sa valeur pour les designers. Les usagers créatifs veulent s’exprimer et participer activement dans le processus de design. Notre recherche tente de démontrer que les designers ont beaucoup à apprendre du contenu généré par les usagers car ceux-ci soumettent des éléments qui ont attrait à toutes les étapes du processus de design et révèlent des relations présentes dans la situation de design à l’étude. Pour en apprendre plus sur ce contenu nous nous demandons : Quel type d’information offre le contenu généré par les usagers pour la phase de recherche dans le processus de design. Afin de centrer la portée de l’étude, nous nous sommes aussi questionné si cette information est plus pertinente au design de produits, au design de services ou au design de système de produits et de services. Aspirant aux idéaux du design participatif, notre méthodologie fut développée afin d’apprendre comment le contenu généré par les usagers pourrait influencer le processus de design. Pour ce faire, nous avons choisi de chercher sur l’Internet pour du contenu qui concerne la mobilité via l’usage d’une automobile. Les trois différents types de média considérés étaient les vidéos sur YouTube, les images sur Flickr et les textes sur Blogger. Afin de répondre à notre première question de recherche, nous nous sommes penchés sur deux éléments lorsque l’on recherche pour le design : les espaces de design et les relations de design. Premièrement, nous avons catégorisé le contenu récolté selon l’espace problème, créatif et solution. Deuxièmement, nous avons catégorisé le contenu dépendant de laquelle des relations de design elle démontrait soit une combinaison d’usagers, objets et contextes. Dans le but de répondre à la deuxième question de cette recherche, nous avons examiné trois types V de produits de design : les automobiles privées comme produit, le partage de voiture comme système de produit et de service, et le taxi comme service. Chaque élément pertinent généré par les usagés trouvé dans cette recherche fut catégorisé jusqu’à ce que l’on récolte 50 échantillons pour chaque combinaison de ces variables. Nous en sommes arrivés avec une matrice de 50 éléments de chaque produit de design, pour chacun des médias, puis catégorisé selon les espaces de design et les relations dans le design. Cette recherche démontre que l’Internet, comme médium, produit les conditions avantageuses pour que les usagers partagent de grandes quantités de contenu original et diversifié qui est pertinent aux situations de design. À partir de nos données de recherche, nous avons identifié des tendances dans le contenu généré par les usagers. Notamment, nous sommes en mesure d’affirmer que le contenu généré par les usagers offre de l’information pertinente à la recherche pour le design, et ce dans tous les espaces de design et toutes les relations de design. Il en fut de même pour les différentes issues du design car du contenu sur les produits, les systèmes de produits et de services et les services était présent et pertinent. Bref, nous avons démontré que l’Internet supporte la créativité et conséquemment il y abonde de contenu créatif produit par les usagers. Suivant dans les traces dessinées par d’autres chercheurs en design participatif, cette étude devrait être considérée comme un nouvel exemple des moyens qu’ont les designers pour percevoir les besoins tacites des usagers en leur permettant d’exprimer leurs idées. Alors que ceux-ci créent librement et intuitivement ainsi exposant leurs besoins, solutions et idées, les designers peuvent porter un regard de tierce partie sur les résultats. Jumelant des techniques comme le crowdsourcing et le brainstorming, nous avons créé une nouvelle activité et le néologisme : brainsourcing. En demeurant dans une forme de pratique réflexive, les designers peuvent réfléchir et ajouter au contenu généré par les usagers qui lui n’est pas biaisé par une éducation ou une culture du design. Ce processus est similaire au design participatif professionnel où le brainsourcing est une activité parallèle lorsque le designer fait des recherches pour le design. C’est cette perspective sur la somme des idées des participants qui peut contribuer à comprendre la complexité de la situation de design. VI Cette recherche a aussi soulevé des questions par rapport à l’effet de démocratisation de l’Internet. Bien que les usagers n’ont pas l’éducation, ni les habiletés des designers, ils aspirent à démocratiser le processus du design en voulant participer activement et en exposant leurs besoins, idées et solutions. Nous avons pu déterminer que les usagers n’étaient pas qualifiés pour entreprendre le processus complet du design comme les designers professionnels, mais nous avons observé directement la capacité des usagers à mettre de l’avant leur créativité. À propos de la relation entre les usagers créatifs et les designers, nous avons étudié des langages communs tels les scénarios et les prototypes. Tous deux sont présents dans le contenu généré par les usagers que nous avons récolté dans nos recherches sur Internet. Ceci nous a mené vers une nouvelle perspective sur l’activité du design où des opportunités créatives ressortent d’une conversation avec les usagers. Cette recherche a dévoilé de grandes tendances dans la manière dont les usagers communiquent naturellement dans un processus de design. Nous espérons avoir offert un aperçu de comment les designers peuvent prendre avantage de tous les types de contenu généré par les usagers en ligne. Dans le futur, nous souhaitons que les designers aient la possibilité d’interagir avec les participants en prenant le rôle de facilitateur de la conversation. La responsabilité du résultat ne tombe pas sur les épaules du designer car son mandat est d’assurer le bon fonctionnement du processus. Les designers rejoignent les usagers en ne demandant plus comment les choses peuvent être créées, mais pourquoi elles devraient exister. En tant que designers, nous aspirons à générer plus à partir de nouvelles connaissances, nous aspirons à créer plus de sens. Mots clés: Recherche en design, complexité, design participatif, contenu généré par les usagers, démocratisation, Internet, créativité, crowdsourcing, brainstorming, brainsourcing, réflexion-en-action.

Rôle de la phospholipase A2 de type V dans le recrutement de leucocytes au foyer inflammatoire

Les phospholipases A2 sécrétées (sPLA2) font partie d’une grande famille d’enzymes impliquées dans la synthèse d’écosanoïdes, de chimiokines et dans l’expression de molécules d’adhérence. Ce groupe comprend dix isoformes différentes (sPLA2-IB, -IIA, -IIC, -IID, -IIE, -IIF, -III, -V, -X et XII) dont la majorité sont surexprimées en présence de molécules pro-inflammatoires telles que l’interleukine-1β (IL-1 β) et le lipopolysaccharide bactérien (LPS). La sPLA2-IIA fut longtemps considérée comme la principale sPLA2 associée à l’inflammation. Toutefois, un nombre grandissant d’études suggère l’implication d’autres isoformes dans la réponse inflammatoire. Étant donné la similarité structurelle des différentes isoformes de sPLA2, la majorité des inhibiteurs présentement disponibles sont non spécifiques et bloquent simultanément plus d’une sPLA2. De ce fait, encore peu de choses sont connues quant au rôle précis de chacune des sPLA2 dans la réponse inflammatoire. Ayant accès à des souris génétiquement modifiées n’exprimant pas la sPLA2-V (sPLA2-V-/-), nous avons donc investigué le rôle spécifique de la sPLA2-V dans le recrutement leucocytaire induit par le LPS, ainsi que sa capacité à moduler l’expression de certaines molécules d’adhérence. Pour ce faire, nous avons utilisé le modèle inflammatoire de la poche d’air sous-cutanée. L’administration de LPS dans la poche d’air de souris contrôles (WT) entraîne un recrutement leucocytaire important. Cet appel de cellules inflammatoires est cependant significativement diminué chez les souris sPLA2-V-/-. De plus, l’expression des molécules d’adhérence VCAM-1 et ICAM-1 est également diminuée chez les souris sPLA2-V-/- comparativement aux souris WT. Nos résultats démontrent donc le rôle important de la sPLA2-V dans le recrutement leucocytaire et l’expression de molécules d’adhérence induits par le LPS, confirmant ainsi l’implication de cette enzyme dans le processus inflammatoire.