Static Single Assignment Form benefits data flow analysis by its static guarantees on the definitions and uses of variables. In this paper, we show how to exploit these guarantees to enable a sparse data flow analysis of variable predicates, for gaining a rich predicate-based and path-oriented characterization of a program’s variables’ values.

Now we come to the generalised notion of blowing up. In (I, §4) we defined the blowing up of a variety with respect to a point. Now we will define the blowing up of a noetherian scheme with respect to any closed subscheme. Since a closed subscheme corresponds to a coherent sheaf of ideals, we may as well speak of blowing up a coherent sheaf of ideals. The necessary background for this section i...

In this paper, the problem of estimating a vector x of unknown quantities based on a set of measurements depending nonlinearly on x is considered. The measurements are assumed to be taken sequentially and are corrupted by unknown but bounded uncertainties. For this uncertainty model, a systematic design approach is introduced, which yields closed–form expressions for the desired nonlinear estim...

The location of mobile users served by cellular networks is considered. The chosen approach assumes that location is estimated through angular triangulation with three base stations (BSs). New estimates are proposed, which are described by closed-form expressions, and are alternatives to the maximum likelihood estimate. It is shown that the accuracy of the estimate coinciding with incircle cent...

We study confluence in the setting of higher-order infinitary rewriting, in particular for infinitary Combinatory Reduction Systems (iCRSs). We prove that fullyextended, orthogonal iCRSs are confluent modulo identification of hypercollapsing subterms. As a corollary, we obtain that fully-extended, orthogonal iCRSs have the normal form property and the unique normal form property (with respect t...

Transportation Research Board is to provide leadership in transportation innovation and progress through research and information exchange, conducted within a setting that is objective, interdisciplinary, and multimodal. The Transportation Research Board is distributing this circular to make the information contained herein available for use by individual practitioners in state and local transp...

A high capacity communication satellite interconnects scores of ground stations simultaneously. Under the Satellite-Switched/ Time Division Multiple Access (SS/TDMA.) system, each channel of the satellite is allocated to a pair of ground stations for a certain time period, after which the whole set of allocations (called a switch) is changed simultaneously. The problem we address is to minimize...

The Traffic Assignment problem consists in determining the routes used by sets of network users taking into account the link congestions. In deterministic modelling, Wardrop Equilibriums are computed. They can be reduced to huge nonlinear multiflow problems in the simplest cases. In stochastic modelling, Logit Assignments are used. They can be obtained, mainly, by substituting the minplus semir...