Sciweavers

3145 search results - page 98 / 629
» Algebraic Linear Orderings
Sort
View
INDOCRYPT
2005
Springer
15 years 9 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 2 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 4 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 4 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 4 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