Sciweavers

1021 search results - page 32 / 205
» On the generalized Navier-Stokes equations
Sort
View
FP
1991
95views Formal Methods» more  FP 1991»
13 years 11 months ago
Making Functionality More General
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
Graham Hutton, Ed Voermans
ICCS
2003
Springer
14 years 24 days ago
Transparent Boundary Conditions for Wave Propagation on Unbounded Domains
The numerical solution of the time dependent wave equation in an unbounded domain generally leads to a truncation of this domain,
Dorin-Cezar Ionescu, Heiner Igel
MOC
2000
95views more  MOC 2000»
13 years 7 months ago
Global superconvergence for Maxwell's equations
In this paper, the global superconvergence is analysed on two schemes (a mixed finite element scheme and a finite element scheme) for Maxwell's equations in R3. Such a superco...
Qun Lin, Ningning Yan
MCSS
2008
Springer
13 years 6 months ago
Optimal control for unstructured nonlinear differential-algebraic equations of arbitrary index
We study optimal control problems for general unstructured nonlinear differential-algebraic equations of arbitrary index. In particular, we derive necessary conditions in the case ...
Peter Kunkel, Volker Mehrmann
SYNASC
2008
IEEE
266views Algorithms» more  SYNASC 2008»
14 years 2 months ago
On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter
We present an algorithm for solving Diophantine equations which are linear in the variables, but non-linear in one parameter. This enables us to compute data dependences in more ge...
Armin Größlinger, Stefan Schuster