Sciweavers

3145 search results - page 98 / 629
» Algebraic Linear Orderings
Sort
View
INDOCRYPT
2005
Springer
15 years 11 months ago
On the Algebraic Immunity of Symmetric Boolean Functions
In this paper, we analyse the algebraic immunity of symmetric Boolean functions. We identify a set of lowest degree annihilators for symmetric functions and propose an efficient al...
An Braeken, Bart Preneel
FOCM
2010
143views more  FOCM 2010»
15 years 4 months ago
Algebraic Structures of B-series
B-series are a fundamental tool in practical and theoretical aspects of numerical integrators for ordinary differential equations. A composition law for B-series permits an elega...
Philippe Chartier, Ernst Hairer, Gilles Vilmart
JUCS
2006
102views more  JUCS 2006»
15 years 5 months ago
Modeling Inheritance as Coercion in the Kenzo System
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
César Domínguez, Julio Rubio, Franci...
JSYML
2007
91views more  JSYML 2007»
15 years 5 months ago
Ideal convergence of bounded sequences
We generalize the Bolzano-Weierstrass theorem (that every bounded sequence of reals admits a convergentsubsequence) on ideal convergence. Weshow examplesofidealswith and without th...
Rafal Filipów, Reclaw Ireneusz, Mrozek Niko...
CORR
2007
Springer
194views Education» more  CORR 2007»
15 years 5 months ago
Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for DCTs and DSTs
Abstract—This paper presents a systematic methodology to derive and classify fast algorithms for linear transforms. The approach is based on the algebraic signal processing theor...
Markus Püschel, José M. F. Moura