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.

Internationalization in German Academic Libraries: Moving beyond North American Perspectives

This paper explores how internationalization is understood and experienced in German academic libraries. Its main purpose is to move the discussion of internationalization in academic libraries beyond the boundaries of English-speaking North America by investigating a European perspective. Its secondary purpose is to investigate the role of English in German academic libraries. An online survey and a series of in-person interviews conducted in Germany in April 2015 provided the data for this study. What emerged are a series of stated differences and similarities between North America and Germany informed by the two overarching themes of implicit internationalization and plurilingualism, the ability to switch from one language to another as required.

Letter to P.I. Price asking him to make out a cheque in favour of German and Pettit for looking after certain petitions in Willoughby and Bertie Townships and in Welland

Letter to P.I. Price asking him to make out a cheque in favour of German and Pettit for looking after certain petitions in Willoughby and Bertie Townships and in Welland. This is signed by H.H. Collier, March 5, 1906.

Readings in european history ; a collection of extracts from the progress of culture in western Europe since the German invasions

UANL

México and the United States; a study of subjects affecting their polítical, commercial and social relations, made with a view to their promotion

UANL

México, and the United States; their mutual relations and common interests 7

UANL

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.

Consistent Relations

Consistency, a natural weakening of transitivity introduced in a seminal contribution by Suzumura (1976b), has turned out to be an interesting and promising concept in a variety of areas within economic theory. This paper summarizes its recent applications and provides some new observations in welfarist social choice and in population ethics. In particular, it is shown that the conclusion of the welfarism theorem remains true if transitivity is replaced by consistency and that an impossibility result in variable-population social-choice theory turns into a possibility if transitivity is weakened to consistency.

Les relations verticales gerees par des contrats, etude theorique et application au contrat d'electricite entre Norsk-Hydro Canada Inc. et Hydro Quebec..

Rapport de recherche

Annales de Domingo Francisco de San Anton Chimalpahin Cuauhtlehuanitzin, sixieme et septieme relations (1258-1612)

UANL