1021 search results - page 38 / 205 » On the generalized Navier-Stokes equations |
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
In the analysis of security protocols, the knowledge of attackers is often described in terms of message deducibility and indistinguishability relations. In this paper, we pursue ...
MOC
1998
13 years 8 months ago
1998
Consider the system of Diophantine equations x2 − ay2 = b, P (x, y) = z2, where P is a given integer polynomial. Historically, such systems have been analyzed by using Baker’s ...
STACS
2005
Springer
14 years 2 months ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
MFCS
2004
Springer
14 years 2 months ago
2004
Springer
We consider the decidability of existence of solutions to language equations involving the operations of shuffle and deletion along trajectories. These operations generalize the o...
ECCV
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. We propose a generalized equation to represent a continuum of surface reconstruction solutions of a given non-integrable gradient field. We show that common approaches su...