3624 search results - page 165 / 725 » Abstract Algebraic Logic |
107
click to vote
CTCS
1989
Springer
15 years 9 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
125
click to vote
DBPL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Formal semantics for XQuery with side-effects have been proposed in [13, 16]. We propose a different semantics which is better suited for database compilation. We substan...
136
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract— We consider the level of information security provided by random linear network coding in network scenarios in which all nodes comply with the communication protocols y...
113
click to vote
MOC
2000
15 years 4 months ago
2000
Abstract. This paper is concerned with the asymptotic convergence of numerical solutions toward discrete travelling waves for a class of relaxation numerical schemes, approximating...
124
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
To maximize efficiency in time and space, allocations and deallocations, in the exact linear algebra library LinBox, must always occur in the founding scope. This provides a simpl...