On the effectiveness of run-time checks

Run-time checks are often assumed to be a cost-effective way of improving the dependability of software components, by checking required properties of their outputs and flagging an output as incorrect if it fails the check. However, evaluating how effective they are going to be in a future application is difficult, since the effectiveness of a check depends on the unknown faults of the program to which it is applied. A programming contest, providing thousands of programs written to the same specifications, gives us the opportunity to systematically test run-time checks to observe statistics of their effects on actual programs. In these examples, run-time checks turn out to be most effective for unreliable programs. For more reliable programs, the benefit is relatively low as compared to the gain that can be achieved by other (more expensive) measures, most notably multiple-version diversity

Searching Data: A Review of Observational Data Retrieval Practices in Selected Disciplines

A cross-disciplinary examination of the user behaviours involved in seeking and evaluating data is surprisingly absent from the research data discussion. This review explores the data retrieval literature to identify commonalities in how users search for and evaluate observational research data. Two analytical frameworks rooted in information retrieval and science technology studies are used to identify key similarities in practices as a first step toward developing a model describing data retrieval

Modellering van kennisverbruik in die graan en oliesade sektore van Suid-Afrika

A Partial Equilibrium (PE) model is developed to model fertiliser use in the grain crop and oilseed sectors to assess the impact of changes in the physical and economic environment on production and fertiliser use. Since the adoption of a policy of trade liberalisation and the shift towards a free market for agricultural products, the actual cropping patterns of grain crops have moved closer to the expected optimum production pattern. It is shown that the total area cultivated will decrease by 2,4 percent. Results show that except for the area under sunflower (that remains unchanged) and yellow maize that increases, the area utilised by other crops will decrease. Fertiliser use is directly correlated with production patterns in the provinces. A comparison of the base-case scenario and optimum solution revealed that the movement from a base to an optimum solution results in a drop in total area cultivated, production and exports. Fertiliser use correspondingly decreases.'n Parsiële Ewewigsmodel is ontwikkel om kunsmisverbruik in die graan en oliesade sektore te modelleer en om die impak van veranderinge in die fisiese en ekonomiese omgewings op produksie en kunsmisverbruik te bepaal. Sedert die aanvarding en implementering van 'n beleid van handelsliberalisering en 'n vryemark vir landbouprodukte het die werklike produksiepatrone nader beweeg na die verwagte optimum produksiepatroon. Resultate toon dat die totale area onder bewerking met 2.4 persent sal daal, en dat behalwe vir sonneblomproduksie waar die area benut word onveranderd sal bly, dat dié van geelmielies sal toeneem en dat die area benut deur ander gewasse sal afneem. Kunsmisverbruik is direk gekorreleerd met produksiepatrone in die provinsies. 'n Vergelyking van die basisgeval scenario en die optimale oplossing toon aan dat 'n beweging vanaf die basis na 'n optimale oplossing 'n daling in die totale area onder bewerking, produksie en uitvoere sal veroorsaak. Kunsmisverbruik sal dienooreenkomstig afneem.Article was written before M.C. Breitenbach joined the University of Pretoria.http://www.tandfonline.com/loi/ragr20hj2020Economic

Dust detection by the wave instrument on STEREO: nanoparticles picked up by the solar wind?

The STEREO/WAVES instrument has detected a very large number of intense voltage pulses. We suggest that these events are produced by impact ionisation of nanoparticles striking the spacecraft at a velocity of the order of magnitude of the solar wind speed. Nanoparticles, which are half-way between micron-sized dust and atomic ions, have such a large charge-to-mass ratio that the electric field induced by the solar wind magnetic field accelerates them very efficiently. Since the voltage produced by dust impacts increases very fast with speed, such nanoparticles produce signals as high as do much larger grains of smaller speeds. The flux of 10-nm radius grains inferred in this way is compatible with the interplanetary dust flux model. The present results may represent the first detection of fast nanoparticles in interplanetary space near Earth orbit.Comment: In press in Solar Physics, 13 pages, 5 figure

Effects of rapid prey evolution on predator-prey cycles

We study the qualitative properties of population cycles in a predator-prey system where genetic variability allows contemporary rapid evolution of the prey. Previous numerical studies have found that prey evolution in response to changing predation risk can have major quantitative and qualitative effects on predator-prey cycles, including: (i) large increases in cycle period, (ii) changes in phase relations (so that predator and prey are cycling exactly out of phase, rather than the classical quarter-period phase lag), and (iii) "cryptic" cycles in which total prey density remains nearly constant while predator density and prey traits cycle. Here we focus on a chemostat model motivated by our experimental system [Fussmann et al. 2000,Yoshida et al. 2003] with algae (prey) and rotifers (predators), in which the prey exhibit rapid evolution in their level of defense against predation. We show that the effects of rapid prey evolution are robust and general, and furthermore that they occur in a specific but biologically relevant region of parameter space: when traits that greatly reduce predation risk are relatively cheap (in terms of reductions in other fitness components), when there is coexistence between the two prey types and the predator, and when the interaction between predators and undefended prey alone would produce cycles. Because defense has been shown to be inexpensive, even cost-free, in a number of systems [Andersson and Levin 1999, Gagneux et al. 2006,Yoshida et al. 2004], our discoveries may well be reproduced in other model systems, and in nature. Finally, some of our key results are extended to a general model in which functional forms for the predation rate and prey birth rate are not specified.Comment: 35 pages, 8 figure

External Fluctuations in a Pattern-Forming Instability

The effect of external fluctuations on the formation of spatial patterns is analysed by means of a stochastic Swift-Hohenberg model with multiplicative space-correlated noise. Numerical simulations in two dimensions show a shift of the bifurcation point controlled by the intensity of the multiplicative noise. This shift takes place in the ordering direction (i.e. produces patterns), but its magnitude decreases with that of the noise correlation length. Analytical arguments are presented to explain these facts.Comment: 11 pages, Revtex, 10 Postscript figures added with psfig style (included). To appear in Physical Review

Statistical Theory of Spin Relaxation and Diffusion in Solids

A comprehensive theoretical description is given for the spin relaxation and diffusion in solids. The formulation is made in a general statistical-mechanical way. The method of the nonequilibrium statistical operator (NSO) developed by D. N. Zubarev is employed to analyze a relaxation dynamics of a spin subsystem. Perturbation of this subsystem in solids may produce a nonequilibrium state which is then relaxed to an equilibrium state due to the interaction between the particles or with a thermal bath (lattice). The generalized kinetic equations were derived previously for a system weakly coupled to a thermal bath to elucidate the nature of transport and relaxation processes. In this paper, these results are used to describe the relaxation and diffusion of nuclear spins in solids. The aim is to formulate a successive and coherent microscopic description of the nuclear magnetic relaxation and diffusion in solids. The nuclear spin-lattice relaxation is considered and the Gorter relation is derived. As an example, a theory of spin diffusion of the nuclear magnetic moment in dilute alloys (like Cu-Mn) is developed. It is shown that due to the dipolar interaction between host nuclear spins and impurity spins, a nonuniform distribution in the host nuclear spin system will occur and consequently the macroscopic relaxation time will be strongly determined by the spin diffusion. The explicit expressions for the relaxation time in certain physically relevant cases are given.Comment: 41 pages, 119 Refs. Corrected typos, added reference

Next-to-next-to-leading order prediction for the photon-to-pion transition form factor

We evaluate the next-to-next-to-leading order corrections to the hard-scattering amplitude of the photon-to-pion transition form factor. Our approach is based on the predictive power of the conformal operator product expansion, which is valid for a vanishing $\beta$-function in the so-called conformal scheme. The Wilson--coefficients appearing in the non-forward kinematics are then entirely determined from those of the polarized deep-inelastic scattering known to next-to-next-to-leading accuracy. We propose different schemes to include explicitly also the conformal symmetry breaking term proportional to the $\beta$-function, and discuss numerical predictions calculated in different kinematical regions. It is demonstrated that the photon-to-pion transition form factor can provide a fundamental testing ground for our QCD understanding of exclusive reactions.Comment: 62 pages LaTeX, 2 figures, 9 tables; typos corrected, some references added, to appear in Phys. Rev.

Scale-free static and dynamical correlations in melts of monodisperse and Flory-distributed homopolymers: A review of recent bond-fluctuation model studies

It has been assumed until very recently that all long-range correlations are screened in three-dimensional melts of linear homopolymers on distances beyond the correlation length $\xi$ characterizing the decay of the density fluctuations. Summarizing simulation results obtained by means of a variant of the bond-fluctuation model with finite monomer excluded volume interactions and topology violating local and global Monte Carlo moves, we show that due to an interplay of the chain connectivity and the incompressibility constraint, both static and dynamical correlations arise on distances $r \gg \xi$. These correlations are scale-free and, surprisingly, do not depend explicitly on the compressibility of the solution. Both monodisperse and (essentially) Flory-distributed equilibrium polymers are considered.Comment: 60 pages, 49 figure

Search for charginos in e+e- interactions at sqrt(s) = 189 GeV

An update of the searches for charginos and gravitinos is presented, based on a data sample corresponding to the 158 pb^{-1} recorded by the DELPHI detector in 1998, at a centre-of-mass energy of 189 GeV. No evidence for a signal was found. The lower mass limits are 4-5 GeV/c^2 higher than those obtained at a centre-of-mass energy of 183 GeV. The (\mu,M_2) MSSM domain excluded by combining the chargino searches with neutralino searches at the Z resonance implies a limit on the mass of the lightest neutralino which, for a heavy sneutrino, is constrained to be above 31.0 GeV/c^2 for tan(beta) \geq 1.Comment: 22 pages, 8 figure