922 search results - page 31 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
105
click to vote
ACS
2006
15 years 2 months ago
2006
We give a coring version for the duality theorem for actions and coactions of a finitely generated projective Hopf algebra. We also provide a coring analogue for a theorem of H.-J....
AML
2006
15 years 2 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
104
click to vote
TCC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a general parallel-repetition theorem with an efficient reduction. As a corollary of this theorem we establish that parallel repetition reduces the soundness e...
212
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
118
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
When an optimization problem is encoded using genetic algorithms, one must address issues of population size, crossover and mutation operators and probabilities, stopping criteria...