High speed binary to decimal conversion system Patent

Design and operation of high speed binary to decimal conversion syste

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

Green's Functions from Quantum Cluster Algorithms

We show that cluster algorithms for quantum models have a meaning independent of the basis chosen to construct them. Using this idea, we propose a new method for measuring with little effort a whole class of Green's functions, once a cluster algorithm for the partition function has been constructed. To explain the idea, we consider the quantum XY model and compute its two point Green's function in various ways, showing that all of them are equivalent. We also provide numerical evidence confirming the analytic arguments. Similar techniques are applicable to other models. In particular, in the recently constructed quantum link models, the new technique allows us to construct improved estimators for Wilson loops and may lead to a very precise determination of the glueball spectrum.Comment: 15 pages, LaTeX, with four figures. Added preprint numbe

Genetic Differentiation Among Three Species of \u3ci\u3eParadosa\u3c/i\u3e (Arachnida: Lycosidae)

Allozymic variation in nine protein producing loci was examined in three species of Pardosa using starch gel electrophoresis. Allozyme frequencies showed a high degree of geographic uniformity among conspecific populations. Estimated heterozygosities for the three species ranged from 0.05 to 0.15. Rogers\u27 coefficients of genetic similarity based on allozyme frequencies averaged over conspecific populations ranged from 0.16 to 0.37 fo rthe three species

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

A Swendsen-Wang update algorithm for the Symanzik improved sigma model

We study a generalization of Swendsen-Wang algorithm suited for Potts models with next-next-neighborhood interactions. Using the embedding technique proposed by Wolff we test it on the Symanzik improved bidimensional non-linear $\sigma$ model. For some long range observables we find a little slowing down exponent ($z \simeq 0.3$) that we interpret as an effect of the partial frustration of the induced spin model.Comment: Self extracting archive fil

Non-perturbative renormalization of the axial current with improved Wilson quarks

We present a new normalization condition for the axial current, which is derived from the PCAC relation with non-vanishing mass. Using this condition reduces the O(r_0 m) corrections to the axial current normalization constant Z_A for an easier chiral extrapolation in the cases, where simulations at zero quark-mass are not possible. The method described here also serves as a preparation for a determination of Z_A in the full two-flavor theory.Comment: 3 pages, 3 figures, Lattice2003(improve

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

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