Kant noted the importance of spatial and temporal intuitions (synthetics) in geometric reasoning, but intuitions lend themselves to different interpretations and a more solid grounding may be sought in formality. In mathematics David Hilbert defended formality, while L. E. J. Brouwer cited intuitions that remain unencompassed by formality. In this paper, the conflict between formality and intui...

The simulated annealing method has recently been applied to several multiparameter optimization problems, including those of geophysical inversion. A new variant of simulated annealing, called very fast simulated annealing (VFSA), overcomes some of the drawbacks of a conventional simulated annealing; it has been found to be a practical tool for geophysical inversion (Sen & Stoffa 1995). The met...

Information retrieval test sets consist of three parts: documents, topics, and assessments. Assessments are time-consuming to generate. Even using pooling it took about 7 hours per topic to assess for INEX 2006. Traditionally the assessment of a single topic is performed by a single human. Herein we examine the consequences of using multiple assessors per topic. A set of 15 topics were used. Th...

Long-period wave propagation in the upper mantle is investigated by constructing synthetic seismograms for proposed models. A model consisting of spherical layers is assumed. Generalized ray theory and the Cagniard-de Hoop method is used to obtain the transient response. Preliminary calculations on producing the phases P and P P by ray summation out to periods of 50 sec is demonstrated, and syn...

Assessment of the relative performance white clover (Trifolium repens L.) cultivars, using multi-year and multi-location seasonal growth trials, is key to identification material with specific broad adaptation. This paper based on a study 56 entries comprising 14 commercial cultivars 42 experimental synthetic lines evaluated for under rotational grazing across four locations in New Zealand over...