Improving a joint inversion of GRACE, GPS and modelled ocean bottom pressure by using in-situ data.

To investigate the changes in ocean bottom pressure (OBP) and ocean mass Rietbroek et al. (2009) performed a joint least square inversion of weekly GRACE solutions, patterns of large-scale deformation measured by a network of GPS stations and modelled OBP from the Finite Element Sea ice Ocean Model (FESOM). The correlation of this inversion with in-situ OBP ranges between 0.7 and 0.8 in some regions but for example in the tropical Atlantic the correlation is below 0.4. To improve the agreement of the inversion with in-situ data, a part of the in-situ data is included directly into the inversion. The in-situ OBP data was taken from the global OBP data base of Macrander et al. (2010) and averaged to weekly means. Depending on the weight put on the in-situ data, the correlation and regression increases significantly to a value larger than 0.9. The variance of the system is locally reduced by almost 50% at the locations included into the inversion while the difference of the global ocean mean is on average below 10%. Furthermore the global ocean mean is used to compute a bias term for correcting the global ocean mean obtained by the FESOM model

A study of event traffic during the shared manipulation of objects within a collaborative virtual environment

Event management must balance consistency and responsiveness above the requirements of shared object interaction within a Collaborative Virtual Environment (CVE) system. An understanding of the event traffic during collaborative tasks helps in the design of all aspects of a CVE system. The application, user activity, the display interface, and the network resources, all play a part in determining the characteristics of event management. Linked cubic displays lend themselves well to supporting natural social human communication between remote users. To allow users to communicate naturally and subconsciously, continuous and detailed tracking is necessary. This, however, is hard to balance with the real-time consistency constraints of general shared object interaction. This paper aims to explain these issues through a detailed examination of event traffic produced by a typical CVE, using both immersive and desktop displays, while supporting a variety of collaborative activities. We analyze event traffic during a highly collaborative task requiring various forms of shared object manipulation, including the concurrent manipulation of a shared object. Event sources are categorized and the influence of the form of object sharing as well as the display device interface are detailed. With the presented findings the paper wishes to aid the design of future systems

Critical exponents of a three dimensional O(4) spin model

By Monte Carlo simulation we study the critical exponents governing the transition of the three-dimensional classical O(4) Heisenberg model, which is considered to be in the same universality class as the finite-temperature QCD with massless two flavors. We use the single cluster algorithm and the histogram reweighting technique to obtain observables at the critical temperature. After estimating an accurate value of the inverse critical temperature \Kc=0.9360(1), we make non-perturbative estimates for various critical exponents by finite-size scaling analysis. They are in excellent agreement with those obtained with the $4-\epsilon$ expansion method with errors reduced to about halves of them.Comment: 25 pages with 8 PS figures, LaTeX, UTHEP-28

Gradual Certified Programming in Coq

Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated. Just like gradual typing allows for a smooth transition from dynamically-typed to statically-typed programs, it seems desirable to support a gradual path to certified programming. We explore gradual certified programming in Coq, providing the possibility to postpone the proofs of selected properties, and to check "at runtime" whether the properties actually hold. Casts can be integrated with the implicit coercion mechanism of Coq to support implicit cast insertion a la gradual typing. Additionally, when extracting Coq functions to mainstream languages, our encoding of casts supports lifting assumed properties into runtime checks. Much to our surprise, it is not necessary to extend Coq in any way to support gradual certified programming. A simple mix of type classes and axioms makes it possible to bring gradual certified programming to Coq in a straightforward manner.Comment: DLS'15 final version, Proceedings of the ACM Dynamic Languages Symposium (DLS 2015

The Carrington event not observed in most ice core nitrate records

The Carrington Event of 1859 is considered to be among the largest space weather events of the last 150 years. We show that only one out of 14 well-resolved ice core records from Greenland and Antarctica has a nitrate spike dated to 1859. No sharp spikes are observed in the Antarctic cores studied here. In Greenland numerous spikes are observed in the 40 years surrounding 1859, but where other chemistry was measured, all large spikes have the unequivocal signal, including co-located spikes in ammonium, formate, black carbon and vanillic acid, of biomass burning plumes. It seems certain that most spikes in an earlier core, including that claimed for 1859, are also due to biomass burning plumes, and not to solar energetic particle (SEP) events. We conclude that an event as large as the Carrington Event did not leave an observable, widespread imprint in nitrate in polar ice. Nitrate spikes cannot be used to derive the statistics of SEPs

Comment on “Low time resolution analysis of ice cores cannot detect impulsive nitrate events” by D. F. Smart et al.

Smart et al. (2014) suggested that the detection of nitrate spikes in polar ice cores from solar energetic particle (SEP) events could be achieved if an analytical system with sufficiently high resolution was used. Here we show that the spikes they associate with SEP events are not reliably recorded in cores from the same location, even when the resolution is clearly adequate. We explain the processes that limit the effective resolution of ice cores. Liquid conductivity data suggest that the observed spikes are associated with sodium or another nonacidic cation, making it likely that they result from deposition of sea salt or similar aerosol that has scavenged nitrate, rather than from a primary input of nitrate in the troposphere. We consider that there is no evidence at present to support the identification of any spikes in nitrate as representing SEP events. Although such events undoubtedly create nitrate in the atmosphere, we see no plausible route to using nitrate spikes to document the statistics of such events

Running quark mass in two flavor QCD

We present first results for the step scaling function sigma_P of the renormalization factor Z_P of the pseudoscalar density. The simulations are performed within the framework of the Schroedinger functional with two flavors of O(a) improved Wilson fermions. The knowledge of sigma_P is required to compute the renormalization group invariant quark masses. We also study the performance of a variant of the HMC algorithm using two pseudofermion fields.Comment: 3 pages, 2 figures, Lattice2002(spectrum