2008 search results - page 14 / 402 » Computing with Equations |
TSMC
2008
13 years 7 months ago
2008
This paper proposes a new perspective for solving systems of complex nonlinear equations by simply viewing them as a multiobjective optimization problem. Every equation in the syst...
ENTCS
2007
13 years 7 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
APPML
2005
13 years 7 months ago
2005
Three iterative refinement schemes are studied for approximating the solutions of linear weakly singular Fredholm integral equations of the second kind. The rates of convergence a...
GCC
2003
Springer
14 years 29 days ago
2003
Springer
Basic exploration of diffusion equation solvers in distributed computing systems has been a very important issue for computational fluid dynamics (CFD). This paper presents a funda...
STACS
2010
Springer
14 years 2 months ago
2010
Springer