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

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.

Intellectual property rights and the campaign for access to essential medicines : the advocacy role assumed by Médecins Sans Frontières

Non-governmental organizations and transnational networks have been increasingly successful a t gaining influence within issue areas traditionally controlled by the state. In many instances, non-state actors have been instrumental in forcing issues onto the global agenda, have aided in the development or transformation of global regimes, and have participated in securing state compliance for the adoption of new international norms. This paper argues that, consistent with social constructivist theory, ideas are important in influencing state preferences and change may be possible when certain factors are present. I f non-state actors can influence states, it is meaningful to understand how this happens. This paper focuses on a campaign led by Medecins Sans Frontieres that began in the late 1990s to acquire affordable medicines for patients in developing states that could not afford patented drugs. The campaign reached a measure of success in that member states of the World Trade Organization re-negotiated contested terms and meanings within the trade agreement for intellectual property rights and allowed concessions that would benefit lower income states. What factors contributed to the success of the campaign? And what were the most important factors - the issue, the actors or the mechanisms used?

Voices of the Undereducated in Adult Education and Training in Ontario: A Phenomenographic Approach

This doctoral study was an exploration of the qualitatively different ways in which undereducated adults (at or below a high school level of formal education) reported their experiences of participation in adult education and training (AET) programmes offered by publicly funded school boards or their arms-length affiliate in the province of Ontario. In light of a low participation rate in the Canadian AET system by undereducated adults, the rationale was to examine whether or not AET programmes are meeting the needs of undereducated adults beyond a narrow focus on an instrumental approach associated with human capital development. This study was located in a theoretical framework consisting of (a) learning theory, (b) motivations for participation, (c) general barriers to participation, (d) structural barriers to participation, and (e) transformative learning. The purposive sample consisted of 11 participants between the ages of 18-58 who were drawn from service providers in 4 geographic regions of Ontario. Data collection consisted of (a) demographics, (b) voice recordings from face-to-face participant interviews, (c) participant weekly critical incident reports, and (d) researcher reflexive journal notes. Data were analyzed in accordance with a phenomenographic approach within a constructivist/interpretivist research paradigm. Findings revealed 4 qualitatively different ways in which undereducated adult learners reported their experiences of participation in AET and were reported as the voice of (a) security, (b) engagement, (c) relationship, and (d) competency. Implications to theory and practice and to further inquiry were outlined.

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.

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.

Determinación de trazas de tierras raras en minerales de flourita por el método de análisis instrumental por activación con neutrónes térmicos

Tesis (Maestría en Ciencias, con especialidad en Ingeniería Nuclear). U. A. N. L.

Estudio comparativo de la actividad antimicrobiana en la desinfección de instrumental ortodóntico.

Tesis (Maestría en Ciencias Odontológicas con Especialidad en Ortodoncia) UANL, 2011.

Psycho - and bio - cybernetics in Plato's acoustics and theory of education

UANL

Memoria del ciclo de conferencias : la información cetenal, parte importante del instrumental de la planeación

UANL