Do Eve's Alleles Live On?

The Z/EVES System

We describe the Z/EVES system, which allows Z speci cations to be analysed in a number of di erent ways. Among the signi cant features of Z/EVES are domain checking, which ensures that a speci cation is meaningful, and a theorem prover that includes a decision procedure for simple arithmetic and a heuristic rewriting mechanism that recognizes \obvious" facts.

Z and Eves

On What Manifold Do Diffusion Tensors Live?

Diffusion tensor imaging has become an important research and clinical tool, owing to its unique ability to infer microstructural properties of living tissue. Increased use has led to a demand for statistical tools to analyze diffusion tensor data and perform, for example, confidence estimates, ROI analysis, and group comparisons. A first step towards developing a statistical framework is estab...

What do hands know about hills? Interpreting Taylor-Covill and Eves (2013) in context☆☆

Hills appear much steeper than they are. Although near surface slant is also exaggerated, near surfaces appear much shallower than equivalently slanted hills. Taylor-Covill and Eves (2013) propose a new type of palm orientation measuring device that provides outputs that accurately reflect the physical slants of stairs and hills from 19 to 30° and also seems to accurately reflect the slants of ...

Do Heliconius butterfly species exchange mimicry alleles?

Hybridization has the potential to transfer beneficial alleles across species boundaries, and there are a growing number of examples in which this has apparently occurred. Recent studies suggest that Heliconius butterflies have transferred wing pattern mimicry alleles between species via hybridization, but ancestral polymorphism could also produce a signature of shared ancestry around mimicry g...