1021 search results - page 88 / 205 » On the generalized Navier-Stokes equations |
87
Voted
ISSAC
1994
Springer
15 years 4 months ago
1994
Springer
An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a...
83
Voted
BMVC
2002
15 years 3 months ago
2002
We consider the problem of decoupling translation and rotation for a collection of 3D data related to 2D images by a projection. The main contribution is to show that equations de...
98
Voted
CP
2008
Springer
15 years 2 months ago
2008
Springer
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...
91
Voted
RA
2003
15 years 2 months ago
2003
: The Jacobian matrix of a robot manipulator is central to the analysis, kinematics, dynamics, and control of robot manipulators. In many instances, the Jacobian and its inverse or...
109
Voted
IANDC
2008
15 years 22 days ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...