95 search results - page 4 / 19 » Declarative modeling of finite mathematics |
CASC
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...
SIAMSC
2010
13 years 6 months ago
2010
We develop an adaptive finite element method for solving the eddy current model with voltage excitations for complicated three dimensional structures. The mathematical model is ba...
ARCS
2004
Springer
14 years 1 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
ADBIS
2006
Springer
14 years 1 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
ISPDC
2003
IEEE
14 years 27 days ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...