Incorporating complex cells into neural networks for pattern classification

Dans le domaine des neurosciences computationnelles, l'hypothèse a été émise que le système visuel, depuis la rétine et jusqu'au cortex visuel primaire au moins, ajuste continuellement un modèle probabiliste avec des variables latentes, à son flux de perceptions. Ni le modèle exact, ni la méthode exacte utilisée pour l'ajustement ne sont connus, mais les algorithmes existants qui permettent l'ajustement de tels modèles ont besoin de faire une estimation conditionnelle des variables latentes. Cela nous peut nous aider à comprendre pourquoi le système visuel pourrait ajuster un tel modèle; si le modèle est approprié, ces estimé conditionnels peuvent aussi former une excellente représentation, qui permettent d'analyser le contenu sémantique des images perçues. Le travail présenté ici utilise la performance en classification d'images (discrimination entre des types d'objets communs) comme base pour comparer des modèles du système visuel, et des algorithmes pour ajuster ces modèles (vus comme des densités de probabilité) à des images. Cette thèse (a) montre que des modèles basés sur les cellules complexes de l'aire visuelle V1 généralisent mieux à partir d'exemples d'entraînement étiquetés que les réseaux de neurones conventionnels, dont les unités cachées sont plus semblables aux cellules simples de V1; (b) présente une nouvelle interprétation des modèles du système visuels basés sur des cellules complexes, comme distributions de probabilités, ainsi que de nouveaux algorithmes pour les ajuster à des données; et (c) montre que ces modèles forment des représentations qui sont meilleures pour la classification d'images, après avoir été entraînés comme des modèles de probabilités. Deux innovations techniques additionnelles, qui ont rendu ce travail possible, sont également décrites : un algorithme de recherche aléatoire pour sélectionner des hyper-paramètres, et un compilateur pour des expressions mathématiques matricielles, qui peut optimiser ces expressions pour processeur central (CPU) et graphique (GPU).

Industrial Adjustment: Context, Causes, Impacts and Methods for Analysis

Adjustement is an ongoing process by which factors of reallocated to equalize their returns in different uses. Adjustment occurs though market mechanisms or intrafirm reallocation of resources as a result of changes in terms of trade, government policies, resource availability, technological change, etc. These changes alter production opportunities and production, transaction and information costs, and consequently modify production functions, organizational design, etc. In this paper we define adjustment (section 2); review empirical estimates of the extent of adjustment in Canada and abroad (section 3); review selected features of the trade policy and adjustment context of relevance for policy formulation among which: slow growth, a shift to services, a shift to the Pacific Rim, the internationalization of production, investment distribution communications the growing use of NTB's, changes in foreign direct investment patterns, intrafirm and intraindustry trade, interregional trade flows, differences in micro economic adjustment processes of adjustment as between subsidiaries and Canadian companies (section 4); examine methodologies and results of studies of the impact of trade liberalization on jobs (section 5); and review the R. Harris general equilibrium model (section 6). Our conclusion emphasizes the importance of harmonizing commercial and domestic policies dealing with adjustment (section 7). We close with a bibliography of relevant publications.

The Exchange Rate in a Dynamic-Optimizing Current Account Model with Nominal Rigidities: a Quantitative Investigation.

This paper studies a dynamic-optimizing model of a semi-small open economy with sticky nominal prices and wages. the model exhibits exchange rate overshooting in response to money supply shocks. the predicted variability of nominal and real exchange rates is roughly consistent with that of G7 effective exchange rates during the post-Bretton Woods era.

A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

Optimizing urothelial cell preparation for the human urinary micronucleus assay.

Biological monitoring of early genotoxic effects in urothelial cells using the urinary micronucleus (MNu) assay is promising for early detection of cancer, such as bladder carcinoma. But many problems are encountered, the major being the poorly differential staining of cells, particularly in women having an important amount of squamous cells. We have optimized the protocol and obtained a differential staining of the cell types present in urine on 10 subjects. Following Carnoy I fixation and Papanicolaou staining, urothelial cells were blue while most squamous cells were pink. This differential staining allowed for optimization of the MNu assay on a single urine void, for both females and males. Even if our MNu means were comparable to the literature, the great variation in reported MNu results could reside in the ability of scorers to distinguish correctly between urothelial and squamous cells. When monitoring exposed populations, this erroneous distinction could largely influence the results, even more in women’s urine samples. Given a situation where exposure would not increase micronuclei frequency in vaginal squamous cells, their erroneous analysis in the MNu assay could mask an early genotoxic effect. Therefore, as transitional cell carcinoma of the bladder originates from transformed urothelial cells, restricting micronuclei analysis to urothelial cells could yield a more precise estimate of cancer risk in exposed populations. Moreover, it is hoped that the improvements proposed in this paper will allow for an easier implementation of the MNu assay in various set-ups and enhance its specificity, since MNu are considered a suitable biomarker.

Understanding the past to imagine the future : the history of industrial design practice in Alberta

La pratique du design industriel dans la province canadienne de l’Alberta est en pleine croissance. Ses activités sont principalement concentrées à Edmonton et à Calgary, qui sont les plus grandes villes de la province. On y trouve des studios de design de renom, des communautés de design complexes et des programmes universitaires de design bien établis. Cependant, la pratique du design industriel albertaine est sous-développée en comparaison avec celle du reste du Canada et il y a peu de recherches et de documentation sur le design industriel en Alberta. Dans ce projet de mémoire, la pratique du design industriel en Alberta a été explorée depuis une approche historique. Pour pallier le manque de documentation, la collecte de données a été faite par une recherche qualitative, des entretiens narratifs et une recherche quantitative statistique. Une base d’information historique sur le design industriel albertain a été établie puis située par rapport au développement de la pratique du design industriel ailleurs au Canada. Les facteurs, événements et tendances dans l’histoire de la pratique du design industriel en Alberta ont été identifiés. De plus, le développement de la pratique du design industriel de l’Alberta a été comparé à celui du Québec et de l’Ontario. Les retombées de cette étude indiquent que la pratique du design industriel en Alberta présente quatre domaines de spécialisations distincts se développant depuis les années 1980. La pratique du design industriel en Alberta est sous-développée en comparaison à celui du Québec et de l’Ontario, mais elle peut devenir plus compétitive, au niveau canadien, avec plus de soutien gouvernemental, de meilleures relations avec l’industrie manufacturière et les institutions académiques, une communauté de design plus unifiée et en portant une plus grande attention aux domaines les plus prometteurs de l’industrie. Ces informations supportent une meilleure compréhension de la pratique du design industriel en Alberta et pourront informer les praticiens, enseignants et administrateurs du domaine du design industriel dans la province. Finalement, le mémoire servira de base à d’autres projets de recherche sur les changements potentiels dans la pratique du design industriel en Alberta et l’étude du design canadien et des industries de design régionales.

A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.

The Gainers Strike: Capitalist Offensive, Militancy, and the Politics of Industrial Relations in Canada

The history of Alberta's meatpacking workers is closely connected with the broader historical struggles of the working class in North America. Like their counterparts from the packinghouses in Toronto and Montreal, the workers of Calgary and Edmonton organized and fought for union recognition between 1911 and 1920, thus joining a labour revolt that was spreading throughout Europe and North America in the wake of World War I and the October Revolution. They faced stiff resistance.