11,804 research outputs found

    A Correlation of the Peneplains of the Driftless Area

    Get PDF
    The conclusions reached in this paper in regard to the erosional history of the Driftless Area are the results of evidence secured from three sources: (1) Field work during the summer of 1915, carried on by the writer in the Baraboo district and the Richland Center quadrangle, Wisconsin, has furnished direct evidence for the northern portion of the area under consideration. (2) The literature on the subject has been used freely, the Lancaster-Mineral Point folio by Grant and Burchard having proven especially valuable. (3) The details of the Elizabeth and Galena quadrangles were furnished by Prof. A. C. Trowbridge under whose direction the work has been carried on and whose advice was most valuable because of his intimate acquaintance with numerous localities in the Driftless Area

    Magnetic relaxation in metallic films: Single and multilayer structures

    Get PDF
    The intrinsic magnetic relaxations in metallic films will be discussed. It will be shown that the intrinsic damping mechanism in metals is caused by incoherent scattering of itinerant electron-hole pair excitations by phonons and magnons. Berger [L. Berger, Phys. Rev. B 54, 9353 (1996)] showed that the interaction between spin waves and itinerant electrons in multilayers can lead to interface Gilbert damping. Ferromagnetic resonance (FMR) studies were carried out using magnetic single and double layer films. The FMR linewidth of the Fe films in the double layer structures was found to always be larger than the FMR linewidth measured for the single Fe films having the same thickness. The increase in the FMR linewidth scaled inversely with the film thickness, and was found to be linearly dependent on the microwave frequency. These results are in agreement with Berger's predictions. (C) 2002 American Institute of Physics

    Academic enrepreneurship and organisational support factors

    Get PDF
    Academic entrepreneurship has gained popularity in recent decades as an important feature in the movement towards a knowledge society. Research shows that the organisational context can facilitate or impede academic entrepreneurship. However academics are often faced with a weak set of institutional and organisational factors which inhibit the commercialisation and technology innovation process. This article builds in the direction of this emerging stream of research and empirically investigates the relationship between the management support, rewards and incentives, time allocation and measurable academic entrepreneurship outputs. Following a survey of universities and research councils in South Africa, the results reveal several positive interrelationships between the study variables. In particular rewards were found to have a significant impact on academic entrepreneurship outputs. Implications relate to management interventions to design and implement simple and harmonised academic entrepreneurship support mechanisms which focus on rewards and incentives

    Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

    Get PDF
    Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical libraries is the application of machine learning to large corpora of proofs. This work develops learning-based premise selection in two ways. First, a newly available minimal dependency analysis of existing high-level formal mathematical proofs is used to build a large knowledge base of proof dependencies, providing precise data for ATP-based re-verification and for training premise selection algorithms. Second, a new machine learning algorithm for premise selection based on kernel methods is proposed and implemented. To evaluate the impact of both techniques, a benchmark consisting of 2078 large-theory mathematical problems is constructed,extending the older MPTP Challenge benchmark. The combined effect of the techniques results in a 50% improvement on the benchmark over the Vampire/SInE state-of-the-art system for automated reasoning in large theories.Comment: 26 page

    Formation of antiwaves in gap-junction-coupled chains of neurons

    Full text link
    Using network models consisting of gap junction coupled Wang-Buszaki neurons, we demonstrate that it is possible to obtain not only synchronous activity between neurons but also a variety of constant phase shifts between 0 and \pi. We call these phase shifts intermediate stable phaselocked states. These phase shifts can produce a large variety of wave-like activity patterns in one-dimensional chains and two-dimensional arrays of neurons, which can be studied by reducing the system of equations to a phase model. The 2\pi periodic coupling functions of these models are characterized by prominent higher order terms in their Fourier expansion, which can be varied by changing model parameters. We study how the relative contribution of the odd and even terms affect what solutions are possible, the basin of attraction of those solutions and their stability. These models may be applicable to the spinal central pattern generators of the dogfish and also to the developing neocortex of the neonatal rat
    corecore