2853 search results - page 509 / 571 » On Coherence in Computer Algebra |
SIAMSC
2010
13 years 7 months ago
2010
A significant amount of the computational time in large Monte Carlo simulations of lattice field theory is spent inverting the discrete Dirac operator. Unfortunately, traditional...
ICITS
2009
13 years 6 months ago
2009
In a multisecret sharing scheme, several secret values are distributed among a set of n users, and each secret may have a different associated access structure. We consider here un...
FUIN
2010
13 years 6 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
JCAM
2010
13 years 3 months ago
2010
A macroscopic two-fluid model of compressible particle-laden gas flows is considered. The governing equations are discretized by a high-resolution finite element method based on a...