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.

Predictors of shy children's coping with a social conflict : mediators and moderators

Shy children are at risk for later maladjustment due to ineffective coping with social conflicts through reliance on avoidance, rather than approach-focused, coping. The purpose of the present study was to explore whether the relation between shyness and children's coping was mediated by attributions and moderated by personality selftheories and gender. Participants included a classroom-based sample of 175 children (93 boys), aged 9-13 years (M = 10.11 years, SD = 0.92). Children completed self-report measures assessing shyness, attributions, personality self-theories and coping strategies. Results showed that negative attribution biases partially mediated the negative relations between shyness and social support seeking, as well as problem-solving, and the positive association between shyness and externalizing. Moreover, self-theories moderated the relation between shyness and internalizing coping at the trend level, such that the positive relation was exacerbated among entity-oriented children to a greater degree than incrementally-oriented children. In terms of gender differences, shyness was related to lower use of social support and problem-solving among incrementally-oriented boys and entity-oriented girls. Thus, shy children's perceptions of social conflicts as the outcome of an enduring trait (e.g., social incompetence) may partially explain why they do not act assertively and aggress as a means of social coping. Furthermore, entity-oriented beliefs may exacerbate shy children's reliance on internalizing actions, such as crying. Although an incrementally-oriented stance may enhance shy girls' reliance on approach strategies, it does not appear to serve the same protective role for shy boys. Therefore, copingoriented interventions may need to focus on restructuring shy children's social cognitions and implementing gender-specific programming for their personality biases.

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 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.

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.

Two Levels of Motivation and Two Types of Well-Being: Relations Between General and Goal-Specific Motivations, and Eudaimonic and Hedonic Well-Being

In this thesis I assess the individual and joint predictive associations and effects between multiple motivation and well-being concepts. In particular, three pairs of motivation concepts (intrinsic/extrinsic, approach/avoidance, and eudaimonic/hedonic) are assessed simultaneously at two levels of analysis (disposition and goal) and examined in relation to two types of well-being (eudaimonic and hedonic) in two studies, one correlational and the other experimental. Study 1: Using a correlational design, participants (N = 325, M age = 19.10, 87% female) completed self-report measures assessing six motivation and two well-being concepts. Exploratory factor analyses were used to assess patterns of associations among the motivational constructs. Results indicated that constructs displaying conceptual and empirical similarities co-occur, particularly, intrinsic, approach and eudaimonic motivation. Regression models were used to assess predictive relations between the motivational constructs and well-being. Both types of well-being were predicted by approach and avoidance dispositions, and hedonic goals. Additionally, eudaimonic well-being was uniquely predicted by eudaimonic dispositions and goals, and intrinsic dispositions; and hedonic well-being was uniquely predicted by extrinsic dispositions and approach goals. The patterns of associations among motivational constructs, and similarities and differences in the ways they predict each type of well-being, are discussed. Study 2: Using an experimental design, participants (N = 447, M age = 19.30, 88% female) were randomly assigned to one of eight experimental conditions, each involving a manipulation aimed at priming combinations of the three pairs of motivational constructs at the goal level. Participants then completed measures of both types of well-being. ANOVAs were used to assess the main effects and interactions of experimental condition for each of the three pairs of motivational constructs on well-being. Main effects of experimental conditions were non-significant. However, results indicated that focus on each of the three pairs of motivational constructs predicted well-being and that the manipulation impacted well-being indirectly, through experimentally-shifted motivational focus. Few interactions emerged. Implications for future experimental research and the conceptual integration of motivation and well-being constructs are discussed. In conclusion, Studies 1 and 2 inform the motivation and well-being fields in novel ways and provide preliminary steps towards studying these fields from an integrated and comprehensive motivational framework.

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.