Searching for invariants using genetic programming and mutation testing

Invariants are concise and useful descriptions of a program's behaviour. As most programs are not annotated with invariants, previous research has attempted to automatically generate them from source code. In this paper, we propose a new approach to invariant generation using search. We reuse the trace generation front-end of existing tool Daikon and integrate it with genetic programming and a mutation testing tool. We demonstrate that our system can find the same invariants through search that Daikon produces via template instantiation, and we also find useful invariants that Daikon does not. We then present a method of ranking invariants such that we can identify those that are most interesting, through a novel application of program mutation

Spin-lattice order in frustrated ZnCr2O4

Using synchrotron X-rays and neutron diffraction we disentangle spin-lattice order in highly frustrated ZnCr$_2$O$_4$ where magnetic chromium ions occupy the vertices of regular tetrahedra. Upon cooling below 12.5 K the quandary of anti-aligning spins surrounding the triangular faces of tetrahedra is resolved by establishing weak interactions on each triangle through an intricate lattice distortion. The resulting spin order is however, not simply a N\'{e}el state on strong bonds. A complex co-planar spin structure indicates that antisymmetric and/or further neighbor exchange interactions also play a role as ZnCr$_2$O$_4$ resolves conflicting magnetic interactions

Diffusion versus linear ballistic accumulation: different models but the same conclusions about psychological processes?

Quantitative models for response time and accuracy are increasingly used as tools to draw conclusions about psychological processes. Here we investigate the extent to which these substantive conclusions depend on whether researchers use the Ratcliff diffusion model or the Linear Ballistic Accumulator model. Simulations show that the models agree on the effects of changes in the rate of information accumulation and changes in non-decision time, but that they disagree on the effects of changes in response caution. In fits to empirical data, however, the models tend to agree closely on the effects of an experimental manipulation of response caution. We discuss the implications of these conflicting results, concluding that real manipulations of caution map closely, but not perfectly to response caution in either model. Importantly, we conclude that inferences about psychological processes made from real data are unlikely to depend on the model that is used

Temperature-dependent properties of the magnetic order in single-crystal BiFeO3

We report neutron diffraction and magnetization studies of the magnetic order in multiferroic BiFeO3. In ferroelectric monodomain single crystals, there are three magnetic cycloidal domains with propagation vectors equivalent by crystallographic symmetry. The cycloid period slowly grows with increasing temperature. The magnetic domain populations do not change with temperature except in the close vicinity of the N{\P}eel temperature, at which, in addition, a small jump in magneti- zation is observed. No evidence for the spin-reorientation transitions proposed in previous Raman and dielectric studies is found. The magnetic cycloid is slightly anharmonic for T=5 K. The an- harmonicity is much smaller than previously reported in NMR studies. At room temperature, a circular cycloid is observed, within errors. We argue that the observed anharmonicity provides important clues for understanding electromagnons in BiFeO3.Comment: In Press at PR

Singe ferroelectric and chiral magnetic domain of single-crystalline BiFeO3_3 in an electric field

We report polarized neutron scattering and piezoresponse force microscopy studies of millimeter-sized single crystals of multiferroic BiFeO$_3$. The crystals, grown below the Curie temperature, consist of a single ferroelectric domain. Two unique electric polarization directions, as well as the populations of equivalent spiral magnetic domains, can be switched reversibly by an electric field. A ferroelectric monodomain with a single-$q$ single-helicity spin spiral can be obtained. This level of control, so far unachievable in thin films, makes single-crystal BiFeO$_3$ a promising object for multiferroics research.Comment: 4 figures in separate jpg file

Combinations of Earth Orientation Measurements: SPACE2011, COMB2011, and POLE2011

Independent Earth orientation measurements taken by the space-geodetic techniques of lunar and satellite laser ranging, very long baseline interferometry, and the Global Positioning System have been combined using a Kalman filter. The resulting combined Earth orientation series, SPACE2011, consists of values and uncertainties for Universal Time, polar motion, and their rates that span from September 28, 1976, to July 13, 2012, at daily intervals and is available in versions with epochs given at either midnight or noon. The space-geodetic measurements used to generate SPACE2011 have then been combined with optical astrometric measurements to form two additional combined Earth orientation series: (1) COMB2011, consisting of values and uncertainties for Universal Time, polar motion, and their rates that span from January 20, 1962, to July 13, 2012, at daily intervals and which are also available in versions with epochs given at either midnight or noon; and (2) POLE2011, consisting of values and uncertainties for polar motion and its rate that span from January 20, 1900, to June 21, 2012, at 30.4375-day intervals

Neel to Spin-Glass-like Phase Transition versus Dilution in Geometrically Frustrated ZnCr_{2-2x}Ga_{2x}O_4

ZnCr2O4 undergoes a first order spin-Peierls-like phase transition at 12.5 K from a cubic spin liquid phase to a tetragonal Neel state. Using powder diffraction and single crystal polarized neutron scattering, we determined the complex spin structure of the Neel phase. This phase consisted of several magnetic domains with different characteristic wave vectors. This indicates that the tetragonal phase of ZnCr2O4 is very close to a critical point surrounded by many different Neel states. We have also studied, using elastic and inelastic neutron scattering techniques, the effect of nonmagnetic dilution on magnetic correlations in ZnCr_{2-2x}Ga_{2x}O_4 (x=0.05 and 0.3). For x=0.05, the magnetic correlations do not change qualitatively from those in the pure material, except that the phase transition becomes second order. For x= 0.3, the spin-spin correlations become short range. Interestingly, the spatial correlations of the frozen spins in the x=0.3 material are the same as those of the fluctuating moments in the pure and the weakly diluted materials

Combinations of Earth Orientation Measurements: SPACE2016, COMB2016, and POLE2016

Independent Earth orientation measurements taken by the space-geodetic techniques of lunar and satellite laser ranging, very long baseline interferometry, and the Global Positioning System have been combined using a Kalman filter. The resulting combined Earth orientation series, SPACE2016, consists of values and uncertainties for Universal Time, polar motion, and their rates that span from September 28, 1976, to June 30, 2017, at daily intervals and is available in versions with epochs given at either midnight or noon. The space-geodetic measurements used to generate SPACE2016 have then been combined with optical astrometric measurements to form two additional combined Earth orientation series: (1) COMB2016, consisting of values and uncertainties for Universal Time, polar motion, and their rates that span from January 20, 1962, to June 30, 2017, at daily intervals and which are also available in versions with epochs given at either midnight or noon; and (2) POLE2016, consisting of values and uncertainties for polar motion and its rate that span from January 20, 1900, to June 22, 2017, at 30.4375-day intervals

Combinations of Earth Orientation Measurements: SPACE2014, COMB2014, and POLE2014

Independent Earth orientation measurements taken by the space-geodetic techniques of lunar and satellite laser ranging, very long baseline interferometry, and the Global Positioning System have been combined using a Kalman filter. The resulting combined Earth orientation series, SPACE2013, consists of values and uncertainties for Universal Time, polar motion, and their rates that span from September 28, 1976, to June 30, 2014, at daily intervals and is available in versions with epochs given at either midnight or noon. The space-geodetic measurements used to generate SPACE2013 have then been combined with optical astrometric measurements to form two additional combined Earth orientation series: (1) COMB2013, consisting of values and uncertainties for Universal Time, polar motion, and their rates that span from January 20, 1962, to June 30, 2014, at daily intervals and which are also available in versions with epochs given at either midnight or noon; and (2) POLE2013, consisting of values and uncertainties for polar motion and its rate that span from January 20, 1900, to June 22, 2014, at 30.4375-day intervals