5019 search results - page 2 / 1004 » Computing in Quotient Groups |
IJAC
2010
14 years 8 months ago
2010
For a group G and N-series G of G let In R,G(G), n ≥ 0, denote the filtration of the group algebra R(G) induced by G , and IR(G) its augmentation ideal. For subgroups H of G, l...
GC
2006
Springer
14 years 9 months ago
2006
Springer
We give a bound on the reconstructibility of an action G X in terms of the reconstructibility of a the action N X, where N is a normal subgroup of G, and the reconstructibility o...
77
Voted
TPHOL
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
KDD
2004
ACM
15 years 10 months ago
2004
ACM
Data cube pre-computation is an important concept for supporting OLAP(Online Analytical Processing) and has been studied extensively. It is often not feasible to compute a complet...
FOCS
1997
IEEE
15 years 1 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...