2188 search results - page 28 / 438 » group 2007 |
RIAO
2004
14 years 10 months ago
2004
A group memory of a project is an information space storing the documents produced and exchanged by members of the group, which may include the electronic discussions that took pl...
CISC
2007
Springer
15 years 3 months ago
2007
Springer
We formalize a generic method of constructing efficient group signatures, specifically, we define new notions of unlinkable randomizable signature, indirectly signable signature ...
APPML
2004
14 years 9 months ago
2004
ABSTRACT.Renormalization group (RG) methods are described for determining the key exponents related to the decay of solutions to nonlinear parabolic differential equations. Higher ...
FCS
2006
14 years 10 months ago
2006
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...
APAL
2007
14 years 9 months ago
2007
We prove that, if V is an effectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V -modules is decidable.