نتایج جستجو برای: static traffic assignment

تعداد نتایج: 246534  

2016
Thomas S. Heinze Wolfram Amme

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.

2006
Daniel Murfet

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...

2001
Uwe D. Hanebeck

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...

Journal: :Communications and Network 2010
Ilya M. Averin Victor T. Ermolayev Alexander G. Flaksman

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...

Journal: :Logical Methods in Computer Science 2009
Jeroen Ketema Jakob Grue Simonsen

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...

Journal: :Journal of Advanced Transportation 2019

2011
Michael Walton Ernest H. Cockrell YI-CHANG CHIU JON BOTTOM MICHAEL MAHUT ALEX PAZ RAMACHANDRAN BALAKRISHNA TRAVIS WALLER JIM HICKS

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...

2015
Egon Balas Philip R. Landweer

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...

2004
P. Lotito J.-P. Quadrat E. Mancinelli

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید