Sciweavers

5019 search results - page 2 / 1004
» Computing in Quotient Groups
Sort
View
IJAC
2010
67views more  IJAC 2010»
14 years 10 months ago
On Fox Quotients of Arbitrary Group Algebras
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...
Manfred Hartl
80
Voted
GC
2006
Springer
14 years 11 months ago
Reconstructing under Group Actions
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...
A. J. Radcliffe, Alex D. Scott
91
Voted
TPHOL
1997
IEEE
15 years 3 months ago
Higher Order Quotients and their Implementation in Isabelle HOL
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...
Oscar Slotosch
92
Voted
KDD
2004
ACM
143views Data Mining» more  KDD 2004»
16 years 2 days ago
Incremental maintenance of quotient cube for median
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...
Cuiping Li, Gao Cong, Anthony K. H. Tung, Shan Wan...
FOCS
1997
IEEE
15 years 3 months ago
Computable Obstructions to Wait-free Computability
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...
John Havlicek