1,564 research outputs found
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 has
two other equivalent but literally different forms and .
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
- …