Sciweavers

301 search results - page 8 / 61
» On extensions of a theorem of Baxter
Sort
View
JSC
2000
60views more  JSC 2000»
13 years 7 months ago
Generic Extensions and Generic Polynomials
This paper presents a generalization of a theorem of Saltman on the existence of generic extensions with group A G over an infinite field K, where A is abelian, using less restri...
Arne Ledet
FSE
2010
Springer
149views Cryptology» more  FSE 2010»
14 years 5 days ago
Domain Extension for Enhanced Target Collision-Resistant Hash Functions
We answer the question of Reyhanitabar et al. from FSE’09 of constructing a domain extension scheme for enhanced target collisionresistant (eTCR) hash functions with sublinear ke...
Ilya Mironov
TLCA
2009
Springer
14 years 1 months ago
On the Meaning of Logical Completeness
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
Michele Basaldella, Kazushige Terui
ICFCA
2007
Springer
13 years 11 months ago
On Multi-adjoint Concept Lattices: Definition and Representation Theorem
Several fuzzifications of formal concept analysis have been proposed to deal with uncertainty or incomplete information. In this paper, we focus on the new paradigm of multi-adjoin...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...
MP
2010
157views more  MP 2010»
13 years 5 months ago
Newton's method for generalized equations: a sequential implicit function theorem
In the extension of Newton’s method to generalized equations, applying to variational inequalities as a special case, convergence analysis relates to a corresponding implicit fun...
Asen L. Dontchev, R. Tyrrell Rockafellar