11 resultados para Elementary Methods In Number Theory
em Brock University, Canada
Resumo:
Interpretation has been used in many tourism sectors as a technique in achieving building hannony between resources and human needs. The objectives of this study are to identify the types of the interpretive methods used, and to evaluate their effectiveness, in marine parks. This study reviews the design principles of an effective interpretation for marine wildlife tourism, and adopts Drams' five design principles (1997) into a conceptual framework. Enjoyment increase, knowledge gain, attitude and intention change, and behaviour modification were used as key indicators in the assessment of the interpretive effectiveness of the Vancouver Aquarium (VA) and Marineland Canada (MC). Since on-site research is unavailable, a virtual tour is created to represent the interpretive experiences in the two study sites. Self-administered questionnaires are used to measure responses. Through comparing responses to the questionnaires (pre-, post-virtual tours and follow-up), this study found that interpretation increased enjoyment and added to respondents' knowledge. Although the changes in attitudes and intentions are not significant, the findings indicate that attitude and intention changes did occur as a result of interpretation, but only to a limited extent. Overall results suggest that more techniques should be added to enhance the effectiveness of the interpretation in marine parks or self-guiding tours, and with careful design, virtual tours are the innovative interpretation techniques for marine parks or informal educational facilities.
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:
The literature on the vice principalship characterizes the position as one filled with clerical record keeping and student discipline and paints a picture of role conflict and general discontent. Research suggests that vice principals desire to take on a more significant role, specifically a role in curriculum leadership. Using open-ended interviews, a focus group interview, document analysis, and my research journal, I have explored the work ofa group of vice principals who have taken on the role of curriculum leader in independent Christian elementary schools in Ontario. When asked to explain their understanding of curriculum, the participants referred to written programs of study. However, their leadership activities reveal a broader understanding of curriculum as something that is in fact dynamic in nature. This leadership is enabled and shaped by their middle position on staff that combines the authority of an administrator and the credibility of a teacher. Although this dual identity creates tension, it also provides opportunities for genuine curriculum leadership. As middle leaders, the participants in this study often pull together or connect elements of the curriculum (teachers, principals, and programs) that have become separated. Such connective leadership is characterized by transformational (Van Brummelen, 2002) tendencies. This research suggests that the further along the continuum one goes from the understanding of curriculum as planned (Eisner, 1994) to acknowledging a lived curriculum (Aoki, 1993), the more transformational one's leadership style becomes.
Resumo:
This study explores the perceptions and experiences of middle-class women, mostly mothers, regarding the elementary school education of their children of mixed heritage. Because it endeavours to provide a forum in which the voices of women are considered a source of valuable information for educators, this study contributes to the fields of feminist and mothering research. Participants assign meanings to their lived experiences (Schon, 1983; van Manen 1997) and contemplate the various ways in which a mixed heritage mayor may not affect a child's schooling. Four main participants were interviewed who are mothers whose children of mixed heritage presently attend public elementary schools in Ontario, Canada. The study had an emergent design, thus allowing the researcher to make decisions as the study progressed. Three additional participants were included in the study to provide a wider perspective on the topic. These 3 additional women were the researcher herself as she explored her self-conceptual baggage (Kirby & McKenna. 1989); the researcher's mother in an attempt to consider the motherline (Lowinsky, 1992); and a volunteer non-mother of mixed ethnicity. The study involved a total of 12 individual interviews of approximately 2 hours in length. The 4 main participants and the researcher were each interviewed twice; the researcher's mother and the volunteer non-mother were each interviewed once. The researcher also attempted a focus group and kept a journal throughout the research process. Much of the analysis centers on women's interpretations of the mixed heritage experience and on their suggestions for elementary school educators. It concludes pondering on the invisibility (Chiong, 1998) of such children within the school system and calling for increased teacher education as a way to bring the mixed heritage experience out of the shadows.
Resumo:
This thesis examined the role transition from an elementary teacher to an elementary principal. In particular, the training and socialization process of becoming an elementary principal was explored through the study of the hierarchical and political structure of a southern Ontario school board, and how this influenced the learning experiences of new elementary principals. A qualitative methodology, with a grounded theory design, was employed to investigate this process through interviews with 10 participants to examine their experiences and role learning occurs during their development. Specifically, participants perspective shifts, developmental experiences, understanding of group culture, and expansion of a board profile were highlighted in the data. One of the compelling results of the study was the degree to which principals of aspiring administrators influence the socialization of their subordinates. The beliefs and practices of the school principal determine the socialization orientation that teachers and vice-principals will experience during role learning. The results of this study also imply that role orientation needs to be understood as a continuum between custodial and innovative role assumption. Varying degrees of custodianship or innovation depended on the context of the administrative placement and the personal attributes of administrative candidates. Principals who are willing to share responsibilities, who are good communicators, and who wish to develop a collaborative relationship with their viceprincipals are the individuals the participants in this study described as making the best mentors.
Resumo:
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.
Resumo:
The purpose of this thesis is to investigate some open problems in the area of combinatorial number theory referred to as zero-sum theory. A zero-sequence in a finite cyclic group G is said to have the basic property if it is equivalent under group automorphism to one which has sum precisely IGI when this sum is viewed as an integer. This thesis investigates two major problems, the first of which is referred to as the basic pair problem. This problem seeks to determine conditions for which every zero-sequence of a given length in a finite abelian group has the basic property. We resolve an open problem regarding basic pairs in cyclic groups by demonstrating that every sequence of length four in Zp has the basic property, and we conjecture on the complete solution of this problem. The second problem is a 1988 conjecture of Kleitman and Lemke, part of which claims that every sequence of length n in Zn has a subsequence with the basic property. If one considers the special case where n is an odd integer we believe this conjecture to hold true. We verify this is the case for all prime integers less than 40, and all odd integers less than 26. In addition, we resolve the Kleitman-Lemke conjecture for general n in the negative. That is, we demonstrate a sequence in any finite abelian group isomorphic to Z2p (for p ~ 11 a prime) containing no subsequence with the basic property. These results, as well as the results found along the way, contribute to many other problems in zero-sum theory.
Resumo:
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.
Resumo:
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
Resumo:
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.
Resumo:
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.