922 search results - page 140 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
117
click to vote
IMA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We provide the first proof of security for Abreast-DM, one of the oldest and most wellknown constructions for turning a block cipher with n-bit block length and 2n-bit k...
134
click to vote
ISAAC
2007
Springer
15 years 8 months ago
2007
Springer
Valiant introduced some 25 years ago an algebraic model of computation along with the complexity classes VP and VNP, which can be viewed as analogues of the classical classes P and...
142
click to vote
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
144
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
133
click to vote
NEUROSCIENCE
2001
Springer
15 years 6 months ago
2001
Springer
During odour recognition, excitatory and inhibitory groups of neurons in the second stage of the locust olfactory system, the antennal lobe (AL), fire alternately. There is little...