Winâ Foy : functional object-oriented programming language

This thesis will introduce a new strongly typed programming language utilizing Self types, named Win--*Foy, along with a suitable user interface designed specifically to highlight language features. The need for such a programming language is based on deficiencies found in programming languages that support both Self types and subtyping. Subtyping is a concept that is taken for granted by most software engineers programming in object-oriented languages. Subtyping supports subsumption but it does not support the inheritance of binary methods. Binary methods contain an argument of type Self, the same type as the object itself, in a contravariant position, i.e. as a parameter. There are several arguments in favour of introducing Self types into a programming language (11. This rationale led to the development of a relation that has become known as matching [4, 5). The matching relation does not support subsumption, however, it does support the inheritance of binary methods. Two forms of matching have been proposed (lJ. Specifically, these relations are known as higher-order matching and I-bound matching. Previous research on these relations indicates that the higher-order matching relation is both reflexive and transitive whereas the f-bound matching is reflexive but not transitive (7]. The higher-order matching relation provides significant flexibility regarding inheritance of methods that utilize or return values of the same type. This flexibility, in certain situations, can restrict the programmer from defining specific classes and methods which are based on constant values [21J. For this reason, the type This is used as a second reference to the type of the object that cannot, contrary to Self, be specialized in subclasses. F-bound matching allows a programmer to define a function that will work for all types of A', a subtype of an upper bound function of type A, with the result type being dependent on A'. The use of parametric polymorphism in f-bound matching provides a connection to subtyping in object-oriented languages. This thesis will contain two main sections. Firstly, significant details concerning deficiencies of the subtype relation and the need to introduce higher-order and f-bound matching relations into programming languages will be explored. Secondly, a new programming language named Win--*Foy Functional Object-Oriented Programming Language has been created, along with a suitable user interface, in order to facilitate experimentation by programmers regarding the matching relation. The construction of the programming language and the user interface will be explained in detail.

"Man of science, man of faith" : Lost, consumer agency and the fate/free will binary in the post-9/11 context

In 2004, Lost debuted on ABC and quickly became a cultural phenomenon. Its postmodem take on the classic Robinson Crusoe desert island scenario gestures to a variety of different issues circulating within the post-9II1 cultural consciousness, such as terrorism, leadership, anxieties involving air travel, torture, and globalization. Lost's complex interwoven flashback and flash-forward narrative structure encourages spectators to creatively hypothesize solutions to the central mysteries of the narrative, while also thematically addressing archetypal questions of freedom of choice versus fate. Through an examination of the narrative structure, the significance of technological shifts in television, and fan cultures in Lost, this thesis discusses the tenuous notion of consumer agency within the current cultural context. Furthermore, I also explore these issues in relation to the wider historical post-9/II context.

Custom House Niagara forms, 1833

In 1833 William Clarke, the collector of customs at Niagara, completed and signed four forms for the movement of goods between Niagara and York, and Niagara and Brantford. The forms were issued to the firm of Lewis & Gray, James Armstrong, J.A. Wilks, and William Blackely. The goods being transported included scythes, corn brooms, hide whips, sacks, snuff, shovels, spades and two apple trees.

Generator Matrix Based Search for Extremal Self-Dual Binary Error-Correcting Codes

Self-dual doubly even linear binary error-correcting codes, often referred to as Type II codes, are codes closely related to many combinatorial structures such as 5-designs. Extremal codes are codes that have the largest possible minimum distance for a given length and dimension. The existence of an extremal (72,36,16) Type II code is still open. Previous results show that the automorphism group of a putative code C with the aforementioned properties has order 5 or dividing 24. In this work, we present a method and the results of an exhaustive search showing that such a code C cannot admit an automorphism group Z6. In addition, we present so far unpublished construction of the extended Golay code by P. Becker. We generalize the notion and provide example of another Type II code that can be obtained in this fashion. Consequently, we relate Becker's construction to the construction of binary Type II codes from codes over GF(2^r) via the Gray map.

Camp Niagara Field Site States Forms from July to October 1916

A set of forms which was held together by a string. The title page is brittle and crumbling. Each page is dated and signed either by the Colonel or Lieutenant Colonel A.A.G. [Assistand Adjutant General] Niagara.

Upper Semicontinuous Extensions of Binary Relations.

Suzumura shows that a binary relation has a weak order extension if and only if it is consistent. However, consistency is demonstrably not sufficient to extend an upper semi-continuous binary relation to an upper semicontinuous weak order. Jaffray proves that any asymmetric (or reflexive), transitive and upper semicontinuous binary relation has an upper semicontinuous strict (or weak) order extension. We provide sufficient conditions for existence of upper semicontinuous extensions of consistence rather than transitive relations. For asymmetric relations, consistency and upper semicontinuity suffice. For more general relations, we prove one theorem using a further consistency property and another with an additional continuity requirement.

Functional Forms and Educational Production Functions

Different Functional Forms Are Proposed and Applied in the Context of Educational Production Functions. Three Different Specifications - the Linerar, Logit and Inverse Power Transformation (Ipt) - Are Used to Explain First Grade Students' Results to a Mathematics Achievement Test. with Ipt Identified As the Best Functional Form to Explain the Data, the Assumption of Differential Impact of Explanatory Variables on Achievement Following the Status of the Student As a Low Or High Achiever Is Retained. Policy Implications of Such Result in Terms of School Interventions Are Discussed in the Paper.

Irrégularités dans la distribution des nombres premiers et des suites plus générales dans les progressions arithmétiques

Le sujet principal de cette thèse est la distribution des nombres premiers dans les progressions arithmétiques, c'est-à-dire des nombres premiers de la forme $qn+a$, avec $a$ et $q$ des entiers fixés et $n=1,2,3,\dots$ La thèse porte aussi sur la comparaison de différentes suites arithmétiques par rapport à leur comportement dans les progressions arithmétiques. Elle est divisée en quatre chapitres et contient trois articles. Le premier chapitre est une invitation à la théorie analytique des nombres, suivie d'une revue des outils qui seront utilisés plus tard. Cette introduction comporte aussi certains résultats de recherche, que nous avons cru bon d'inclure au fil du texte. Le deuxième chapitre contient l'article \emph{Inequities in the Shanks-Rényi prime number race: an asymptotic formula for the densities}, qui est le fruit de recherche conjointe avec le professeur Greg Martin. Le but de cet article est d'étudier un phénomène appelé le <>, qui s'observe dans les <>. Chebyshev a observé qu'il semble y avoir plus de premiers de la forme $4n+3$ que de la forme $4n+1$. De manière plus générale, Rubinstein et Sarnak ont montré l'existence d'une quantité $\delta(q;a,b)$, qui désigne la probabilité d'avoir plus de premiers de la forme $qn+a$ que de la forme $qn+b$. Dans cet article nous prouvons une formule asymptotique pour $\delta(q;a,b)$ qui peut être d'un ordre de précision arbitraire (en terme de puissance négative de $q$). Nous présentons aussi des résultats numériques qui supportent nos formules. Le troisième chapitre contient l'article \emph{Residue classes containing an unexpected number of primes}. Le but est de fixer un entier $a\neq 0$ et ensuite d'étudier la répartition des premiers de la forme $qn+a$, en moyenne sur $q$. Nous montrons que l'entier $a$ fixé au départ a une grande influence sur cette répartition, et qu'il existe en fait certaines progressions arithmétiques contenant moins de premiers que d'autres. Ce phénomène est plutôt surprenant, compte tenu du théorème des premiers dans les progressions arithmétiques qui stipule que les premiers sont équidistribués dans les classes d'équivalence $\bmod q$. Le quatrième chapitre contient l'article \emph{The influence of the first term of an arithmetic progression}. Dans cet article on s'intéresse à des irrégularités similaires à celles observées au troisième chapitre, mais pour des suites arithmétiques plus générales. En effet, nous étudions des suites telles que les entiers s'exprimant comme la somme de deux carrés, les valeurs d'une forme quadratique binaire, les $k$-tuplets de premiers et les entiers sans petit facteur premier. Nous démontrons que dans chacun de ces exemples, ainsi que dans une grande classe de suites arithmétiques, il existe des irrégularités dans les progressions arithmétiques $a\bmod q$, avec $a$ fixé et en moyenne sur $q$.

Monocouches peptidiques auto-assemblées et applications dans le domaine des biocapteurs de résonance de plasmon de surfaces

Ces travaux visent à étendre les applications de la résonance de plasmons de surface (SPR) L’objectif est d’offrir des outils diagnostics plus rapides, efficaces et simple d’utilisation pour diagnostiquer ou effectuer le suivi de conditions cliniques. Pour se faire, un nouveau type d’instrumentation SPR basé sur l’utilisation d’un prisme d’inversion (dove) a permis d’atteindre une limite de détection (LOD) de 10-6 unité d’indice de réfraction (RIU), une valeur comparable aux instruments commerciaux complexes tout en demeurant peu dispendieux, robuste et simple d’utilisation. Les travaux présentés dans cet ouvrage visent, dans un second temps, à réduire les interactions nonspécifiques (NSB) entre la surface des biocapteurs SPR et les composants de la matrice biologique complexe telles que: l’urine, le lysat cellulaire, le sérum et le sang. Ces dernières induisent des réponses empêchant l’utilisation de biocapteurs SPR en milieux complexes. Les acides aminés (AA) offrent une grande variété de propriétés physico-chimiques permettant la mise au point de monocouches auto-assemblées (SAM) aux propriétés diverses. Initialement, 19 des 20 acides aminés naturels ont été attachés à l’acide 3-mercaptopropionique (3-MPA) formant des SAMs peptidomimétiques. La quantité d’interactions nonspécifiques engendrées par ces différentes surfaces a été mesurée en exposant ces surfaces au sérum sanguin bovin complet variant de 400 ng/cm² jusqu’à 800 ng/cm². La détection à l’aide de ces surfaces de la β-lactamase (une enzyme responsable de la résistance aux antibiotiques au niveau μM) a démontré la possibilité d’employer ces surfaces pour bâtir des biocapteurs SPR. Des peptides de longueur allant de 2 à 5 résidus attachés à 3-MPA ont été synthétisés sur support solide. Cette étude a démontré que l’augmentation de la longueur des peptides formés d’AA résistants aux NBS accroit leur résistance jusqu’à 5 résidus. Le composé le plus performant de ce type (3-MPA-(Ser)5-OH) a permis d’atteindre 180 ng/cm². Cette valeur est similaire à celle des meilleures surfaces disponibles commercialement, notamment les surfaces de polyethylène glycol (PEG) à 100 ng/cm². Des surfaces de 3-MPA-(Ser)5-OH ont permis l’étalonnage de la β-lactamase et sa quantification directe dans un lysat cellulaire. La LOD pour ces biocapteurs est de 10 nM. Une troisième génération de surfaces peptidiques binaires a permis la réduction de la NSB jusqu’à un niveau de 23±10 ng/cm² une valeur comparable aux meilleures surfaces disponibles. Ces surfaces ont permis l’étalonnage d’un indicateur potentiel du cancer la metalloprotéinase-3 de matrice (MMP-3). Les surfaces formées de peptides binaires (3-MPA-H3D2-OH) ont permis la quantification directe de la MMP-3 dans le sérum sanguin complet. Une quatrième génération de surfaces peptidiques a permis de réduire davantage le niveau de NSB jusqu’à une valeur de 12 ± 11 ng/cm². Ces surfaces ont été modifiées en y attachant une terminaison de type acide nitriloacétique (NTA) afin d’y attacher des biomolécules marquées par six résidus histidines terminaux. Ces surfaces ont permis le développement d’une méthode rapide de balayage des ligands ciblant le « cluster of differenciation-36 » (CD36). L’étude d’électroformation des monocouches de peptide a permis de déterminer les conditions de formation optimales d’une couche de 3-MPA-HHHDD-OH permettant ainsi la formation de monocouches résistantes au NSB en moins de 6 minutes en appliquant un potentiel de formation de 200mV vs Ag/AgCl.

Sur la répartition des unités dans les corps quadratiques réels

Ce mémoire s'emploie à étudier les corps quadratiques réels ainsi qu'un élément particulier de tels corps quadratiques réels : l'unité fondamentale. Pour ce faire, le mémoire commence par présenter le plus clairement possible les connaissances sur différents sujets qui sont essentiels à la compréhension des calculs et des résultats de ma recherche. On introduit d'abord les corps quadratiques ainsi que l'anneau de ses entiers algébriques et on décrit ses unités. On parle ensuite des fractions continues puisqu'elles se retrouvent dans un algorithme de calcul de l'unité fondamentale. On traite ensuite des formes binaires quadratiques et de la formule du nombre de classes de Dirichlet, laquelle fait intervenir l'unité fondamentale en fonction d'autres variables. Une fois cette tâche accomplie, on présente nos calculs et nos résultats. Notre recherche concerne la répartition des unités fondamentales des corps quadratiques réels, la répartition des unités des corps quadratiques réels et les moments du logarithme de l'unité fondamentale. (Le logarithme de l'unité fondamentale est appelé le régulateur.)

Caractérisation spatiale des syncytia formés par le couplage des astrocytes du noyau sensoriel principal du nerf trijumeau en fonction de la concentration de calcium extracellulaire.

Le mouvement masticatoire est généré et coordonné par un générateur de patron central (GPC) situé au niveau du pont. Plusieurs résultats antérieurs de notre laboratoire soutiennent que le réseau de neurones à l’origine de la rythmogénèse est situé dans le noyau sensoriel principal du nerf trijumeau (NVsnpr). Ces mêmes expériences révèlent que des diminutions de la concentration calcique extracellulaire ([Ca2+]e) tiennent une place importante dans la génération des bouffées de décharges des neurones de cette région. Notre laboratoire tente de vérifier si la contribution des astrocytes à l’homéostasie de la concentration calcique extracellulaire est impliquée dans la genèse du rythme. Cette étude a pour but la caractérisation spatiale du syncytium astrocytaire au sein du NVsnpr dorsal et l’étude de l’effet de la [Ca2+]e sur les propriétés astrocytaires électrophysiologiques et de connectivité. Nous avons utilisés pour ce faire la technique d’enregistrement par patch-clamp sur une préparation en tranche de tronc cérébral de rat. Nous démontrons ici que la diminution de la [Ca2+]e n’affecte pas les propriétés électrophysiologiques astrocytaires, mais induit une augmentation de la taille du syncytium. De plus, nous établissons l’existence au sein du NVsnpr dorsal d’une organisation anatomofonctionnelle du réseau astrocytaire calquée sur l’organisation neuronale.

Additions nucléophiles sur des B[beta]-alkoxyaldéhydes a[alpha],a[alpha]-disubstitués formés par une réaction radicalaire de transfert de vinyle intramoléculaire

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

Circuitos, perturbaciones y transformaciones de la modernidad/colonialidad : análisis discursivo en contextos chilenos y canadienses

La présente étude constitue une analyse comparative de discours qui articulent la problématique de l’héritage coloniale et des réclamations autochtones au Chili et au Canada : des livres de texte de sciences sociales, des discours d’opinion et des discours autochtones. Nous proposons que les similitudes surprenantes qui ont été révélées par les contextes nationaux canadiens et chiliens peuvent être expliquées, en partie, par leur articulation avec le discours globalisé de la modernité/colonialité. D’une part, les textes scolaires et les discours d’opinion font circuler des éléments discursifs de la modernité, tout en reproduisant des formes de savoir et de dire coloniaux. D’autre part, les discours autochtones se ressemblent entre eux dans la mesure où ils interpolent la modernité/colonialité transformant ainsi les termes d’engagement interculturel. Bien que les états canadiens et chiliens renforcent leur engagement à l’égard de la réconciliation avec les Autochtones durant les dernières décennies, les conflits interculturels continuent à se produire en impliquant toujours les mêmes acteurs : l’état, différents peuples autochtones, des entreprises privées, ainsi que des membres de l’élite intellectuelle, politique et patronale. En prenant en compte cette situation, l’objectif de cette thèse vise à mieux comprendre pourquoi ces conflits, loin d’être résolus, continuent à se reproduire. Dans ces deux pays, la problématique des conflits interculturels est fondamentalement mise en rapport avec la question des droits territoriaux et, par conséquent, sont inséparables de la question de l’héritage coloniale des états nationaux canadien et chilien. Pourtant cette dimension coloniale des conflits a tendance à être cachée autant par la rhétorique multiculturelle du discours national que par les polarisations produites par l’opinion publique, lesquelles ont l’habitude d’encadrer la problématique par des notions binaires, telles que « civilisation/barbarie » ou « authenticité/illégitimité ». De plus, on peut considérer l’ouest du Canada et le sud du Chili comme étant des contextes comparables, puisque ceux-ci ont été colonisés avec la base du discours moderne du progrès et de la civilisation, qui a servi à légitimer l’expansion de l’état national au dix-neuvième siècle. Cependant, il n’existe que très peu d’études qui comparent les productions discursives relatives aux relations interculturelles entre Autochtones et non Autochtones dans les contextes canadiens et chiliens, possiblement à cause des différences linguistiques, sociohistoriques et politiques qui paraissent insurmontables.

Propriétés électrophysiologiques des canaux ioniques formés par la toxine nématicide Cry5Ba du bacille de Thuringe dans les bicouches lipidiques planes

Les toxines Cry sont des protéines synthétisées sous forme de cristaux par la bactérie bacille de Thuringe pendant la sporulation. Elles sont largement utilisées comme agents de lutte biologique, car elles sont toxiques envers plusieurs espèces d’invertébrées, y compris les nématodes. Les toxines Cry5B sont actives contre certaines espèces de nématodes parasites, y compris Ankylostoma ceylanicum un parasite qui infeste le système gastro-intestinal des humains. Jusqu’au présent, le mode d’action des toxines Cry nématicides reste grandement inconnu, sauf que leurs récepteurs spécifiques sont des glycolipides et qu’elles causent des dommages importants aux cellules intestinales. Dans cette étude, on démontre pour la première fois que la toxine nématicide Cry5Ba, membre de la famille des toxines à trois domaines et produite par la bactérie bacille de Thuringe, forme des pores dans les bicouches lipidiques planes en absence de récepteurs. Les pores formés par cette toxine sont de sélectivité cationique, à pH acide ou alcalin. Les conductances des pores formés sous conditions symétriques de 150 mM de KCl varient entre 17 et 330 pS, à pH 6.0 et 9.0. Les niveaux des conductances les plus fréquemment observés diffèrent les uns des autres par environ 17 à 18 pS, ce qui est compatible avec l’existence d’arrangement d’un nombre différent de pores élémentaires similaires, activés de façon synchronisée, ou avec la présence d’oligomères de tailles variables et de différents diamètres de pores.

Auto-reflexividad, erografía y leitmotivs liminales en la producción narrativa de Mayra Santos-Febres (1995-2009)

La recherche, construction et révision de l’identité nationale ont très longtemps constitué les éléments propulseurs de la production littéraire et intellectuelle de Porto Rico. Pourtant vers le milieu des années 90, un nouveau consensus émerge entre les écrivains qui revendiquent massivement la fin de la littérature en tant que lieu d’où forger la conscience nationale et refuse le leadership intellectuel qui avait jusqu’alors définit le travail littéraire. Les auteurs qui commencent à se manifester à ce moment se désintéressent du nationalisme comme thème littéraire. Le militantisme politique et la volonté de confrontation, modes représentationnels caractéristiques de la génération antérieure, disparaissent pour laisser place à une écriture exploratoire, centrée sur ses propres procédés, et apparemment apolitique. Une telle perte d’ancrages nationaux et territoriaux est significative de la conscience exacerbée que possèdent ces écrivains de la complexité des dynamiques culturelles qui régissent le monde postmoderne et globalisé, ainsi que de la « valeur » et de la position « marginale » qu’on leur attribue dans l’écologie mass-médiatique culturelle actuelle. La production narrative de Mayra Santos-Febres est paradigmatique de ces changements. J’aborde dans son écriture une série de dispositifs métalittéraires, autoréflexifs, « érographiques », et historiographiques qui, bien qu’ils résistent à une catégorisation homogène, démontrent un même intérêt pour des phénomènes interstitiels. En me basant sur les concepts de liminalité, principalement depuis la perspective de Victor Turner et d’écriture auto-réflexive (Patricia Waugh, Linda Hutcheon), j’analyse le positionnement liminal qu’assume Santos-Febres dans la structure culturelle globalisée actuelle, et la façon dont sa prise de position, également liminale, c’est-à-dire, sa prise de parole et son engagement se traduisent par un rapprochement narcissique à l’exercice littéraire autant dans les formes qu’elle crée qu’au niveau sémantique, narratif et discursif. Le premier chapitre analyse les contes « Dilcia M. » et « Acto de Fe » (Pez de vidrio) comme témoignages de l’érosion du patriotisme et militantisme antérieur; « La escritora» (Pez de vidrio) qui marque pour l’auteure un passage vers une esthétique centrée sus ses propres procédés créatifs; et le roman Cualquier miércoles soy tuya qui dramatise le positionnement assumé par les écrivains dans la chaine culturelle globalisée actuelle. Le second chapitre aborde la configuration des corps, espaces urbains et de l’écriture dans El cuerpo correcto qui, à travers une exubérance sexuelle/textuelle, projette des variantes réactualisées de la traditionnelle dichotomie corps/écriture. Le troisième chapitre se penche sur la configuration du travesti dans Sirena Selena vestida de pena. J’y propose de voir le travestisme, le boléro et l’écriture comme un triple exercice métalittéraire. Le dernier chapitre aborde le procédé de re-signification littéraire des images sédimentées de subordination et d’infériorité de sujet « noir ». Nuestra Señora de la Noche se penche sur la re-signification de l’hyper-sexualisation et « exotisation » qui a cimenté la construction de « l’immoralité » de la femme noire. Fe en disfraz aborde le sadomasochisme comme espace de re-signification des schèmes de domination et soumission inscrits dans l’histoire esclavagiste de Porto Rico et du trauma qui origine, et subsiste, d’une telle hiérarchie.