We propose a study of the modes of derivation of higher-order recursion schemes, proving that value trees obtained from schemes using innermost-outermost derivations (IO) are the same as those obtained using unrestricted derivations. Given that higher-order recursion schemes can be used as a model of functional programs, innermost-outermost derivations policy represents a theoretical view point...

The dependency pair technique is a powerful modular method for automated termination proofs of term rewrite systems. We first show that dependency pairs are also suitable for disproving termination: loops can be detected more easily. In a second step we analyze how to disprove innermost termination. Here, we present a novel procedure to decide whether a given loop is an innermost loop. All resu...

In contrast to previous common wisdom that epidemic activity in heterogeneous networks is dominated by the hubs with the largest number of connections, recent research has pointed out the role that the innermost, dense core of the network plays in sustaining epidemic processes. Here we show that the mechanism responsible of spreading depends on the nature of the process. Epidemics with a transi...

Modem DSP Processors have been integrated with InsrrucrionLevel Purullelism(ILP), which presents a challenge to exploit ILP within DSP applications. Software Pipelining is an efficient tcchnique used to expose ILP for loop programs and has been widely used for current microprocessors. It has been recently used in DSP compilers, but only for the innermost loops. This paper proposes a new approac...

High resolution maps of maser emission provide very detailed information on processes occurring in circumstellar envelopes of late-type stars. A particularly detailed picture of the innermost shells around AGB stars is provided by SiO masers. Considerable progress is being made to provide astrometrically aligned multi-transition simultaneous observations of these masers, which are needed to bet...

Nucleolar ribonucleoprotein (RNP) components of the chloragogen cells of normal untreated specimens of Tubifex tubifex (Mull.) were found to be segregated, there being separate zones for each RNP species. There were external and internal zones, containing granular RNP, and a fibrillar zone located between them in which only filamentous RNP components were'found. The innermost part of the nucleo...

We present techniques to prove termination and innermost termination of term rewriting systems automatically. In contrast to previous approaches, we do not compare left-and right-hand sides of rewrite rules, but introduce the notion of dependency pairs to compare left-hand sides with special subterms of the right-hand sides. This results in a technique which allows to apply existing methods for...