Sciweavers

5510 search results - page 185 / 1102
» Mathematics
Sort
View
136
Voted
JOC
2007
169views more  JOC 2007»
15 years 4 months ago
Another Look at "Provable Security"
We give an informal analysis and critique of several typical “provable security” results. In some cases there are intuitive but convincing arguments for rejecting the conclusi...
Neal Koblitz, Alfred Menezes
MCS
2007
Springer
15 years 4 months ago
SpectrUW: A laboratory for the numerical exploration of spectra of linear operators
Spectra of linear operators play an important role in various aspects of applied mathematics. For all but the simplest operators, the spectrum cannot be determined analytically an...
Bernard Deconinck, Firat Kiyak, John D. Carter, J....
AML
2004
52views more  AML 2004»
15 years 4 months ago
Effectiveness for infinite variable words and the Dual Ramsey Theorem
We examine the Dual Ramsey Theorem and two related combinatorial principles VW(k, l) and OVW(k, l) from the perspectives of reverse mathematics and effective mathematics. We give a...
Joseph S. Miller, Reed Solomon
APAL
1998
71views more  APAL 1998»
15 years 3 months ago
Splitting Theorems and the Jump Operator
We investigate the relationship of (jumps of) the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerab...
Rodney G. Downey, Richard A. Shore
FSS
2010
97views more  FSS 2010»
15 years 2 months ago
An early approach toward graded identity and graded membership in set theory
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...
Siegfried Gottwald