6120 search results - page 141 / 1224 » The Power of Linear Functions |
187
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--We deal with the problem of efficient and accurate digital computation of the samples of the linear canonical transform (LCT) of a function, from the samples of the origi...
168
click to vote
WINE
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Continuity of the mapping from initial endowments and utilities to equilibria is an essential property for a desirable model of an economy – without continuity, small e...
169
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
In signal integrity analysis, the joint effect of propagated noise through library cells, and of the noise injected on a quiet net by neighboring switching nets through coupling c...
160
click to vote
ISRR
2001
Springer
15 years 10 months ago
2001
Springer
Although odometry is nonlinear, it yields sufficiently to linearized analysis to produce a closed-form transition matrix and a symbolic general solution for both deterministic and...
190
click to vote
JAR
2008
15 years 6 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...