The structure of amorphous GeSe2 (a-GeSe2) has been studied by means of a combination of two-edges X-ray absorption spectroscopy (XAS) and angle-dispersive X-ray diffraction under pressures up to about 30 GPa. Multiple-edge XAS data-analysis of a-GeSe2 at ambient conditions allowed us to reconstruct and compare the first-neighbor distribution function with previous results obtained by neutron d...

Bird songs range in form from the simple notes of a Chipping Sparrow to the rich performance of the nightingale. Non-adjacent correlations can be found in the syntax of some birdsongs, indicating that the choice of what to sing next is determined not only by the current syllable, but also by previous syllables sung. Here we examine the song of the domesticated canary, a complex singer whose son...

We develop a value range analysis for higher-order programs. The analysis extracts a nugget that characterizes the value bindings resulting from program execution. This abstraction can be fed into a theorem prover to extract non-trivial inductive properties about programs, including the range of values assigned to variables during program execution. The paper incorporates several new technical ...

This paper begins by analyzing the Fermi-Hubbard Hamiltonian, a hopping model for Fermions on a lattice, and the pathology of the model’s extreme cases is discussed. Finally, the usefulness of experiments with ultracold atoms for studying order in these systems is presented. William R. McGehee Long-Range Order in the Hubbard Model 2

We report on the low-energy dynamics in kagome antiferromagnet CaCu3(OD)6Cl2∙0.6D2O (Ca-kapellasite) as studied by use of 2D-NMR measurements. Previous 35Cl-NMR measurements revealed that nuclear spin–lattice relaxation rate (1/T1) shows two peaks at temperatures, T* = 7.2 K and Ts \( \simeq \) 25 K. While low-temperature peak is ascribed to critical fluctuations near long-range magnetic orderi...

In this paper we emphasize a similarity between the Logarithmic-Type Image Processing (LTIP) model and the Naka-Rushton model of the Human Visual System (HVS). LTIP is a derivation of the Logarithmic Image Processing (LIP), which further replaces the logarithmic function with a ratio of polynomial functions. Based on this similarity, we show that it is possible to present an unifying framework ...