Sciweavers

7840 search results - page 247 / 1568
» On generalized Ramsey numbers
Sort
View
SIAMDM
2010
101views more  SIAMDM 2010»
15 years 5 months ago
Combinatorics and Genus of Tropical Intersections and Ehrhart Theory
Let g1, . . . , gk be tropical polynomials in n variables with Newton polytopes P1, . . . , Pk. We study combinatorial questions on the intersection of the tropical hypersurfaces d...
Reinhard Steffens, Thorsten Theobald
STTT
2010
115views more  STTT 2010»
15 years 5 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
LPAR
2010
Springer
15 years 4 months ago
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting
Matrix interpretations can be used to bound the derivational complexity of term rewrite systems. In particular, triangular matrix interpretations over the natural numbers are known...
Friedrich Neurauter, Harald Zankl, Aart Middeldorp
CCE
2011
15 years 1 months ago
Modelling and simulation of particle re-suspension in a turbulent square duct flow
The ability of a Reynolds-averaged Navier-Stokes (RANS) approach, coupled with a Lagrangian particle tracking technique, to predict particle re-suspension in a high Reynolds numbe...
J. F. W. Adams, M. Fairweather, J. Yao
TSP
2011
141views more  TSP 2011»
15 years 1 months ago
Algorithms for Interpolation-Based QR Decomposition in MIMO-OFDM Systems
The extension of multiple-input multiple-output (MIMO) sphere decoding from the narrowband case to wideband systems based on orthogonal frequency division multiplexing (OFDM) requ...
Davide Cescato, Helmut Bölcskei