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.

The shifting terrain of feminist theory and activism : university-based women's centres and third wave feminism

This thesis, based on the results of an organizational ethnography of a university-based feminist organization in Southern Ontario (the Centre), traces how third wave feminism is being constituted in the goals, initiatives, mandate, organizational structure, and overall culture of university-based feminist organizations. I argue that, from its inception, the meanings and goals of the Centre have been contested through internal critique, reflection, and discussion inspired by significant shifts in feminist theory that challenge the fundamental principles of second wave feminism. I identify a major shift in the development and direction of the Centre that occurs in two distinct phases. The first phase of the shift occurs with the emergence of an antioppression framework, which broadens the Centre's mandate beyond gender and sexism to consider multiple axes of identity and oppression that affect women's lives. The second phase of this shift is characterized by a focus on (trans) inclusion and accessibility and has involved changing the Centre's name so that it is no longer identified as a women's centre in order to reflect more accurately its focus on mUltiple axes of identity and oppression. Along with identifying two phases of a major shift in the direction of the Centre, I trace two discourses about its development. The dominant discourse of the Centre's development is one of progress and evolution. The dominant discourse characterizes the Centre as a dynamic feminist organization that consistently strives to be more inclusive and diverse. The reverse discourse undermines the dominant discourse by emphasizing that, despite the Centre's official attempts to be inclusive and to build diversity, little has actually changed, leaving women of colour marginalized in the Centre's dominant culture of whiteness. This research reveals that, while many of their strategies have unintended (negative) consequences, members of the Centre are working to build an inclusive politics of resistance that avoids the mistakes of earlier feminist movements and organizations. These members, along with other activists, actively constitute third wave feminism in a process that is challenging, contradictory, and often painful. A critical analysis of this process and the strategies it involves provides an opportunity for activists to reflect on their experiences and develop new strategies in an effort to further struggles for social justice and equity.

Native women, theory and research : contexts and contestations

In this thesis I outline a critical approach to interpreting the considerable academic literature on Aboriginal women in North America. I locate the scholarship concerning Native women within an understanding of three developments related to a philosophy of science: (I) paradigmatic shifts concerning the philosophy of science, (2) materialist-idealist debates and (3) transitions in feminist theory characterized by what is tenned the shift from second to third wave feminism. My exploration of emergent themes suggests that the elements indicated above provide overlapping frameworks within which most scholarship about Indigenous women is positioned. I illustrate my finding that employing critical discourse analysis and postcolonial feminism as both method and theory provides a useful approach in attending to intersecting experiences of 'race, class, and gender.' I view these intersecting experiences as central to the socio-political positioning of Indigenous women within contemporary feminist theorizing. I conclude my thesis by reflecting on the conceptual struggles I experienced in fonnulating and organizing the thesis and the significance of my underlying epistemological position and value-orientation as both a feminist and Native woman.

Drama in education : deconstructing the role of movement in text

The purpose of this study was to conduct a comparative textual analysis on the role of movement in 3 texts in Drama in Education in Canada. As the subject is holistic and encourages creative, active participation, movement was expected to appear, even inadvertently, in both theory and practice. It was hoped that guidelines for the use of movement within Drama in Education would emerge from the texts and that these guidelines would serve as models for others to use. A total of 26 Drama in Education experts in Canada were each asked to list the 10 most important texts in the field. Those who answered were assigned numbers and charted according to age, gender, and geography. An objective colleague helped narrow the group to 16 participants. A frequency count was used, assigning 10 points to the first text on each list, and descending to 1 point for the tenth text listed. Based on the highest number of points calculated, the 5 most frequently used texts were identified. These were compared to ascertain the widest representation ofthe authors' geographic location and gender, as well as differences in theory and practice. The final selection included 3 texts that represented differing approaches in their presentation and discussion of Drama in Education theories and practices. Analysis involved applying 5 levels of commitment to determine if,how, why, when, and with what results movement was explicitly or implicitly addressed in the 3 texts. Analysis resulted in several unexpected surprises around each of the 3 texts. The study also provided suggestions for extending and clarifying the role of movement in teaching and learning in general, as well as for Drama in Education in particular.

Response curves of deterministic and probabilistic cellular automata in one and two dimensions

One of the most important problems in the theory of cellular automata (CA) is determining the proportion of cells in a specific state after a given number of time iterations. We approach this problem using patterns in preimage sets - that is, the set of blocks which iterate to the desired output. This allows us to construct a response curve - a relationship between the proportion of cells in state 1 after niterations as a function of the initial proportion. We derive response curve formulae for many two-dimensional deterministic CA rules with L-neighbourhood. For all remaining rules, we find experimental response curves. We also use preimage sets to classify surjective rules. In the last part of the thesis, we consider a special class of one-dimensional probabilistic CA rules. We find response surface formula for these rules and experimental response surfaces for all remaining rules.

'To do justice and judgement' : the place of passion in public life

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 P65 F47 2003

Square Root Finding In Graphs

Abstract: Root and root finding are concepts familiar to most branches of mathematics. In graph theory, H is a square root of G and G is the square of H if two vertices x,y have an edge in G if and only if x,y are of distance at most two in H. Graph square is a basic operation with a number of results about its properties in the literature. We study the characterization and recognition problems of graph powers. There are algorithmic and computational approaches to answer the decision problem of whether a given graph is a certain power of any graph. There are polynomial time algorithms to solve this problem for square of graphs with girth at least six while the NP-completeness is proven for square of graphs with girth at most four. The girth-parameterized problem of root fining has been open in the case of square of graphs with girth five. We settle the conjecture that recognition of square of graphs with girth 5 is NP-complete. This result is providing the complete dichotomy theorem for square root finding problem.

Living in the Skin That I Am: An Organizational Autoethnography of an Adult Educator's Plight to Survive the Stigma of Invisible and Episodic Disability in an Academy of Administritiva

Through the reflective lens of an adult educator with invisible and episodic disabilities, this paper has been written as an organizational autoethnography. Through a process of autoethnographical sensemaking, it is intended to illuminate important gaps in organizational theory. Feminist/relational care ethics, critical reflection, and transformative learning serve as the educational theories that comprise its framework. In telling my story, embodied writing and performance narrative are used to convey the felt existence of a body exposed through words—where my “abled” and “disabled” professional teaching and learning identities may be studied against the backdrop of organizational policies and procedures. Words used to describe unfamiliar experiences and situations shape meaning for which new meaning may emerge. At the conclusion of this paper, an alternative frame of reference—a view from the margins—may be offered to articulate authenticity in the expectancy of workplace equity for adult educators with disabilities. Taken collectively on a larger level, it is hoped that this research may provide a source of inspiration for systemic organizational change in adult learning environments.