1021 search results - page 57 / 205 » On the generalized Navier-Stokes equations |
COMBINATORICS
2007
13 years 10 months ago
2007
By combining the functional equation method with Jacobi’s triple product identity, we establish a general equation with five free parameters on the modified Jacobi theta functi...
IJCAI
1989
13 years 11 months ago
1989
This paper describes a program, called NEWTON, that finds approximate symbolic solutions to parameterized equations in one variable. N E W T O N derives an initial approximation b...
PODC
2004
ACM
14 years 3 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
EUROPAR
2003
Springer
14 years 3 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...
CADE
2006
Springer
14 years 1 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...