Control of apple scab by curative applications of biocontrol agents

In organic apple growing protective applications with copper, sulphur or lime sulphur are used for apple scab control. Protective applications have to be repeated when new leaves unfold. The timing of protective sprays depends on the weather forecast. If forecasted infection conditions fail to appear, treatments were for nothing. With curative control agents available, the number of treatments could be reduced. In greenhouse trials we tested control agents for their protective and curative efficiency against apple scab after artificial inoculation of potted apple trees. Applications were done 2 hours before inoculation, 5 hours after inoculation on wet leaves, 5 hours after inoculation during simulated rainfall or 24 hours after inoculation on wet or dry leaves. The optimal time of application differed between the preparations tested. Vitisan and OmniProtect had their highest activity when sprayed curative 24 hours after inoculation. Combinations were found, which revealed a high efficiency against apple scab from 2h before to 24 hours after inoculation. In a field trial apple scab was effectively controlled by curative applications of OmniProtect

A principled approach to programming with nested types in Haskell

Initial algebra semantics is one of the cornerstones of the theory of modern functional programming languages. For each inductive data type, it provides a Church encoding for that type, a build combinator which constructs data of that type, a fold combinator which encapsulates structured recursion over data of that type, and a fold/build rule which optimises modular programs by eliminating from them data constructed using the buildcombinator, and immediately consumed using the foldcombinator, for that type. It has long been thought that initial algebra semantics is not expressive enough to provide a similar foundation for programming with nested types in Haskell. Specifically, the standard folds derived from initial algebra semantics have been considered too weak to capture commonly occurring patterns of recursion over data of nested types in Haskell, and no build combinators or fold/build rules have until now been defined for nested types. This paper shows that standard folds are, in fact, sufficiently expressive for programming with nested types in Haskell. It also defines buildcombinators and fold/build fusion rules for nested types. It thus shows how initial algebra semantics provides a principled, expressive, and elegant foundation for programming with nested types in Haskell

Utility of correlation techniques in gravity and magnetic interpretation

Internal correspondence uses Poisson's Theorem in a moving-window linear regression analysis between the anomalous first vertical derivative of gravity and total magnetic field reduced to the pole. The regression parameters provide critical information on source characteristics. The correlation coefficient indicates the strength of the relation between magnetics and gravity. Slope value gives delta j/delta sigma estimates of the anomalous source. The intercept furnishes information on anomaly interference. Cluster analysis consists of the classification of subsets of data into groups of similarity based on correlation of selected characteristics of the anomalies. Model studies are used to illustrate implementation and interpretation procedures of these methods, particularly internal correspondence. Analysis of the results of applying these methods to data from the midcontinent and a transcontinental profile shows they can be useful in identifying crustal provinces, providing information on horizontal and vertical variations of physical properties over province size zones, validating long wavelength anomalies, and isolating geomagnetic field removal problems

Utility of correlation techniques in gravity and magnetic interpretation

Two methods of quantitative combined analysis, internal correspondence and clustering, are presented. Model studies are used to illustrate implementation and interpretation procedures of these methods, particularly internal correspondence. Analysis of the results of applying these methods to data from the midcontinent and a transcontinental profile show they can be useful in identifying crustal provinces, providing information on horizontal and vertical variations of physical properties over province size zones, validating long wave-length anomalies, and isolating geomagnetic field removal problems. Thus, these techniques are useful in considering regional data acquired by satellites

On the Nature of Incompressible Magnetohydrodynamic Turbulence

A novel model of incompressible magnetohydrodynamic turbulence in the presence of a strong external magnetic field is proposed for explanation of recent numerical results. According to the proposed model, in the presence of the strong external magnetic field, incompressible magnetohydrodynamic turbulence becomes nonlocal in the sense that low frequency modes cause decorrelation of interacting high frequency modes from the inertial interval. It is shown that the obtained nonlocal spectrum of the inertial range of incompressible magnetohydrodynamic turbulence represents an anisotropic analogue of Kraichnan's nonlocal spectrum of hydrodynamic turbulence. Based on the analysis performed in the framework of the weak coupling approximation, which represents one of the equivalent formulations of the direct interaction approximation, it is shown that incompressible magnetohydrodynamic turbulence could be both local and nonlocal and therefore anisotropic analogues of both the Kolmogorov and Kraichnan spectra are realizable in incompressible magnetohydrodynamic turbulence.Comment: Physics of Plasmas (Accepted). A small chapter added about 2D MHD turbulenc

Gravitational waves from stochastic relativistic sources: primordial turbulence and magnetic fields

The power spectrum of a homogeneous and isotropic stochastic variable, characterized by a finite correlation length, does in general not vanish on scales larger than the correlation scale. If the variable is a divergence free vector field, we demonstrate that its power spectrum is blue on large scales. Accounting for this fact, we compute the gravitational waves induced by an incompressible turbulent fluid and by a causal magnetic field present in the early universe. The gravitational wave power spectra show common features: they are both blue on large scales, and peak at the correlation scale. However, the magnetic field can be treated as a coherent source and it is active for a long time. This results in a very effective conversion of magnetic energy in gravitational wave energy at horizon crossing. Turbulence instead acts as a source for gravitational waves over a time interval much shorter than a Hubble time, and the conversion into gravitational wave energy is much less effective. We also derive a strong constraint on the amplitude of a primordial magnetic field when the correlation length is much smaller than the horizon.Comment: Replaced with revised version accepted for publication in Phys Rev

Non-linear Pattern Matching with Backtracking for Non-free Data Types

Non-free data types are data types whose data have no canonical forms. For example, multisets are non-free data types because the multiset $\{a,b,b\}$ has two other equivalent but literally different forms $\{b,a,b\}$ and $\{b,b,a\}$. Pattern matching is known to provide a handy tool set to treat such data types. Although many studies on pattern matching and implementations for practical programming languages have been proposed so far, we observe that none of these studies satisfy all the criteria of practical pattern matching, which are as follows: i) efficiency of the backtracking algorithm for non-linear patterns, ii) extensibility of matching process, and iii) polymorphism in patterns. This paper aims to design a new pattern-matching-oriented programming language that satisfies all the above three criteria. The proposed language features clean Scheme-like syntax and efficient and extensible pattern matching semantics. This programming language is especially useful for the processing of complex non-free data types that not only include multisets and sets but also graphs and symbolic mathematical expressions. We discuss the importance of our criteria of practical pattern matching and how our language design naturally arises from the criteria. The proposed language has been already implemented and open-sourced as the Egison programming language

Mobile annotation of geo-locations in digital books

This demo paper introduces an editor for manual annotation of locations in digital books, using a crowd-sourcing approach. It is the first of its kind and allows book lovers and literary travel enthusiasts to annotate the locations in their digital books on-the-go. We show both a mobile and a desktop version, and briefly explain the linkage to the Digital Library that is holding the digital books