4666 search results - page 23 / 934 » Equations on Timed Languages |
JUCS
2010
15 years 9 days ago
2010
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...
95
Voted
SCL
2010
15 years 8 days ago
2010
We deal with dynamic equations on time scales, where we characterize the positivity of a system. Uniform exponential stability of a system is determined by the spectrum of its mat...
115
click to vote
VMV
2003
15 years 3 months ago
2003
In this paper we present techniques for the real-time simulation and rendering of liquids. Appropriate approximations to a full 3D simulation are applied to reduce the numerical c...
95
Voted
SIAMCO
2010
14 years 8 months ago
2010
We study the optimal input-output stabilization of discrete time-invariant linear systems in Hilbert spaces by output injection. We show that a necessary and sufficient condition ...
ASIACRYPT
2008
Springer
15 years 3 months ago
2008
Springer
We study the problem of finding solutions to linear equations modulo an unknown divisor p of a known composite integer N. An important application of this problem is factorization ...