Sciweavers

811 search results - page 88 / 163
» Flow Theory: An Enhancement
Sort
View
4OR
2010
107views more  4OR 2010»
13 years 8 months ago
On matrices with the Edmonds-Johnson property
s (from Seminario Dottorato's web page) 3 Notes of the seminars 9 Nicola Mazzari, A note on Grothendieck fundamental group . . . . . . . . . . . . . . 9 Marco Formentin, Infor...
Alberto Del Pia
CORR
2010
Springer
64views Education» more  CORR 2010»
13 years 6 months ago
Dual Formulations of Mixed Finite Element Methods
Mixed finite element methods solve a PDE using two or more variables. The theory of Discrete Exterior Calculus explains why the degrees of freedom associated to the different varia...
Andrew Gillette, Chandrajit L. Bajaj
TON
2010
93views more  TON 2010»
13 years 3 months ago
Equilibrium of Heterogeneous Congestion Control: Optimality and Stability
When heterogeneous congestion control protocols that react to different pricing signals share the same network, the current theory based on utility maximization fails to predict th...
Ao Tang, X. Wei, Stephen H. Low, Mung Chiang
ATAL
2008
Springer
13 years 10 months ago
Synthesis of strategies from interaction traces
We describe how to take a set of interaction traces produced by different pairs of players in a two-player repeated game, and combine them into a composite strategy. We provide an...
Tsz-Chiu Au, Sarit Kraus, Dana S. Nau
DATE
2009
IEEE
93views Hardware» more  DATE 2009»
14 years 3 months ago
Scalable liveness checking via property-preserving transformations
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
Jason Baumgartner, Hari Mony