1021 search results - page 108 / 205 » On the generalized Navier-Stokes equations |
161
click to vote
PPDP
2009
Springer
16 years 25 days ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
167
click to vote
RTA
2009
Springer
16 years 25 days ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
137
click to vote
HPCS
2007
IEEE
16 years 19 days ago
2007
IEEE
The nonlinear simulation of interfacial instabilities in miscible displacements in porous media often requires sophisticated numerical algorithms as well as very fine spatial and ...
167
click to vote
ICCV
2007
IEEE
16 years 19 days ago
2007
IEEE
The image of a curved, specular (mirror-like) surface is a distorted reflection of the environment. The goal of our work is to develop a framework for recovering general shape fr...
168
click to vote
CSCLP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...