923 search results - page 66 / 185 » On a generalization of Stickelberger's Theorem |
179
click to vote
ORDER
2002
15 years 5 months ago
2002
The framework and the basic results of Wille on triadic concept analysis, including his Basic Theorem of Triadic Concept Analysis, are here generalized to n-dimensional formal cont...
149
click to vote
JC
2010
15 years 4 months ago
2010
In this paper we de ne a new condition number adapted to directionally uniform perturbations in a general framework of maps between Riemannian manifolds. The de nitions and theorem...
165
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
184
click to vote
STOC
2004
ACM
16 years 6 months ago
2004
ACM
We propose a modification to the framework of Universally Composable (UC) security [3]. Our new notion, involves comparing the protocol executions with an ideal execution involvin...
144
click to vote
CHES
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. A side-channel analysis of a cryptographic algorithm generally concentrates on the encryption or decryption phases, rarely on the key generation phase. In this paper, we ...