7924 search results - page 11 / 1585 » Non-Malleable Functions and Their Applications |
JSYML
2010
13 years 2 months ago
2010
We prove that the (non-intuitionistic) law of the double negation shift has a bounded functional interpretation with bar recursive functionals of finite type. As an application, we...
MOC
1998
13 years 7 months ago
1998
A gaussian type quadrature formula, where the nodes are the zeros of Bessel functions of the first kind of order α ( (α) > −1), was recently proved for entire functions of ...
IPMU
2010
Springer
13 years 6 months ago
2010
Springer
Following the ideas of stronger forms of monotonicity for unary real functions and for capacities, k-monotone and strongly kmonotone aggregation functions are introduced and discus...
SCP
2000
13 years 7 months ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
NOMS
2010
IEEE
13 years 5 months ago
2010
IEEE
—Application level traffic classification is one of the major issues in network monitoring and traffic engineering. In our previous study, we proposed a new traffic classificatio...