Sciweavers

3229 search results - page 554 / 646
» Mixing
Sort
View
MOC
2010
15 years 21 days 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»
15 years 21 days 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...
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
15 years 21 days 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
SIAMNUM
2010
106views more  SIAMNUM 2010»
15 years 20 days 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...
SIAMNUM
2010
134views more  SIAMNUM 2010»
15 years 20 days 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