نتایج جستجو برای: insofar as spaces
تعداد نتایج: 5725174 فیلتر نتایج به سال:
the space now known as complete erdos space ec was introduced by paul erdos in 1940 as the closed subspace of the hilbert space ?2 consisting of all vectors such that every coordinate is in the convergent sequence {0} ? { 1 n : n ? n}. in a solution to a problem posed by lex g. oversteegen we present simple and useful topological characterizations of ec. as an application we determine the ...
a major concern in the last few years has been the fact that the cultural centers are keeping distance with what they have been established for and instead of reproducing the hegemony, they have turned into a place for resistance and reproduction of resistance against hegemony. because the cultural centers, as urban public spaces in the last two decades, have been the subject of ideological dis...
this thesis deals essentially (but not from all aspects) with the extension of the notion of semigroup compactification and the construction of a general theory of semitopological nonaffine (affine) transformation semigroup compactifications. it determines those compactification which are universal with respect to some algebric or topological properties. as an application of the theory, it is i...
This paper considers the design and optimization of a simple asynchronous parallel language that uses rst-class tuple-spaces as its main communication and process creation device. Our proposed kernel language diiers from other tuple-space languages insofar tuple-spaces are treated as true rst-class objects. Moreover, we develop a formal framework for constructing an optimizing pre-processor for...
Quine’s thesis of underdetermination is significantly weaker than it has been taken to be in the recent literature, for the following reasons: (i) it does not hold for all theories, but only for some global theories, (ii) it does not require the existence of empirically equivalent yet logically incompatible theories, (iii) it does not rule out the possibility that all perceived rivalry between ...
Test spaces (or manuals) provide a simple, elegant and very general mathematical framework for the study of probability theory – classical, quantum and otherwise. In many particular cases of interest, test spaces carry significant topological structure. This paper inaugurates a general study of topological test spaces. Among other results, we show that any topological test space with a compact ...
let h be a separable hilbert space and let b be the set of bessel sequences in h. by using several interesting results in operator theory we study some topological properties of frames and riesz bases by constructing a banach space structure on b. the convergence of a sequence of elements in b is de_ned and we determine whether important properties of the sequence is preserved under the con...
1 Generalities on Spectral Algebraic Spaces 5 1.1 Scallop Decompositions in the Separated Case . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 Quasi-Finite Morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.3 Quasi-Separatedness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.4 Points of Spectral Algebr...
The aim of this paper is to show the fruitfulness and fecundity of the authors' proof-theoretic analysis of logic programming (both for definite and normal programs). It is based on a simple logical framework that goes under the name of regular search spaces. The challenge faced here is to give a treatment in proof-theoretic terms of the issue of negation, which has been one of the toughest pro...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید