Calculation of the magnetic field penetration depth for high-Tc cuprate superconductors based on the Interlayer Pair Tunneling model /

In this work, the magnetic field penetration depth for high-Tc cuprate superconductors is calculated using a recent Interlayer Pair Tunneling (ILPT) model proposed by Chakravarty, Sudb0, Anderson, and Strong [1] to explain high temperature superconductivity. This model involves a "hopping" of Cooper pairs between layers of the unit cell which acts to amplify the pairing mechanism within the planes themselves. Recent work has shown that this model can account reasonably well for the isotope effect and the dependence of Tc on nonmagnetic in-plane impurities [2] , as well as the Knight shift curves [3] and the presence of a magnetic peak in the neutron scattering intensity [4]. In the latter case, Yin et al. emphasize that the pair tunneling must be the dominant pairing mechanism in the high-Tc cuprates in order to capture the features found in experiments. The goal of this work is to determine whether or not the ILPT model can account for the experimental observations of the magnetic field penetration depth in YBa2Cu307_a7. Calculations are performed in the weak and strong coupling limits, and the efi"ects of both small and large strengths of interlayer pair tunneling are investigated. Furthermore, as a follow up to the penetration depth calculations, both the neutron scattering intensity and the Knight shift are calculated within the ILPT formalism. The aim is to determine if the ILPT model can yield results consistent with experiments performed for these properties. The results for all three thermodynamic properties considered are not consistent with the notion that the interlayer pair tunneling must be the dominate pairing mechanism in these high-Tc cuprate superconductors. Instead, it is found that reasonable agreement with experiments is obtained for small strengths of pair tunneling, and that large pair tunneling yields results which do not resemble those of the experiments.

Preparing students for the transition from college to work /

The purpose of this study was to examine the perceived preparedness of college students for the transition from college to full-time employment. The study was concerned with the interest and rationale behind developing a required Exit Course for college students in order to improve the college to work transition. As well, possible content of an Exit Course was evaluated. The importance of addressing college to work transitions is highlighted by two phenomena. First, there are specific employability skills that employers in Canada are seeking in newly hired employees. Second, the provincial government in Ontario is determining college funding based on graduate employment statistics which are measured by graduate satisfaction, graduate employment, and employer satisfaction. The research concentrated on the following stakeholders involved in the transition from college to work: (a) current students, (b) recent graduates, (c) support staff who assist students in college to work transition (Career Educators), and (d) employers. Through qualitative research, including focus groups and interviews, these stakeholder groups participated in the research to determine if the Exit Course was a viable solution to facilitate the transition from college to work. Focus groups were conducted with current students, while one-on-one, semi-structured interviews were conducted with recent graduates, Career Educators, and employers. Common themes elicited from the participants included the following: (a) although students were perceived by the participants of this study to be technically prepared for employment, they were perceived to have weak job search skills and unrealistic expectations of the world of work unless they had received the benefits of a Co-operative Education experience; (b) an Exit Course was seen as a viable solution to the issues involved in college to work transition; (c) an Exit Course should be comprised of skills necessary to obtain and succeed in a job and the course should be taught by individuals with extensive qualifications in this area; and (d) there is a need to develop college and business partnerships to ensure that students are connected to employers. Educators within post secondary institutions, specifically colleges, can benefit from the information provided within this study to gain a better understanding of the perceived level of preparedness of students for the transition from college to work. Suggestions with regard to how to improve this transition were made, with specific reference to the addition of an Exit Course as one possible solution.

Order and membrane organization in chlorhexidine-lipid mixtures /

Formulations of a general bactericidal agent, chlorhexidine, mixed with a phospholipid at different concentrations are investigated using ^H NMR spectroscopy on a chain-deuterated lipid analog. Lipid-chlorhexidine formulation is known to release the drug into an aqueous medium slowly, maintaining a comparable concentration of the drug for up to four times longer than a direct aqueous solution. The NMR data does not support the proposed liposomal entrapment of chlorhexidine in lipid compartments. Complex thermal history of the lipid-chlorhexidine preparations is investigated in detail. In preparation for a counterpart measurement, using ^H NMR of deuterated chlorhexidine mixed with protonated lipid, the synthesis of a deuterated analog of chlorhexidine is performed.

A treatment of atomic mean square displacement in higher order perturbation theory

A general derivation of the anharmonic coefficients for a periodic lattice invoking the special case of the central force interaction is presented. All of the contributions to mean square displacement (MSD) to order 14 perturbation theory are enumerated. A direct correspondance is found between the high temperature limit MSD and high temperature limit free energy contributions up to and including 0(14). This correspondance follows from the detailed derivation of some of the contributions to MSD. Numerical results are obtained for all the MSD contributions to 0(14) using the Lennard-Jones potential for the lattice constants and temperatures for which the Monte Carlo results were calculated by Heiser, Shukla and Cowley. The Peierls approximation is also employed in order to simplify the numerical evaluation of the MSD contributions. The numerical results indicate the convergence of the perturbation expansion up to 75% of the melting temperature of the solid (TM) for the exact calculation; however, a better agreement with the Monte Carlo results is not obtained when the total of all 14 contributions is added to the 12 perturbation theory results. Using Peierls approximation the expansion converges up to 45% of TM• The MSD contributions arising in the Green's function method of Shukla and Hubschle are derived and enumerated up to and including 0(18). The total MSD from these selected contributions is in excellent agreement with their results at all temperatures. Theoretical values of the recoilless fraction for krypton are calculated from the MSD contributions for both the Lennard-Jones and Aziz potentials. The agreement with experimental values is quite good.

Chelated fluoroboron cations : synthesis and multinuclear nmr studies

The preparation of chelated difluoroboron cations (DD)BF2+, where DD is a saturated polydentate tertiary-amine or polydentate aromatic ligand, has been systematically studied by using multinuclear solution and solid state nuclear magnetic resonance spectroscopy and fast atom bombardment mass spectrometry. Three new methods of synthesis of (DD)BF2+ cations are reported, and compared with the previous method of reacting a chelating donor with Et20.BF3. The methods most effective for aromatic donors such as 1,1O-phenanthroline are ineffective for saturated polydentate tertiary-amines like N,N,N' ,Nil ,Nil-pentamethyldiethylenetriamine. Polydentate tertiary-amine donors that form 5-membered rings upon bidentate chelation were found to chelate effectively when the BF2 source contained two leaving groups (a heavy halide and a Lewis base such as pyridine =pyr or isoxazole =ISOX), i.e., pyr.BF2X (X = CI or Br), ISOX.BF2X and (pyr)2BF2+. Those that would form 6membered rings upon chelation do not chelate by any of the four methods. Polydentate aromatic ligands chelate effectively when the BF2 source contained a weak Lewis base, e.g., ISOX.BF3, ISOX.BF2X and Et20.BF3. Bidentate chelation by polydentate tertiaryamine and aromatic donors leads to nmr parameters that are significantly different then their (D)2BF2+ relatives (D =monod~ntate t-amines or pyridines). The chelated haloboron cations (DD)BFCI+, and (DD)BFBr+ were generated from D.BFX2 adducts for all ligands that form BF2+ cations above. In addition, the (DD)BCI2+ and (DD)BBr2+ cations were formed from D.BX3 adducts by the chelating aromatic ligands, except for the aromatic ligand 1,8-bis(dimethylamino)naphthalene, which formed only the (DD)BF2+ cation, apparently due to its extreme steric hindrance. Chelation by a donor is a two-step reaction. For polydentate tertiary-amine ligands, the two rates appear to be very dependent on the two possible leaving groups on the central boron atom. The order of increasing ease of displacement for the donors was: pyr < Cl < Br < ISOX. The rate of chelation by polydentate aromatic ligands appears to be dependent on the displacement of the first ligand from the boron. The order of increasing ease of displacement for the donors was: pyr < CI < ISOX ~ Br < Et20.

Simultaneous extraction of order parameters and orientational distribution fuctions from 31[superscript]P NMR spectra of magnetically partially oriented phospholipid bilayers

Order parameter profiles extracted from the NMR spectra of model membranes are a valuable source of information about their structure and molecular motions. To al1alyze powder spectra the de-Pake-ing (numerical deconvolution) ~echnique can be used, but it assumes a random (spherical) dist.ribution of orientations in the sample. Multilamellar vesicles are known to deform and orient in the strong magnetic fields of NMR magnets, producing non-spherical orientation distributions. A recently developed technique for simultaneously extracting the anisotropies of the system as well as the orientation distributions is applied to the analysis of partially magnetically oriented 31p NMR spectra of phospholipids. A mixture of synthetic lipids, POPE and POPG, is analyzed to measure distortion of multilamellar vesicles in a magnetic field. In the analysis three models describing the shape of the distorted vesicles are examined. Ellipsoids of rotation with a semiaxis ratio of about 1.14 are found to provide a good approximation of the shape of the distorted vesicles. This is in reasonable agreement with published experimental work. All three models yield clearly non-spherical orientational distributions, as well as a precise measure of the anisotropy of the chemical shift. Noise in the experimental data prevented the analysis from concluding which of the three models is the best approximation. A discretization scheme for finding stability in the algorithm is outlined

Visual word learning in good and poor readers

Forty students from regular, grade five classes were divided into two groups of twenty, a good reader group and a' poor reader group, on the basis. of their reading scores on Canadian Achievement Tests. .The subjects took. part in four experimental conditions iM which they .learned lists of pronounceable and unprono~nceable pseudowords, some with semantic referents, and responded to questions designed tci test visual perceptu~l learning and lexical ·and semantic association learning. It' was hypothesized "that the good reade~ group would be able to make use of graphemic and phonemic redundancy patterns in order to improv~·visuSl perceptual learning and lexical and semantic association lea~ningto a greater extent. than would .the poor reader gr6up. The data supported this hypothesis, and also indicated that, although the poor readers were less adept at using familiar sound and letter patterns, they were more dependent on· such pa~terns as an aid to visual recognition memory and semantic recall than were the good readers. It wa.s postulated that poor readers are in a double- ~ . bind situatio~ of having to choose between using weak graphemic-semantic associations or gr~pheme-phoneme associations which are also weak and which have hindered them in developing automaticity in. reading.

An examination of the effects on learning seen in children afforded the opportunity to control the order of repetitions for three novel spatiotemporal sequences

Children were afforded the opportunity to control the order of repetitions for three novel spatiotemporal sequences. The following was predicted: a) children and adults in the self-regulated (SELF) groups would produce faster movement (MT) and reaction times (R T) and greater recall success (RS) during retention compared to the age-matched yoked (YOKE) groups; b) children would choose to switch sequences less often than adults; c) adults would produce faster MT and RT and greater RS than the children during acquisition and retention, independent of experimental group. During acquisition, no effects were seen for RS, however for MT and RT there was a main effect for age as well as block. During retention a main effect for practice condition was seen for RS and failed to reach statistical significance for MT and RT, thus partially supporting our first and second hypotheses. The third hypothesis was not supported.

Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

A System for Models of First Order Theories

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.

The true history regarding alleged connection of the order of ancient, free and accepted Masons: with the abduction and murder of William Morgan in western New York, in 1826... (1886)

Cover title: Masonic light on the abduction and murder of Wm. Morgan.

Blue book for the use of subordinate divisions of the order of the Sons of Temperenance (1867)

Inscribed on front paste-down: Rothschild division No.227; and in pencil: James Jackson; and on front free endpaper: Presented to James M Clark By Mrs Amanda Burns Robert at Stayner 25 Aug. 1878.