Sciweavers

28 search results - page 4 / 6
» Constructing finite field extensions with large order elemen...
Sort
View
JBI
2008
14 years 11 months ago
The Field Representation Language
The complexity of quantitative biomedical models, and the rate at which they are published, is increasing to a point where managing the information has become all but impossible w...
Guy Tsafnat
HASE
2007
IEEE
15 years 6 months ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
106
Voted
ISAAC
2010
Springer
233views Algorithms» more  ISAAC 2010»
14 years 9 months ago
Computing Sparse Multiples of Polynomials
We consider the problem of finding a sparse multiple of a polynomial. Given f F[x] of degree d, and a desired sparsity t, our goal is to determine if there exists a multiple h F[...
Mark Giesbrecht, Daniel S. Roche, Hrushikesh Tilak
108
Voted
STOC
2009
ACM
156views Algorithms» more  STOC 2009»
16 years 7 days ago
Polynomial-time theory of matrix groups
We consider matrix groups, specified by a list of generators, over finite fields. The two most basic questions about such groups are membership in and the order of the group. Even...
László Babai, Robert Beals, Á...
88
Voted
STOC
2009
ACM
187views Algorithms» more  STOC 2009»
16 years 7 days ago
Artin automorphisms, cyclotomic function fields, and folded list-decodable codes
Algebraic codes that achieve list decoding capacity were recently constructed by a careful "folding" of the Reed-Solomon code. The "low-degree" nature of this f...
Venkatesan Guruswami