15 resultados para Fundamentals of computing theory
em Brock University, Canada
Resumo:
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.
Resumo:
This qualitative study is an exploration of transformation theory, the Western tradition, and a critical evaluation of a graduate studies class at a university. It is an exploration of assumptions that are embedded in experience, that influence the experience and provide meaning about the experience. An attempt has been made to identify assumptions that are embedded in Western experience and connect them with assumptions that shape the graduate class experience. The focus is on assumptions that facilitate and impede large group discussions. Jungian psychology of personality type and archetype and developmental psychology is used to analyze the group experience. The pragmatic problem solving model, developed by Knoop, is used to guide thinking about the Western tradition. It is used to guide the analysis, synthesis and writing of the experience of the graduate studies class members. A search through Western history, philosophy. and science revealed assumptions about the nature of truth, reality, and the self. Assumptions embedded in Western thinking about the subject-object relationship, unity and diversity are made explicit. An attempt is made to identify Western tradition assumptions underlying transformation theory. The critical evaluation of the graduate studies class experience focuses upon issues associated with group process, self-directed learning, the educator-learner transaction and the definition of adult education. The advantages of making implicit assumptions explicit is explored.
Resumo:
We have calculated the thermodynamic properties of monatomic fcc crystals from the high temperature limit of the Helmholtz free energy. This equation of state included the static and vibrational energy components. The latter contribution was calculated to order A4 of perturbation theory, for a range of crystal volumes, in which a nearest neighbour central force model was used. We have calculated the lattice constant, the coefficient of volume expansion, the specific heat at constant volume and at constant pressure, the adiabatic and the isothermal bulk modulus, and the Gruneisen parameter, for two of the rare gas solids, Xe and Kr, and for the fcc metals Cu, Ag, Au, Al, and Pb. The LennardJones and the Morse potential were each used to represent the atomic interactions for the rare gas solids, and only the Morse potential was used for the fcc metals. The thermodynamic properties obtained from the A4 equation of state with the Lennard-Jones potential, seem to be in reasonable agreement with experiment for temperatures up to about threequarters of the melting temperature. However, for the higher temperatures, the results are less than satisfactory. For Xe and Kr, the thermodynamic properties calculated from the A2 equation of state with the Morse potential, are qualitatively similar to the A 2 results obtained with the Lennard-Jones potential, however, the properties obtained from the A4 equation of state are in good agreement with experiment, since the contribution from the A4 terms seem to be small. The lattice contribution to the thermal properties of the fcc metals was calculated from the A4 equation of state, and these results produced a slight improvement over the properties calculated from the A2 equation of state. In order to compare the calculated specific heats and bulk moduli results with experiment~ the electronic contribution to thermal properties was taken into account~ by using the free electron model. We found that the results varied significantly with the value chosen for the number of free electrons per atom.
Resumo:
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.
Resumo:
Despite the confimied health benefits of exercise during the postpartum period, many new mothers are not sufficiently active. The present research aimed to examine the effectiveness of 2 types of messages on intention to exercise after giving birth on 2 groups of pregnant women (low and high self-monitors) using the Theory of Planned Behavior as a theoretical basis. Participants were 2 1 8 pregnant women 1 8 years of age and older (Mean age = 27.9 years, SD = 5.47), and in their second or third trimester. Women completed a demographics questionnaire, a self-monitoring (SM) scale and the Godin Leisure Time Exercise Questionnaire for current and pre-pregnancy exercise levels. They then read one of two brochures, describing either the health or appearance benefits of exercise for postpartum women. Women's attitudes, social norms, perceived behavioral control, and intentions to exercise postpartum were then assessed to determine whether one type of message (health or appearance) was more effective for each group. A MANOVA found no significant effect (p>0.05) for message type, SM, or their interaction. Possible reasons include the fact that the two messages may have been too similar, reading any message about exercise may result in intentions to exercise, or lack of attention given to the brochure. Given the lack of research in this area, more studies are necessary to confirm the present results. Two additional exploratory analyses were conducted. Pearson correlations found higher levels of pre-pregnancy exercise and current exercise to be associated with more positive attitudes, more positive subjective norms, higher perceived behavioral control, and higher intention to exercise postpartum. A hierarchical regression was conducted to determine the predictive utility of attitudes, subjective norms, and perceived behavioral control on intention for each self-monitoring group. Results of the analysis demonstrated the three independent variables significantly predicted intention (p < .001) in both groups, accounting for 58-62% of the variance in intention. For low self-monitors, attitude was the strongest predictor of intention, followed by perceived behavioral control and subjective norm. For high self-monitors, perceived behavioral control was the strongest predictors, followed by attitudes and subjective norm. The present study has practical and real world implications by contributing to our understanding of what types of messages, in a brochure format, are most effective in changing pregnant women's attitudes, subjective norm, perceived behavioral control and intention to exercise postpartum and provides ftirther support for the use of the Theory of Planned Behavior with this population.
Resumo:
The Ontario Tobacco Control Act of 1994 imposed a total ban on smoking in schools, and on school property for every school in the province. The imposition of this policy created problems for school administrators. For instance, students who were smoking on walkways and properties adjacent to school boundaries, clashed with neighbouring property owners who were angry about the resulting damage and disruption. The enforcement of this policy consumes valuable resources at each school; therefore, knowledge about the impact of the policy is important. If effective, this policy has the potential to improve the health of students over their lifetime, by preventing or delaying smoking behaviour. Alternatively, an ineffective policy will continue to create administrative problems for the school and serve no legitimate purpose. Therefore, knowledge about the impact of the smoking ban policy on students' smoking intentions assists policy makers and school administrators in their understanding of the policy's impact within the schools. This research provided an impact evaluation of the ban on smoking in schools and on school property in Ontario. A total of 2069 students, from five high schools, in the Niagara Region, provided complete responses to a survey, designed to test whether smoking intentions were affected by the imposition of the policy. The study used Ajzen's theory of planned behaviour (Ajzen, 1991), specifically, the perceived behavioural control measure, to gain some understanding of students' perceptions of control over smoking imposed by the ban. The findings indicate the policy has the potential to influence students' overall smoking intentions. The ban on smoking policy was found to be a significant predictor of the smoking intentions of high school students. As well, attitude, social norms, and perceptions of control were significant predictors of smoking intentions. Exploratory findings also indicated differences between the control beliefs of students from different high schools, indicating potential differences in the enforcement of the smoking ban between schools. The findings also support the utility of the theory of planned behaviour as a methodology for evaluating the influence of punitive policies. This research study should be continued by utilizing the full theory of planned behaviour, including two phases of data collection and the measurement of actual smoking behaviour.
Resumo:
Two groups of rainbow trout were acclimated to 20 , 100 , and 18 o C. Plasma sodium, potassium, and chloride levels were determined for both. One group was employed in the estimation of branchial and renal (Na+-K+)-stimulated, (HC0 3-)-stimulated, and CMg++)-dependent ATPase activities, while the other was used in the measurement of carbonic anhydrase activity in the blood, gill and kidney. Assays were conducted using two incubation temperature schemes. One provided for incubation of all preparations at a common temperature of 2S oC, a value equivalent to the upper incipient lethal level for this species. In the other procedure the preparations were incubated at the appropriate acclimation temperature of the sampled fish. Trout were able to maintain plasma sodium and chloride levels essentially constant over the temperature range employed. The different incubation temperature protocols produced different levels of activity, and, in some cases, contrary trends with respect to acclimation temperature. This information was discussed in relation to previous work on gill and kidney. The standing-gradient flow hypothesis was discussed with reference to the structure of the chloride cell, known thermallyinduced changes in ion uptake, and the enzyme activities obtained in this study. Modifications of the model of gill lon uptake suggested by Maetz (1971) were proposed; high and low temperature models resulting. In short, ion transport at the gill at low temperatures appears to involve sodium and chloride 2 uptake by heteroionic exchange mechanisms working in association w.lth ca.rbonlc anhydrase. G.l ll ( Na + -K + ) -ATPase and erythrocyte carbonic anhydrase seem to provide the supplemental uptake required at higher temperatures. It appears that the kidney is prominent in ion transport at low temperatures while the gill is more important at high temperatures. 3 Linear regression analyses involving weight, plasma ion levels, and enzyme activities indicated several trends, the most significant being the interrelationship observed between plasma sodium and chloride. This, and other data obtained in the study was considered in light of the theory that a link exists between plasma sodium and chloride regulatory mechanisms.
Resumo:
Drawing on a growing literature on the interconnection of queer theory, sexuality and space, this thesis critically assesses the development, implementation and impact of a campus-based Positive Space Campaign aimed at raising the visibility and number of respectful, supportive, educational and welcoming spaces for lesbian, gay, bi, trans, two-spirited, queer and questioning (LGBTQ) students staff and faculty. The analysis, based on participatory action research (PAR), interrogates the extent to which the Positive Space Campaign challenges heteronormativity on campus. I contend that the Campaign, in its attempt to challenge dominant notions of sex, gender and sexuality, disrupts heterosexual space. Further, as I consider the meanings of 'queer', I consider the extent to which Positive Space Campaigns may be 'queering' space, by contributing to an 'imagined' campus space free of sexual and gender-based discrimination. The case study contributes to queer theory, the literature on sexuality and space, the literature on queer organizing in educational spaces and to broader queer organizing efforts in Canada.
Resumo:
The present research focused on the pathways through which the symptoms of posttraumatic stress disorder (PTSD) may negatively impact intimacy. Previous research has confirmed a link between self-reported PTSD symptoms and intimacy; however, a thorough examination of mediating paths, partner effects, and secondary traumatization has not yet been realized. With a sample of 297 heterosexual couples, intraindividual and dyadic models were developed to explain the relationships between PTSD symptoms and intimacy in the context of interdependence theory, attachment theory, and models of selfpreservation (e.g., fight-or-flight). The current study replicated the findings of others and has supported a process in which affective (alexithymia, negative affect, positive affect) and communication (demand-withdraw behaviour, self-concealment, and constructive communication) pathways mediate the intraindividual and dyadic relationships between PTSD symptoms and intimacy. Moreover, it also found that the PTSD symptoms of each partner were significantly related; however, this was only the case for those dyads in which the partners had disclosed most everything about their traumatic experiences. As such, secondary traumatization was supported. Finally, although the overall pattern of results suggest a total negative effect of PTSD symptoms on intimacy, a sex difference was evident such that the direct effect of the woman's PTSD symptoms were positively associated with both her and her partner's intimacy. I t is possible that the Tend-andBefriend model of threat response, wherein women are said to foster social bonds in the face of distress, may account for this sex difference. Overall, however, it is clear that PTSD symptoms were negatively associated with relationship quality and attention to this impact in the development of diagnostic criteria and treatment protocols is necessary.
Resumo:
This qualitative study addresses the question of how teachers negotiate meaning of new curriculum to better understand how curriculum is transformed from a theoretical construct to a practical one. Through interviews with 5 teachers, their experiences were examined as they negotiated the process of implementing new curriculum. Three theoretical constructs provided the entry point into the study: epistemology, teacher knowledge, and teacher learning. Using inductive analysis, 4 points or attributes of negotiation emerged: reference, growth, autonomy, and reconciliation. These attributes provided a theoretical framework from which a constructivist conceptualization of teacher learning and teacher knowledge could serve to understand the process of how teachers negotiate meaning of curriculum. Studied and theorized in this way, teacher knowledge and teacher learning are seen to be inextricably linked in a relationship that is dynamically changed by forces of stability and instability. Theorizing the negotiation of meaning from a constructivist epistemology also strengthened the assertion that negotiating meaning is a unique structural process, and that knowledge construction is therefore unique to each knower and subject to experience in a particular time and place. The implications for such a theory are, first, that it questions the legitimacy of privatized teacher practice and, second, that it calls for a renewed conceptualization of collegial network and relationship to strengthen the capacity for negotiating meaning of curricular initiatives. Understanding the relationship of curricular theory and negotiating meaning also has implications for curriculum development. In particular, the study highlights the necessity of professional discretion and the generative process of negotiating meaning.
Resumo:
If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.
Resumo:
The conjecture claiming that every planar graph is acyclic 5-choosable[Borodin et al., 2002] has been verified for several restricted classes of planargraphs. Recently, O. V. Borodin and A. O. Ivanova, [Journal of Graph Theory,68(2), October 2011, 169-176], have shown that a planar graph is acyclically 5-choosable if it does not contain an i-cycle adjacent to a j-cycle, where 3<=j<=5 if i=3 and 4<=j<=6 if i=4. We improve the above mentioned result and prove that every planar graph without an i-cycle adjacent to a j-cycle with3<=j<=5 if i=3 and 4<=j<=5 if i=4 is acyclically 5-choosable.
Resumo:
Little is known of the uptake and use of knowledge disseminated in electronic formats, especially in Long Term Care (LTC) settings. The purpose of this descriptive study was to examine the dissemination of the BP Bloggers, a series of brief, evidence summaries designed to meet the knowledge needs of LTC staff. Guided by Rogers’ (2003) Diffusion of Innovations theory, the study documents dissemination of the BP Blogger and examines factors affecting dissemination, awareness, perceptions and its use. The survey of BP Blogger recipients was conducted electronically (n=114) online (n=10), by telephone (n=55), and print (n=144). Managers usually received the newsletter electronically while staff in LTC were more likely to receive printed copies. Participants disseminated the newsletter through paper, email, or posting in the workplace. Most participants rated the content, format, and usefulness of the BP Blogger as good or excellent. Time and lack of email access were barriers to dissemination.
Resumo:
Using a narrative inquiry approach from the perspective of the researcher’s own experiences, this paper explores the connections that developed with several teachers that facilitated and impacted his own academic and cognitive, affective, and behavioural personal development. Viewed through the analytical lens of Erikson’s theory of psychosocial development, this narrative investigates the potential effectiveness of this model in understanding the lasting and life- altering changes that may be experienced by a student through his or her interactions with memorable teachers. Last, in educational environments today, character and value based curricula are experiencing a resurgence in popularity due to their theoretical applicability for helping students to optimally develop academically, socially, and culturally. With this in mind, a student-based perspective of memorable student–teacher connections may provide a framework for developing more effective means of effectively implementing a character development curriculum.
Resumo:
A conceptual analysis of educational leadership explored the influence of managed and living systems on 21st century leadership discourse. Drawing on a detailed understanding of managed and living systems theory compiled from the work of Capra (2002), Morgan (1997), Mitchell and Sackney (2009), and Wheatley (2007), this study draws attention to the managed systems systemic concepts of efficiency, control, and standardization, and the living systems concepts of collaboration, shared meaning, change, and interconnection as markers of systems theory that find resonance within leadership literature. Using these systemic concepts as a framework, this study provides important insights into the espousal of managed and living systems concepts within the leadership discourse.