During retina development, ganglion cells extend their axons exclusively into the innermost tissue layer, but not into outer retina layers. In order to elucidate guiding mechanisms for axons, tissue strips of embryonic chicken retinae were explanted onto retinal cryosections (cryoculture). Ganglion cell axons originating from the explant grew preferentially on the innermost retina layer of cryo...

Two applications of the Erasure Lemma for first-order orthogonal term rewriting systems are: weak innermost termination implies termination, and weak normalization implies strong normalization for non-erasing systems. We discuss these two results in the setting of higher-order rewriting.

A strategy of TRSs is said to be complete if all normal forms of a term t are reachable from t with this strategy for every term t. We have shown that the innermost strategy is complete for overlay right-linear terminating TRSs.[2] In this paper, we relax the overlay condition to inside left-toright joinability.

Modulo scheduling is a framework within which a wide variety of algorithms and heuristics may be defined for software pipelining innermost loops. This paper presents a practical algorithm, iterative modulo scheduling, that is capable of dealing with realistic machine models. This paper also characterizes the algorithm in terms of the quality of the generated schedules as well the computational ...