1021 search results - page 38 / 205 » On the generalized Navier-Stokes equations |
100
Voted
CSFW
2005
IEEE
15 years 6 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 ...
85
Voted
MOC
1998
15 years 13 days 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 ...
91
Voted
STACS
2005
Springer
15 years 6 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...
87
Voted
MFCS
2004
Springer
15 years 6 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...
84
Voted
ECCV
2006
Springer
16 years 2 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...