780 search results - page 15 / 156 » Stability of fast algorithms for structured linear systems |
AUTOMATICA
2005
14 years 11 months ago
2005
In the advanced tokamak (AT) operating mode of the DIII-D tokamak, an integrated multivariable controller takes into account highly coupled influences of plasma equilibrium shape,...
123
click to vote
HAPTICS
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we present a novel approach for simulating the rigid body dynamics of a haptically manipulated object using implicit integration. Our formulation requires the linear...
JSC
2010
14 years 10 months ago
2010
We consider the problem of solving a linear system Ax = b over a cyclotomic field. What makes cyclotomic fields of special interest is that we can easily find a prime p that sp...
102
click to vote
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
97
Voted
ISAAC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...