Object-Oriented Genetic Programming for the Automatic Inference of Graph Models for Complex Networks

Complex networks are systems of entities that are interconnected through meaningful relationships. The result of the relations between entities forms a structure that has a statistical complexity that is not formed by random chance. In the study of complex networks, many graph models have been proposed to model the behaviours observed. However, constructing graph models manually is tedious and problematic. Many of the models proposed in the literature have been cited as having inaccuracies with respect to the complex networks they represent. However, recently, an approach that automates the inference of graph models was proposed by Bailey [10] The proposed methodology employs genetic programming (GP) to produce graph models that approximate various properties of an exemplary graph of a targeted complex network. However, there is a great deal already known about complex networks, in general, and often specific knowledge is held about the network being modelled. The knowledge, albeit incomplete, is important in constructing a graph model. However it is difficult to incorporate such knowledge using existing GP techniques. Thus, this thesis proposes a novel GP system which can incorporate incomplete expert knowledge that assists in the evolution of a graph model. Inspired by existing graph models, an abstract graph model was developed to serve as an embryo for inferring graph models of some complex networks. The GP system and abstract model were used to reproduce well-known graph models. The results indicated that the system was able to evolve models that produced networks that had structural similarities to the networks generated by the respective target models.

‘Designer Vaginas': The Representation of Female Genitals on Canadian Cosmetic Surgeons' Websites

This thesis critically examines the online marketing tactics of 10 (English language) Canadian cosmetic surgery clinics’ websites that offer Female Genital Cosmetic Surgery (FGCS), specifically, labiaplasty (labial reduction) and vaginoplasty (vaginal tightening). Drawing on a qualitative Multimodal Critical Discourse Analysis (MCDA) and a feminist-informed social constructionist framework (Lazar, 2007), I examine how FGCS discourses reiterate and reinforce heteronormative sexual scripts for women, and impose restrictive models of femininity through the pathologization of genital diversity and the appropriation of postfeminist and neoliberal discourses of individual choice and empowerment. I explore feminist analyses of the links between FGCS and contemporary Western women’s postfeminist subjectivity, and the reconfiguration of women’s sexual agency, to better understand what these contemporary shifts may mean for women’s sexual anxiety and expression. My analysis highlights several discourses that organize the online marketing material of Canadian FGCS websites, including: the pathologization of genital diversity; restrictive models of femininity; heteronormative sexual scripts; neoliberal and post-feminist rhetorics of individual choice and empowerment; and psychological and sexual transformation. Overall, these discourses undermine acceptance of women’s genital diversity, legitimize the FGCS industry and frame FGCS as the only viable solution to alleviate women’s genital and sexual distress despite the lack of evidence regarding the long-term benefits and risks of these procedures, and the recommendations against FGCS by professional medical organizations.

A Representation Theorem for Domains with Discrete and Continuous Variables.

This paper proves a new representation theorem for domains with both discrete and continuous variables. The result generalizes Debreu's well-known representation theorem on connected domains. A strengthening of the standard continuity axiom is used in order to guarantee the existence of a representation. A generalization of the main theorem and an application of the more general result are also presented.

ARMA Representation of Integrated and Realized Variances

This paper derives the ARMA representation of integrated and realized variances when the spot variance depends linearly on two autoregressive factors, i.e., SR SARV(2) models. This class of processes includes affine, GARCH diffusion, CEV models, as well as the eigenfunction stochastic volatility and the positive Ornstein-Uhlenbeck models. We also study the leverage effect case, the relationship between weak GARCH representation of returns and the ARMA representation of realized variances. Finally, various empirical implications of these ARMA representations are considered. We find that it is possible that some parameters of the ARMA representation are negative. Hence, the positiveness of the expected values of integrated or realized variances is not guaranteed. We also find that for some frequencies of observations, the continuous time model parameters may be weakly or not identified through the ARMA representation of realized variances.

On the Manipulability of Proportional Representation

This paper presents a new model of voter behaviour under methods of proportional representation (PR). We abstract away from rounding, and assume that a party securing k percent of the vote wins exactly k percent of the available seats. Under this assumption PR is not manipulable by any voter aiming at maximisation of the number of seats in the parliament of her most preferred party. However in this paper we assume that voters are concerned, first and foremost, with the distribution of power in the post-election parliament. We show that, irrespective of which positional scoring rule is adopted, there will always exist circumstances where a voter would have an incentive to vote insincerely. We demonstrate that a voter’s attitude toward uncertainty can influence her incentives to make an insincere vote. Finally, we show that the introduction of a threshold - a rule that a party must secure at least a certain percentage of the vote in order to reach parliament - creates new opportunities for strategic voting. We use the model to explain voter behaviour at the most recent New Zealand general election.

Peinture de lumière incidente dans des scènes 3D

Le design d'éclairage est une tâche qui est normalement faite manuellement, où les artistes doivent manipuler les paramètres de plusieurs sources de lumière pour obtenir le résultat désiré. Cette tâche est difficile, car elle n'est pas intuitive. Il existe déjà plusieurs systèmes permettant de dessiner directement sur les objets afin de positionner ou modifier des sources de lumière. Malheureusement, ces systèmes ont plusieurs limitations telles qu'ils ne considèrent que l'illumination locale, la caméra est fixe, etc. Dans ces deux cas, ceci représente une limitation par rapport à l'exactitude ou la versatilité de ces systèmes. L'illumination globale est importante, car elle ajoute énormément au réalisme d'une scène en capturant toutes les interréflexions de la lumière sur les surfaces. Ceci implique que les sources de lumière peuvent avoir de l'influence sur des surfaces qui ne sont pas directement exposées. Dans ce mémoire, on se consacre à un sous-problème du design de l'éclairage: la sélection et la manipulation de l'intensité de sources de lumière. Nous présentons deux systèmes permettant de peindre sur des objets dans une scène 3D des intentions de lumière incidente afin de modifier l'illumination de la surface. De ces coups de pinceau, le système trouve automatiquement les sources de lumière qui devront être modifiées et change leur intensité pour effectuer les changements désirés. La nouveauté repose sur la gestion de l'illumination globale, des surfaces transparentes et des milieux participatifs et sur le fait que la caméra n'est pas fixe. On présente également différentes stratégies de sélection de modifications des sources de lumière. Le premier système utilise une carte d'environnement comme représentation intermédiaire de l'environnement autour des objets. Le deuxième système sauvegarde l'information de l'environnement pour chaque sommet de chaque objet.

Alternative Time Representation in Dopamine Models

Groupe de recherche sur le système nerveux central, Département d'informatique et de recherche opérationnelle, Département de physiologie.

Modes de représentation pour l'éclairage en synthèse d'images

Réalisé en cotutelle avec l'Université Bordeaux 1 (France)

Training deep convolutional architectures for vision

Les tâches de vision artificielle telles que la reconnaissance d’objets demeurent irrésolues à ce jour. Les algorithmes d’apprentissage tels que les Réseaux de Neurones Artificiels (RNA), représentent une approche prometteuse permettant d’apprendre des caractéristiques utiles pour ces tâches. Ce processus d’optimisation est néanmoins difficile. Les réseaux profonds à base de Machine de Boltzmann Restreintes (RBM) ont récemment été proposés afin de guider l’extraction de représentations intermédiaires, grâce à un algorithme d’apprentissage non-supervisé. Ce mémoire présente, par l’entremise de trois articles, des contributions à ce domaine de recherche. Le premier article traite de la RBM convolutionelle. L’usage de champs réceptifs locaux ainsi que le regroupement d’unités cachées en couches partageant les même paramètres, réduit considérablement le nombre de paramètres à apprendre et engendre des détecteurs de caractéristiques locaux et équivariant aux translations. Ceci mène à des modèles ayant une meilleure vraisemblance, comparativement aux RBMs entraînées sur des segments d’images. Le deuxième article est motivé par des découvertes récentes en neurosciences. Il analyse l’impact d’unités quadratiques sur des tâches de classification visuelles, ainsi que celui d’une nouvelle fonction d’activation. Nous observons que les RNAs à base d’unités quadratiques utilisant la fonction softsign, donnent de meilleures performances de généralisation. Le dernière article quand à lui, offre une vision critique des algorithmes populaires d’entraînement de RBMs. Nous montrons que l’algorithme de Divergence Contrastive (CD) et la CD Persistente ne sont pas robustes : tous deux nécessitent une surface d’énergie relativement plate afin que leur chaîne négative puisse mixer. La PCD à "poids rapides" contourne ce problème en perturbant légèrement le modèle, cependant, ceci génère des échantillons bruités. L’usage de chaînes tempérées dans la phase négative est une façon robuste d’adresser ces problèmes et mène à de meilleurs modèles génératifs.

Dimensions des représentations du concept de Temps dans treize classes du préscolaire et du premier cycle du primaire au Québec

Depuis la rentrée scolaire de septembre 2002, les écoles primaires québécoises doivent composer avec une nouvelle organisation des programmes ainsi qu’avec de nouveaux contenus. Au premier cycle, en univers social, la compétence visée est « Construire sa représentation de l’espace, du temps et de la société » (MEQ, 2001). Or, nous savons que, pour bâtir un enseignement qui a pour but de guider un individu dans la construction de sa représentation, il est nécessaire d’avoir conscience de ses représentations initiales de l’objet. Mais, quelles sont les représentations du temps des élèves de maternelle et de premier cycle du primaire au Québec? C’est la question que nous nous posons dans cette thèse. Pour y répondre, nous avons cherché à circonscrire le temps dont il est question en proposant une réflexion théorique sur son essence et en analysant les sens qu’il prend dans le programme. Puis, nous avons mis en place une méthodologie et les outils lui étant nécessaires pour dégager les dimensions de représentations présentes dans les discours de 164 sujets de maternelle, de première et de deuxième année, répartis sur 13 classes d’écoles de la grande région montréalaise. À l’issue de cette recherche, nous pouvons proposer aux chercheurs et aux enseignants une nouvelle liste de dimensions de représentations du temps adaptée au contexte québécois actuel. Cette liste nous permet de dépeindre le paysage des représentations du temps des élèves des classes que nous avons visitées. Enfin, riche de nos résultats, nous pouvons émettre quelques remarques et principes pour l’enseignement du temps en classe.

Analyse de la constitution et de l'effectivité de deux personnalités publiques au Québec : éléments d'une problématique du mémoriel

Cette thèse propose une approche du mémoriel qui interroge la production de la mémoire dans son caractère processuel. Elle comporte trois caractéristiques principales. D’abord, elle met l’accent sur une pluralité des temps qui participe de la production de la mémoire (mais aussi de l’instauration de collectivités et de la production de leurs continuités). Elle place aussi les processus de représentation au cœur de ses questionnements – notamment, elle met l’accent sur les manières par lesquelles la mémoire est constituée par la représentation (au lieu d’examiner les manières par lesquelles la mémoire est représentée). Enfin, elle interroge les manières par lesquelles la production de la mémoire concourt à délimiter, entretenir et faire être des collectivités, et quelles formes de collectivisation sont à cet égard réalisées. Le premier chapitre expose cette approche de la mémoire en constraste avec une présentation de trois grandes familles d’approches – les approches de la mémoire collective, celles de la mémoire culturelle et les approches présentistes – qui appréhendent la mémoire comme un construit. Il explique aussi comment je mets le mémoriel à profit dans une analyse de surface qui appréhende la constitution des représentations par lesquelles l’ex-hockeyeur Maurice Richard et l’ex-animatrice et auteure Janette Bertrand sont établis comme personnalités publiques, par le biais de technologies et de figures d’individualité publique qui les font être de manières singulières. Dans cette optique, je réalise, dans le deuxième chapitre, une analyse de la constitution de Maurice Richard comme héros, et dans le troisième, un examen de la constitution de Janette Bertrand comme pionnière. Dans le quatrième et dernier chapitre, je constate notamment les effectivités respectives des technologies et des procédés de représentation par lesquels des personnalités publiques sont instaurées. Je mets aussi en lumière que ces technologies et les éléments qu’elles produisent, traversent et mettent en relation, s’appréhendent à chaque fois dans la singularité de leurs rencontres. Je conclus ensuite en mettant en lumière les manières par lesquelles mon approche du mémoriel contribue aux études de la mémoire, lesquelles sont l’objet d’une disciplinarisation croissante.

Histoire, Révolution et esthétique : le temps et ses représentations dans le Tableau de Paris et le Nouveau Paris de Louis Sébastien Mercier

Thèse réalisée en cotutelle avec l'Université Paris-Sorbonne (Paris IV), sous la direction de M. Michel Delon.

Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

La racialisation comme constitution de la différence : une ethnographie documentaire de la santé publique aux États-Unis

On note de nos jours une intensification, aux États-Unis, de l’usage de la race en santé publique, une idée qui est parfois rejetée dans la mesure où elle est associée à des pratiques controversées. Les races sont vues, dans ce contexte, comme le produit du racisme, une technologie du pouvoir de l’État moderne qui a consisté à fragmenter l’humanité pour permettre les colonisations. C'est ainsi que la race a été prise en charge par le discours pour marquer la différence, discours qui est constitué d'un ensemble hétérogène de dispositifs, des institutions, des énoncés scientifiques, des normes et des règles. Le racisme s’est développé en parallèle avec l'affirmation d'un pouvoir sur la vie visant à assurer la gestion des corps et des populations, notamment par le biais des pratiques de santé publique. Cette thèse s'appuie sur une étude ethnographique réalisée sur un corpus de documents de la santé publique parus aux États-Unis et issus de bureaux fédéraux et d’une importante revue spécialisée dans le domaine sanitaire, et qui ont été publiés entre 2001 et 2009. Cette étude a analysé la manière dont la race est représentée, produite comme objet de connaissance, et régulée par les pratiques discursives dans ces documents. Les résultats confirment que le discours sur la race varie au cours du temps. Toutefois, les résultats indiquent la relative permanence en santé publique d'un régime racialisé de représentation qui consiste à identifier, à situer et à opposer les sujets et les groupes à partir de labels standardisés. Ce régime est composé d'un ensemble de pratiques représentationnelles qui, couplées aux techniques disciplinaires et à l’idée de culture, aboutissent à la caractérisation et à la formation d’objets racialisés et à des stéréotypes. De plus, cet ensemble d’opérations qui fabrique la racialisation, a tendance, avec la sanitarisation et la culturalisation, à naturaliser la différence, à reproduire l’ordre symbolique et à constituer les identités raciales. Par ailleurs, la racialisation apparaît tiraillée entre un pouvoir sur la vie et un pouvoir sur la mort. Enfin, cette étude propose une alternative postraciale qui envisage la constitution des groupes humains de manière fluide et déterritorialisée.

Représentation de trajectoires spatiotemporelles dans un système d’information géographique : le cas des activités d’observation de mammifères marins dans le Parc marin du Saguenay – Saint-Laurent

Parc marin du Saguenay - Saint-Laurent, Groupe de recherche et d'éducation sur les mammifères marins, GREMM, excursions aux baleines, bélugas, Tadoussac, règlementation, ArcCatalog, ArcMap.