3229 search results - page 53 / 646 » Mixing |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
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...
107
Voted
SIAMNUM
2010
14 years 7 months ago
2010
Abstract. We introduce hybridization and postprocessing techniques for the RaviartThomas approximation of second-order elliptic eigenvalue problems. Hybridization reduces the Ravia...
117
Voted
SAC
2012
ACM
13 years 8 months ago
2012
ACM
Data cloning method is a new computational tool for computing maximum likelihood estimates in complex statistical models such as mixed models. This method is synthesized with inte...
95
Voted
CADE
2006
Springer
16 years 25 days ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
PERCOM
2004
ACM
16 years 4 days ago
2004
ACM
Privacy of personal location information is becoming an increasingly important issue. This paper refines a method, called the mix zone, developed to enhance user privacy in locati...