3229 search results - page 53 / 646 » Mixing |
101
Voted
CORR
2010
Springer
15 years 11 hour 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...
123
Voted
SIAMNUM
2010
14 years 9 months ago
2010
Abstract. We introduce hybridization and postprocessing techniques for the RaviartThomas approximation of second-order elliptic eigenvalue problems. Hybridization reduces the Ravia...
142
Voted
SAC
2012
ACM
13 years 10 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...
120
Voted
CADE
2006
Springer
16 years 2 months 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...
87
Voted
PERCOM
2004
ACM
16 years 2 months 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...