Sciweavers

1056 search results - page 20 / 212
» Handbook of mathematical functions
Sort
View
SETA
2004
Springer
126views Mathematics» more  SETA 2004»
14 years 2 months ago
Algebraic Feedback Shift Registers Based on Function Fields
We study algebraic feedback shift registers (AFSRs) based on quotients of polynomial rings in several variables over a finite field. These registers are natural generalizations o...
Andrew Klapper
ENTCS
2007
107views more  ENTCS 2007»
13 years 8 months ago
Event Domains, Stable Functions and Proof-Nets
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
Samson Abramsky
SETA
2010
Springer
175views Mathematics» more  SETA 2010»
13 years 7 months ago
New Constructions of Complete Non-cyclic Hadamard Matrices, Related Function Families and LCZ Sequences
A Hadamard matrix is said to be completely non-cyclic (CNC) if there are no two rows (or two columns) that are shift equivalent in its reduced form. In this paper, we present three...
Krystal Guo, Guang Gong
FPL
2007
Springer
198views Hardware» more  FPL 2007»
14 years 2 months ago
Floating-Point Trigonometric Functions for FPGAs
Field-programmable circuits now have a capacity that allows them to accelerate floating-point computing, but are still missing core libraries for it. In particular, there is a ne...
Jérémie Detrey, Florent de Dinechin
ACMMPC
2000
Springer
249views Mathematics» more  ACMMPC 2000»
14 years 1 months ago
Algebraic Methods for Optimization Problems
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu