49 search results - page 3 / 10 » On the Higher Order Nonlinearities of Algebraic Immune Funct... |
VISUALIZATION
2005
IEEE
15 years 3 months ago
2005
IEEE
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
The use of higher-order local autocorrelations as features for pattern recognition has been acknowledged since many years, but their applicability was restricted to relatively low...
98
Voted
IFL
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
105
Voted
SETA
2010
Springer
14 years 8 months ago
2010
Springer
It is a difficult challenge to find Boolean functions used in stream ciphers achieving all of the necessary criteria and the research of such functions has taken a significant d...