Sciweavers

3229 search results - page 554 / 646
» Mixing
Sort
View
MOC
2010
14 years 7 months ago
A new elasticity element made for enforcing weak stress symmetry
Abstract. We introduce a new mixed method for linear elasticity. The novelty is a simplicial element for the approximate stress. For every positive integer k, the row-wise divergen...
Bernardo Cockburn, Jayadeep Gopalakrishnan, Johnny...
PVLDB
2010
123views more  PVLDB 2010»
14 years 7 months ago
Output URL Bidding
Output URL bidding is a new bidding mechanism for sponsored search, where advertisers bid on search result URLs, as opposed to keywords in the input query. For example, an adverti...
Panagiotis Papadimitriou 0002, Hector Garcia-Molin...
108
Voted
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
14 years 7 months ago
Directed Model Checking for B: An Evaluation and New Techniques
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
Michael Leuschel, Jens Bendisposto
95
Voted
SIAMNUM
2010
106views more  SIAMNUM 2010»
14 years 7 months ago
Approximation of the Buckling Problem for Reissner-Mindlin Plates
This paper deals with the approximation of the buckling coefficients and modes of a clamped plate modeled by the Reissner-Mindlin equations. These coefficients are related with the...
Carlo Lovadina, David Mora, Rodolfo Rodrígu...
138
Voted
SIAMNUM
2010
134views more  SIAMNUM 2010»
14 years 7 months ago
Nonequispaced Hyperbolic Cross Fast Fourier Transform
A straightforward discretisation of problems in d spatial dimensions often leads to an exponential growth in the number of degrees of freedom. Thus, even efficient algorithms like ...
Michael Döhler, Stefan Kunis, Daniel Potts