ReAlM - a system to manipulate relations

Given a heterogeneous relation algebra R, it is well known that the algebra of matrices with coefficient from R is relation algebra with relational sums that is not necessarily finite. When a relational product exists or the point axiom is given, we can represent the relation algebra by concrete binary relations between sets, which means the algebra may be seen as an algebra of Boolean matrices. However, it is not possible to represent every relation algebra. It is well known that the smallest relation algebra that is not representable has only 16 elements. Such an algebra can not be put in a Boolean matrix form.[15] In [15, 16] it was shown that every relation algebra R with relational sums and sub-objects is equivalent to an algebra of matrices over a suitable basis. This basis is given by the integral objects of R, and is, compared to R, much smaller. Aim of my thesis is to develop a system called ReAlM - Relation Algebra Manipulator - that is capable of visualizing computations in arbitrary relation algebras using the matrix approach.

Deception in Sport: A Conceptual and Ethical Analysis

In 1973, Kathleen Pearson offered a pivotal first step into understanding deception in competitive sport and its many intricacies. However, the analysis falls short of truly deciphering this widespread phenomenon. By creating a taxonomy based on Torres (2000) understanding of various types of skills in an athletic contest, a wider array of deceptive practices are encompassed. Once the taxonomy is put forth, weighing the categories against the three-pronged ethical permissibility test established utilizing elements from formalism, conventionalism and broad internalism sheds lights on what deceptive practices should be deemed ethically permissible for use and which tactics should not be a part of an athlete’s repertoire. By understanding which categories of deception are permissible, the most fair and athletically excellent contest can be created between the opposing players of teams.

Formalizing affordances in situation

The representation of a perceptual scene by a computer is usually limited to numbers representing dimensions and colours. The theory of affordances attempted to provide a new way of representing an environment, with respect to a particular agent. The view was introduced as part of an entire field of psychology labeled as 'ecological,' which has since branched into computer science through the field of robotics, and formal methods. This thesis will describe the concept of affordances, review several existing formalizations, and take a brief look at applications to robotics. The formalizations put forth in the last 20 years have no agreed upon structure, only that both the agent and the environment must be taken in relation to one another. Situation theory has also been evolving since its inception in 1983 by Barwise & Perry. The theory provided a formal way to represent any arbitrary piece of information in terms of relations. This thesis will take a toy version of situation theory published in CSLI lecture notes no. 22, and add to the given ontologies. This thesis extends the given ontologies to include specialized affordance types, and individual object types. This allows for the definition of semantic objects called environments, which support a situation and a set of affordances, and niches which refer to a set of actions for an individual. Finally, a possible way for an environment to change into a new environment is suggested via the activation of an affordance.

Automatic evolution of conceptual building architectures

This thesis describes research in which genetic programming is used to automatically evolve shape grammars that construct three dimensional models of possible external building architectures. A completely automated fitness function is used, which evaluates the three dimensional building models according to different geometric properties such as surface normals, height, building footprint, and more. In order to evaluate the buildings on the different criteria, a multi-objective fitness function is used. The results obtained from the automated system were successful in satisfying the multiple objective criteria as well as creating interesting and unique designs that a human-aided system might not discover. In this study of evolutionary design, the architectures created are not meant to be fully functional and structurally sound blueprints for constructing a building, but are meant to be inspirational ideas for possible architectural designs. The evolved models are applicable for today's architectural industries as well as in the video game and movie industries. Many new avenues for future work have also been discovered and highlighted.

RelMDD-A Library for Manipulating Relations Based on MDDs

Relation algebras is one of the state-of-the-art means used by mathematicians and computer scientists for solving very complex problems. As a result, a computer algebra system for relation algebras called RelView has been developed at Kiel University. RelView works within the standard model of relation algebras. On the other hand, relation algebras do have other models which may have different properties. For example, in the standard model we always have L;L=L (the composition of two (heterogeneous) universal relations yields a universal relation). This is not true in some non-standard models. Therefore, any example in RelView will always satisfy this property even though it is not true in general. On the other hand, it has been shown that every relation algebra with relational sums and subobjects can be seen as matrix algebra similar to the correspondence of binary relations between sets and Boolean matrices. The aim of my research is to develop a new system that works with both standard and non-standard models for arbitrary relations using multiple-valued decision diagrams (MDDs). This system will implement relations as matrix algebras. The proposed structure is a library written in C which can be imported by other languages such as Java or Haskell.

The vocation of responsibility : a conceptual analysis of a modern idea

Please consult the paper edition of this thesis to read. It is available on the 5th Floor of the Library at Call Number: Z 9999 P55 N48 2004

The form and function of aggressive subtypes: Relations with the goodness of fit between adolescent temperament and parent personality

The current research investigated whether the interaction between adolescent temperament and parent personality, consistent with the goodness of fit perspective, differentially predicted overt (e.g., kicking, punching, insulting) and relational (e.g., gossiping, rumour spreading, ostracising) forms of reactive (e.g., provoked, a response to goal blocking, unplanned and emotional) and proactive (e.g., unprovoked, goal-directed, deliberate and relatively unemotional) aggression. Mothers, fathers and their adolescent child (N = 448, age 10-17) from southern Ontario, Canada filled out questionnaires on adolescent temperament (i.e., frustration, fear, and effortful control) and aggression. Parents reported on their own personality traits (i.e., agreeableness, conscientiousness, and emotional stability). The form and function of aggression not encompassed by the subtype under investigation were controlled in each regression analysis. Consistent with the hypothesis, results indicated that a poor fit between adolescent temperament vulnerabilities and lower parent personality traits, including agreeableness, conscientiousness and emotional stability, was predictive of greater levels of differentiated aggression. For instance, lower father conscientiousness strengthened the relation between higher frustration and reactive overt aggression. Unexpectedly in some cases, temperament risk factors were more strongly associated with aggression subtypes when personality scores were at higher levels, particularly agreeableness and conscientiousness, traits normally considered to be at the optimal end of the dimension. For example, higher father agreeableness strengthened the relation between higher frustration and reactive relational aggression. At the main effects level, low fearfulness was significantly associated with only the overt subtypes of aggression, and unexpectedly, higher frustration and lower effortful control were related to both proactive and reactive subtypes of aggression. A temperamentally vulnerable adolescent was also at greater risk of displaying aggressive behaviour when the father lacked emotional stability, but not the mother. These results are broadly consistent with the prediction that temperament risk factors are more strongly associated with aggression subtypes when an adolescent predisposition does not fit well with parent personality traits. Mechanisms pertaining to stress in the family environment and the fostering of self-regulation abilities are discussed with respect to why a poor fit between temperament and parent personality is predictive of adolescent differentiated aggression.

Exploring the impact of outgroup membership discoveries on individual outcomes and intergroup relations

Group memberships represent important components of identity, with people holding membership in various groups and categories. The groups that one belongs to are known as ingroups, and the groups that one does not belong to are known as outgroups. Movement between groups can occur, such that an individual becomes a member of a former outgroup. In some cases, this movement between groups can represent a sudden discovery for the self and/or others, especially when one becomes a member of an ambiguous, concealable, or otherwise not readily visible group. The effects of this type of movement, however, are poorly documented. The purpose of this dissertation is to investigate these outgroup membership discoveries, examining the individual intrapsychic, interpersonal, and potential intergroup effects of both self- and other-outgroup membership discoveries. Specifically, discoveries of homosexuality were examined in three studies. In Study 1, hypothetical reactions to self- and other-homosexuality discovery were assessed; in Study 2, the effects of discovering self-homosexuality (vs. self-heterosexuality) were experimentally examined; and in Study 3, the effects of discovering another’s homosexuality earlier relative to later in a developing friendship were experimentally examined. Study 1 revealed that, upon a discovery of self-homosexuality, participants expected negative emotions and a more negative change in feelings toward the self. Upon a discovery of a friend’s homosexuality, participants expected a more negative change in feelings toward the friend, but more a positive change in feelings toward homosexuals. For both hypothetical self- and friend- homosexuality discoveries, more negative expected emotions predicted more negative expected change in feelings toward the target individual (the self or friend), which in turn predicted more negative expected change in feelings toward homosexuals as a group. Further, for self-homosexuality discovery, the association between negative expected emotions and negative expected change in feelings toward the self was stronger among those higher in authoritarianism. Study 2 revealed that, upon discovering one’s own homosexuality (vs. heterosexuality), heterosexual participants experienced more negative emotions, more fear of discrimination, and more negative self-evaluations. The effect of the homosexuality discovery manipulation on negative self-evaluations was mediated by fear of discrimination. Further, those higher in authoritarianism or pre-test prejudice toward homosexuals demonstrated more negative emotions following the manipulation. Study 3 revealed that upon discovering an interaction partner’s homosexuality earlier (vs. later) participants reported a more positive contact experience, a closer bond with the partner, and more positive attitudes toward the partner. Earlier (vs. later) discovery predicted more positive contact experience, which in turn predicted a closer bond with the partner. Closer bond with the partner subsequently predicted more positive evaluations of the partner. Interestingly, the association between bond with partner and more positive attitudes toward the partner was stronger among those higher in authoritarianism or pre-test prejudice toward homosexuals. Overall, results suggest that self-homosexuality discovery results in negative outcomes, whereas discovering another’s homosexuality can result in positive outcomes, especially when homosexuality is discovered earlier (vs. later). Implications of these findings for both actual outgroup membership discoveries and social psychological research are discussed.

Conceptual Analysis of Web 2.0 Technology Use to Enhance Parent–School Relationships

Parent–school relationships contribute significantly to the quality of students’ education. The Internet, in turn, has started to influence individuals’ way social communication and most school boards in Ontario now use the Internet to communicate with parents, which helps build parent–school relationships. This project comprised a conceptual analysis of how the Internet enhances parent–school relationships to support Ontario school board administrators seeking to implement such technology. The study’s literature review identified the links between Web 2.0 technology, parent–school relationships, and effective parent engagement. A conceptual framework of the features of Web 2.0 tools that promote social interaction was developed and used to analyze websites of three Ontario school boards. The analysis revealed that school board websites used static features such as email, newsletters, and announcements for communication and did not provide access to parents for providing feedback through Web 2.0 features such as instant messaging. General recommendations were made so that school board administrators have the opportunity to implement changes in their school community with feasible modifications. Overall, Web 2.0-based technologies such as interactive communication tools and social media hold the most promise for enhancing parent–school relationships because they can help not only overcome barriers of time and distance, but also improve the parents’ desire to be engaged in children’s education experiences.

A DYNAMIC FRAMEWORK FOR THE RELATIONS BETWEEN FOREIGN EXCHANGE RATES, SAVINGS AND INVESTMENTS

The Meese-Rogoff forecasting puzzle states that foreign exchange (FX) rates are unpredictable. Since one country’s macroeconomic conditions could affect the price of its national currency, we study the dynamic relations between the FX rates and some macroeconomic accounts. Our research tests whether the predictability of the FX rates could be improved through the advanced econometrics. Improving the predictability of the FX rates has important implications for various groups including investors, business entities and the government. The present thesis examines the dynamic relations between the FX rates, savings and investments for a sample of 25 countries from the Organization for Economic Cooperation and Development. We apply quarterly data of FX rates, macroeconomic indices and accounts including the savings and the investments over three decades. Through preliminary Augmented Dickey-Fuller unit root tests and Johansen cointegration tests, we found that the savings rate and the investment rate are cointegrated with the vector (1,-1). This result is consistent with many previous studies on the savings-investment relations and therefore confirms the validity of the Feldstein-Horioka puzzle. Because of the special cointegrating relation between the savings rate and investment rate, we introduce the savings-investment rate differential (SID). Investigating each country through a vector autoregression (VAR) model, we observe extremely insignificant coefficient estimates of the historical SIDs upon the present FX rates. We also report similar findings through the panel VAR approach. We thus conclude that the historical SIDs are useless in forecasting the FX rate. Nonetheless, the coefficients of the past FX rates upon the current SIDs for both the country-specific and the panel VAR models are statistically significant. Therefore, we conclude that the historical FX rates can conversely predict the SID to some degree. Specifically, depreciation in the domestic currency would cause the increase in the SID.

L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.

Management Council for Responsible Labour Relations records, 1970-1979, n.d.

The Management Council for Responsible Labour Relations was a group of industry representatives who sought to improve the public image of management in labour disputes. They hoped to accomplish this by improving communication with the media, as well as by educating the general public about labour issues from management’s perspective. The Council had representatives from Inco, Gulf, Algoma, Westinghouse, Kimberly Clark, Ford, Stelco, Massey Ferguson, Alcan, Shell, Northern Electric, Bank of Montreal, Canada Packers and Dupont.

Tacitus' Germania and the Jesuit Relations: Intertextuality in the Transatlantic World of the Early Jesuits in New France.

The first Europeans who wrote about the Indigenous people of the newly discovered Americas, not only used medieval, but also classical literature as a tool of reference to describe 'otherness.' As true humanists, the French Jesuits who arrived in the New World were deeply influenced by their classical education and, as claimed by Grafton, reverted to ancient ethnographic texts, like Tacitus' Germania, to support their analyse of the Indigenous people they encountered. Books talk to books. Inspired by Germania, the early French Jesuits managed to convey to their readers a subtle critique of their own civilization, enhancing, like Tacitus, the virtuous aspect of the so-called barbarians they described while illustrating the corruption of their respective civilized worlds. This thesis suggests that the essence of Tacitus' work is definitively present in Pierre Biard's letters and his Relation. His testimonies illustrate the connection the early French Jesuits had with the humanist thought of their time.

An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases

Classical relational databases lack proper ways to manage certain real-world situations including imprecise or uncertain data. Fuzzy databases overcome this limitation by allowing each entry in the table to be a fuzzy set where each element of the corresponding domain is assigned a membership degree from the real interval [0…1]. But this fuzzy mechanism becomes inappropriate in modelling scenarios where data might be incomparable. Therefore, we become interested in further generalization of fuzzy database into L-fuzzy database. In such a database, the characteristic function for a fuzzy set maps to an arbitrary complete Brouwerian lattice L. From the query language perspectives, the language of fuzzy database, FSQL extends the regular Structured Query Language (SQL) by adding fuzzy specific constructions. In addition to that, L-fuzzy query language LFSQL introduces appropriate linguistic operations to define and manipulate inexact data in an L-fuzzy database. This research mainly focuses on defining the semantics of LFSQL. However, it requires an abstract algebraic theory which can be used to prove all the properties of, and operations on, L-fuzzy relations. In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation.