P. A. van der Helm and E. L. J. Leeuwenberg (1996) outlined a holographic account of figural goodness of a perceptual stimulus. The theory is mathematically precise and can be applied to a broad spectrum of empirical data. The authors argue, however, that the account is inadequate on both theoretical and empirical grounds. The theoretical difficulties concern the internal consistency of the acc...

Jonathan E. Helm, Mariel S. Lavieri, Mark P. Van Oyen Department of Industrial and Operations Engineering, University of Michigan, Ann Arbor, 48109, [email protected] Joshua D. Stein and David C. Musch Department of Ophthalmology and Visual Sciences, Kellogg Eye Center, University of Michigan, 1000 Wall Street, Ann Arbor, MI 48105 [ This manuscript is still unpublished and contains University of ...

Matita is an interactive theorem prover being developed by the Helm team at the University of Bologna. Its stable version 0.5.x may be downloaded at http://matita.cs.unibo.it. The tool originated in the European project MoWGLI as a set of XML-based tools aimed to provide a mathematician-friendly web-interface to repositories of formal mathematical knoweldge, supporting advanced content-based fu...

REFERENCES Denning, J. (1996) Male urinary incontinence. In: Norton, C. (ed) Nursing for Continence. Beaconsfield, Bucks: Beaconsfield Publishers. Dorey, G. (2000) Male patients with lower tract symptoms 2: Treatment. British Journal of Nursing; 9: 9, 553–557. Feneley, R.C.L. (1986) Normal micturition and its control. In: Mandelstam, D. (ed) Incontinence and its Management. London: Croom Helm. ...