1021 search results - page 111 / 205 » On the generalized Navier-Stokes equations |
113
click to vote
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
103
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— We consider the design of optimal static feedback gains for interconnected systems subject to architectural constraints on the distributed controller. These constraints are in ...
88
Voted
EUROCRYPT
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. We present the first efficient statistical zero-knowledge protocols to prove statements such as: – A committed number is a prime. – A committed (or revealed) number ...
83
Voted
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
86
Voted
CP
2008
Springer
15 years 2 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...