Enabling and Measuring Complexity in Evolving Designs using Generative Representations for Artificial Architecture

As the complexity of evolutionary design problems grow, so too must the quality of solutions scale to that complexity. In this research, we develop a genetic programming system with individuals encoded as tree-based generative representations to address scalability. This system is capable of multi-objective evaluation using a ranked sum scoring strategy. We examine Hornby's features and measures of modularity, reuse and hierarchy in evolutionary design problems. Experiments are carried out, using the system to generate three-dimensional forms, and analyses of feature characteristics such as modularity, reuse and hierarchy were performed. This work expands on that of Hornby's, by examining a new and more difficult problem domain. The results from these experiments show that individuals encoded with those three features performed best overall. It is also seen, that the measures of complexity conform to the results of Hornby. Moving forward with only this best performing encoding, the system was applied to the generation of three-dimensional external building architecture. One objective considered was passive solar performance, in which the system was challenged with generating forms that optimize exposure to the Sun. The results from these and other experiments satisfied the requirements. The system was shown to scale well to the architectural problems studied.

Determinants and Consequences of Dehumanization: An Interspecies Model of Prejudice

Dehumanizing ideologies that explicitly liken other humans to “inferior” animals can have negative consequences for intergroup attitudes and relations. Surprisingly, very little is known about the causes of dehumanization, and essentially no research has examined strategies for reducing dehumanizing tendencies. The Interspecies Model of Prejudice specifies that animalistic dehumanization may be rooted in basic hierarchical beliefs regarding human superiority over animals. This theoretical reasoning suggests that narrowing the human-animal divide should also reduce dehumanization. The purpose of the present dissertation, therefore, was to gain a more complete understanding of the predictors of and solutions to dehumanization by examining the Interspecies Model of Prejudice, first from a layperson’s perspective and then among young children. In Study 1, laypeople strongly rejected the human-animal divide as a probable cause of, or solution to, dehumanization, despite evidence that their own personal beliefs in the human-animal divide positively predicted their dehumanization (and prejudice) scores. From Study 1, it was concluded that the human-animal divide, despite being a robust empirical predictor of dehumanization, is largely unrecognized as a probable cause of, or solution to, dehumanization by non-experts in the psychology of prejudice. Studies 2 and 3 explored the expression of dehumanization, as well as the Interspecies Model of Prejudice, among children ages six to ten years (Studies 2 and 3) and parents (Study 3). Across both studies, White children showed evidence of racial dehumanization by attributing a Black child target fewer “uniquely human” characteristics than the White child target, representing the first systematic evidence of racial dehumanization among children. In Study 3, path analyses supported the Interspecies Model of Prejudice among children. Specifically, children’s beliefs in the human-animal divide predicted greater racial prejudice, an effect explained by heightened racial dehumanization. Moreover, parents’ Social Dominance Orientation (preference for social hierarchy and inequality) positively predicted children’s human-animal divide beliefs. Critically, these effects remained significant even after controlling for established predictors of child-prejudice (i.e., parent prejudice, authoritarian parenting, and social-cognitive skills) and relevant child demographics (i.e., age and sex). Similar patterns emerged among parent participants, further supporting the Interspecies Model of Prejudice. Encouragingly, children reported narrower human-animal divide perceptions after being exposed to an experimental prime (versus control) that highlighted the similarities among humans and animals. Together the three studies reported in this dissertation offer important and novel contributions to the dehumanization and prejudice literature. Not only did we find the first systematic evidence of racial dehumanization among children, we established the human-animal divide as a meaningful dehumanization precursor. Moreover, empirical support was obtained for the Interspecies Model of Prejudice among diverse samples including university students (Study 1), children (Studies 2 and 3), and adult-aged samples (Study 3). Importantly, each study also highlights the promising social implication of targeting the human-animal divide in interventions to reduce dehumanization and other prejudicial processes.

The Implications of Forager Behaviour for Social Organisation in a Socially Polymorphic Carpenter Bee (Xylocopa virginica)

In social Hymenoptera, the division of labour is a major step in the evolution of sociality. Bees, which express many different kinds of sociality, can be classified according to how individuals share or do not share foraging and reproductive activities (Michener, 1974). The large carpenter bee, Xylocopa virginica, lives in populations with both solitary and social nests. In social nests, reproduction is controlled by the dominant female, who does all of her own foraging and egg-laying, while the subordinates guard the nest only. This study examined foraging behaviour as a way to classify the social hierarchy. Individual females were marked, measured and intensely observed for the foraging season. It was found that a large number of subordinates forage and likely obtain more reproductive fitness than previously thought. The dominance hierarchy is very likely a social queue, in which bees take turns foraging and egg-laying.

Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Sir Isaac Brock Facial Reconstruction Project, n.d.

Christian Cardell Corbet, a descendant of Guernsey, Channel Islands, was born in 1966 at Pickering Beach on Lake Ontario. He developed his talents as a landscape artist and at the young age of 14 he began his informal education in commercial signage from his paternal grandfather. He studied at the University of Guelph and McMaster University Anatomy Laboratory. Corbet traveled to England where he began to experiment more in abstraction and non-objective work. In 1995, he presented a portrait of HM Queen Elizabeth the Queen Mother at Clarence House. This brought his career to an international level. He also creates two-dimensional works and has received acclaim for his bronze art medallions. He has gained international recognition as a Forensic Artist working as Artist in Residence for the University of Western Ontario. He does facial reconstructions for special assignments. These original drawings relate to a sculpted medallion of Brock which was authorized by Sir Geoffrey Rowland, Bailiff, Guernsey, Channel Islands and Minister of Education of the States of Guernsey. This is the first time in known recorded history that a forensic analysis and sculpture has been created to accurately depict the facial likeness of Sir Isaac Brock. This project has been established to mark the 2012 anniversary of the death of Brock.

Exploring Academic (Di)stress and Help-Seeking in Faculty of Education Students

This is a study of education students’ conceptions of and experiences with academic stress and help-seeking. The study explored teacher education and Master of Education students’ academic stress by examining causes of academic stress and how these stressors affect students’ academic and university experiences. Stress-related help-seeking was also a focus of this study, and was explored using inquiries regarding where participants sought stress-related support. Additionally, exploring students’ use of the Internet for stress-related information or support was a goal of this study. These research goals were pursued using a qualitative methodology that applied grounded theory design. Consequently, data were used to develop a theory that would contribute to existing literature. Specifically, participant descriptions related to causes of and responses to academic stress aligned with Maslow’s (1954) theory of human motivation and Alderfer’s (1969) E. R. G. theory, and led to theoretical contributions that took a hierarchy of student needs and motivation into consideration.

The Impact of Mindfulness Meditation on Educator Growth and Professional Development: A Personal Account

This study examined the use of mindfulness meditation in educator growth and professional development. The purpose was to create recommendations for an effective mindfulness meditation practice for educators. To this end, as the researcher is an educator as well as an experienced mindfulness meditation practitioner, the research methodology was self-study through narrative inquiry. The exploration of mindfulness meditation on the researcher’s personal and professional development was viewed through the lenses of Maslow’s hierarchy of needs and Mezirow’s transformational learning theory. These theories provided an analytical framework that guided this research. Themes were drawn from the exploration and connected with academic literature. The results were a mindfulness meditation framework for educators that is based on the Socratic Method, and utilizes the conceptual frameworks of Maslow’s hierarchy of needs and Mezirow’s transformational learning theory.

Methodology in Economics: the Logic of Appraisal

This Paper Intends to Develop a Coherent Methodological Framework Concerned with the Appraisal of Scientific Theories in Economics, and Which Is Based on a Postulated Aim of Science. We First Define the Scope of a Methodological Inquiry (Precise Definition of What Is Meant by the Logic of Appraisal of Scientific Theories) and Review the Work of Popper and Lakatos in the Philosophy of Science. We Then Use Their Results to Develop a Rational Structure of Scientific Activity. We Identify and Analyse Both a Micro and Macro Framework for the Process of Appraisal and Single Out the Importance of So-Called 'Fundamental Assumptions' in Creating Externalities in the Appraisal Process Which Forces Us to Adop a Multi-Level Analysis. Special Attention Is Given to the Role and Significance of the Abstraction Process and the Use of Assumptions in General. the Proposed Structure of Scientific Activity Is Illustrated with Examples From Economics.

Quelques réflexions sur le rôle de l’histoire dans la détermination des droits ancestraux ou issus de traités

La jurisprudence portant sur les droits ancestraux ou issus de traités des peuples autochtones fait peu de place aux ordres juridiques antérieurs à la création de colonies françaises ou anglaises. Les tribunaux s’accordent d’ailleurs une très grande discrétion dans l’utilisation de ces normes ; ils assurent également la prééminence du système juridique canadien. Ils ménagent toutefois un meilleur accueil aux récits traditionnels qui sont susceptibles de constituer des éléments de preuve. Par ailleurs, antérieurement au XIXe siècle, les peuples autochtones jouissent de droits de nature internationale ; les traités conclus avec eux résultent souvent de négociations orales. Les droits qui en résultent sont maintenant constitutionnalisés, ce qui écarte certaines conceptions de l’époque comme celle voulant que les gouvernements étaient libres de faire abstraction de ces engagements. Par ailleurs, les litiges actuels soulèvent des questions qui n’étaient pas susceptibles de se poser il y a deux siècles. Dans ces conditions, l’histoire ne peut fournir de réponses définitives ou univoques.

Ancrage de l'idéologie de l'Union des producteurs agricoles et de l'utopie de l'Union paysanne dans des significations imaginaires sociales.

Le but de cette thèse est de découvrir l'idéologie de l'Union des producteurs agricoles et l'utopie de l'Union paysanne et de les interpréter à la lumière de "significations imaginaires sociales" déterminantes de notre période historique. Dans la première partie de notre thèse, nous présentons l'évolution de l'imaginaire social du syndicalisme agricole québécois de 1924 à 2005. Nous distinguons quatre périodes et notre étude s'attarde à la dernière, c'est-à-dire celle qui débute en 2001 avec la naissance de l'Union paysanne. Afin d'étudier cette période nous présentons d'abord l'imaginaire social de la société, c'est-à-dire une configuration de significations imaginaires sociales (SIS) - des "idées-valeurs" générales et "englobantes" - qui fait qu'une société est ce qu'elle est et qu'elle ne pourrait être autrement compte tenu de son noyau de SIS. Ensuite, nous constatons que les travaux d'auteurs importants nous permettent de parler de niveaux et types d'imaginaires sociaux et d'établir des relations entre ces niveaux et formes d'imaginaires sociaux. C'est par l'entremise de la problématique générale agriculture-ruralité que nous démontrons, dans la deuxième partie de cette thèse, que des imaginaires sociaux "intermédiaires" - l'idéologie de l'UPA et l'utopie de la "minorité active", l'UP - permettent, en les ancrant dans quelqu'un et dans quelque chose, d'une part de découvrir les SIS de l'imaginaire social de la société et, d'autre part, de comprendre et d'interpréter ces deux imaginaires sociaux à la lumière des SIS. La problématique agriculture-ruralité est "opérationnalisée" à l'aide des trois dimensions suivantes: rapport à soi, rapport à l'autre et rapport à la nature. Le rapport à soi dévoile que la sphère du travail de l'agriculteur-éleveur dans l'idéologie de l'UPA correspond à la "sphère de la nécessité" qui implique notamment l'hétéronomie des agriculteurs, alors que l'utopie de l'UP la souhaite à la fois comme "sphère de la nécessité" et comme sphère de l'autonomie. Le rapport à l'autre permet de découvrir une utopie préconisant l'égalité des chances entre différents types d'agriculteurs et d'agricultures et entre la relève et les agriculteurs établis ainsi que l'égalité politique en territoire rural agricole. Dans l'idéologie de l'UPA, l'inégalité des chances et l'inégalité politique sont discutables mais inéluctables. Enfin, abstraction faite des nuances, la relation agriculture et nature est à l'utopie de l'UP ce que la relation agriculture ou nature est à l'idéologie de l'UPA. La construction partielle de l'idéologie et de l'utopie, nous permet, dans la troisième et dernière partie de cette thèse, d'y découvrir les SIS et de démontrer que l'utopie trouve son sens et sa cohérence en l'interprétant par l'entremise du naturalisme-écologie, de l'"autonomie" et de l'"autolimitation" comme SIS dominantes et de l'"expansion illimitée de la maîtrise rationnelle" (technique) et du capitalisme (économique) comme SIS "secondaires". Nous découvrons l'inverse dans l'idéologie de l'UPA. Les SIS dominantes et les SIS "secondaires" de l'utopie de l'UP sont respectivement les SIS secondaires et les SIS dominantes sous-jacentes à l'idéologie de l'UPA, ce qui correspond à la configuration des SIS dominantes de l'imaginaire social des sociétés constitutives de l'Occident contemporain.

Rapport au travail et dynamique de transformation du métier d'ingénieur dans le contexte algérien: le cas de l'entreprise Sonatrach

Cette recherche a pour objet l'étude de la dynamique de transformation du métier d'ingénieur dans le contexte algérien saisi à travers le rapport au travail. Elle repose sur une approche théorique s'inspirant d'une sociologie des groupes professionnels avec une démarche alliant méthodes quantitatives et qualitatives. Prenant appui sur des données recueillies à l'aide d'un questionnaire et d'entretiens approfondis menés dans Sonatrach, la plus grande entreprise d'Algérie, notre étude s'est attachée à faire ressortir les facteurs qui agissent au niveau individuel, organisationnel et sociétal sur les pratiques professionnelles pour deux générations d'ingénieurs. La première a eu pour mission de bâtir le pays à travers les grands projets de développement qui ont caractérisé la période après l'indépendance. La deuxième est arrivée sur le marché de l'emploi, à la fin des années 80, dans un contexte de crise et a payé un lourd tribut à la détérioration de la conjoncture économique. Les pratiques professionnelles se construisent tout d'abord dans le travail, mais aussi dans l'exercice des activités quotidiennes, les relations avec les autres et enfin la satisfaction à l'égard du travail. Tels ont été les points focaux de notre démarche d'explicitation du rapport au travail chez nos ingénieurs. Nous avons mis en lumière l'effet de la position hiérarchique au sein de l'organisation et des types de fonction. La satisfaction tient de la fierté d'appartenir à une entreprise prestigieuse. Chez les jeunes, elle s'exprime aussi dans les avantages matériels et une vision du métier fondée sur la maîtrise technique. Les plus âgés, encore marqués par l'idéologie nationaliste, mettent l'accent sur la participation à l'édification du pays, mais aussi sur la réalisation de soi et la fidélité à l'entreprise. Le rapport au travail s'élabore également au fil du temps dans son cheminement professionnel. Nous l'avons abordé, dans une deuxième étape, en documentant les processus d'intégration et de mobilité au sein de l'entreprise. Les trajectoires professionnelles sont régies par des politiques et des procédures de gestion qui en définissent les modalités, mais elles obéissent également à des opportunités et à des pratiques informelles qui jouent un rôle tout aussi important dans la détermination des profils de carrière. Enfin, le rapport au travail est tributaire de facteurs qui dépassent le cadre de l'entreprise. Dans une troisième étape, nous avons analysé les transformations du système éducatif et leur impact sur la certification des ingénieurs, la crise économique et ses effets en termes de chômage et de précarité et enfin la montée du discours religieux et ses manifestations chez les ingénieurs. Ces facteurs liés au contexte sociétal modifient les représentations et modèlent les attitudes et comportements au travail et à l'égard de celui-ci. Comme le montre notre recherche, le rapport au travail articule, dans une composition complexe, parcours individuels et histoires collectives vécus dans des environnements en évolution. La pratique d'un métier se trouve liée aux différents contextes de socialisation qui traversent les individus. Elle se situe, dans le cas algérien, au croisement d'une formation scientifique et technique qui montre peu de réactivité aux besoins mouvants de l'opérateur économique qu'elle est censée satisfaire, d'une entreprise bureaucratique dans son organisation et dans son fonctionnement où le contournement des règles peut s'ériger en principes de gestion et enfin d'un contexte sociétal qui oscille entre modernité et tradition. Cette dernière est réinterprétée de manière orthodoxe par les mouvements religieux en action dans la société. Ainsi, les ingénieurs investis initialement d'une mission de développement et considérés alors comme "vecteur de modernité" connaissent une détérioration de leur statut et la crise touche la profession vécue cependant différemment selon les générations.

Formation and differentiation of multiple mesenchymal lineages during lung development is regulated by {beta}-catenin signaling.

BACKGROUND: The role of ss-catenin signaling in mesodermal lineage formation and differentiation has been elusive. METHODOLOGY: To define the role of ss-catenin signaling in these processes, we used a Dermo1(Twist2)(Cre/+) line to target a floxed beta-catenin allele, throughout the embryonic mesenchyme. Strikingly, the Dermo1(Cre/+); beta-catenin(f/-) conditional Knock Out embryos largely phenocopy Pitx1(-/-)/Pitx2(-/-) double knockout embryos, suggesting that ss-catenin signaling in the mesenchyme depends mostly on the PITX family of transcription factors. We have dissected this relationship further in the developing lungs and find that mesenchymal deletion of beta-catenin differentially affects two major mesenchymal lineages. The amplification but not differentiation of Fgf10-expressing parabronchial smooth muscle progenitor cells is drastically reduced. In the angioblast-endothelial lineage, however, only differentiation into mature endothelial cells is impaired. CONCLUSION: Taken together these findings reveal a hierarchy of gene activity involving ss-catenin and PITX, as important regulators of mesenchymal cell proliferation and differentiation.

L'autonomie de la clause compromissoire en matière d'arbitrage international

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de maîtrise en droit (LL.M.) (Option: droit des affaires )"

Le meilleur intérêt de l'enfant, les tests de paternité et le droit civil québécois

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de maîtrise en Droit option Droit, Biotechnologies et Société"

Priorities in the Location of Multiple Public Facilities

A collective decision problem is described by a set of agents, a profile of single-peaked preferences over the real line and a number k of public facilities to be located. We consider public facilities that do not su¤er from congestion and are non-excludable. We provide a characterization of the class of rules satisfying Pareto-efficiency, object-population monotonicity and sovereignty. Each rule in the class is a priority rule that selects locations according to a predetermined priority ordering among interest groups. We characterize each of the subclasses of priority rules that respectively satisfy anonymity, hiding-proofness and strategy-proofness. In particular, we prove that a priority rule is strategy-proof if and only if it partitions the set of agents into a fixed hierarchy. Alternatively, any such rule can be viewed as a collection of fixed-populations generalized peak-selection median rules (Moulin, 1980), that are linked across populations, in a way that we describe.