2008 search results - page 1 / 402 » Computing with Equations |
242
click to vote
Lecture Notes
Easy to follow lecture notes on Computational Physics.
MFCS
2005
Springer
13 years 10 months ago
2005
Springer
In the maximum solution equation problem a collection of equations are given over some algebraic structure. The objective is to find an assignment to the variables in the equation...
FOSSACS
2006
Springer
13 years 9 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
TGC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
JSCIC
2008
13 years 5 months ago
2008
Abstract We present a high-order accurate scheme for the reinitialization equation of Sussman et al. (J. Comput. Phys. 114:146