2853 search results - page 506 / 571 » On Coherence in Computer Algebra |
CORR
2006
Springer
13 years 9 months ago
2006
Springer
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and t...
ENTCS
2006
13 years 9 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
EOR
2006
13 years 9 months ago
2006
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...
CONCURRENCY
2007
13 years 9 months ago
2007
We propose in this paper a distributed packed storage format that exploits the symmetry or the triangular structure of a dense matrix. This format stores only half of the matrix w...
CPHYSICS
2007
13 years 9 months ago
2007
It is commonly accepted that in concentrated solutions or melts high-molecular weight polymers display randomwalk conformational properties without long-range correlations between...