L-Fuzzy Structured Query Language

Lattice valued fuzziness is more general than crispness or fuzziness based on the unit interval. In this work, we present a query language for a lattice based fuzzy database. We define a Lattice Fuzzy Structured Query Language (LFSQL) taking its membership values from an arbitrary lattice L. LFSQL can handle, manage and represent crisp values, linear ordered membership degrees and also allows membership degrees from lattices with non-comparable values. This gives richer membership degrees, and hence makes LFSQL more flexible than FSQL or SQL. In order to handle vagueness or imprecise information, every entry into an L-fuzzy database is an L-fuzzy set instead of crisp values. All of this makes LFSQL an ideal query language to handle imprecise data where some factors are non-comparable. After defining the syntax of the language formally, we provide its semantics using L-fuzzy sets and relations. The semantics can be used in future work to investigate concepts such as functional dependencies. Last but not least, we present a parser for LFSQL implemented in Haskell.

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.

Forgiveness in Two Minds: Understanding Forgiveness Through Dual-Process Theory

In this thesis, I examined the relevance of dual-process theory to understanding forgiveness. Specifically, I argued that the internal conflict experienced by laypersons when forgiving (or finding themselves unable to forgive) and the discrepancies between existing definitions of forgiveness can currently be best understood through the lens of dual-process theory. Dual-process theory holds that individuals engage in two broad forms of mental processing corresponding to two systems, here referred to as System 1 and System 2. System 1 processing is automatic, unconscious, and operates through learned associations and heuristics. System 2 processing is effortful, conscious, and operates through rule-based and hypothetical thinking. Different definitions of forgiveness amongst both lay persons and scholars may reflect different processes within each system. Further, lay experiences with internal conflict concerning forgiveness may frequently result from processes within each system leading to different cognitive, affective, and behavioural responses. The study conducted for this thesis tested the hypotheses that processing within System 1 can directly affect one's likelihood to forgive, and that this effect is moderated by System 2 processing. I used subliminal conditioning to manipulate System 1 processing by creating positive or negative conditioned attitudes towards a hypothetical transgressor. I used working memory load (WML) to inhibit System 2 processing amongst half of the participants. The conditioning phase of the study failed and so no conclusions could be drawn regarding the roles of System 1 and System 2 in forgiveness. The implications of dual-process theory for forgiveness research and clinical practice, and directions for future research are discussed.

Project Business: a quasi-experimental study of co- operative interaction between schools and industry

This project is a quasi-experimental study involving eight classrooms in two senior elementary schools in St. Catharines, Ontario which received a Project Business Program and were pre- and post-tested to determine the growth of knowledge acquisition in the area of business concepts. Four classrooms received a Project Business treatment while four classrooms acted as a control. The Project Business Program is sponsored by Junior Achievement of Canada; it occurred during a twelveweek period, February to May 1981, and is run by business consultants who, through Action, Dialogue and Career Exploration, teach children about economics and business related topics. The consultants were matched with teacher co-ordinators in whose classrooms they taught and with whom they discussed field trips, students, lesson planning, etc. The statistical analysis of pre- and post-test means revealed a significant statistical growth in the area of knowledge acquisition on the part of those students who received the Project Business Program. This confirms that Project Business makes a difference. A search of the literature appears to advocate economic programs like Project Business, whfch are broadly based, relevant and processoriented. This program recommends itself as a model for other areas of co-operative curricular interactions and as a bridge to future trends and as a result several fruitful areas of research are suggested.

The impact of tobacco control policies on university students' smoking in Ontario

Objective. Despite steady declines in the prevalence of tobacco use among Canadians, young adult tobacco use has remained stubbornly high over the past two decades (CTUMS, 2005a). Currently in Ontario, young adults have the highest proportion of smokers of all age cohorts at 26%. A growing body of evidence shows that smoking restrictions and other tobacco control policies can reduce tobacco use and consumption among adults and deter initiation among youth; whether young adult university students' smoking participation is influenced by community smoking restrictions, campus tobacco control policies or both remains an empirical question. The purpose of this study is to examine the relationship among current smoking status of students on university campuses across Ontario and various tobacco control policies, 3including clean air bylaws of students' home towns, clean air by-laws of the community where the university is situated, and campus policies. Methods. Two data sets were used. The 200512006 Tobacco Use in a Representative Sample of Post-Secondary Students data set provides information about the tobacco use of 10,600 students from 23 universities and colleges across Ontario. Data screening for this study reduced the sample to 5,114 17-to-24 year old undergraduate students from nine universities. The second data set is researcher-generated and includes information about strength and duration of, and students' exposure to home town, local and campus tobacco control policies. Municipal by-laws (of students' home towns and university towns) were categorized as weak, moderate or strong based on criteria set out in the Ontario Municipal By-law Report; campus policies were categorized in a roughly parallel fashion. Durations of municipal and campus policies were calculated; and length of students' exposure to the policies was estimated (all in months). Multinomial logistic regression analyses were used to examine the relationship between students' current smoking status (daily, less-than-daily, never-smokers) and the following policy measures: strength of, duration of, and students' exposure to campus policy; strength of, duration of, and students' exposure to the by-law in the university town; and, strength of, duration of, and students' exposure to the by-law in the home town they grew up in. Sociodemographic variables were controlled for. Results. Among the Ontario university students surveyed, 7.0% currently use tobacco daily and 15.4% use tobacco less-than-daily. The proportions of students experiencing strong tobacco control policies in their home town, the community in which their university is located and at their current university were 33.9%,64.1 %, and 31.3% respectively. However, 13.7% of students attended a university that had a weak campus policy. Multinomial logistic regressions suggested current smoking status was associated with university town by-law strength, home town by-law strength and the strength of the campus tobacco control policy. In the fmal model, after controlling for sociodemographic factors, a strong by-law in the university town and a strong by-law in students' home town were associated with reduced odds of being both a less-than-daily (OR = 0.64, 95%CI: 0.48-0.86; OR = 0.80, 95%CI: 0.66-0.95) and daily smoker (OR = 0.59, 95%CI: 0.39-0.89; OR = 0.76, 95%CI: 0.58-0.99), while a weak campus tobacco control policy was associated with higher odds of being a daily smoker (OR = 2.08, 95%CI: 1.31-3.30) (but unrelated to less-than-daily smoking). Longer exposure to the municipal by-law (OR = 0.93; 95%CI: 0.90-0.96) was also related to smoking status. Conclusions. Students' smoking prevalence was associated with the strength of the restrictions in university, and with campus-specific tobacco control policies. Lessthan- daily smoking was not as strongly associated with policy measures as daily smoking was. University campuses may wish to adopt more progressive campus policies and support clean air restrictions in the broader community. More research is needed to determine the direction of influence between tobacco control policies and students' smoking.

Human Endogenous Retrovirus (HERV) Insertional Polymorphisms

Human endogenous retroviruses (HERVs) are the result of ancient germ cell infections of human germ cells by exogenous retroviruses. HERVs belong to the long terminal repeat (LTR) group of retrotransposons that comprise ~8% of the human genome. The majority of the HERVs documented have been truncated and/or incurred lethal mutations and no longer encode functional genes; however a very small number of HERVs seem to maintain functional in making new copies by retrotranspositon as suggested by the identification of a handful of polymorphic HERV insertions in human populations. The objectives of this study were to identify novel insertion of HERVs via analysis of personal genomic data and survey the polymorphism levels of new and known HERV insertions in the human genome. Specifically, this study involves the experimental validation of polymorphic HERV insertion candidates predicted by personal genome-based computation prediction and survey the polymorphism level within the human population based on a set of 30 diverse human DNA samples. Based on computational analysis of a limited number of personal genome sequences, PCR genotyping aided in the identification of 15 dimorphic, 2 trimorphic and 5 fixed full-length HERV-K insertions not previously investigated. These results suggest that the proliferation rate of HERVKs, perhaps also other ERVs, in the human genome may be much higher than we previously appreciated and the recently inserted HERVs exhibit a high level of instability. Throughout this study we have observed the frequent presence of additional forms of genotypes for these HERV insertions, and we propose for the first time the establishment of new genotype reporting nomenclature to reflect all possible combinations of the pre-integration site, solo-LTR and full-length HERV alleles.

Working Together: Librarian and Student Collaboration Through Active Learning in a Library Eclassroom

Active learning strategies based on several learning theories were incorporated during instruction sessions for second year Biological Sciences students. The instructional strategies described in this paper are based primarily on sociocultural and collaborative learning theory, with the goal being to expand the relatively small body of literature currently available that discusses the application of these learning theories to library instruction. The learning strategies employed successfully involved students in the learning process ensuring that the experiences were appropriate and effective. The researchers found that, as a result of these strategies (e.g. teaching moments based on the emerging needs of students) students’ interest in learning information literacy was increased and students interacted with information given to them as well as with their peers. Collaboration between the Librarians, Co-op Student and Senior Lab Instructor helped to enhance the learning experience for students and also revealed new aspects of the active learning experiences. The primary learning objective, which was to increase the students’ information skills in the Biological Sciences, was realized. The advantages of active learning were realized by both instructors and students. Advantages for students attained during these sessions include having their diverse learning styles addressed; increased interaction with and retention of information; increased responsibility for their own learning; the opportunity to value not only the instructors, but also themselves and their peers as sources of authority and knowledge; improved problem solving abilities; increased interest and opportunities for critical thinking, as a result of the actively exchanging information in a group. The primary advantage enjoyed by the instructors was the opportunity to collaborate with colleagues to reduce the preparation required to create effective library instruction sessions. Opportunities for further research were also discovered, including the degree to which “social loafing” plays a role in collaborative, active learning.

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.