Search Sciweavers | Sciweavers

3670 search results - page 21 / 734

» Linear Recursive Functions

click to vote

LOGCOM
2007

84views more LOGCOM 2007»

A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions

13 years 9 months ago

Download cage.ugent.be

Harvey Friedman introduced natural independence results for the Peano axioms via certain schemes of combinatorial well-foundedness. We consider here parameterized versions of this...

Arnoud den Boer, Andreas Weiermann

claim paper

Read More »

click to vote

IDEAL
2005
Springer

94views Intelligent Agents» more IDEAL 2005»

Recursive Self-organizing Map as a Contractive Iterative Function System

14 years 3 months ago

Download ii.fmph.uniba.sk

Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the ...

Peter Tiño, Igor Farkas, Jort van Mourik

claim paper

Read More »

click to vote

TIT
2008

78views more TIT 2008»

Recursive Lower Bounds on the Nonlinearity Profile of Boolean Functions and Their Applications

13 years 9 months ago

Download eprint.iacr.org

The nonlinearity profile of a Boolean function (i.e. the sequence of its minimum Hamming distances nlr(f) to all functions of degrees at most r, for r 1) is a cryptographic crite...

Claude Carlet

claim paper

Read More »

click to vote

FLOPS
2010
Springer

272views Automated Reasoning» more FLOPS 2010»

Automatic Parallelization of Recursive Functions Using Quantifier Elimination

14 years 4 months ago

Download www.riec.tohoku.ac.jp

Akimasa Morihata, Kiminori Matsuzaki

claim paper

Read More »