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.

Developing a numerical inverse-theory-based extraction of orientation-dependent relaxation rates from partially- relaxed spectra

Second-rank tensor interactions, such as quadrupolar interactions between the spin- 1 deuterium nuclei and the electric field gradients created by chemical bonds, are affected by rapid random molecular motions that modulate the orientation of the molecule with respect to the external magnetic field. In biological and model membrane systems, where a distribution of dynamically averaged anisotropies (quadrupolar splittings, chemical shift anisotropies, etc.) is present and where, in addition, various parts of the sample may undergo a partial magnetic alignment, the numerical analysis of the resulting Nuclear Magnetic Resonance (NMR) spectra is a mathematically ill-posed problem. However, numerical methods (de-Pakeing, Tikhonov regularization) exist that allow for a simultaneous determination of both the anisotropy and orientational distributions. An additional complication arises when relaxation is taken into account. This work presents a method of obtaining the orientation dependence of the relaxation rates that can be used for the analysis of the molecular motions on a broad range of time scales. An arbitrary set of exponential decay rates is described by a three-term truncated Legendre polynomial expansion in the orientation dependence, as appropriate for a second-rank tensor interaction, and a linear approximation to the individual decay rates is made. Thus a severe numerical instability caused by the presence of noise in the experimental data is avoided. At the same time, enough flexibility in the inversion algorithm is retained to achieve a meaningful mapping from raw experimental data to a set of intermediate, model-free

The development of norm-based coding and category-specific face prototypes : an examination of 5- and 8-year-olds' face space

The present set of experiments was designed to investigate the organization and refmement of young children's face space. Past research has demonstrated that adults encode individual faces in reference to a distinct face prototype that represents the average of all faces ever encountered. The prototype is not a static abstracted norm but rather a malleable face average that is continuously updated by experience (Valentine, 1991); for example, following prolonged viewing of faces with compressed features (a technique referred to as adaptation), adults rate similarly distorted faces as more normal and more attractive (simple attractiveness aftereffects). Recent studies have shown that adults possess category-specific face prototypes (e.g., based on race, sex). After viewing faces from two categories (e.g., Caucasian/Chinese) that are distorted in opposite directions, adults' attractiveness ratings simultaneously shift in opposite directions (opposing aftereffects). The current series of studies used a child-friendly method to examine whether, like adults, 5- and 8-year-old children show evidence for category-contingent opposing aftereffects. Participants were shown a computerized storybook in which Caucasian and Chinese children's faces were distorted in opposite directions (expanded and compressed). Both before and after adaptation (i.e., reading the storybook), participants judged the normality/attractiveness of a small number of expanded, compressed, and undistorted Caucasian and Chinese faces. The method was first validated by testing adults (Experiment I ) and was then refined in order to test 8- (Experiment 2) and 5-yearold (Experiment 4a) children. Five-year-olds (our youngest age group) were also tested in a simple aftereffects paradigm (Experiment 3) and with male and female faces distorted in opposite directions (Experiment 4b). The current research is the first to demonstrate evidence for simple attractiveness aftereffects in children as young as 5, thereby indicating that similar to adults, 5-year-olds utilize norm-based coding. Furthermore, this research provides evidence for racecontingent opposing aftereffects in both 5- and 8-year-olds; however, the opposing aftereffects demonstrated by 5-year-olds were driven largely by simple aftereffects for Caucasian faces. The lack of simple aftereffects for Chinese faces in 5-year-olds may be reflective of young children's limited experience with other-race faces and suggests that children's face space undergoes a period of increasing differentiation over time with respect to race. Lastly, we found no evidence for sex -contingent opposing aftereffects in 5-year-olds, which suggests that young children do not rely on a fully adult-like face space even for highly salient face categories (i.e., male/female) with which they have comparable levels of experience.

Health-Enhancing Physical Activity and Well-Being: Is it How Often, How Long, or How Much Effort that Matters? A Test of Basic Psychological Needs Theory

The primary objectives of the present study were 1) to examine the relationship between health-enhancing physical activity (HEPA) and well-being across the previous day and 2) to examine the role of basic psychological need satisfaction as a potential mediator of the HEPA – well-being relationship. Participants (N = 203) were a convenience sample of undergraduate students with data collected cross sectionally. HEPA was generally associated with well-being (r‟s ranged from .18 to .62). Multiple mediation analyses supported psychological need satisfaction as mechanisms underpinning the HEPA – well- being relationship. Subsequent analyses demonstrated that effort put forth in HEPA activities, as opposed to frequency or duration, uniquely predicted well-being. The role of effort was further highlighted in the multiple mediation analyses. As such future research may wish to investigate the utility of a HEPA program that facilitates effortful engagement and fulfillment of basic psychological needs.

Generalization of the BTK Theory to the Case of Finite Quasiparticle Lifetimes

A generalization to the BTK theory is developed based on the fact that the quasiparticle lifetime is finite as a result of the damping caused by the interactions. For this purpose, appropriate self-energy expressions and wave functions are inserted into the strong coupling version of the Bogoliubov equations and subsequently, the coherence factors are computed. By applying the suitable boundary conditions to the case of a normal-superconducting interface, the probability current densities for the Andreev reflection, the normal reflection, the transmission without branch crossing and the transmission with branch crossing are determined. Accordingly the electric current and the differential conductance curves are calculated numerically for Nb, Pb, and Pb0.9Bi0.1 alloy. The generalization of the BTK theory by including the phenomenological damping parameter is critically examined. The observed differences between our approach and the phenomenological approach are investigated by the numerical analysis.

A Living Educational Theory of Knowledge Translation: Improving Practice, Influencing Learners, and Contributing to the Professional Knowledge Base

This paper captured our joint journey to create a living educational theory of knowledge translation (KT). The failure to translate research knowledge to practice is identified as a significant issue in the nursing profession. Our research story takes a critical view of KT related to the philosophical inconsistency between what is espoused in the knowledge related to the discipline of nursing and what is done in practice. Our inquiry revealed “us” as “living contradictions” as our practice was not aligned with our values. In this study, we specifically explored our unique personal KT process in order to understand the many challenges and barriers to KT we encountered in our professional practice as nurse educators. Our unique collaborative action research approach involved cycles of action, reflection, and revision which used our values as standards of judgment in an effort to practice authentically. Our data analysis revealed key elements of collaborative reflective dialogue that evoke multiple ways of knowing, inspire authenticity, and improve learning as the basis of improving practice related to KT. We validated our findings through personal and social validation procedures. Our contribution to a culture of inquiry allowed for co-construction of knowledge to reframe our understanding of KT as a holistic, active process which reflects the essence of who we are and what we do.

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.

Comparing motives, goals and weight training behaviours of competitive and recreational weight trainers: An application of organismic integration theory and goal contents theory

The study purpose was to examine differences between competitive and recreational weight trainers on indices of motivation, goals and behaviour. Data was collected from a purposive sample of competitive (n = 177; Mage = 30.86; SDage = 11.35) and recreational (n = 196; Mage = 21.97; SDage = 6.05) weight trainers using a cross-sectional, non-experimental design. Participants completed the Behavioural Regulation in Exercise Questionnaire-2R, Exercise Motivations Inventory-2, assessment of weight training behaviour and demographic questions. Multivariate analyses of variance indicated higher endorsement of autonomous motives and mostly intrinsically-oriented goals, while independent samples t-tests indicated higher frequency of weight training behaviour among the competitive weight trainers. Group differences were independent of demographic factors. Findings suggest that autonomous motives and intrinsic goals may not be undermined by competition among competitive weight trainers. This study also provides support for the utility of organismic integration theory and goal contents theory in examining strength-based exercise.

Adult Learning in the Transformational Environments of the Digital Revolution: Connecting Theory and Practice

The purpose of this study was to investigate the learning preferences and the post-secondary educational experiences of a group of Net-Gen adult learners, aged between 18 and 35, currently working in the knowledge economy workplace, and their assessment of how adequately they were prepared to meet the requirements of the knowledge economy workplace. This study utilized an explanatory mixed-method research design. Participants completed a questionnaire providing information on their self-reported learning style preferences, their use of digital tools for formal and informal learning, their use of digital technologies in postsecondary educational experiences, and their use of digital technologies in their workplace. Four volunteers from the questionnaire respondents were selected to participate in interviews based on the diversity of their experiences in higher education, including digital environments, and the diversity of their knowledge economy workplaces. Data collected from the questionnaire were analyzed for descriptive and demographic statistics, and categorized so that common patterns could be identified from information gathered from the online questionnaire and interviews. Findings based on this study indicated that these Net-Gen adult learners were fluent with all types of digital technologies in collaborative environments, expecting their educational experiences to provide a similar experience. Participants clearly expressed an understanding that digital/collaborative aptitudes are essential to successful employment in the knowledge economy workplace. The findings of this study indicated that the majority of participants felt that their post-secondary educational experiences did not adequately prepare them to meet the expectations of this type of working environment.

The Values of Community Curling: A Case Study

This qualitative case study research shows that within the realm of curling, the professionalization of the sport, at the national level, has limited to no effect on the core values of respect, belonging, and giving back that the grassroots level of curling identify as important. Through an interview process with twelve community level curlers, from four separate clubs within the Niagara region, data were collected and analyzed using traditional coding techniques. Utilizing institutional theory, the research shows a growing gap between the national level of curling and the grassroots level. Data also shows that value alterations, at the community level, are based on the changing Canadian environment in regards to legislation (smoking and drinking laws) and social behaviours (the busier Canadian lifestyle) rather than changes at the national level. These findings have a profound effect on how sports are administered in the Canadian sport system

Teaching Adolescents to Think and Act Responsibly Through Narrative Film-making: A Qualitative Study

The current qualitative study examined an adapted version of the psychoeducational program, Teaching Adolescents to Think and Act Responsibly: The EQUIP Approach (DiBiase, Gibbs, Potter, & Blount, 2012). The adapted version, referred to as the EQUIP – Narrative Filmmaking Program, was implemented as a means of character education. The purpose of this study was three-fold: 1) to examine how the EQUIP – Narrative Film-making Program influenced student’s thoughts, feelings, and behaviours; 2) to explore the students’ and the teacher’s perception of their experience with the program; and 3) to assess whether or not the integrated EQUIP – Narrative Film-making Program addressed the goals of Ontario’s character education initiative. Purposive sampling was used to select one typical Grade 9 Exploring Technologies class, consisting of 15 boys from a Catholic board of education in the southern Ontario region. The EQUIP – Narrative Film-making Program required students to create moral narrative films that first portrayed a set of self-centered cognitive distortions, with follow-up portrayals of behavioural modifications. Before, during, and after intervention questionnaires were administered to the students and teacher. The student questionnaires invited responses to a set of cognitive distortion vignettes. In addition, data was collected through student and teacher interviews, and researcher observation protocol reports. Initially the data was coded according to an a priori set of themes that were further analyzed according to emotion and values coding methods. The results indicated that while each student was unique in his thoughts, feelings, and behavioural responses to the cognitive distortion vignettes after completing the EQUIP program, the overall trends showed students had a more positive attitude, with a decreased proclivity for antisocial behaviour and self-serving cognitive distortion portrayed in the vignettes. Overall, the teacher and students’ learning experiences were mainly positive and the program met the learning expectations of Ontario’s character education initiative. Based on these results of the present study, it is recommended that the EQUIP – Narrative Film-making Program be further evaluated through quantitative research and longitudinal study.

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

Chimney design and theory ; a book for engineers and architects

UANL

Investors Impacts on Currency Returns: Theory versus Practice.

Rapport de recherche