Magnetic reordering in the vicinity of a ferromagnetic/antiferromagnetic interface

The magnetic arrangement in the vicinity of the interface between a ferromagnet and an antiferromagnet is investigated, in particular its dependence on the exchange couplings and the temperature. Applying a Heisenberg model, both sc(001) and fcc(001) lattices are considered and solved by a mean field approximation. Depending on the parameter values a variety of different magnetic configurations emerge. Usually the subsystem with the larger ordering temperature induces a magnetic order into the other one (magnetic proximity effect). With increasing temperature a reorientation of the magnetic sublattices is obtained. For coupled sc(001) systems both FM and AFM films are disturbed from their collinear magnetic order, hence exhibit a similar behavior. This symmetry is absent for fcc(001) films which, under certain circumstances, may exhibit two different critical temperatures. Analytical results are derived for simple bilayer systems.Comment: accepted for publication in Eur. Phys. J.

Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal Methods

Ten years ago, our 1995 paper Ten Commandments of Formal Methods suggested some guidelines to help ensure the success of a formal methods project. It proposed ten important requirements (or "commandments") for formal developers to consider and follow, based on our knowledge of several industrial application success stories, most of which have been reported in more detail in two books. The paper was surprisingly popular, is still widely referenced, and used as required reading in a number of formal methods courses. However, not all have agreed with some of our commandments, feeling that they may not be valid in the long-term. We re-examine the original commandments ten years on, and consider their validity in the light of a further decade of industrial best practice and experiences

Planning and control in the 19th century ice trade

This paper describes selected accounting records of the Tudor Ice Company which were devised to manage and control the far-flung business activities of Frederic Tudor, a 19th century entrepreneur who has been called America\u27s first monopolist. Tudor\u27s business genius lay in developing methods of harvesting, transporting, storing, and marketing commercial quantities of ice taken from New England ponds and shipped to tropical ports around the world. Frederic Tudor employed relatively sophisticated accounting techniques to analyze and control transportation costs and the costs of product shrinkage. He also routinely analyzed and translated foreign currency transactions for his geographically dispersed operations and evaluated the impact of competition on his operations

Aging and ultra-slow equilibration in concentrated colloidal hard spheres

We study the dynamic behaviour of concentrated colloidal hard spheres using Time Resolved Correlation, a light scattering technique that can detect the slow evolution of the dynamics in out-of-equilibrium systems. Surprisingly, equilibrium is reached a very long time after sample initialization, the non-stationary regime lasting up to three orders of magnitude more than the relaxation time of the system. Before reaching equilibrium, the system displays unusual aging behaviour. The intermediate scattering function decays faster than exponentially and its relaxation time evolves non-monotonically with sample age.Comment: Submitted to the proceedings of the 6th EPS Liquid Matter Conference, Utrecht 2-6 July 200

In-plane magnetic reorientation in coupled ferro- and antiferromagnetic thin films

By studying coupled ferro- (FM) and antiferromagnetic (AFM) thin film systems, we obtain an in-plane magnetic reorientation as a function of temperature and FM film thickness. The interlayer exchange coupling causes a uniaxial anisotropy, which may compete with the intrinsic anisotropy of the FM film. Depending on the latter the total in-plane anisotropy of the FM film is either enhanced or reduced. Eventually a change of sign occurs, resulting in an in-plane magnetic reorientation between a collinear and an orthogonal magnetic arrangement of the two subsystems. A canted magnetic arrangement may occur, mediating between these two extremes. By measuring the anisotropy below and above the N\'eel temperature the interlayer exchange coupling can be determined. The calculations have been performed with a Heisenberg-like Hamiltonian by application of a two-spin mean-field theory.Comment: 4 pages, 4 figure

Pharmacological And Genetic Reversal Of Age-Dependent Cognitive Deficits Attributable To Decreased Presenilin Function

Alzheimer\u27s disease (AD) is the leading cause of cognitive loss and neurodegeneration in the developed world. Although its genetic and environmental causes are not generally known, familial forms of the disease (FAD) are attributable to mutations in a single copy of the Presenilin (PS) and amyloid precursor protein genes. The dominant inheritance pattern of FAD indicates that it may be attributable to gain or change of function mutations. Studies of FAD-linked forms of presenilin (psn) in model organisms, however, indicate that they are loss of function, leading to the possibility that a reduction in PS activity might contribute to FAD and that proper psn levels are important for maintaining normal cognition throughout life. To explore this issue further, we have tested the effect of reducing psn activity during aging in Drosophila melanogaster males. We have found that flies in which the dosage of psn function is reduced by 50% display age-onset impairments in learning and memory. Treatment with metabotropic glutamate receptor (mGluR) antagonists or lithium during the aging process prevented the onset of these deficits, and treatment of aged flies reversed the age-dependent deficits. Genetic reduction of Drosophila metabotropic glutamate receptor (DmGluRA), the inositol trisphosphate receptor (InsP(3)R), or inositol polyphosphate 1-phosphatase also prevented these age-onset cognitive deficits. These findings suggest that reduced psn activity may contribute to the age-onset cognitive loss observed with FAD. They also indicate that enhanced mGluR signaling and calcium release regulated by InsP(3)R as underlying causes of the age-dependent cognitive phenotypes observed when psn activity is reduced

A Public Health Service-Learning Capstone: Ideal for Students, Academia and Community

Undergraduate public health degree programs strive to educate students to improve the health of communities. As such we have an obligation to develop curricula that push students to think critically about their perspectives, examine assumptions, and provide supported opportunities to apply their academic learning. In addition, curricula ideally develop and nurture students' sense of civic responsibility. Community-engaged learning provides opportunities for students to interact with populations with a range of needs and different perspectives. Students need to be prepared to engage ethically and respectfully, while thinking critically about and reflecting on their roles in these communities. Service-learning is a high-impact practice that combines community service with structured academic learning, including preparation, and reflection. In line with public health community-based work, a key aspect of service-learning is the intentional development of community partnerships to ensure that students are filling the needs defined by the communities themselves. Accreditation criteria may guide what is taught but say little about how it should be taught. However, how we teach matters. Service-learning is a high impact practice that not only aligns well with the goals and objectives of an accreditation required culminating senior experience but shares many of the values of the discipline of public health. This paper analyzes the use of service-learning in the development and delivery of the University of Washington School of Public Health undergraduate Public Health-Global Health majors' culminating experience. We describe the course learning objectives, structure, and assessment tools. In addition, we present quantitative and qualitative results on the impact of the course. We argue that it is feasible, sustainable, and beneficial to students and communities when the high impact practice of service-learning is used in delivery of a culminating senior experience

Can we assess teaching quality on the basis of student outcomes? A stochastic frontier application

This paper proposes a new application of Stochastic Frontier Analysis (SFA) for estimating the student performance gap and how this can be used to assess changes of teaching quality at the individual unit-of-study level (module-level). Although there have been other examples in the literature that assess ‘efficiency’ in student outcomes, this is the first study that proposes the use of SFA specifically at the module level and with the goal of creating an aggregate measure of ‘quality’, thus avoiding the known issue of the statistical inconsistency of unit-specific SFA estimates. A case study is presented on how the approach can be applied in practice, with discussion on potential implementation issues. This paper is targeted to academics and policy makers that are interested in the quantitative assessment of student outcomes and specifically to those who want to assess how changes in module structure and/or delivery have affected said student outcomes

PDE-4 inhibition rescues aberrant synaptic plasticity in Drosophila and mouse models of fragile X syndrome.

Fragile X syndrome (FXS) is the leading cause of both intellectual disability and autism resulting from a single gene mutation. Previously, we characterized cognitive impairments and brain structural defects in a Drosophila model of FXS and demonstrated that these impairments were rescued by treatment with metabotropic glutamate receptor (mGluR) antagonists or lithium. A well-documented biochemical defect observed in fly and mouse FXS models and FXS patients is low cAMP levels. cAMP levels can be regulated by mGluR signaling. Herein, we demonstrate PDE-4 inhibition as a therapeutic strategy to ameliorate memory impairments and brain structural defects in the Drosophila model of fragile X. Furthermore, we examine the effects of PDE-4 inhibition by pharmacologic treatment in the fragile X mouse model. We demonstrate that acute inhibition of PDE-4 by pharmacologic treatment in hippocampal slices rescues the enhanced mGluR-dependent LTD phenotype observed in FXS mice. Additionally, we find that chronic treatment of FXS model mice, in adulthood, also restores the level of mGluR-dependent LTD to that observed in wild-type animals. Translating the findings of successful pharmacologic intervention from the Drosophila model into the mouse model of FXS is an important advance, in that this identifies and validates PDE-4 inhibition as potential therapeutic intervention for the treatment of individuals afflicted with FXS

B Cells Regulate Neutrophilia during Mycobacterium tuberculosis Infection and BCG Vaccination by Modulating the Interleukin-17 Response

We have previously demonstrated that B cells can shape the immune response to Mycobacterium tuberculosis, including the level of neutrophil infiltration and granulomatous inflammation at the site of infection. The present study examined the mechanisms by which B cells regulate the host neutrophilic response upon exposure to mycobacteria and how neutrophilia may influence vaccine efficacy. To address these questions, a murine aerosol infection tuberculosis (TB) model and an intradermal (ID) ear BCG immunization mouse model, involving both the μMT strain and B cell-depleted C57BL/6 mice, were used. IL (interleukin)-17 neutralization and neutrophil depletion experiments using these systems provide evidence that B cells can regulate neutrophilia by modulating the IL-17 response during M. tuberculosis infection and BCG immunization. Exuberant neutrophilia at the site of immunization in B cell-deficient mice adversely affects dendritic cell (DC) migration to the draining lymph nodes and attenuates the development of the vaccine-induced Th1 response. The results suggest that B cells are required for the development of optimal protective anti-TB immunity upon BCG vaccination by regulating the IL-17/neutrophilic response. Administration of sera derived from M. tuberculosis-infected C57BL/6 wild-type mice reverses the lung neutrophilia phenotype in tuberculous μMT mice. Together, these observations provide insight into the mechanisms by which B cells and humoral immunity modulate vaccine-induced Th1 response and regulate neutrophila during M. tuberculosis infection and BCG immunization. © 2013 Kozakiewicz et al