478 research outputs found
A New Technique for Firn Grain-Size Measurement Using Sem Image Analysis
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
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
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
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
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
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
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
- …