478 research outputs found

    Short communications: The Grey-chinned Sunbird Anthreptes rectirostris in Tanzania

    Get PDF
    No Abstrac

    A New Technique for Firn Grain-Size Measurement Using Sem Image Analysis

    Get PDF
    Firn microstructure is accurately characterized using images obtained from scanning electron microscopy (SEM). Visibly etched grain boundaries within images are used to create a skeleton outline of the microstructure. A pixel-counting utility is applied to the outline to determine grain area. Firn grain sizes calculated using the technique described here are compared to those calculated using the techniques of Gow (1969) and Gay and Weiss (1999) on samples of the same material, and are found to be substantially smaller. The differences in grain size between the techniques are attributed to sampling deficiencies (e.g. the inclusion of pore filler in the grain area) in earlier methods. The new technique offers the advantages of greater accuracy and the ability to determine individual components of the microstructure (grain and pore), which have important applications in ice-core analyses. The new method is validated by calculating activation energies of grain boundary diffusion using predicted values based on the ratio of grain-size measurements between the new and existing techniques. The resulting activation energy falls within the range of values previously reported for firn/ice

    A Coupled-Cluster Formulation of Hamiltonian Lattice Field Theory: The Non-Linear Sigma Model

    Get PDF
    We apply the coupled cluster method (CCM) to the Hamiltonian version of the latticised O(4) non-linear sigma model. The method, which was initially developed for the accurate description of quantum many-body systems, gives rise to two distinct approximation schemes. These approaches are compared with each other as well as with some other Hamiltonian approaches. Our study of both the ground state and collective excitations leads to indications of a possible chiral phase transition as the lattice spacing is varied.Comment: 44 Pages, 14 figures. Uses Latex2e, graphicx, amstex and geometry package

    Verification of Snapshotable Trees using Access Permissions and Typestate

    Get PDF
    Abstract. We use access permissions and typestate to specify and verify a Java library that implements snapshotable search trees, as well as some client code. We formalize our approach in the Plural tool, a sound modular typestate checking tool. We describe the challenges to verifying snapshotable trees in Plural, give an abstract interface specification against which we verify the client code, provide a concrete specification for an implementation and describe proof patterns we found. We also relate this verification approach to other techniques used to verify this data structure.

    Founding quantum theory on the basis of consciousness

    Full text link
    In the present work, quantum theory is founded on the framework of consciousness, in contrast to earlier suggestions that consciousness might be understood starting from quantum theory. The notion of streams of consciousness, usually restricted to conscious beings, is extended to the notion of a Universal/Global stream of conscious flow of ordered events. The streams of conscious events which we experience constitute sub-streams of the Universal stream. Our postulated ontological character of consciousness also consists of an operator which acts on a state of potential consciousness to create or modify the likelihoods for later events to occur and become part of the Universal conscious flow. A generalized process of measurement-perception is introduced, where the operation of consciousness brings into existence, from a state of potentiality, the event in consciousness. This is mathematically represented by (a) an operator acting on the state of potential-consciousness before an actual event arises in consciousness and (b) the reflecting of the result of this operation back onto the state of potential-consciousness for comparison in order for the event to arise in consciousness. Beginning from our postulated ontology that consciousness is primary and from the most elementary conscious contents, such as perception of periodic change and motion, quantum theory follows naturally as the description of the conscious experience.Comment: 41 pages, 3 figures. To be published in Foundations of Physics, Vol 36 (6) (June 2006), published online at http://dx.doi.org/10.1007/s10701-006-9049-

    Quantum Phase Transitions and the Extended Coupled Cluster Method

    Get PDF
    We discuss the application of an extended version of the coupled cluster method to systems exhibiting a quantum phase transition. We use the lattice O(4) non-linear sigma model in (1+1)- and (3+1)-dimensions as an example. We show how simple predictions get modified, leading to the absence of a phase transition in (1+1) dimensions, and strong indications for a phase transition in (3+1) dimensions

    DXA-derived hip shape is related to osteoarthritis:findings from in the MrOS cohort

    Get PDF
    BF conducted this research whilst on a clinical research primer fellowship awarded by the Elizabeth Blackwell Institute, University of Bristol, UK. This study was funded by Arthritis Research UK project grant ref 20244. CG is funded by Arthritis Research UK grant ref 20000. The Osteoporotic Fractures in Men (MrOS) Study is supported by National Institutes of Health funding. The following institutes provide support: the National Institute on Aging (NIA), the National Institute of Arthritis and Musculoskeletal and Skin Diseases (NIAMS), the National Center for Advancing Translational Sciences (NCATS), and NIH Roadmap for Medical Research under the following grant numbers: R01 AR052000, K24 AR048841, U01 AG027810, U01 AG042124, U01 AG042139, U01 AG042140, U01 AG042143, U01 AG042145, U01 AG042168, U01 AR066160, and UL1 TR000128.Peer reviewedPostprin

    Metastability and Transient Effects in Vortex Matter Near a Decoupling Transition

    Full text link
    We examine metastable and transient effects both above and below the first-order decoupling line in a 3D simulation of magnetically interacting pancake vortices. We observe pronounced transient and history effects as well as supercooling and superheating between the 3D coupled, ordered and 2D decoupled, disordered phases. In the disordered supercooled state as a function of DC driving, reordering occurs through the formation of growing moving channels of the ordered phase. No channels form in the superheated region; instead the ordered state is homogeneously destroyed. When a sequence of current pulses is applied we observe memory effects. We find a ramp rate dependence of the V(I) curves on both sides of the decoupling transition. The critical current that we obtain depends on how the system is prepared.Comment: 10 pages, 15 postscript figures, version to appear in PR
    corecore