Towards automated derivation in the theory of allegories

We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended to provide a derivation in addition to a decision certificate. We also suggest improvements and corrections to previous research in order to motivate further work on a complete derivation mechanism. The results presented here are significant for those interested in relational theories, since we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program verification since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly suitable for further expansions of the algorithm presented here.

Social neuroendocrinology of competition

The relationship between testosterone concentrations and aggressive behaviour in studies of people has produced very inconsistent findings. However, one consistent fmding that has emerged is that competitive and aggressive interactions potentiate testosterone release in both human and non-human species. It has been argued that socially-induced alterations in testosterone concentrations may function to influence ongoing and/or future social behaviour. Nonetheless, few studies have empirically tested this hypothesis. The current series of experiments was designed to address the extent to which competitioninduced fluctuations in testosterone concentrations were associated with ongoing and/or subsequent social behaviour. In Study 1, men (n = 38) provided saliva samples prior to, and at the conclusion of, the Point Subtraction Aggression Paradigm (PSAP). Although baseline testosterone concentrations were not related to aggressive behaviour, there was a positive correlation between change in testosterone and aggressive behaviour such that men who were most aggressive on the PSAP demonstrated the largest increase in testosterone concentrations. Furthermore, a rise in testosterone during the PSAP predicted willingness to choose a subsequent competitive task. In Study 2, men and women provided saliva samples prior to and after competing against a same-sex opponent on the Number Tracing Task (NTT). The outcome of the competition was rigged such that half of the individuals won most of the races, while the other half lost most of the races, thus experimentally creating a winner and loser in the laboratory. Following the competitive interaction, men and women played the PSAP with their same-sex partner. Results indicated that men selected the aggressive response (but not reward or protection responses), more frequently than women. For men assigned to the loss condition, an increase in testosterone concentrations in response to the NTT predicted subsequent aggressive behaviour. For men assigned to the win condition, an increase in testosterone concentrations in response to the NTT predicted subsequent aggressive behaviour, but only among those men who scored high on trait dominance. Change in testosterone and trait dominance did not predict aggressive behaviour in women. In Study 3, men provided saliva samples prior to, during, and at the end of the PSAP. They were randomly assigned to one of four experimental conditions that differed in the extent to which they were provoked and whether they received reward for behaving aggressively (i.e., stealing points). Results indicated that baseline testosterone concentrations did not correlate with aggression in any of the experimental conditions. Consistent with Study 1, there was a positive correlation between change in testosterone and aggressive behaviour among men who were provoked, but did not receive reward for aggression (i.e., reactive condition). Men who were provoked but did not receive reward for aggression enjoyed the task the most and were more likely to choose the competitive versus non-competitive task relative to men assigned to the other experimental conditions. Also, individual differences in aggressive behaviour among these men were positively correlated with the extent to which they enjoyed the task. Together, these studies indicate that testosterone dynamics within the context of competition influence subsequent competitive and aggressive behaviours in humans and that testosterone may be a marker of the intrinsically rewarding nature of costly aggressive behaviour.

Social development of primary aged children through a movement education program

Unique in Canada, is a university based movement program offered to children aged 1-12 which is diverse and inclusive in its design to foster healthy physical, cognitive, affective and social development. The purpose of this study is to investigate how children's involvement in a weekly movement education program influences their social development. The primary-aged children involved in this research are participants in the university based Saturday morning program, The Children's Movement Program (CMP), in which creative dance, educational gymnastics and developmental games are employed to enhance optimal development. The 15 participants were systematically observed for 8 weeks as they naturally engaged in the program's activities. Interviews were conducted with both children and their caregivers throughout the duration of the program. Particular attention was paid to the perceptions of caregivers regarding the advantages of a program based upon principles of movement education. Results indicate that participation in the program increases children's opportunity to interact socially and address ways in which program content, pedagogy and context encourage social development. A figure was developed with these components to assist teachers in creating inclusive and meaningful movement experiences. 'Content' is referred to as the material to be learned or the desired outcome for the learner. 'Pedagogy' refers to the process in which the student will engage and 'Context' refers to the environment in which the experience occurs (eg. skating rink with playground balls). It is recommended that each is thoroughly addressed individually for its potential in lesson design.

A Quantitative Study of Social Capital Components, Self-Reported Health Status and Social Determinants of Health

This quantitative descriptive co-relational study used telephone survey interviews and stratified random sampling to collect data related to Social Capital (SC) and its components (trust and safety, reciprocity, civic engagement and collective action) and selected determinants of health variables in Niagara Region, Canada. Among the four components of social capital, trust and safety levels were highest among all participants (m=5.42, SD=1.0), with community engagement yielding the lowest mean score for the sample (m=1.93, SD=.8). Reciprocity had the strongest association with all other components of SC (r=0.51). Those most likely to report low levels of SC and health were unattached and low-income females. Males were more likely to report higher trust and safety levels and higher levels of self-rated health. In this study, a linear relationship between self-reported health status and SC was not found. Marital and employment status were associated with differences in mean scores of SC and self-reported health.

Educating for Community Resilience: How the Work of Thomas Homer-Dixon and JohnDewey's Pattern of Inquiry Can Help Us Prepare for the Ecological and Social Challenges of the 21st Century

Scientists have overwhelmingly concluded that global warming occurs as a consequence of human activities and that climate change, combined with the depletion of resources, could have catastrophic consequences for the human civilization later this century. However, in political circles and in the public sphere these conclusions are not taken seriously, or they are laid aside for future generations to deal with; at the same time, significant efforts are being deployed to discredit the scientific evidence. In this thesis I have studied the positions of climate scientists as well as those of climate change deniers, and I also examined how their points of view are likely to impact the interests and habits of corporations and citizens. The work of Thomas Homer-Dixon was used as an important source for analyzing the complex interaction between our natural, economic, and social systems, and John Dewey's pattern of inquiry provided the theoretical foundation for an analysis of the current crisis and its possible solutions. No concerted action to deal with climate change has yet been taken by the leaders of the Western world; I corroborated data from four reliable sources (Hansen, 2009; IPCC, 2007; Lynas, 2007; Steffen, 2011) regarding several development scenarios and their likely consequences on greenhouse gas emissions, and I concluded that a future temperature increase of more than 2°C appears now as unavoidable. In the light of this conclusion I argue that education for increasing the resilience of smaller communities is a realistic alternative that can offer some hope in dealing with the challenges ahead.

Destigmatizing Child and Adolescent Mental Health through Group Chat: A Workshop to Support the Emotional and Social Needs of Youth

The purpose of this project was to raise awareness surrounding child and adolescent mental health in an effort to reduce preconceived stigmas in relation to this specialized field. This project presented a literature review of the current state of child and adolescent mental health in Canada today, including the prevalence and several treatment options for young people confronting mental health challenges. Consideration of the powerful role of the education system upon youth with mental health issues became evident, specifically regarding early identification and prevention. A needs assessment was conducted to gather feedback from the clinical practitioners of a Section 23 classroom within a Southern Ontario hospital. This assessment was used to develop an informational and pedagogical workshop resource to extend practitioner understanding of this pertinent issue and support the social and emotional needs of young people confronting mental heath challenges. Results of the assessment indicated the significant need for such a workshop resource, and these responses were used to guide the development of Group Chat: A Workshop to Support the Emotional and Social Needs of Youth. The latter was subsequently presented to participants, whereby evaluative questionnaires indicated the efficacy and usefulness of this workshop resource to both practitioners and students alike.

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.

Psycho - and bio - cybernetics in Plato's acoustics and theory of education

UANL

A Survey Measure of Risk Aversion

We Use Survey Data on the Well-Being of Individuals to Measure Attitude Toward Risk. Risk Neutrality Cannot Be Rejected by the Data.

A Theory of Random Consumer Demand

This paper presents a new theory of random consumer demand. The primitive is a collection of probability distributions, rather than a binary preference. Various assumptions constrain these distributions, including analogues of common assumptions about preferences such as transitivity, monotonicity and convexity. Two results establish a complete representation of theoretically consistent random demand. The purpose of this theory of random consumer demand is application to empirical consumer demand problems. To this end, the theory has several desirable properties. It is intrinsically stochastic, so the econometrician can apply it directly without adding extrinsic randomness in the form of residuals. Random demand is parsimoniously represented by a single function on the consumption set. Finally, we have a practical method for statistical inference based on the theory, described in McCausland (2004), a companion paper.

Bayesian Analysis for a Theory of Random Consumer Demand: The Case of Indivisible Goods

McCausland (2004a) describes a new theory of random consumer demand. Theoretically consistent random demand can be represented by a \"regular\" \"L-utility\" function on the consumption set X. The present paper is about Bayesian inference for regular L-utility functions. We express prior and posterior uncertainty in terms of distributions over the indefinite-dimensional parameter set of a flexible functional form. We propose a class of proper priors on the parameter set. The priors are flexible, in the sense that they put positive probability in the neighborhood of any L-utility function that is regular on a large subset bar(X) of X; and regular, in the sense that they assign zero probability to the set of L-utility functions that are irregular on bar(X). We propose methods of Bayesian inference for an environment with indivisible goods, leaving the more difficult case of indefinitely divisible goods for another paper. We analyse individual choice data from a consumer experiment described in Harbaugh et al. (2001).

Determining the Social Cost of the Project Proposed by the Regie Intermunicipale de Gestion des Dechets sur l'Ile de Montreal.

Rapport de recherche

Bad news for satisfied tenants: On the social construction of social rented housing as dreadful enclosures

As long as the social rented sector - which comprised 6% of the housing stock - housed traditional families and the allocation procedures were rather loose, little commotion came about. A combination of changes in family structures (leading to the in stream of ethnic minorities), economic changes (leading to the in stream of poor people), and the strengthening of allocation procedures towards those most in need, did change perceptions. Marginalisation and ghettoisation became during the 1990s the buzzwords when talking and writing about social rented housing. In this article, we will explain the background of the scapegoat trends and the possible consequences for social tenants in particular and for the social rental housing in general.