Sciweavers

1695 search results - page 89 / 339
» Linear, Polynomial or Exponential
Sort
View
DM
2000
127views more  DM 2000»
15 years 4 months ago
Special formal series solutions of linear operator equations
The transformation which assigns to a linear operator L the recurrence satisfied by coefficient sequences of the polynomial series in its kernel, is shown to be an isomorphism of ...
Sergei A. Abramov, Marko Petkovsek, Anna A. Ryaben...
TAMC
2010
Springer
15 years 9 months ago
Algebraic Proofs over Noncommutative Formulas
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
Iddo Tzameret
FSE
2000
Springer
96views Cryptology» more  FSE 2000»
15 years 7 months ago
On the Interpolation Attacks on Block Ciphers
Abstract. The complexity of interpolation attacks on block ciphers depends on the degree of the polynomial approximation and or on the number of terms in the polynomial approximati...
Amr M. Youssef, Guang Gong
ASPDAC
2010
ACM
211views Hardware» more  ASPDAC 2010»
15 years 2 months ago
A fast analog mismatch analysis by an incremental and stochastic trajectory piecewise linear macromodel
To cope with an increasing complexity when analyzing analog mismatch in sub-90nm designs, this paper presents a fast non-MonteCarlo method to calculate mismatch in time domain. Th...
Hao Yu, Xuexin Liu, Hai Wang, Sheldon X.-D. Tan
UAI
2008
15 years 5 months ago
Partitioned Linear Programming Approximations for MDPs
Approximate linear programming (ALP) is an efficient approach to solving large factored Markov decision processes (MDPs). The main idea of the method is to approximate the optimal...
Branislav Kveton, Milos Hauskrecht